From: Stefano Zacchiroli Date: Tue, 26 Apr 2005 17:21:12 +0000 (+0000) Subject: added test.opt target X-Git-Tag: after_svn_merge~13 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a9c24cb11986ae440d1d4041f4c97a2464211546;p=helm.git added test.opt target --- diff --git a/helm/ocaml/metadata/Makefile b/helm/ocaml/metadata/Makefile index e6b35738f..3535d485d 100644 --- a/helm/ocaml/metadata/Makefile +++ b/helm/ocaml/metadata/Makefile @@ -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 $@ $<