export ACL2_FEATURES_DETECTED := 1
export ACL2_HAS_ANSI := 1
EXPORTED_VARS += ACL2_HAS_ANSI
export ACL2_HAS_PARALLEL := 
EXPORTED_VARS += ACL2_HAS_PARALLEL
export ACL2_HAS_REALS := 
EXPORTED_VARS += ACL2_HAS_REALS
export ACL2_HAS_ACL2_DEVEL := 
EXPORTED_VARS += ACL2_HAS_ACL2_DEVEL
export ACL2_COMP_EXT := fasl
EXPORTED_VARS += ACL2_COMP_EXT
export ACL2_HOST_LISP := SBCL
EXPORTED_VARS += ACL2_HOST_LISP
export USE_QUICKLISP ?= 1
EXPORTED_VARS += USE_QUICKLISP
export ACL2_THINKS_BOOK_DIR_IS := /opt/local/var/macports/build/acl2-21f8f34f/work/acl2-8.7/books/
EXPORTED_VARS += ACL2_THINKS_BOOK_DIR_IS
export ACL2_USELESS_RUNES ?= -25
EXPORTED_VARS += ACL2_USELESS_RUNES
export OS_HAS_GCC_C17 ?= 1
EXPORTED_VARS += OS_HAS_GCC_C17
EXPORT_SHELL_ENV := $(foreach v,$(EXPORTED_VARS),$(v)='$($(v))')
