TOP=..
.include "$(TOP)/mk/base.mk"

LIB=smt
SRCS=\
	smt.ml printsmt.mli printsmt.ml smtopt.ml smtcheck.mli smtcheck.ml \
	smtcanon.mli smtcanon.ml

OCAMLINCS+=-I ../support

.include "$(TOP)/mk/ocaml.mk"
