1# Editable variables (with some attempt to determine them 2# automatically for Matt Kaufmann): 3 4hostname=`hostname` 5 6if [ "$hostname" = "kala.cl.cam.ac.uk" ] ; then \ 7 export ACL2_SRC=/home/mk606/acl2/v4-0/acl2-sources ; \ 8 export ACL2=${ACL2_SRC}/saved_acl2 ; \ 9 export ACL2_HOL=/home/mk606/hol/HOL/examples/acl2 10elif [ "$hostname" = "oliphaunt-0.cs.utexas.edu" ] ; then \ 11 export ACL2_SRC=/projects/acl2/v4-0-linux-64 ; \ 12 export ACL2=${ACL2_SRC}/ccl-saved_acl2 ; \ 13 export ACL2_HOL=/u/kaufmann/projects/HOL/examples/acl2 14else 15 export ACL2_SRC=/Users/kaufmann/acl2/v4-0/acl2-sources ; \ 16 export ACL2=${ACL2_SRC}/saved_acl2 ; \ 17 export ACL2_HOL=/Users/kaufmann/projects/HOL/examples/acl2 18fi 19 20# end of editable variables 21 22export ACL2_SYSTEM_BOOKS=${ACL2_SRC}/books 23export ACL2_HOL_LISP=${ACL2_HOL}/lisp 24