diff options
author | azahi <azahi@teknik.io> | 2019-09-29 14:28:37 +0300 |
---|---|---|
committer | azahi <azahi@teknik.io> | 2019-09-29 14:28:37 +0300 |
commit | d46adbbb0b8452ea25ba01d2b34d2bdc8a5a3a6d (patch) | |
tree | e2a4aeb19d828cf7f3b555855bb697299d63eaa5 /build-scripts/build-cabal | |
parent | Update xmonad-contrib (diff) |
Add build scripts
Diffstat (limited to 'build-scripts/build-cabal')
-rwxr-xr-x | build-scripts/build-cabal | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/build-scripts/build-cabal b/build-scripts/build-cabal new file mode 100755 index 0000000..aa11764 --- /dev/null +++ b/build-scripts/build-cabal @@ -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" ';' |