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
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
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
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
9ef980740a
docker: add libgtk-4
2022-12-30 23:33:58 +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
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
