aboutsummaryrefslogtreecommitdiff
path: root/linux/Dockerfile
AgeCommit message (Expand)AuthorFilesLines
2018-11-03linux/Dockerfile - use resolver lts-12.12.John MacFarlane1-1/+1
2018-11-03Fix bug in linux/Dockerfile.John MacFarlane1-1/+1
2018-11-03Fix bug in linux/Dockerfile.John MacFarlane1-1/+1
2018-10-18linux Dockerfile - use released static build of stack.John MacFarlane1-4/+2
2018-09-16linux/Dockerfile: Use more recent (unofficial) stack.John MacFarlane1-4/+5
2018-09-16Linux Dockerfile: try upgrading stack.John MacFarlane1-0/+2
2018-09-16Remove upx stuff from Dockerfile.John MacFarlane1-3/+0
2018-07-30Remove duplicate instruction (#4796)Josh1-1/+0
2018-07-15linux/Dockerfile: simplify and use new ghc 8.4.3.John MacFarlane1-35/+3
2018-05-11Dockerfile fixes.John MacFarlane1-1/+2
2018-04-24Use latest haddock-library even for stack.lts9 build.John MacFarlane1-0/+1
2018-04-23Revised Dockerfile for static linux build.John MacFarlane1-7/+11
2018-04-20dockerfile: upgrade stack.John MacFarlane1-0/+2
2017-12-28linux package build: use stack lts-9.John MacFarlane1-5/+22
2017-12-27Docker build: upgrade stack first.John MacFarlane1-3/+5
2017-12-27Removed stack.pkg.yaml.John MacFarlane1-2/+2
2017-10-30Linux package build: ensure that pandoc-citeproc is statically linked.John MacFarlane1-0/+6
2017-10-22Back to using alpine-based Dockerfile for linux build.John MacFarlane1-9/+21
2017-10-22Fixed bug in make_linux.sh path.John MacFarlane1-1/+1
2017-10-22Linux package: new debian-based non-static build.John MacFarlane1-20/+9
2017-09-05Another try to get linux static linking working again.John MacFarlane1-2/+2
2017-09-04Make sure bash is available in linux package build environment.John MacFarlane1-1/+1
2017-09-04Revert use of llvm backend in static linux build.John MacFarlane1-2/+2
2017-09-04Add 'static' Cabal flag, use it for linux statically linked.John MacFarlane1-4/+6
2017-04-02Revert "Revert "Use file-embed instead of hsb2hs to embed data files.""John MacFarlane1-1/+0
2017-03-26Revert "Use file-embed instead of hsb2hs to embed data files."John MacFarlane1-0/+1
2017-03-26Use file-embed instead of hsb2hs to embed data files.John MacFarlane1-1/+0
2017-03-19Fixed paths: deb->linux.John MacFarlane1-4/+2
2017-03-19Improved linux tar.gz creation and added Dockerfile to repository.John MacFarlane1-0/+31