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