# Edit the following line to point to your acl2-sources directory: ACL2_DIR = /u/kaufmann/projects/vstte-2012/test/acl2-sources ACL2 = $(ACL2_DIR)/saved_acl2 ACL2_SYSTEM_BOOKS = $(ACL2_DIR)/books include ${ACL2_SYSTEM_BOOKS}/Makefile-generic -include Makefile-deps