X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Focaml%2FMakefile.am;h=28982ba252f99ec12db4252d9147cd562bf7c528;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=14cd3934cb30a70d769c1a76597bac81c808c085;hpb=4beef8d7eac23c6015d2d4cf887e4fc9d546c07a;p=helm.git diff --git a/helm/DEVEL/mathml_editor/ocaml/Makefile.am b/helm/DEVEL/mathml_editor/ocaml/Makefile.am index 14cd3934c..28982ba25 100644 --- a/helm/DEVEL/mathml_editor/ocaml/Makefile.am +++ b/helm/DEVEL/mathml_editor/ocaml/Makefile.am @@ -69,15 +69,8 @@ $(ARCHIVE).cma: $(CMO_S) $(ARCHIVE).cmxa: $(CMX_S) $(OCAMLMKLIB) -o $(ARCHIVE) -L@OCAMLSTUBDIR@ $(CMX_S) $(SHARED_LIBS) -$(DLL) $(ARCHIVE).a: $(LO_S) - # use .lo for ocamlmklib - for f in $(LO_S); do \ - cp $$f $$f.o; \ - done - $(OCAMLMKLIB) -o $(ARCHIVE) -L@OCAMLSTUBDIR@ $(SHARED_LIBS) $(LO_S:%=%.o) - for f in $(LO_S:%=%.o); do \ - rm $$f; \ - done +$(DLL) $(ARCHIVE).a: $(O_S) + $(OCAMLMKLIB) -o $(ARCHIVE) -L@OCAMLSTUBDIR@ $(SHARED_LIBS) $(O_S:%.o=.libs/%.o) %.cmi: %.mli $(OCAMLC) -c $<