From 7a8be778691e7c3d144b1ee077a646d88a01dc5c Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Sun, 12 Mar 2023 10:15:53 -0700
Subject: linux release builds: split build and package steps.

---
 linux/make_artifacts.sh | 15 +--------------
 1 file changed, 1 insertion(+), 14 deletions(-)

(limited to 'linux')

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"
-- 
cgit v1.2.3