mirror of
https://github.com/tweag/asterius.git
synced 2024-09-11 08:55:32 +03:00
Toolchain update (#833)
This commit is contained in:
Cheng Shao
GitHub
parent
442d48f2c6
commit
3217ab838e
12
.github/workflows/pipeline.yml
vendored
12
.github/workflows/pipeline.yml
vendored
@ -22,7 +22,7 @@ jobs:
|
||||
- name: setup-node-15
|
||||
uses: actions/setup-node@v2-beta
|
||||
with:
|
||||
node-version: 15.3.0
|
||||
node-version: 15.4.0
|
||||
|
||||
- name: checkout
|
||||
uses: actions/checkout@v2
|
||||
@ -88,7 +88,7 @@ jobs:
|
||||
- name: setup-node-15
|
||||
uses: actions/setup-node@v2-beta
|
||||
with:
|
||||
node-version: 15.3.0
|
||||
node-version: 15.4.0
|
||||
|
||||
- name: checkout
|
||||
uses: actions/checkout@v2
|
||||
@ -180,7 +180,7 @@ jobs:
|
||||
- name: setup-node-15
|
||||
uses: actions/setup-node@v2-beta
|
||||
with:
|
||||
node-version: 15.3.0
|
||||
node-version: 15.4.0
|
||||
|
||||
- name: checkout
|
||||
uses: actions/checkout@v2
|
||||
@ -227,7 +227,7 @@ jobs:
|
||||
- name: setup-node-15
|
||||
uses: actions/setup-node@v2-beta
|
||||
with:
|
||||
node-version: 15.3.0
|
||||
node-version: 15.4.0
|
||||
|
||||
- name: checkout
|
||||
uses: actions/checkout@v2
|
||||
@ -315,12 +315,12 @@ jobs:
|
||||
- name: setup-python
|
||||
uses: actions/setup-python@v2
|
||||
with:
|
||||
python-version: 3.9.0
|
||||
python-version: 3.9.1
|
||||
|
||||
- name: setup-node-15
|
||||
uses: actions/setup-node@v2-beta
|
||||
with:
|
||||
node-version: 15.3.0
|
||||
node-version: 15.4.0
|
||||
|
||||
- name: setup-deps
|
||||
run: |
|
||||
|
||||
@ -2,7 +2,7 @@ FROM debian:sid-slim
|
||||
|
||||
ARG DEBIAN_FRONTEND=noninteractive
|
||||
|
||||
ARG NODE_VER=15.3.0
|
||||
ARG NODE_VER=15.4.0
|
||||
|
||||
ENV \
|
||||
LANG=C.UTF-8 \
|
||||
|
||||
@ -2,7 +2,7 @@ FROM debian:sid
|
||||
|
||||
ARG DEBIAN_FRONTEND=noninteractive
|
||||
|
||||
ARG NODE_VER=15.3.0
|
||||
ARG NODE_VER=15.4.0
|
||||
|
||||
ENV \
|
||||
BROWSER=echo \
|
||||
@ -70,7 +70,7 @@ RUN \
|
||||
|
||||
RUN \
|
||||
stack --no-terminal update && \
|
||||
stack --no-terminal --resolver lts-16.24 install \
|
||||
stack --no-terminal --resolver lts-16.26 install \
|
||||
brittany \
|
||||
ghcid \
|
||||
ormolu \
|
||||
|
||||
@ -38,7 +38,7 @@ ARG DEBIAN_FRONTEND
|
||||
ARG USERNAME
|
||||
ARG UID
|
||||
|
||||
ARG NODE_VER=15.3.0
|
||||
ARG NODE_VER=15.4.0
|
||||
|
||||
ENV \
|
||||
BROWSER=echo \
|
||||
@ -98,7 +98,7 @@ RUN \
|
||||
|
||||
RUN \
|
||||
stack --no-terminal update && \
|
||||
stack --no-terminal --resolver lts-16.24 install \
|
||||
stack --no-terminal --resolver lts-16.26 install \
|
||||
brittany \
|
||||
ghcid \
|
||||
ormolu \
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
index-state: 2020-12-01T00:00:00Z
|
||||
index-state: 2020-12-14T00:00:00Z
|
||||
|
||||
constraints:
|
||||
HsOpenSSL -fast-bignum,
|
||||
@ -332,7 +332,7 @@ constraints:
|
||||
base-compat ==0.11.2,
|
||||
base-compat-batteries ==0.11.2,
|
||||
base-noprelude ==4.13.0.0,
|
||||
base-orphans ==0.8.3,
|
||||
base-orphans ==0.8.4,
|
||||
base-prelude ==1.3,
|
||||
base-unicode-symbols ==0.2.4.2,
|
||||
base16 ==0.2.1.0,
|
||||
@ -438,7 +438,7 @@ constraints:
|
||||
bytestring-tree-builder ==0.2.7.7,
|
||||
bz2 ==1.0.0.1,
|
||||
bzlib-conduit ==0.3.0.2,
|
||||
c2hs ==0.28.6,
|
||||
c2hs ==0.28.7,
|
||||
ca-province-codes ==1.0.0.0,
|
||||
cabal-appimage ==0.3.0.0,
|
||||
cabal-debian ==5.0.3,
|
||||
@ -483,7 +483,7 @@ constraints:
|
||||
checkers ==0.5.6,
|
||||
checksum ==0.0,
|
||||
chimera ==0.3.1.0,
|
||||
chiphunk ==0.1.2.1,
|
||||
chiphunk ==0.1.4.0,
|
||||
choice ==0.2.2,
|
||||
chronologique ==0.3.1.3,
|
||||
chronos ==1.1.1,
|
||||
@ -717,7 +717,7 @@ constraints:
|
||||
do-notation ==0.1.0.2,
|
||||
dockerfile ==0.2.0,
|
||||
doclayout ==0.3,
|
||||
doctemplates ==0.8.2,
|
||||
doctemplates ==0.8.3,
|
||||
doctest ==0.16.3,
|
||||
doctest-discover ==0.2.0.0,
|
||||
doctest-driver-gen ==0.3.0.2,
|
||||
@ -1113,7 +1113,7 @@ constraints:
|
||||
hourglass ==0.2.12,
|
||||
hourglass-orphans ==0.1.0.0,
|
||||
hp2pretty ==0.9,
|
||||
hpack ==0.34.2,
|
||||
hpack ==0.34.3,
|
||||
hpack-dhall ==0.5.2,
|
||||
hpc ==0.6.0.3,
|
||||
hpc-codecov ==0.2.0.0,
|
||||
@ -1175,7 +1175,7 @@ constraints:
|
||||
http-client-overrides ==0.1.1.0,
|
||||
http-client-tls ==0.3.5.3,
|
||||
http-common ==0.8.2.1,
|
||||
http-conduit ==2.3.7.3,
|
||||
http-conduit ==2.3.7.4,
|
||||
http-date ==0.0.10,
|
||||
http-directory ==0.1.8,
|
||||
http-download ==0.2.0.0,
|
||||
@ -1225,6 +1225,7 @@ constraints:
|
||||
hyraxAbif ==0.2.3.27,
|
||||
iconv ==0.4.1.3,
|
||||
identicon ==0.2.2,
|
||||
idris ==1.3.3,
|
||||
ieee754 ==0.8.0,
|
||||
if ==0.1.0.0,
|
||||
iff ==0.0.6,
|
||||
@ -1495,10 +1496,10 @@ constraints:
|
||||
monad-journal ==0.8.1,
|
||||
monad-logger ==0.3.36,
|
||||
monad-logger-json ==0.1.0.0,
|
||||
monad-logger-prefix ==0.1.11,
|
||||
monad-logger-prefix ==0.1.12,
|
||||
monad-loops ==0.4.3,
|
||||
monad-memo ==0.5.3,
|
||||
monad-metrics ==0.2.1.4,
|
||||
monad-metrics ==0.2.2.0,
|
||||
monad-par ==0.3.5,
|
||||
monad-par-extras ==0.3.3,
|
||||
monad-parallel ==0.7.2.3,
|
||||
@ -1687,9 +1688,9 @@ constraints:
|
||||
persistable-types-HDBC-pg ==0.0.3.5,
|
||||
persistent ==2.10.5.3,
|
||||
persistent-mysql ==2.10.2.3,
|
||||
persistent-pagination ==0.1.1.1,
|
||||
persistent-pagination ==0.1.1.2,
|
||||
persistent-postgresql ==2.10.1.2,
|
||||
persistent-qq ==2.9.2,
|
||||
persistent-qq ==2.9.2.1,
|
||||
persistent-sqlite ==2.10.6.2,
|
||||
persistent-template ==2.8.2.3,
|
||||
persistent-test ==2.0.3.1,
|
||||
@ -1883,7 +1884,7 @@ constraints:
|
||||
relude ==0.7.0.0,
|
||||
renderable ==0.2.0.1,
|
||||
replace-attoparsec ==1.4.2.0,
|
||||
replace-megaparsec ==1.4.3.0,
|
||||
replace-megaparsec ==1.4.4.0,
|
||||
repline ==0.2.2.0,
|
||||
req ==3.2.0,
|
||||
req-conduit ==1.0.0,
|
||||
@ -1993,8 +1994,8 @@ constraints:
|
||||
servant-static-th ==0.2.4.0,
|
||||
servant-subscriber ==0.7.0.0,
|
||||
servant-swagger ==1.1.7.1,
|
||||
servant-swagger-ui ==0.3.4.3.36.1,
|
||||
servant-swagger-ui-core ==0.3.3,
|
||||
servant-swagger-ui ==0.3.4.3.37.2,
|
||||
servant-swagger-ui-core ==0.3.4,
|
||||
servant-swagger-ui-redoc ==0.3.3.1.22.3,
|
||||
servant-websockets ==2.0.0,
|
||||
servant-yaml ==0.1.0.1,
|
||||
@ -2261,7 +2262,7 @@ constraints:
|
||||
tidal ==1.5.2,
|
||||
tile ==0.3.0.0,
|
||||
time ==1.9.3,
|
||||
time-compat ==1.9.4,
|
||||
time-compat ==1.9.5,
|
||||
time-lens ==0.4.0.2,
|
||||
time-locale-compat ==0.1.1.5,
|
||||
time-locale-vietnamese ==1.0.0.0,
|
||||
@ -2371,7 +2372,7 @@ constraints:
|
||||
unordered-intmap ==0.1.1,
|
||||
unsafe ==0.0,
|
||||
urbit-hob ==0.3.3,
|
||||
uri-bytestring ==0.3.2.2,
|
||||
uri-bytestring ==0.3.3.0,
|
||||
uri-bytestring-aeson ==0.1.0.8,
|
||||
uri-encode ==1.5.0.7,
|
||||
url ==2.1.3,
|
||||
@ -2401,7 +2402,7 @@ constraints:
|
||||
vault ==0.3.1.4,
|
||||
vec ==0.3,
|
||||
vector ==0.12.1.2,
|
||||
vector-algorithms ==0.8.0.3,
|
||||
vector-algorithms ==0.8.0.4,
|
||||
vector-binary-instances ==0.2.5.1,
|
||||
vector-buffer ==0.4.1,
|
||||
vector-builder ==0.3.8,
|
||||
@ -2409,7 +2410,7 @@ constraints:
|
||||
vector-instances ==3.4,
|
||||
vector-mmap ==0.0.3,
|
||||
vector-rotcev ==0.1.0.0,
|
||||
vector-sized ==1.4.2,
|
||||
vector-sized ==1.4.3,
|
||||
vector-space ==0.16,
|
||||
vector-split ==1.0.0.2,
|
||||
vector-th-unbox ==0.2.1.7,
|
||||
@ -2445,7 +2446,7 @@ constraints:
|
||||
webex-teams-conduit ==0.2.0.1,
|
||||
webex-teams-pipes ==0.2.0.1,
|
||||
webrtc-vad ==0.1.0.3,
|
||||
websockets ==0.12.7.1,
|
||||
websockets ==0.12.7.2,
|
||||
websockets-snap ==0.10.3.1,
|
||||
weigh ==0.0.16,
|
||||
wide-word ==0.1.1.1,
|
||||
@ -2525,7 +2526,7 @@ constraints:
|
||||
yesod-recaptcha2 ==1.0.1,
|
||||
yesod-sitemap ==1.6.0,
|
||||
yesod-static ==1.6.1.0,
|
||||
yesod-test ==1.6.10,
|
||||
yesod-test ==1.6.11,
|
||||
yesod-websockets ==0.3.0.2,
|
||||
yi-rope ==0.11,
|
||||
yjsvg ==0.2.0.1,
|
||||
@ -2537,6 +2538,7 @@ constraints:
|
||||
zeromq4-haskell ==0.8.0,
|
||||
zeromq4-patterns ==0.3.1.0,
|
||||
zim-parser ==0.2.1.0,
|
||||
zio ==0.1.0.2,
|
||||
zip ==1.5.0,
|
||||
zip-archive ==0.4.1,
|
||||
zip-stream ==0.2.0.1,
|
||||
|
||||
@ -4,7 +4,7 @@ build:
|
||||
library-profiling: true
|
||||
executable-profiling: true
|
||||
|
||||
resolver: lts-16.24
|
||||
resolver: lts-16.26
|
||||
extra-deps:
|
||||
- binaryen-0.0.5.0
|
||||
- url: https://github.com/tweag/inline-js/archive/ef675745e84d23d51c50660d40acf9e684fbb2d6.tar.gz
|
||||
|
||||
@ -1,4 +1,4 @@
|
||||
resolver: lts-16.24
|
||||
resolver: lts-16.26
|
||||
extra-deps:
|
||||
- binaryen-0.0.5.0
|
||||
- url: https://github.com/tweag/inline-js/archive/ef675745e84d23d51c50660d40acf9e684fbb2d6.tar.gz
|
||||
|
||||
@ -1,6 +1,6 @@
|
||||
#!/usr/bin/env stack
|
||||
{-
|
||||
stack --resolver lts-16.24 script
|
||||
stack --resolver lts-16.26 script
|
||||
--package Cabal
|
||||
--package containers
|
||||
--package pantry
|
||||
|
||||
@ -101,7 +101,7 @@ def ghc_configure():
|
||||
def patch_hadrian():
|
||||
with open(os.path.join(ghc_repo_path, "hadrian", "stack.yaml"),
|
||||
mode="w") as f:
|
||||
f.write("resolver: lts-16.24\n")
|
||||
f.write("resolver: lts-16.26\n")
|
||||
with open(os.path.join(ghc_repo_path, "hadrian", "src", "Oracles",
|
||||
"Setting.hs"),
|
||||
mode="r") as h:
|
||||
|
||||
Loading…
Reference in New Issue
Block a user