X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Focaml%2FMakefile.am;h=cd0b51fa2a113de75ed8f5ca584f3cb2a4460c30;hb=86a4850d55fa53e180ae041e0f5a7f0537025b76;hp=14cd3934cb30a70d769c1a76597bac81c808c085;hpb=4fa5b9f1173f4d45c0f01d573392c9adcb4269eb;p=helm.git diff --git a/helm/DEVEL/mathml_editor/ocaml/Makefile.am b/helm/DEVEL/mathml_editor/ocaml/Makefile.am index 14cd3934c..cd0b51fa2 100644 --- a/helm/DEVEL/mathml_editor/ocaml/Makefile.am +++ b/helm/DEVEL/mathml_editor/ocaml/Makefile.am @@ -69,8 +69,8 @@ $(ARCHIVE).cma: $(CMO_S) $(ARCHIVE).cmxa: $(CMX_S) $(OCAMLMKLIB) -o $(ARCHIVE) -L@OCAMLSTUBDIR@ $(CMX_S) $(SHARED_LIBS) +# use .lo for ocamlmklib $(DLL) $(ARCHIVE).a: $(LO_S) - # use .lo for ocamlmklib for f in $(LO_S); do \ cp $$f $$f.o; \ done