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