Searched refs:HETS_LIB (Results 1 - 20 of 20) sorted by relevance

/hets/utils/
H A Dadd-dir-tree-to-hets-lib.sh3 # Prepends the current directory and all of its non-hidden subdirectories to the HETS_LIB path
13 HETS_LIB="$dir:$HETS_LIB"
15 export HETS_LIB
/hets/test/GALILEO/
H A Drun.sh2 ../../hets -v2 -L $HETS_LIB:.. Heat.hpf
/hets/utils/macports/
H A Dhets_script8 export HETS_LIB=`dirname $0`/../lib/hets/hets-lib
H A Dplatypus_script4 export HETS_LIB=$hetsdir/Hets-lib
/hets/utils/nightly/linux/
H A Dmonthly.sh4 HETS_LIB=/local/home/maeder/monthly/Hets-lib
7 export HETS_LIB
9 cd $HETS_LIB
14 $HETS_LIB/runSPASSconsistency.sh */*.dfg.c
H A Dcronjob.sh5 HETS_LIB=/local/home/maeder/haskell/Hets-lib
8 export HETS_LIB
9 export CASL_LIB=$HETS_LIB
H A Dweekly.sh4 HETS_LIB=/local/home/maeder/CASL-lib
7 export HETS_LIB
/hets/test/
H A Dhets-lib-check.sh8 hets --quiet -a none $HETS_LIB/$i
H A Dhets-lib-database-check.sh23 $call_hets $HETS_LIB/$i
/hets/utils/LiveCD/
H A Dinithets.sh9 export HETS_LIB=/root/Hets-lib
10 export HETS_ISABELLE_LIB=$HETS_LIB/Isabelle
/hets/debian/
H A Dhets_script8 [[ -z ${HETS_LIB} ]] && \
9 HETS_LIB="${BASEDIR}/lib/hets/hets-lib"
37 HETS_ISABELLE_LIB="${HETS_LIB}/Isabelle"
39 export HETS_HOLLIGHT_TOOLS HETS_HOL_DIR HETS_ISA_TOOLS HETS_LIB HETS_MAGIC \
/hets/utils/nightly/V240-solaris/
H A Dcronjob.sh5 HETS_LIB=/home/maeder/haskell/V240-solaris/haskell/Hets-lib
10 export HETS_LIB
/hets/utils/nightly/solaris/
H A Dcronjob.sh5 HETS_LIB=/local/home/maeder/haskell/Hets-lib
9 export HETS_LIB
/hets/utils/nightly/linux64/
H A Dcronjob.sh5 HETS_LIB=/local/home/maeder/haskell/Hets-lib
8 export HETS_LIB
/hets/utils/nightly/pc-solaris/
H A Dcronjob.sh5 HETS_LIB=/local/home/maeder/haskell/Hets-lib
9 export HETS_LIB
/hets/utils/nightly/intel-mac/
H A Dcronjob.sh5 export HETS_LIB=/Users/Shared/maeder/haskell/Hets-lib
/hets/utils/nightly/mac/
H A Dcronjob.sh5 export HETS_LIB=/Users/Shared/maeder/haskell/Hets-lib
/hets/utils/debian/auto-package/debian-server/
H A Dhets_script13 export HETS_LIB=/usr/lib/hets-server/hets-lib
/hets/utils/debian/auto-package/debian-common/
H A Dhets_script201 export HETS_LIB=/usr/lib/hets/hets-lib
/hets/utils/nightly/
H A Dcronjob.sh382 cd $HETS_LIB
404 cd $HETS_LIB

Completed in 2887 milliseconds