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