From 9d4ef5a7da43808ee659caa4e4df4d53497bd53a Mon Sep 17 00:00:00 2001 From: azahi Date: Sun, 13 Oct 2019 00:37:18 +0300 Subject: fix build script error and update stack --- build | 19 ++++++++++++++++++- 1 file changed, 18 insertions(+), 1 deletion(-) mode change 120000 => 100755 build (limited to 'build') diff --git a/build b/build deleted file mode 120000 index 38d2cab..0000000 --- a/build +++ /dev/null @@ -1 +0,0 @@ -build-scripts/build-cabal \ No newline at end of file diff --git a/build b/build new file mode 100755 index 0000000..aa11764 --- /dev/null +++ b/build @@ -0,0 +1,18 @@ +#!/bin/sh -eu + +SRC_DIR="$HOME/.xmonad" +EXE_NAME="xmonad-ng" +OUT="$1" + +shift + +cd "$SRC_DIR" || exit 1 + +cabal new-configure \ + --enable-optimization \ + --enable-executable-stripping + +cabal new-build + +find "$SRC_DIR"/dist-newstyle -type f -executable -name "$EXE_NAME" \ + -exec mv -u '{}' "$OUT" ';' -- cgit 1.4.1