tweag/asterius
1
1
Fork 0
mirror of https://github.com/tweag/asterius.git synced 2024-09-11 08:55:32 +03:00
Code Issues Projects Releases Wiki Activity

Toolchain update (#844)

Browse Source
This commit is contained in:
Cheng Shao 2021-01-08 16:34:40 +01:00 committed by GitHub
parent e249de6a47
commit aeca209205
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
10 changed files with 47 additions and 49 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
.github/workflows/pipeline.yml vendored
View File

@ -22,7 +22,7 @@ jobs:
- name: setup-node-15
uses: actions/setup-node@v2-beta
with:
node-version: 15.5.0
node-version: 15.5.1
- 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.5.0
node-version: 15.5.1
- 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.5.0
node-version: 15.5.1
- 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.5.0
node-version: 15.5.1
- name: checkout
uses: actions/checkout@v2
@ -320,7 +320,7 @@ jobs:
- name: setup-node-15
uses: actions/setup-node@v2-beta
with:
node-version: 15.5.0
node-version: 15.5.1
- name: setup-deps
run: |

2
base.Dockerfile
View File

@ -2,7 +2,7 @@ FROM debian:sid-slim
ARG DEBIAN_FRONTEND=noninteractive
ARG NODE_VER=15.5.0
ARG NODE_VER=15.5.1
ENV \
LANG=C.UTF-8 \

4
dev.Dockerfile
View File

@ -2,7 +2,7 @@ FROM debian:sid
ARG DEBIAN_FRONTEND=noninteractive
ARG NODE_VER=15.5.0
ARG NODE_VER=15.5.1
ENV \
BROWSER=echo \
@ -70,7 +70,7 @@ RUN \
RUN \
stack --no-terminal update && \
stack --no-terminal --resolver lts-16.27 install \
stack --no-terminal --resolver lts-16.28 install \
brittany \
ghcid \
ormolu \

4
dev.rootless.Dockerfile
View File

@ -38,7 +38,7 @@ ARG DEBIAN_FRONTEND
ARG USERNAME
ARG UID
ARG NODE_VER=15.5.0
ARG NODE_VER=15.5.1
ENV \
BROWSER=echo \
@ -98,7 +98,7 @@ RUN \
RUN \
stack --no-terminal update && \
stack --no-terminal --resolver lts-16.27 install \
stack --no-terminal --resolver lts-16.28 install \
brittany \
ghcid \
ormolu \

67
ghc-toolkit/boot-libs/cabal.config
View File

@ -1,4 +1,4 @@
index-state: 2020-12-28T00:00:00Z
index-state: 2021-01-08T00:00:00Z
constraints:
HsOpenSSL -fast-bignum,
@ -40,7 +40,7 @@ constraints:
BNFC ==2.8.4,
Boolean ==0.2.4,
BoundedChan ==1.0.3.0,
Cabal ==3.0.2.0,
Cabal ==3.0.1.0,
ChannelT ==0.0.0.7,
Chart ==1.9.3,
Chart-diagrams ==1.9.3,
@ -94,7 +94,7 @@ constraints:
LambdaHack ==0.9.5.0,
LibZip ==1.0.1,
List ==0.6.2,
ListLike ==4.7.2,
ListLike ==4.7.3,
ListTree ==0.2.3,
MemoTrie ==0.6.10,
MissingH ==1.4.3.0,
@ -122,7 +122,7 @@ constraints:
SafeSemaphore ==0.10.1,
ShellCheck ==0.7.1,
Spintax ==0.3.5,
StateVar ==1.2,
StateVar ==1.2.1,
TCache ==0.12.1,
Taxonomy ==2.1.0,
TypeCompose ==0.9.14,
@ -275,7 +275,7 @@ constraints:
antiope-sqs ==7.5.3,
apecs ==0.9.2,
apecs-gloss ==0.2.4,
apecs-physics ==0.4.4,
apecs-physics ==0.4.5,
api-field-json-th ==0.1.0.2,
app-settings ==0.2.0.12,
appar ==0.1.8,
@ -314,7 +314,7 @@ constraints:
attoparsec-base64 ==0.0.0,
attoparsec-binary ==0.2,
attoparsec-expr ==0.1.1.2,
attoparsec-iso8601 ==1.0.1.0,
attoparsec-iso8601 ==1.0.2.0,
attoparsec-path ==0.0.0.1,
audacity ==0.0.2,
aur ==7.0.5,
@ -338,8 +338,7 @@ constraints:
base16 ==0.2.1.0,
base16-bytestring ==0.1.1.7,
base16-lens ==0.1.2.0,
base32 ==0.1.1.2,
base32-lens ==0.1.0.0,
base32 ==0.2.0.0,
base32string ==0.9.1,
base58string ==0.10.0,
base64 ==0.4.2.2,
@ -563,7 +562,7 @@ constraints:
constraint-tuples ==0.1.2,
constraints ==0.12,
containers ==0.6.2.1,
contravariant ==1.5.2,
contravariant ==1.5.3,
contravariant-extras ==0.3.5.2,
control-bool ==0.2.1,
control-monad-free ==0.6.2,
@ -660,7 +659,7 @@ constraints:
data-tree-print ==0.1.0.2,
datadog ==0.2.5.0,
dataurl ==0.1.0.0,
dbus ==1.2.16,
dbus ==1.2.17,
dbus-hslogger ==0.1.0.1,
debian ==4.0.2,
debian-build ==0.10.2.0,
@ -707,7 +706,7 @@ constraints:
distributed-closure ==0.4.2.0,
distribution-nixpkgs ==1.3.1,
distribution-opensuse ==1.1.1,
distributive ==0.6.2,
distributive ==0.6.2.1,
dl-fedora ==0.7.5,
dlist ==0.8.0.8,
dlist-instances ==0.1.1.1,
@ -955,10 +954,10 @@ constraints:
ghc-prof ==1.4.1.7,
ghc-source-gen ==0.4.0.0,
ghc-syntax-highlighter ==0.0.6.0,
ghc-tcplugins-extra ==0.4,
ghc-typelits-extra ==0.4.1,
ghc-typelits-knownnat ==0.7.3,
ghc-typelits-natnormalise ==0.7.2,
ghc-tcplugins-extra ==0.4.1,
ghc-typelits-extra ==0.4.2,
ghc-typelits-knownnat ==0.7.4,
ghc-typelits-natnormalise ==0.7.3,
ghc-typelits-presburger ==0.3.0.1,
ghci ==8.8.4,
ghci-hexcalc ==0.1.1.0,
@ -1007,7 +1006,7 @@ constraints:
gravatar ==0.8.0,
greskell ==1.1.0.3,
greskell-core ==0.1.3.5,
greskell-websocket ==0.1.2.4,
greskell-websocket ==0.1.2.5,
groom ==0.1.2.1,
group-by-date ==0.1.0.3,
groups ==0.4.1.0,
@ -1104,7 +1103,7 @@ constraints:
hmpfr ==0.4.4,
hnock ==0.4.0,
hoauth2 ==1.14.0,
hopenpgp-tools ==0.23.3,
hopenpgp-tools ==0.23.6,
hopenssl ==2.2.4,
hopfli ==0.2.2.1,
hosc ==0.17,
@ -1140,12 +1139,12 @@ constraints:
hslua-module-system ==0.2.2.1,
hslua-module-text ==0.2.1,
hsp ==0.10.0,
hspec ==2.7.4,
hspec ==2.7.6,
hspec-attoparsec ==0.1.0.2,
hspec-checkers ==0.1.0.2,
hspec-contrib ==0.5.1,
hspec-core ==2.7.4,
hspec-discover ==2.7.4,
hspec-core ==2.7.6,
hspec-discover ==2.7.6,
hspec-expectations ==0.8.2,
hspec-expectations-lifted ==0.10.0,
hspec-expectations-pretty-diff ==0.7.2.5,
@ -1247,7 +1246,7 @@ constraints:
influxdb ==1.7.1.6,
ini ==0.4.1,
inj ==1.0,
inline-c ==0.9.1.3,
inline-c ==0.9.1.4,
inline-c-cpp ==0.4.0.2,
inliterate ==0.1.0,
insert-ordered-containers ==0.2.3.1,
@ -1370,7 +1369,7 @@ constraints:
libgit ==0.3.1,
libgraph ==1.14,
libiserv ==8.8.4,
libmpd ==0.9.2.0,
libmpd ==0.9.3.0,
libyaml ==0.1.2,
life-sync ==1.1.1.0,
lift-generics ==0.1.3,
@ -1418,7 +1417,7 @@ constraints:
makefile ==1.1.0.0,
managed ==1.0.8,
markdown ==0.1.17.4,
markdown-unlit ==0.5.0,
markdown-unlit ==0.5.1,
markov-chain ==0.0.3.4,
massiv ==0.5.4.0,
massiv-io ==0.2.1.0,
@ -1484,7 +1483,7 @@ constraints:
mmorph ==1.1.3,
mnist-idx ==0.1.2.8,
mockery ==0.3.5,
mod ==0.1.2.0,
mod ==0.1.2.1,
model ==0.5,
modern-uri ==0.3.3.0,
modular ==0.1.0.8,
@ -1741,7 +1740,7 @@ constraints:
postgresql-binary ==0.12.2,
postgresql-libpq ==0.9.4.3,
postgresql-orm ==0.5.1,
postgresql-simple ==0.6.3,
postgresql-simple ==0.6.4,
postgrest ==7.0.0,
pptable ==0.3.0.0,
pqueue ==1.4.1.3,
@ -1919,7 +1918,7 @@ constraints:
safe-exceptions ==0.1.7.1,
safe-exceptions-checked ==0.1.0,
safe-foldable ==0.1.0.0,
safe-json ==1.1.1,
safe-json ==1.1.1.1,
safe-money ==0.9,
safecopy ==0.10.3,
safeio ==0.0.5.0,
@ -2083,7 +2082,7 @@ constraints:
sql-words ==0.1.6.4,
sqlcli ==0.2.2.0,
sqlcli-odbc ==0.2.0.1,
squeather ==0.4.0.0,
squeather ==0.4.2.0,
srcloc ==0.5.1.2,
stache ==2.1.1,
stack ==2.3.3,
@ -2160,7 +2159,7 @@ constraints:
tabular ==0.2.2.8,
taffybar ==3.2.2,
tagchup ==0.4.1.1,
tagged ==0.8.6,
tagged ==0.8.6.1,
tagged-binary ==0.2.0.1,
tagged-identity ==0.1.3,
tagged-transformer ==0.8.1,
@ -2173,7 +2172,7 @@ constraints:
tardis ==0.4.1.0,
tasty ==1.2.3,
tasty-ant-xml ==1.1.7,
tasty-dejafu ==2.0.0.6,
tasty-dejafu ==2.0.0.7,
tasty-discover ==4.2.2,
tasty-expected-failure ==0.11.1.2,
tasty-golden ==2.3.3.2,
@ -2191,7 +2190,7 @@ constraints:
tasty-th ==0.1.7,
tasty-wai ==0.1.1.1,
tce-conf ==1.3,
tdigest ==0.2.1,
tdigest ==0.2.1.1,
template-haskell ==2.15.0.0,
template-haskell-compat-v0208 ==0.1.5,
temporary ==1.3,
@ -2210,7 +2209,7 @@ constraints:
test-framework-th ==0.2.4,
testing-feat ==1.1.0.0,
testing-type-modifiers ==0.1.0.1,
texmath ==0.12.0.3,
texmath ==0.12.1,
text ==1.2.4.0,
text-binary ==0.2.1.1,
text-builder ==0.6.6.1,
@ -2348,7 +2347,7 @@ constraints:
uniplate ==1.6.13,
uniprot-kb ==0.1.2.0,
uniq-deep ==1.2.0,
unique ==0,
unique ==0.0.1,
unique-logic ==0.4,
unique-logic-tf ==0.5.1,
unit-constraint ==0.0.0,
@ -2449,10 +2448,10 @@ constraints:
websockets ==0.12.7.2,
websockets-snap ==0.10.3.1,
weigh ==0.0.16,
wide-word ==0.1.1.1,
wide-word ==0.1.1.2,
wikicfp-scraper ==0.1.0.11,
wild-bind ==0.1.2.6,
wild-bind-x11 ==0.2.0.10,
wild-bind-x11 ==0.2.0.11,
windns ==0.1.0.1,
with-location ==0.1.0,
with-utf8 ==1.0.2.1,

1
pkgs.txt
View File

@ -300,7 +300,6 @@ base16
base16-bytestring
base16-lens
base32
base32-lens
base32string
base58string
base64

2
stack-profile.yaml
View File

@ -4,7 +4,7 @@ build:
library-profiling: true
executable-profiling: true
resolver: lts-16.27
resolver: lts-16.28
extra-deps:
- binaryen-0.0.5.0
- url: https://github.com/tweag/inline-js/archive/ef675745e84d23d51c50660d40acf9e684fbb2d6.tar.gz

2
stack.yaml
View File

@ -1,4 +1,4 @@
resolver: lts-16.27
resolver: lts-16.28
extra-deps:
- binaryen-0.0.5.0
- url: https://github.com/tweag/inline-js/archive/ef675745e84d23d51c50660d40acf9e684fbb2d6.tar.gz

2
utils/gen-pkgs.hs
View File

@ -1,6 +1,6 @@
#!/usr/bin/env stack
{-
stack --resolver lts-16.27 script
stack --resolver lts-16.28 script
--package Cabal
--package containers
--package pantry

2
utils/make-packages.py
View File

@ -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.27\n")
f.write("resolver: lts-16.28\n")
with open(os.path.join(ghc_repo_path, "hadrian", "src", "Oracles",
"Setting.hs"),
mode="r") as h: