3 LOCALLINKOPTS = -package helm-cic_disambiguation,helm-content_pres,helm-grafite,helm-grafite_parser,helm-tactics
8 saturate: saturate_main.ml $(LIBRARIES)
9 $(OCAMLC) $(LOCALLINKOPTS) -thread -linkpkg -o $@ $<
10 saturate.opt: saturate_main.ml $(LIBRARIES)
11 $(OCAMLOPT) $(LOCALLINKOPTS) -thread -linkpkg -o $@ $<
13 include ../../Makefile.common
16 rm -f saturate saturate.opt