aboutsummaryrefslogtreecommitdiff
path: root/linux/Dockerfile
AgeCommit message (Expand)AuthorFilesLines
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