diff options
| author | Azat Bahawi <azahi@teknik.io> | 2019-12-02 18:03:13 +0300 |
|---|---|---|
| committer | Azat Bahawi <azahi@teknik.io> | 2019-12-02 18:03:13 +0300 |
| commit | 29a3bfae91ff4843a9ea2cab5b8cd18393fbdbf4 (patch) | |
| tree | cc977d45768cd4403b89182bbe26303037a55d41 /build-scripts | |
| parent | fix build script error and update stack (diff) | |
Refactor scripts
Diffstat (limited to 'build-scripts')
| -rwxr-xr-x | build-scripts/build-cabal | 18 | ||||
| -rwxr-xr-x | build-scripts/build-cabal-sandbox | 22 | ||||
| -rwxr-xr-x | build-scripts/build-stack | 15 |
3 files changed, 0 insertions, 55 deletions
diff --git a/build-scripts/build-cabal b/build-scripts/build-cabal deleted file mode 100755 index aa11764..0000000 --- a/build-scripts/build-cabal +++ /dev/null @@ -1,18 +0,0 @@ -#!/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" ';' 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" ';' diff --git a/build-scripts/build-stack b/build-scripts/build-stack deleted file mode 100755 index 235b826..0000000 --- a/build-scripts/build-stack +++ /dev/null @@ -1,15 +0,0 @@ -#!/bin/sh -eu - -SRC_DIR="$HOME/.xmonad" -EXE_NAME="xmonad-ng" -OUT="$1" - -shift - -unset STACK_YAML - -cd "$SRC_DIR" || exit 1 - -stack build - -ln -f -T "$(stack exec -- which $EXE_NAME)" "$1" |