equal
deleted
inserted
replaced
21 #GNU tar (notably on Mac OS X) |
21 #GNU tar (notably on Mac OS X) |
22 if [ -x /usr/bin/gnutar ]; then |
22 if [ -x /usr/bin/gnutar ]; then |
23 function tar() { /usr/bin/gnutar "$@"; } |
23 function tar() { /usr/bin/gnutar "$@"; } |
24 export -f tar |
24 export -f tar |
25 fi |
25 fi |
26 |
|
27 #shared library convenience |
|
28 function librarypath () |
|
29 { |
|
30 for X in "$@" |
|
31 do |
|
32 case "$ISABELLE_PLATFORM" in |
|
33 *-darwin) |
|
34 if [ -z "$DYLD_LIBRARY_PATH" ]; then |
|
35 DYLD_LIBRARY_PATH="$X" |
|
36 else |
|
37 DYLD_LIBRARY_PATH="$X:$DYLD_LIBRARY_PATH" |
|
38 fi |
|
39 export DYLD_LIBRARY_PATH |
|
40 ;; |
|
41 *) |
|
42 if [ -z "$LD_LIBRARY_PATH" ]; then |
|
43 LD_LIBRARY_PATH="$X" |
|
44 else |
|
45 LD_LIBRARY_PATH="$X:$LD_LIBRARY_PATH" |
|
46 fi |
|
47 export LD_LIBRARY_PATH |
|
48 ;; |
|
49 esac |
|
50 done |
|
51 } |
|
52 export -f librarypath |
|
53 |
26 |
54 #robust invocation via ISABELLE_JDK_HOME |
27 #robust invocation via ISABELLE_JDK_HOME |
55 function isabelle_jdk () |
28 function isabelle_jdk () |
56 { |
29 { |
57 if [ -z "$ISABELLE_JDK_HOME" ]; then |
30 if [ -z "$ISABELLE_JDK_HOME" ]; then |