lib/scripts/getsettings
changeset 41614 b7cd80330a16
parent 41511 2fe62d602681
child 41615 f70d2cb26acf
     1.1 --- a/lib/scripts/getsettings	Wed Jan 19 15:22:35 2011 +0100
     1.2 +++ b/lib/scripts/getsettings	Wed Jan 19 21:00:16 2011 +0100
     1.3 @@ -63,6 +63,31 @@
     1.4  fi
     1.5  HOME_JVM="$HOME"
     1.6  
     1.7 +#shared library convenience
     1.8 +function librarypath () {
     1.9 +  for X in "$@"
    1.10 +  do
    1.11 +    case "$ISABELLE_PLATFORM" in
    1.12 +      *-darwin)
    1.13 +        if [ -z "$DYLD_LIBRARY_PATH" ]; then
    1.14 +          DYLD_LIBRARY_PATH="$X"
    1.15 +        else
    1.16 +          DYLD_LIBRARY_PATH="$X:$DYLD_LIBRARY_PATH"
    1.17 +        fi
    1.18 +        export DYLD_LIBRARY_PATH
    1.19 +        ;;
    1.20 +      *)
    1.21 +        if [ -z "$LD_LIBRARY_PATH" ]; then
    1.22 +          LD_LIBRARY_PATH="$X"
    1.23 +        else
    1.24 +          LD_LIBRARY_PATH="$X:$LD_LIBRARY_PATH"
    1.25 +        fi
    1.26 +        export LD_LIBRARY_PATH
    1.27 +        ;;
    1.28 +    esac
    1.29 +  done
    1.30 +}
    1.31 +
    1.32  #CLASSPATH convenience
    1.33  function classpath () {
    1.34    for X in "$@"