Searched refs:HOL4_DIR (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/graph-refine/scripts/
H A Dsetup-HOL4.sh22 HOL4_DIR=$(ls -d HOL4 ../HOL4 ../../HOL4 2> /dev/null | head -n 1)
23 if [[ -e $HOL4_DIR ]]
25 HOL4_DIR=$(readlink -f $HOL4_DIR)
26 echo "Setting up HOL4 in $HOL4_DIR"
32 POLY_DIR=$HOL4_DIR/polyml
68 pushd $HOL4_DIR
70 echo Cleaning HOL4 build in $HOL4_DIR
78 if [[ ! -e $HOL4_DIR/bin/build ]]
85 PATH=$HOL4_DIR/bi
[all...]
/seL4-l4v-10.1.1/graph-refine/seL4-example/
H A Dconfigure_default.sh32 HOL4_DIR=$(readlink -f ../../HOL4)
33 POLY_DIR=$HOL4_DIR/polyml
36 SUMM=$(readlink -f $HOL4_DIR/bin/$1)
37 pushd $HOL4_DIR
38 echo Results of '"git show"' in $HOL4_DIR before building. > $SUMM
46 if [[ ! -e $HOL4_DIR/bin/build ]]
50 elif [[ ! -e $HOL4_DIR/sigobj/realTheory.sig ]]
54 elif [[ -e $HOL4_DIR/bin/build_summ ]]
57 if ( diff -q $HOL4_DIR/bin/build_summ $HOL4_DIR/bi
[all...]

Completed in 35 milliseconds