From 7fa5d7af208c5ff305674739859dbb8f066ffb87 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Tue, 9 Sep 2014 14:34:59 -0400 Subject: Support machines that have a full or nonexistant C drive --- dev/make-sdk-win32.sh | 13 ++++++++++++- 1 file changed, 12 insertions(+), 1 deletion(-) (limited to 'dev') diff --git a/dev/make-sdk-win32.sh b/dev/make-sdk-win32.sh index 27c7f6a961..a0dec19faf 100755 --- a/dev/make-sdk-win32.sh +++ b/dev/make-sdk-win32.sh @@ -8,6 +8,9 @@ # by Jason Gross # License: Expat/MIT http://opensource.org/licenses/MIT +# This script reads the following environment variables: +# BASE - set to non-empty to give a different location for the zip file, e.g., if /cygdrive/c is full or doesn't exist + set -e # set -x @@ -36,7 +39,15 @@ has_spaces() { # The SDK itself REVISION=1 -BASE="/cygdrive/c/CoqSDK-$REVISION" +# support for working on computers that don't have a C: drive +if [ -z "$BASE" ] +then + TRUE_BASE=/cygdrive/c +else + # get absolute path + TRUE_BASE="$(readlink -f "$BASE")" +fi +BASE="$TRUE_BASE/CoqSDK-$REVISION" # Windows has a version of FIND in C:/Windows/system32/find, and we don't want to use that if [ -x /usr/bin/find ] -- cgit v1.2.3