diff options
| author | John MacFarlane <[email protected]> | 2023-03-12 10:15:53 -0700 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2023-03-12 10:15:53 -0700 |
| commit | 7a8be778691e7c3d144b1ee077a646d88a01dc5c (patch) | |
| tree | 38aca87c7bfd70602df52ef6aa394eecac1216d5 /linux/make_artifacts.sh | |
| parent | b79775991f1b48325538a2ba6a88279ffbe8db63 (diff) | |
linux release builds: split build and package steps.
Diffstat (limited to 'linux/make_artifacts.sh')
| -rw-r--r-- | linux/make_artifacts.sh | 15 |
1 files changed, 1 insertions, 14 deletions
diff --git a/linux/make_artifacts.sh b/linux/make_artifacts.sh index 4b1c2d519..a22fda039 100644 --- a/linux/make_artifacts.sh +++ b/linux/make_artifacts.sh @@ -2,8 +2,6 @@ set -e ROOT="$(pwd)" -CABALOPTS="-f-export-dynamic -fembed_data_files --enable-executable-static -j4" -GHCOPTS="-j4 +RTS -A256m -RTS -split-sections -optc-Os -optl=-pthread" MACHINE=$(uname -m) case "$MACHINE" in @@ -26,18 +24,7 @@ clean_up() { } trap clean_up EXIT -# build binaries - -cabal --version -ghc --version - -cabal update -cabal clean -cabal build $CABALOPTS --ghc-options="$GHCOPTS" all -cabal test $CABALOPTS --ghc-options="$GHCOPTS" all - -# Copy executable to ARTIFACTS -find dist-newstyle -name 'pandoc' -type f -perm /400 -exec cp {} "$ARTIFACTS"/ \; +cp pandoc "$ARTIFACTS/pandoc" # Strip executable strip "$ARTIFACTS/pandoc" |