diff options
| author | Jason Gross | 2014-09-09 14:34:59 -0400 |
|---|---|---|
| committer | Jason Gross | 2014-09-09 14:34:59 -0400 |
| commit | 7fa5d7af208c5ff305674739859dbb8f066ffb87 (patch) | |
| tree | 09aae2bf981b1e3b767ac3dcf6ffc7f2a3598fd9 /dev | |
| parent | ad1a964c7c1a03287c501ec4de1242640ddc9265 (diff) | |
Support machines that have a full or nonexistant C drive
Diffstat (limited to 'dev')
| -rwxr-xr-x | dev/make-sdk-win32.sh | 13 |
1 files changed, 12 insertions, 1 deletions
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 <jgross@mit.edu> # 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 ] |