From: Luca Padovani <luca.padovani@unito.it>
Date: Thu, 25 Mar 2004 11:40:41 +0000 (+0000)
Subject: * the .o files to be used in the dll are now taken from the .libs subdirectoy
X-Git-Tag: dead_dir_walking~109
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=02db2fb2a6999035676f86a56873282e92902f50;p=helm.git

* the .o files to be used in the dll are now taken from the .libs subdirectoy
  (which presumably contains the PIC code)
---

diff --git a/helm/DEVEL/mathml_editor/ocaml/Makefile.am b/helm/DEVEL/mathml_editor/ocaml/Makefile.am
index 32e39cc36..28982ba25 100644
--- a/helm/DEVEL/mathml_editor/ocaml/Makefile.am
+++ b/helm/DEVEL/mathml_editor/ocaml/Makefile.am
@@ -70,7 +70,7 @@ $(ARCHIVE).cmxa: $(CMX_S)
 	$(OCAMLMKLIB) -o $(ARCHIVE) -L@OCAMLSTUBDIR@ $(CMX_S) $(SHARED_LIBS)
 
 $(DLL) $(ARCHIVE).a: $(O_S)
-	$(OCAMLMKLIB) -o $(ARCHIVE) -L@OCAMLSTUBDIR@ $(SHARED_LIBS) $(O_S)
+	$(OCAMLMKLIB) -o $(ARCHIVE) -L@OCAMLSTUBDIR@ $(SHARED_LIBS) $(O_S:%.o=.libs/%.o)
 
 %.cmi: %.mli
 	$(OCAMLC) -c $<