Commit Graph

19 Commits

Author SHA1 Message Date
Andreas Ländle
cbae8ca357 New strategy - do not preinstall libtorch - but try to cache it by placing it under ~/work (#8039). 2026-06-14 20:54:05 +02:00
Andreas Ländle
12bff3a2cd Next try for libtorch-ffi dependencies (#8039). 2026-06-14 11:40:31 +02:00
Andreas Ländle
fa9fd6a596 Next try for libtorch-ffi dependencies (#8039). 2026-06-14 10:48:47 +02:00
Andreas Ländle
a7771b2b41 Next try for libtorch-ffi dependencies (#8039). 2026-06-14 10:30:01 +02:00
Andreas Ländle
87e76e946d Next try for libtorch-ffi dependencies (#8039).
Some checks failed
check / Stackage check (push) Has been cancelled
image / push (push) Has been cancelled
2026-06-13 22:51:25 +02:00
Andreas Ländle
aa97d8c006 Keep LIBTORCH environment variables for building. 2026-06-13 19:44:36 +02:00
Andreas Ländle
13df72e61b Pre-install libtorch (#8039). 2026-06-13 18:39:24 +02:00
Ivan Malison
06d65b829f Install WirePlumber 0.5 in build image 2026-05-14 00:24:46 -07: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
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
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
Sirui Lu
4765d1e5a1
Update z3 for grisette test suite (lsrcz/grisette#287) (#7677) 2025-02-10 12:49:40 -08:00
Sirui Lu
2d88ebef11
Add grisette 2024-01-12 09:45:30 -08:00
Jens Petersen
ee4e2d243d Docker: remove various stale commented-out lines 2023-06-12 19:15:08 +02: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
ff8e03d285 disable llvm bionic repo for now 2022-12-30 23:26:24 +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