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

LIB=symexec
SRCS=\
	typecheck.ml \
	simplify.ml \
	symexec.mli symexec.ml

OCAMLINCS+=-I ../support
OCAMLINCS+=-I ../logic

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