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

LIB=spec
SRCS=\
        spectree.ml speccomp.mli speccomp.ml specparse.mly speclex.mll

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

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