lib/scripts/getsettings
author wenzelm
Fri Feb 14 15:13:32 1997 +0100 (1997-02-14)
changeset 2621 e9e491033b54
parent 2590 363b2c37a1b9
child 2643 a7f469c0ba59
permissions -rw-r--r--
globally unset ENV, BASH_ENV;
wenzelm@2307
     1
#
wenzelm@2307
     2
# $Id$
wenzelm@2299
     3
#
wenzelm@2348
     4
# getsettings - bash source script to augment current env.
wenzelm@2299
     5
#
wenzelm@2299
     6
wenzelm@2299
     7
#value set by caller
wenzelm@2299
     8
export ISABELLE_HOME
wenzelm@2299
     9
wenzelm@2299
    10
set -o allexport
wenzelm@2299
    11
wenzelm@2621
    12
#users tend to put strange things in here
wenzelm@2621
    13
unset ENV
wenzelm@2621
    14
unset BASH_ENV
wenzelm@2621
    15
wenzelm@2590
    16
#get bash-style platform info -- has to work around some tricky features
wenzelm@2590
    17
unset HOSTTYPE
wenzelm@2590
    18
unset OSTYPE
wenzelm@2621
    19
PLATFORM=$(bash -norc -c 'echo $HOSTTYPE-$OSTYPE')
wenzelm@2590
    20
wenzelm@2428
    21
. $ISABELLE_HOME/etc/settings || exit 2
wenzelm@2299
    22
[ -f $ISABELLE_HOME_USER/etc/settings ] && . $ISABELLE_HOME_USER/etc/settings
wenzelm@2299
    23
wenzelm@2478
    24
ISABELLE=$ISABELLE_HOME/bin/isabelle
wenzelm@2478
    25
ISATOOL=$ISABELLE_HOME/bin/isatool
wenzelm@2590
    26
ISABELLE_OUTPUT_DIR="$ISABELLE_OUTPUT/$ML_SYSTEM-$PLATFORM"
wenzelm@2478
    27
wenzelm@2299
    28
set +o allexport