]> matita.cs.unibo.it Git - helm.git/commitdiff
bugfix: installs also i_gdome_xslt.ml, gdome_xslt_init.o and
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 13 Mar 2003 21:44:28 +0000 (21:44 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 13 Mar 2003 21:44:28 +0000 (21:44 +0000)
libmlgdome2-xslt.a

helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/Makefile.am

index 0a249eafbc236ffc7f2a5c80719f50b1f592e33c..3524a9f1d5ac472c5b47f0b6eb89c83d1a23afd5 100644 (file)
@@ -23,13 +23,15 @@ EXTRA_DIST =        \
        ocaml-io.h
 
 if HAVE_OCAMLOPT_COND
-noinst_DATA = $(ARCHIVE).cma $(DLL) $(ARCHIVE).cmxa $(ARCHIVE).a gdome_xslt_init.cmo gdome_xslt_init.cmx
+noinst_DATA =  \
+       $(ARCHIVE).cma $(DLL) $(ARCHIVE).cmxa $(ARCHIVE).a lib$(ARCHIVE).a      \
+       gdome_xslt_init.cmo gdome_xslt_init.cmx
 else
-noinst_DATA = $(ARCHIVE).cma $(DLL) gdome_xslt_init.cmo
+noinst_DATA =  \
+       $(ARCHIVE).cma $(DLL) gdome_xslt_init.cmo lib$(ARCHIVE).a
 endif
 
 noinst_LTLIBRARIES = libmlgdome2-xslt.la
-
 C_SRC = ml_gdome_xslt.c
 libmlgdome2_xslt_la_SOURCES = $(C_SRC)
 
@@ -45,7 +47,7 @@ $(ARCHIVE).cma: $(CMA_DEPS)
 $(ARCHIVE).cmxa: $(CMXA_DEPS)
        $(OCAMLMKLIB) -o $(ARCHIVE) -L@OCAMLSTUBDIR@ $(CMXA_DEPS) $(SHARED_LIBS)
 
-$(DLL) $(ARCHIVE).a: $(LO_S)
+$(DLL) lib$(ARCHIVE).a: $(LO_S)
        # use .lo for ocamlmklib
        for f in $(LO_S); do    \
                cp $$f $$f.o;   \
@@ -57,8 +59,12 @@ $(DLL) $(ARCHIVE).a: $(LO_S)
 
 INCLUDES = $(GDOME_CFLAGS) $(MLGDOME_CFLAGS) -I/usr/include/caml -I$(top_srcdir)/C/gdome_xslt
 
-BYTECODE_STUFF = $(ARCHIVE).cma $(DLL) i_gdome_xslt.cmi i_gdome_xslt.mli gdome_xslt.cmi gdome_xslt.mli gdome_xslt_init.cmi gdome_xslt_init.mli gdome_xslt_init.cmo 
-NATIVECODE_STUFF = $(ARCHIVE).cmxa $(ARCHIVE).a gdome_xslt_init.cmx
+BYTECODE_STUFF =       \
+       $(ARCHIVE).cma $(DLL) i_gdome_xslt.cmi i_gdome_xslt.ml gdome_xslt.cmi   \
+       gdome_xslt.mli gdome_xslt_init.cmi gdome_xslt_init.mli gdome_xslt_init.cmo      \
+       lib$(ARCHIVE).a
+NATIVECODE_STUFF =     \
+       $(ARCHIVE).cmxa $(ARCHIVE).a gdome_xslt_init.cmx gdome_xslt_init.o
 if HAVE_OCAMLOPT_COND
 install-data-local: $(BYTECODE_STUFF) $(NATIVECODE_STUFF)
 else