fe39bb0Use -split-sections to reduce linux executable size.John MacFarlane7 years ago 16bf907Remove clone of pandoc-citeproc.John MacFarlane8 years ago d7a13b4linux/Dockerfile : use default -O1 instead of -O2.2.6John MacFarlane8 years ago 473b4adUpdate linux Dockerfile to use cabal new-build.2.5John MacFarlane8 years ago 3af988alinux/Dockerfile - use resolver lts-12.12.2.4John MacFarlane8 years ago bf17af6Fix bug in linux/Dockerfile.John MacFarlane8 years ago 23cd1c7Fix bug in linux/Dockerfile.John MacFarlane8 years ago 3fbbdd9linux Dockerfile - use released static build of stack.John MacFarlane8 years ago 1cd03e3linux/Dockerfile: Use more recent (unofficial) stack.John MacFarlane8 years ago f9665d0Linux Dockerfile: try upgrading stack.John MacFarlane8 years ago 5776e62Remove upx stuff from Dockerfile.John MacFarlane8 years ago bf56181Remove duplicate instruction (#4796)Josh8 years ago cccaf33linux/Dockerfile: simplify and use new ghc 8.4.3.deleteJohn MacFarlane8 years ago 9b92993Dockerfile fixes.2.2.1John MacFarlane8 years ago 317840aUse latest haddock-library even for stack.lts9 build.John MacFarlane8 years ago 58534ccRevised Dockerfile for static linux build.John MacFarlane8 years ago 26fee8bdockerfile: upgrade stack.John MacFarlane8 years ago 999dd2alinux package build: use stack lts-9.John MacFarlane9 years ago 40a5572Docker build: upgrade stack first.John MacFarlane9 years ago ffa3d71Removed stack.pkg.yaml.John MacFarlane9 years ago bcf982cLinux package build: ensure that pandoc-citeproc is statically linked.John MacFarlane9 years ago 0463a57Back to using alpine-based Dockerfile for linux build.John MacFarlane9 years ago e720a44Fixed bug in make_linux.sh path.John MacFarlane9 years ago 5a7a3f1Linux package: new debian-based non-static build.John MacFarlane9 years ago 4170a18Another try to get linux static linking working again.John MacFarlane9 years ago d02518bMake sure bash is available in linux package build environment.John MacFarlane9 years ago 2637df2Revert use of llvm backend in static linux build.John MacFarlane9 years ago aa90919Add 'static' Cabal flag, use it for linux statically linked.John MacFarlane9 years ago ff991d1Revert "Revert "Use file-embed instead of hsb2hs to embed data files.""John MacFarlane10 years ago 1fa15c2Revert "Use file-embed instead of hsb2hs to embed data files."John MacFarlane10 years ago 10d91c1Use file-embed instead of hsb2hs to embed data files.John MacFarlane10 years ago de8d4e2Fixed paths: deb->linux.John MacFarlane10 years ago 74fd00bImproved linux tar.gz creation and added Dockerfile to repository.John MacFarlane10 years ago