Commit Graph

72 Commits

Author SHA1 Message Date
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
ee4e2d243d Docker: remove various stale commented-out lines 2023-06-12 19:15:08 +02: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
Mihai Maruseac
8f515623fb Revert "Revert nightlies back to 9.2.5 until https://github.com/commercialhaskell/stackage-content/pull/119 is merged""
This reverts commit 11b8cf7acd.
2022-11-17 22:31:17 -05:00
Mihai Maruseac
11b8cf7acd
Revert nightlies back to 9.2.5 until https://github.com/commercialhaskell/stackage-content/pull/119 is merged"
Signed-off-by: Mihai Maruseac <mihai.maruseac@gmail.com>
2022-11-16 21:45:56 -05:00
Mihai Maruseac
89321429cc
Switch to GHC 9.4.3 for new nightlies
Signed-off-by: Mihai Maruseac <mihai.maruseac@gmail.com>
2022-11-16 21:41:27 -05:00
Mihai Maruseac
9ee7d8a09d
Switch to GHC 9.4.2 for new nightlies
Signed-off-by: Mihai Maruseac <mihai.maruseac@gmail.com>
2022-11-16 21:35:13 -05:00
Mihai Maruseac
2a7ae085c4
Switch dockerfile to GHC 9.2.5
Signed-off-by: Mihai Maruseac <mihai.maruseac@gmail.com>
2022-11-15 16:39:57 -08:00
Mihai Maruseac
1383ab00d9 Update GHCVER in Dockerfile
Signed-off-by: Mihai Maruseac <mihai.maruseac@gmail.com>
2022-07-30 14:04:47 -07:00
Adam Bergmark
4f2a4777c6 GHC 9.2.3 nightly 2022-06-07 21:58:07 +02:00
Adam Bergmark
431c2b0933 Upgrade docker image to ubuntu 20.04 2022-06-06 20:03:34 +02:00
Adam Bergmark
33460dd381 Remove cuda from dockerfile 2022-05-21 21:16:59 +02:00
Adam Bergmark
504586449b Update docker image version and remove unnecessary lower bounds 2022-03-18 18:00:01 +01:00
Adam Bergmark
9bcc2aaabb Update to GHC 9.0.2 2022-01-06 16:37:23 +01:00
Adam Bergmark
3a7e65bdc1 GHC 9.0.1 2021-05-29 17:50:27 +02:00
Dan Burton
0dd78ffc82
nightly ghc: 8.10.3 -> 8.10.4 2021-02-10 17:35:34 -05:00
Jens Petersen
d79a3626d9 update Nightly to ghc-8.10.3 2020-12-25 15:47:41 +08:00
Alexey Zabelin
16040fdcb8
Upgrade GHC to 8.10.2 2020-08-14 22:15:38 -07:00
Adam Bergmark
6ae521311d Update docker image 2020-06-15 04:37:08 +02:00
Jens Petersen
a6634c7921 bump Dockerfile to 8.8.3 2020-03-23 10:30:13 +08:00
Jens Petersen
dd2bad6041 switch nightly to ghc-8.2.2 2020-01-21 16:00:54 +08:00
Dan Burton
25d0709d55
Update everything to ghc 8.8.1 2019-09-25 16:35:30 -07:00
Michael Snoyman
d80a654b77
Upgrade to GHC 8.6.5 2019-04-29 06:32:00 +03:00
Michael Snoyman
2c98036ed6 Fix PATH 2019-03-06 04:55:31 +00:00
Michael Snoyman
a4b8cf4132 Install GHC via Stack
PPA does not yet include GHC 8.6.4
2019-03-06 04:48:31 +00:00
Michael Snoyman
e364dd4e8f
Upgrade to GHC 8.6.4 2019-03-06 00:30:16 +02:00
Michael Snoyman
a45a41024d Move configure-args into Docker file settings 2019-01-13 10:21:20 +00:00
Jens Petersen
363938a39f rebase docker image to Ubuntu 18.04 2019-01-01 23:36:38 +09:00
Dan Burton
26b29f2862
Bump ghc version: 8.6.2 -> 8.6.3 2018-12-17 15:20:49 -05:00
Joe Kachmar
2d1c18dd26 Bumps nightly GHC to 8.6.2 2018-11-11 19:25:35 -05:00
Trevor L. McDonell
6d54752a25 update to cuda-10 2018-10-02 17:51:47 +02:00
Mihai Maruseac
dbc2bf3a8b Start process of switching nightlies to ghc-8.6.1 2018-09-27 19:22:55 -07:00
Michael Snoyman
33b9347e0f
Move to GHC 8.4.3 2018-05-30 22:09:16 -06:00
Adam Bergmark
9b399b44e8 GHC 8.4.2 2018-04-22 14:25:17 +02:00
Dan Burton
63aa8a67dc
Update Docker image to use ghc 8.4, llvm 5.0 2018-03-12 15:24:32 -07:00
Michael Snoyman
a63b9d9c56
Update PATH 2017-11-22 21:44:55 +02:00
Dan Burton
e2c05bab2b
Bake cuda env vars into Dockerfile 2017-09-01 12:12:59 -07:00
Dan Burton
abce203a3a
Bump ghc version in Dockerfile 2017-07-28 16:52:38 -07:00
Michael Snoyman
ff5c3ee3c9 GHC 8.0.2 (fixes #2205, fixes #2203) 2017-01-23 15:59:17 +02:00
Michael Snoyman
93bcefeb2b Dockerfile: use fpco/pid1 2016-11-01 11:03:36 +02:00
Michael Snoyman
249cf25527 Basic GHC 8 updates 2016-05-24 05:39:10 +03:00
Jens Petersen
2c455eaf9a take 2 at Ubuntu 16.04 Xenial (#1439)
- not sure if ppa:zoogie/sdl2-snapshots was ever really needed (#444):
  there seem to be newer sdl packages in 14.04 Trusty already.
- not sure what the ppa:openstack-ubuntu-testing/icehouse was needed for:
  that ppa is not available for 16.04, commenting it out for now.
- libsystemd-dev is needed to build libsystemd-journal (#696)
- 16.04 has openjdk-8 rather than 7 (#1388)
- libphash does not seem to be in Xenial, disabling phash for now (#618)
- use nettle-dev from ubuntu (hopefully 3.2 is compatible enough with 3.1)
- don't need to install git first
- python-software-properties is a dependency of software-properties-common
- this should allow the gi-gtk stack to build since it needs newer gtk stack
- switch from texlive-full to texlive to save time and space (not sure
  what requires texlive?)

this builds for me locally
2016-05-13 18:31:28 +09:00
Michael Snoyman
18b2e51a76 Revert "move to Ubuntu 16.04 LTS"
This reverts commit 795c42bd9d.
2016-05-12 20:12:29 +03:00
Jens Petersen
795c42bd9d move to Ubuntu 16.04 LTS
This should allow libsystemd-journal (#696) and also gi-gtk to build
2016-05-12 18:21:19 +09:00
Michael Snoyman
a4560817b5 Attempted Dockerfile simplification 2016-02-02 10:12:41 +02:00
Michael Snoyman
713c581540 Revert "Add missing zlib1g-dev"
This reverts commit 26bbfa1b89.
2016-01-24 06:48:39 +00:00
Michael Snoyman
26bbfa1b89 Add missing zlib1g-dev 2016-01-24 06:43:02 +00:00
Michael Snoyman
63aa977930 Initial 7.10.3 upgrade for Nightly 2015-12-14 10:11:51 +02:00
Michael Snoyman
5d841bc1f7 New attempt at hyperlinked sources for Haddock 2015-10-04 09:32:31 +03:00
Michael Snoyman
41e40f7c81 Remove non-working haddock executable 2015-10-03 22:39:04 +03:00