CMOFILES=evd.cmo termenv.cmo  termast.cmo printer.cmo himsg.cmo \
        closure.cmo reduction.cmo typing.cmo extraction.cmo \
        machops.cmo classops.cmo recordops.cmo mach.cmo indrec.cmo \
        multcase_astterm.cmo astterm.cmo tradevar.cmo multcase.cmo trad.cmo \
        dischcore.cmo indtypes.cmo

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

byte: $(CMOFILES) typing.cma

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

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

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

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