]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/ocaml/Makefile.am
* snapshot for gtk2
[helm.git] / helm / DEVEL / mathml_editor / ocaml / Makefile.am
index cd0b51fa2a113de75ed8f5ca584f3cb2a4460c30..6cb2ab42ce605f0837b6a920276d9203aba58a1c 100644 (file)
@@ -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 $<