]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/tactics/paramodulation/Makefile
fixed coercions undoooing
[helm.git] / helm / ocaml / tactics / paramodulation / Makefile
1 PACKAGE = dummy
2
3 LOCALLINKOPTS = -package helm-cic_disambiguation,helm-content_pres,helm-grafite,helm-grafite_parser,helm-tactics
4
5 include ../../Makefile.common
6
7 all $(PACKAGE).cma :saturate 
8 opt $(PACKAGE).cmxa:saturate.opt
9
10 saturate: saturate_main.ml $(LIBRARIES)
11         $(OCAMLC) $(LOCALLINKOPTS) -thread -linkpkg -o $@ $<
12 saturate.opt: saturate_main.ml $(LIBRARIES)
13         $(OCAMLOPT) $(LOCALLINKOPTS) -thread -linkpkg -o $@ $<
14
15 clean:
16         rm -f saturate saturate.opt
17
18