diff options
Diffstat (limited to 'hadrian/build.sh')
-rwxr-xr-x | hadrian/build.sh | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/hadrian/build.sh b/hadrian/build.sh deleted file mode 100755 index ad502b3c49..0000000000 --- a/hadrian/build.sh +++ /dev/null @@ -1,35 +0,0 @@ -#!/usr/bin/env bash - -set -euo pipefail - -# readlink on os x, doesn't support -f, to prevent the -# need of installing coreutils (e.g. through brew, just -# for readlink, we use the follownig substitute. -# -# source: http://stackoverflow.com/a/1116890 -function rl { - TARGET_FILE="$1" - - cd "$(dirname "$TARGET_FILE")" - TARGET_FILE="$(basename "$TARGET_FILE")" - - # Iterate down a (possible) chain of symlinks - while [ -L "$TARGET_FILE" ] - do - TARGET_FILE="$(readlink "$TARGET_FILE")" - cd "$(dirname "$TARGET_FILE")" - TARGET_FILE="$(basename "$TARGET_FILE")" - done - - # Compute the canonicalized name by finding the physical path - # for the directory we're in and appending the target file. - PHYS_DIR="$(pwd -P)" - RESULT="$PHYS_DIR/$TARGET_FILE" - echo "$RESULT" -} - -root="$(dirname "$(rl "$0")")" - -# By default on Linux/MacOS we build Hadrian using Cabal -chmod a+x "$root/build.cabal.sh" -(. "$root/build.cabal.sh" "$@") |