diff options
Diffstat (limited to 'hadrian/build.global-db.sh')
-rwxr-xr-x | hadrian/build.global-db.sh | 52 |
1 files changed, 0 insertions, 52 deletions
diff --git a/hadrian/build.global-db.sh b/hadrian/build.global-db.sh deleted file mode 100755 index 5f1579becd..0000000000 --- a/hadrian/build.global-db.sh +++ /dev/null @@ -1,52 +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")")" - -mkdir -p "$root/bin" - -ghc \ - "$root/src/Main.hs" \ - -Wall \ - -fno-warn-name-shadowing \ - -XRecordWildCards \ - -i"$root/src" \ - -i"$root/../libraries/Cabal/Cabal" \ - -rtsopts \ - -with-rtsopts=-I0 \ - -threaded \ - -outputdir="$root/bin" \ - -j -O \ - -o "$root/bin/hadrian" - -"$root/bin/hadrian" \ - --lint \ - --directory "$root/.." \ - "$@"
\ No newline at end of file |