From 93f1e0ff7576197d193d55b6d82ebc81967e8fe9 Mon Sep 17 00:00:00 2001 From: Krzysztof Gogolewski Date: Thu, 1 Aug 2019 00:52:09 +0200 Subject: Remove build.nix.sh This file refers to shell.nix, which was removed in 430e6fedfda and c00d2f59d. --- build.nix.sh | 34 ---------------------------------- 1 file changed, 34 deletions(-) delete mode 100755 build.nix.sh diff --git a/build.nix.sh b/build.nix.sh deleted file mode 100755 index 088202665f..0000000000 --- a/build.nix.sh +++ /dev/null @@ -1,34 +0,0 @@ -#!/usr/bin/env nix-shell -#! nix-shell -i bash shell.nix - -# This script sets up the build environment by invoking nix-shell shell.nix -# and then runs the hadrian executable. - -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" -} - -absoluteRoot="$(dirname "$(rl "$0")")" -echo $absoluteRoot -cd "$absoluteRoot" - -hadrian \ - --directory="$absoluteRoot/.." \ - "$@" -- cgit v1.2.1