include ../../Makefile-generic
# BOOKS = fixedpoint record-exports defrecord records domain set-domain defarray defrecord-fast mem-domain memory
-include Makefile-deps
