CMOFILES=proof_trees.cmo logic.cmo refiner.cmo evar_refiner.cmo \
         tacmach.cmo clenv.cmo macros.cmo tacinterp.cmo

ZLIBS=-I ../lib/util -I ../meta -I ../constr -I ../parsing -I ../typing

byte: $(CMOFILES) proofs.cma

opt: $(CMOFILES:.cmo=.cmx) proofs.cmxa

include ../../config
include ../Makefile.src
include .depend

proofs.cma : $(CMOFILES)
	$(CAMLLINK) -a -o $@ $(CMOFILES)

proofs.cmxa : $(CMOFILES:.cmo=.cmx)
	$(CAMLOPTLINK) -a -o $@ $(CMOFILES:.cmo=.cmx)
