Jens Petersen
2600e2dd52
add cvc5 for liquid-fixpoint tests ( #7819 )
2025-08-16 17:44:00 +08:00
Jens Petersen
fa6fd006ab
docker image: drop ubuntu's older z3 in favor of upstream for now ( #7819 )
...
Since grisette tests need z3-4.12 or later
2025-08-16 16:28:13 +08:00
Jens Petersen
906381b200
docker image: switch to ubuntu's erlang ( kofigumbs/codec-beam#49 )
...
Looks like Ericsson dropped Bionic support
2025-08-16 16:14:23 +08:00
Jens Petersen
ed22b9fb93
docker image: fixup libjavascriptcoregtk-4
2025-08-16 15:44:48 +08:00
Artem Pelenitsyn
5162c88b90
re-enable liquidhaskell
2025-08-15 13:36:47 -04:00
Jens Petersen
d15431d883
docker image: add libgtksourceview-3.0, libjavascriptcoregtk-4.0, libsoup2.4
2025-07-30 21:00:49 +08:00
jkachmar
40d0ac226f
update 'stack' 3.5.1 -> 3.7.1
...
should fix https://github.com/commercialhaskell/curator/issues/52
2025-06-29 12:07:44 -04:00
Andreas Ländle
18256dc2d5
Hope proto-lens-protobuf-types just needs up-to-date protoc.
2025-05-14 13:13:47 +02:00
Jens Petersen
d83b03faa0
build image: add libpcre3
2025-05-06 01:58:03 +08:00
Jens Petersen
c9bd1bbab3
docker image add gir1.2-soup-2.4 and gir1.2-soup-3.0
2025-05-05 22:42:50 +08:00
Jens Petersen
bf1f580b44
docker image: remove python3-mpltoolkits.basemap comment
2025-05-05 16:40:23 +08:00
Jens Petersen
25908d1423
docker image: ubuntu 24.04 package version fixups
...
python3-mpltoolkits.basemap missing from 24.04 but again available in 25.04
[skip ci]
2025-05-05 16:32:41 +08:00
Jens Petersen
b20dcca3f7
docker build image: bump to ubuntu:24.04
...
- llvm bumps
- drop ocilib
- drop java-8 ldconfig
- drop tensorflow
- drop libjwt
2025-05-05 15:26:11 +08:00
Jens Petersen
8794e0de01
build.sh: bump stack to 3.5.1 for nightly
2025-05-05 15:26:11 +08:00
Jens Petersen
46cc5e2ae1
stackage/build image: include stack ( #7636 )
2025-05-02 21:08:54 +08:00
Sirui Lu
4765d1e5a1
Update z3 for grisette test suite (lsrcz/grisette#287) ( #7677 )
2025-02-10 12:49:40 -08:00
Jens Petersen
a08ffef44f
image: use awscli-2.22 to avoid r2/s3 upload issues with 2.23
...
fixes https://github.com/haskellfoundation/hf-infrastructure/issues/11
2025-01-29 17:28:20 +08:00
Jens Petersen
f9a5db6578
disable gi-javascriptcore4 until we can use newer image
2025-01-29 14:43:08 +08:00
Jens Petersen
01bfa6c552
docker image: add gir1.2-javascriptcoregtk-6.0 for jammy
...
can be removed (redundant) for 24.04
2025-01-27 20:14:15 +08:00
Jens Petersen
5ce2ac4954
enable gi-gtksource5, gi-javascriptcore6, gi-soup3 ( haskell-gi/haskell-gi#463 )
...
metapackages remain disabled for now
2025-01-27 18:55:08 +08:00
Mihai Maruseac
df1bc66f02
Install libnlopt as needed for #7574
...
Signed-off-by: Mihai Maruseac <mihai.maruseac@gmail.com>
2024-11-11 04:36:47 -08:00
Jens Petersen
079410d332
revert to official awscli binary
...
the ubuntu awscli fails with errors like:
upload failed: unpack-dir/.stack-work/install/x86_64-linux-tinfo6/d7d205a89b6867ea4451395ec473d03fcbc958590d23b15706959684c77259fd/9.8.2/doc/zstd-0.1.3.0/zstd.haddock to s3://stackage-haddock/nightly-2024-07-11/zstd-0.1.3.0/zstd.haddock An error occurred (InvalidAccessKeyId) when calling the PutObject operation: The AWS Access Key Id you provided does not exist in our records.
2024-07-12 00:55:25 +08:00
Jens Petersen
a7502ce9e2
docker: add libpapi for tasty-papi
2024-07-11 13:02:39 +08:00
Jens Petersen
be99e3d060
fixup! [docker] install awscli from Ubuntu and add rclone
2024-07-09 19:57:48 +08:00
Jens Petersen
5c75502003
[docker] install awscli from Ubuntu and add rclone
2024-07-09 17:23:40 +08:00
Andreas Ländle
0ddca99107
hledger-web tests need the unknown terminal information.
2024-05-22 20:38:27 +02:00
Andreas Ländle
5fcac32f06
New curator needs time (fyi @juhp).
2024-05-22 04:42:28 +00:00
Andreas Ländle
5ab2e7cb06
Expect test failures for what4 - since cvc5 is not available ( GaloisInc/what4#262 ).
2024-05-21 18:29:01 +02:00
Jens Petersen
50279cbf17
docker image: include cvc5 in the future for what4 testsuite
...
https://github.com/GaloisInc/what4/issues/262
[skip ci]
2024-05-15 00:25:42 +08:00
Jens Petersen
3e386f2b58
docker image: bump to libncurses-dev (ie ncurses6)
...
All recent ghc builds use tinfo6
2024-05-14 23:08:40 +08:00
Andreas Ländle
3b74e0f275
Install libopenmpi-dev for mpi-hs.
2024-01-29 20:24:30 +01:00
Sirui Lu
2d88ebef11
Add grisette
2024-01-12 09:45:30 -08:00
Andreas Ländle
f9a01cba04
Wanna give cuda another chance.
2023-12-09 10:07:12 +01:00
Preetham Gujjula
ec630b553e
add primecount ( #7099 )
2023-08-24 21:43:25 -07:00
Jens Petersen
ee4e2d243d
Docker: remove various stale commented-out lines
2023-06-12 19:15:08 +02:00
Adam Bergmark
4146b4c964
Merge pull request #6972 from thielema/coinor
...
Add linear-programming and coinor-clp
2023-05-14 12:26:48 +02:00
Henning Thielemann
df21c702b2
Add linear-programming and Debian package libglpk-dev
...
needed by comfort-glpk
2023-05-11 22:44:38 +02:00
Henning Thielemann
7b61fdb1f0
Add linear-programming and coinor-clp
2023-05-11 16:46:58 +02:00
Jens Petersen
42a2c8574f
docker image: add webkit2gtk-4.0
2023-01-05 11:59:02 +08:00
Jens Petersen
7d1f56c271
add libsoup2.4-dev to docker image
2023-01-04 15:30:40 +08:00
Jens Petersen
9d60ad8f71
use ubuntu nodejs
...
(not sure if anything is actually still using it)
2022-12-30 23:45:40 +08:00
Jens Petersen
1195a23daf
docker: disable llvm9 alternatives
2022-12-30 23:34:21 +08:00
Jens Petersen
9ef980740a
docker: add libgtk-4
2022-12-30 23:33:58 +08:00
Jens Petersen
ff8e03d285
disable llvm bionic repo for now
2022-12-30 23:26:24 +08:00
Jens Petersen
c5c2e9bc27
bump installed llvm versions to 11-13
...
22.04 doesn't have llvm 7-9
2022-12-30 23:10:31 +08:00
Jens Petersen
d8d8f6e9c1
make unzip awscliv2.zip quiet
2022-12-30 23:10:01 +08:00
Jens Petersen
ea2fead291
update docker image to Ubuntu/pid1 22.04 LTS
...
- drop embedding ghc and stack
- use libz3-dev
2022-12-30 23:03:37 +08:00
Adam Bergmark
431c2b0933
Upgrade docker image to ubuntu 20.04
2022-06-06 20:03:34 +02:00
