haskell/stackage
1
0
Fork 0
mirror of https://github.com/commercialhaskell/stackage.git synced 2026-01-21 19:51:56 +01:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity

Add grisette

Browse Source
This commit is contained in:
Sirui Lu 2024-01-12 09:45:30 -08:00
parent 38f122a78f
commit 2d88ebef11
No known key found for this signature in database
GPG Key ID: 04D53E80A856B56F
2 changed files with 13 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
build-constraints.yaml
View File

@ -13,6 +13,9 @@ packages:
"Dominick Samperi <djsamperi@gmail.com> @djsamperi": "Dominick Samperi <djsamperi@gmail.com> @djsamperi":
- mathlist - mathlist
"Sirui Lu <lsrcz@outlook.com> @lsrcz":
- grisette
"Alexey Tochin <Alexey.Tochin@gmail.com> @alexeytochin": "Alexey Tochin <Alexey.Tochin@gmail.com> @alexeytochin":
- simple-expr - simple-expr
- inf-backprop - inf-backprop

10
docker/03-custom-install.sh
View File

@ -75,6 +75,16 @@ wget -qO - https://packages.confluent.io/deb/5.2/archive.key | apt-key add -
add-apt-repository "deb https://packages.confluent.io/deb/5.2 stable main" add-apt-repository "deb https://packages.confluent.io/deb/5.2 stable main"
apt-get update && apt install -y librdkafka-dev apt-get update && apt install -y librdkafka-dev
# Install z3, for grisette test suite
Z3_VER=4.12.4
(
cd /usr/local \
&& wget https://github.com/Z3Prover/z3/releases/download/z3-${Z3_VER}/z3-${Z3_VER}-x64-glibc-2.35.zip \
&& unzip z3-${Z3_VER}-x64-glibc-2.35.zip \
&& rm z3-${Z3_VER}-x64-glibc-2.35.zip \
&& ln -s /usr/local/z3-${Z3_VER}-x64-glibc-2.35/bin/z3 /usr/bin/z3
)
LIBJWT_VER=1.12.1 LIBJWT_VER=1.12.1
( (
pushd /tmp \ pushd /tmp \