
include ../../config

CSLLIB=-I $(INSTALLDIR)
CAMLC=cslc -c

coc: inf_opt.cmo gram.cmo
	cslc $(CSLLIB) -o coc caml__csl.cmo genlex.cmo inf_opt.cmo gram.cmo

clean:
	rm -f *.cm* *.ml *.mli *.zc coc

.SUFFIXES: .mli .ml .cmo .cmi .caml .camli

.camli.mli:
	caml2csl $(CONVLIB) $<

.caml.ml:
	caml2csl $(CONVLIB) $<

.mli.cmi:
	$(CAMLC) $(CSLLIB) $<

.ml.cmo:
	$(CAMLC) $(CSLLIB) $<


inf_opt.cmo: inf_opt.ml
gram.cmo: gram.ml
