]> matita.cs.unibo.it Git - helm.git/commitdiff
added test.opt target
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 26 Apr 2005 17:21:12 +0000 (17:21 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 26 Apr 2005 17:21:12 +0000 (17:21 +0000)
helm/ocaml/metadata/Makefile

index e6b35738f6e82db7a27c216e7e8dfd7460fd0d52..3535d485d168058d5e3eebf37ec22f906173e61d 100644 (file)
@@ -16,6 +16,8 @@ all:
 
 test: test.ml $(PACKAGE).cma
        $(OCAMLFIND) ocamlc -thread -package mysql,helm-metadata -linkpkg -o $@ $<
+test.opt: test.ml $(PACKAGE).cmxa
+       $(OCAMLFIND) opt -thread -package mysql,helm-metadata -linkpkg -o $@ $<
 test_query: test_query.ml $(PACKAGE).cma
        $(OCAMLFIND) ocamlc -thread -package mysql,helm-metadata -linkpkg -o $@ $<