ACL2_SYSTEM_BOOKS ?= ../../../..
include ${ACL2_SYSTEM_BOOKS}/Makefile-generic
ACL2 = ${ACL2_SYSTEM_BOOKS}/../saved_acl2
-include Makefile-deps
