]> matita.cs.unibo.it Git - helm.git/commitdiff
* the .o files to be used in the dll are now taken from the .libs subdirectoy
authorLuca Padovani <luca.padovani@unito.it>
Thu, 25 Mar 2004 11:40:41 +0000 (11:40 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Thu, 25 Mar 2004 11:40:41 +0000 (11:40 +0000)
  (which presumably contains the PIC code)

helm/DEVEL/mathml_editor/ocaml/Makefile.am

index 32e39cc36779a3e3bbea5203a1e30c4e0f2fa1b6..28982ba252f99ec12db4252d9147cd562bf7c528 100644 (file)
@@ -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 $<