include ../../../../Makefile-generic

ACL2 = ../../../../../saved_acl2

include Makefile-essence 
