X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fgdome_xslt%2Focaml%2Ftest%2FMakefile.am;h=95f83fa79936ad4ab82b7bf40015e48f7022a669;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=58be30f90df2913b1285181856d71c4172b4a2c1;hpb=9a42c48a1d274bda76b2d8684e013be43099ef85;p=helm.git diff --git a/helm/DEVEL/gdome_xslt/ocaml/test/Makefile.am b/helm/DEVEL/gdome_xslt/ocaml/test/Makefile.am index 58be30f90..95f83fa79 100644 --- a/helm/DEVEL/gdome_xslt/ocaml/test/Makefile.am +++ b/helm/DEVEL/gdome_xslt/ocaml/test/Makefile.am @@ -19,6 +19,7 @@ endif test: test.ml $(CMA) $(INIT_CMO) $(OCAMLC) -o $@ -linkpkg $(OCAMLC_FLAGS) $(CMA) $(INIT_CMO) $< + test.opt: test.ml $(CMXA) $(INIT_CMX) $(OCAMLOPT) -o $@ -linkpkg $(OCAMLC_FLAGS) $(CMXA) $(INIT_CMX) $<