ZLIBS=-I ../../config
CMOFILES=pp_control.cmo pp.cmo std.cmo more_util.cmo vectops.cmo \
         listmap.cmo mlm.cmo bstack.cmo \
         hashtabl.cmo mhm.cmo mhmfs.cmo mhb.cmo mhs.cmo \
         baltree.cmo coq_map.cmo coq_set.cmo tlm.cmo \
         avs.cmo avm.cmo mavm.cmo fmavm.cmo \
         intmap.cmo intset.cmo intavm.cmo intavs.cmo \
         edit.cmo hashcons.cmo dyn.cmo system.cmo profile.cmo

byte: $(CMOFILES) utils.cma

opt: $(CMOFILES:.cmo=.cmx) pp_control.cmo pp.cmo std.cmo utils.cmxa

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

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

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