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