X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Focaml%2FMakefile.am;fp=helm%2FDEVEL%2Fmathml_editor%2Focaml%2FMakefile.am;h=6cb2ab42ce605f0837b6a920276d9203aba58a1c;hb=bf6bbd9f2e47ce7a465c0bb3105f9a7c7d73a9ea;hp=cd0b51fa2a113de75ed8f5ca584f3cb2a4460c30;hpb=fde0ad77237a2fbdfb5621d5b5085fe7c82e3f92;p=helm.git

diff --git a/helm/DEVEL/mathml_editor/ocaml/Makefile.am b/helm/DEVEL/mathml_editor/ocaml/Makefile.am
index cd0b51fa2..6cb2ab42c 100644
--- a/helm/DEVEL/mathml_editor/ocaml/Makefile.am
+++ b/helm/DEVEL/mathml_editor/ocaml/Makefile.am
@@ -70,14 +70,8 @@ $(ARCHIVE).cmxa: $(CMX_S)
 	$(OCAMLMKLIB) -o $(ARCHIVE) -L@OCAMLSTUBDIR@ $(CMX_S) $(SHARED_LIBS)
 
 # use .lo for ocamlmklib
-$(DLL) $(ARCHIVE).a: $(LO_S)
-	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)
 
 %.cmi: %.mli
 	$(OCAMLC) -c $<