BIN_DIR = /usr/local/bin
REQUIRES = helm-cic
PREDICATES =
OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)"
OCAMLC = ocamlfind ocamlc $(OCAMLOPTIONS)
OCAMLOPT = ocamlfind ocamlopt $(OCAMLOPTIONS)
OCAMLDEP = ocamldep

all: cicSubstitution.cmo cicEnvironment.cmo cicPp.cmo cicMiniReduction.cmo \
     cicReduction.cmo cicTypeChecker.cmo cicCooking.cmo
opt: cicSubstitution.cmx cicEnvironment.cmx cicPp.cmx cicMiniReduction.cmx \
     cicReduction.cmx cicTypeChecker.cmx cicCooking.cmx

DEPOBJS = cicPp.mli cicPp.ml cicEnvironment.mli cicEnvironment.ml \
          cicSubstitution.mli cicSubstitution.ml cicReduction.mli \
          cicReduction.ml cicTypeChecker.mli cicTypeChecker.ml \
          cicCooking.mli cicCooking.ml cicMinireduction.mli cicMiniReduction.ml

depend:
	$(OCAMLDEP) $(DEPOBJS) > .depend

.SUFFIXES: .ml .mli .cmo .cmi .cmx
.ml.cmo:
	$(OCAMLC) -c $<
.mli.cmi:
	$(OCAMLC) -c $<
.ml.cmx:
	$(OCAMLOPT) -c $<

clean:
	rm -f *.cm[iox]

install:
	#cp

uninstall:
	#rm -f

.PHONY: install uninstall clean

include .depend