CMOFILES=dn.cmo termdn.cmo btermdn.cmo nbtermdn.cmo \
       pattern.cmo wcclausenv.cmo tacticals.cmo tactics.cmo \
       tacentries.cmo hiddentac.cmo elim.cmo dhyp.cmo auto.cmo 

ZLIBS=-I ../lib/util -I ../meta -I ../constr -I ../proofs -I ../env \
	-I ../../tactics -I ../parsing -I ../typing

byte: $(CMOFILES) tactics.cma

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

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


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

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