summaryrefslogtreecommitdiff
path: root/linux
diff options
context:
space:
mode:
Diffstat (limited to 'linux')
-rw-r--r--linux/make_artifacts.sh15
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"