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

/seL4-l4v-10.1.1/HOL4/examples/acl2/tests/
H A Ddoit12 lisp_dir=${ACL2_HOL}/lisp
19 pushd $lisp_dir ; \
33 echo "Making books in $lisp_dir..." ; cd $lisp_dir ; make -s ; temp_status=$? ; cd ..
34 if [ $temp_status -ne 0 ]; then echo "***Failure making books in $lisp_dir" ; my_status=1 ; fi
/seL4-l4v-10.1.1/HOL4/examples/acl2/tests/round-trip/
H A Ddoit11 lisp_dir=${ACL2_HOL}/lisp
18 echo "Making books in $lisp_dir..."
19 pushd $lisp_dir > /dev/null

Completed in 35 milliseconds