LOCALLINKOPTS = -package helm-cic_disambiguation,helm-content_pres,helm-grafite,helm-grafite_parser,helm-tactics
-all:saturate
-opt:saturate.opt
+include ../../Makefile.common
+
+all $(PACKAGE).cma :saturate
+opt $(PACKAGE).cmxa:saturate.opt
saturate: saturate_main.ml $(LIBRARIES)
$(OCAMLC) $(LOCALLINKOPTS) -thread -linkpkg -o $@ $<
saturate.opt: saturate_main.ml $(LIBRARIES)
$(OCAMLOPT) $(LOCALLINKOPTS) -thread -linkpkg -o $@ $<
-include ../../Makefile.common
-
clean:
rm -f saturate saturate.opt