diff options
Diffstat (limited to '')
| -rwxr-xr-x | build-scripts/build-cabal-sandbox | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/build-scripts/build-cabal-sandbox b/build-scripts/build-cabal-sandbox deleted file mode 100755 index 435fa43..0000000 --- a/build-scripts/build-cabal-sandbox +++ /dev/null @@ -1,22 +0,0 @@ -#!/bin/sh -eu - -SRC_DIR="$HOME/.xmonad" -EXE_NAME="xmonad-ng" -OUT="$1" - -shift - -cd "$SRC_DIR" || exit 1 - -cabal sandbox init - -cabal configure \ - --enable-optimization \ - --enable-executable-stripping - -cabal install --only-dependencies - -cabal build - -find "$SRC_DIR"/dist -type f -executable -name "$EXE_NAME" \ - -exec mv -u '{}' "$OUT" ';' |