From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 7 Jul 2005 12:22:57 +0000 (+0000)
Subject: enable static binding of C/OCaml glue code
X-Git-Tag: V_0_7_1~21
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2d4c60f041f8c72eb43e8cfbcc36fd4b04033a6c;p=helm.git

enable static binding of C/OCaml glue code
---

diff --git a/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/Makefile.am b/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/Makefile.am
index 623d8cdc3..4da9bef88 100644
--- a/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/Makefile.am
+++ b/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/Makefile.am
@@ -41,29 +41,17 @@ O_S = $(C_SRC:%.c=.libs/%.o)
 LO_S = $(O_S:%.o=%.lo)
 CMA_DEPS = i_gdome_xslt.cmo gdome_xslt.cmo
 CMXA_DEPS = $(CMA_DEPS:%.cmo=%.cmx)
-SHARED_LIBS = $(LIBXSLT_LIBS) $(GDOME_LIBS) -lmlgdome
+SHARED_LIBS = $(LIBXSLT_LIBS) $(GDOME_LIBS)
 
 x_gdome_xslt.c: $(top_srcdir)/C/gdome_xslt/gdome_xslt.c
 	cp $< $@
 
 $(ARCHIVE).cma: $(CMA_DEPS)
-	$(OCAMLMKLIB) -o $(ARCHIVE) -L@OCAMLSTUBDIR@ $(CMA_DEPS) $(SHARED_LIBS)
-
+	$(OCAMLMKLIB) -o $(ARCHIVE) $^ $(SHARED_LIBS)
 $(ARCHIVE).cmxa: $(CMXA_DEPS)
-	$(OCAMLMKLIB) -o $(ARCHIVE) -L@OCAMLSTUBDIR@ $(CMXA_DEPS) $(SHARED_LIBS)
-
-# $(DLL) lib$(ARCHIVE).a: $(LO_S)
-# # use .lo for ocamlmklib
-# for f in $(LO_S); do	\
-# cp $$f $$f.o;	\
-# done
-# $(OCAMLMKLIB) -o $(ARCHIVE) -L@OCAMLSTUBDIR@ $(LO_S:%=%.o)  $(SHARED_LIBS)
-# for f in $(LO_S:%=%.o); do	\
-# rm $$f;	\
-# done
-#
-$(DLL) lib$(ARCHIVE).a: $(O_S)
-	$(OCAMLMKLIB) -o $(ARCHIVE) -L@OCAMLSTUBDIR@ $(O_S) $(SHARED_LIBS)
+	$(OCAMLMKLIB) -o $(ARCHIVE) $^ $(SHARED_LIBS)
+lib$(ARCHIVE).a $(DLL): $(O_S)
+	$(OCAMLMKLIB) -o $(ARCHIVE) $^ $(SHARED_LIBS)
 
 INCLUDES = $(GDOME_CFLAGS) $(MLGDOME_CFLAGS) -I/usr/include/caml -I$(top_srcdir)/C/gdome_xslt
 
@@ -93,7 +81,6 @@ endif
 	else	\
 		$(INSTALL_DATA) $(DLL) $(STUBSDIR);	\
 	fi
-	ln -fs $(DLL) $(STUBSDIR)/lib$(ARCHIVE).so
 
 uninstall-local:
 	if [ "x$(OCAMLFIND)" != "x" ]; then	\