aboutsummaryrefslogtreecommitdiff
path: root/linux/make_artifacts.sh
AgeCommit message (Expand)AuthorFilesLines
2021-03-18Revert the -j related changes in make_artifacts.sh.John MacFarlane1-3/+3
2021-03-18make_artifacts.sh: try using -j for cabal rather than -j4 ghc-options.John MacFarlane1-3/+3
2021-03-16Use -j4 for linux release build.John MacFarlane1-2/+2
2021-03-08linux/make_artifacts.sh: Use -f when removing artifacts/DONE.John MacFarlane1-1/+2
2021-03-08ARM build script: more reliable detection of completion.John MacFarlane1-0/+9
2021-03-08Use correct architecture in .tar.gz for linux.John MacFarlane1-1/+1
2021-03-06linux build script: set architecture to 'unknown' when no match.John MacFarlane1-0/+1
2021-03-06linux build script: handle architecture for aarch64.John MacFarlane1-3/+4
2021-03-01Use -split-sections in creating release binary.John MacFarlane1-1/+1
2020-11-18Re-add -optc-Os to static linux build, because it makes binary smaller.John MacFarlane1-1/+1
2020-11-18Simplify options for building static linux binary.John MacFarlane1-1/+1
2020-11-17Remove obsolete bibutils flag setting on linux/make_artifacts.sh.John MacFarlane1-1/+1
2020-09-21Add built-in citation support using new citeproc library.John MacFarlane1-15/+5
2020-08-11Linux rc build: use ghc-musl container.John MacFarlane1-0/+82