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

LIB=synth
SRCS=\
	solver.mli solver.ml \
	build.mli build.ml \
	synthcegis.ml \
	synthdirect.ml

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

OCAMLINCS+=-I $(Z3DIR)

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