diff options
| author | John MacFarlane <[email protected]> | 2022-08-16 10:55:36 -0700 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2022-08-16 10:55:36 -0700 |
| commit | cd90bffa8cf783a14fba8464d63dae86904e3274 (patch) | |
| tree | 8d2311e4fc88224df9681c8f746d359406219284 /linux/make_artifacts.sh | |
| parent | 473a9b15be95ddf5ae00e1bcf13f7b74d1844331 (diff) | |
More make_artifacts fixes.
Diffstat (limited to 'linux/make_artifacts.sh')
| -rw-r--r-- | linux/make_artifacts.sh | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/linux/make_artifacts.sh b/linux/make_artifacts.sh index ac0006553..5e594b569 100644 --- a/linux/make_artifacts.sh +++ b/linux/make_artifacts.sh @@ -27,8 +27,14 @@ ghc --version cabal update cabal clean -cabal install -j4 -fserver -f-export-dynamic -fembed_data_files --enable-executable-static --ghc-options '-j4 +RTS -A256m -RTS -split-sections -optc-Os -optl=-pthread' --install-method=copy --installdir=$ARTIFACTS -ls $ARTIFACTS +cabal configure -fserver -f-export-dynamic -fembed_data_files --enable-executable-static --ghc-options '-j4 +RTS -A256m -RTS -split-sections -optc-Os -optl=-pthread' pandoc pandoc-server +cabal build -j4 +for f in $(find dist-newstyle -name 'pandoc' -type f -perm /400); do cp $f $ARTIFACTS/; done +for f in $(find dist-newstyle -name 'pandoc-server' -type f -perm /400); do cp $f /$ARTIFACTS/; done + +# Confirm that we have static builds +file $ARTIFACTS/pandoc | grep "statically linked" +file $ARTIFACTS/pandoc-server | grep "statically linked" # make deb for EXE make_deb() { |