87eb8dfRevert the -j related changes in make_artifacts.sh.John MacFarlane6 years ago 89a89a8make_artifacts.sh: try using -j for cabal rather than -j4 ghc-options.John MacFarlane6 years ago 94c917cUse -j4 for linux release build.John MacFarlane6 years ago 0515c44linux/make_artifacts.sh: Use -f when removing artifacts/DONE.John MacFarlane6 years ago cac796eARM build script: more reliable detection of completion.John MacFarlane6 years ago 31ca011Use correct architecture in .tar.gz for linux.2.12John MacFarlane6 years ago 1eb882flinux build script: set architecture to 'unknown' when no match.John MacFarlane6 years ago 086406clinux build script: handle architecture for aarch64.John MacFarlane6 years ago 26c496dUse -split-sections in creating release binary.John MacFarlane6 years ago 7fa4d36Re-add -optc-Os to static linux build, because it makes binary smaller.John MacFarlane6 years ago 2002481Simplify options for building static linux binary.John MacFarlane6 years ago d464757Remove obsolete bibutils flag setting on linux/make_artifacts.sh.John MacFarlane6 years ago e0984a4Add built-in citation support using new citeproc library.John MacFarlane6 years ago c990027Linux rc build: use ghc-musl container.John MacFarlane6 years ago