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

LIB=logic
SRCS=\
	mipsstate.ml mips.ml enabled.ml insns.ml mipstools.ml \
	syminsns.ml \
	lbaseopt.mli lbaseopt.ml lconsteval.mli lconsteval.ml \
	printasm.mli printasm.ml printlogic.mli printlogic.ml

OCAMLINCS+=-I ../support

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