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 | |
parent | Update xmonad-contrib (diff) |
Add build scripts
Diffstat (limited to '')
-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, 55 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" ';' diff --git a/build-scripts/build-cabal-sandbox b/build-scripts/build-cabal-sandbox new file mode 100755 index 0000000..435fa43 --- /dev/null +++ b/build-scripts/build-cabal-sandbox @@ -0,0 +1,22 @@ +#!/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 new file mode 100755 index 0000000..235b826 --- /dev/null +++ b/build-scripts/build-stack @@ -0,0 +1,15 @@ +#!/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" |