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