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