ACL2 ?= ../../../../../../saved_acl2r
include ../../../../../Makefile-generic
-include Makefile-deps
