]> matita.cs.unibo.it Git - helm.git/commitdiff
better use of variables to install/uninstall stuff
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 24 Dec 2002 08:04:47 +0000 (08:04 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 24 Dec 2002 08:04:47 +0000 (08:04 +0000)
helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/Makefile.am

index 42b6065e18cbc5428d43529d9f7eb978b438e620..a5adeb590817f41d5fe04af8c803eb781b2350ec 100644 (file)
@@ -19,6 +19,10 @@ O_S = ml_gdome_xslt.o $(top_builddir)/C/gdome_xslt/gdome_xslt.o
 SHARED_LIBS = -lxslt -lgdome -lglib -lxml2 -lmlgdome
 BYTE_STUFF = $(ARCHIVE).cma $(INIT).cmo
 NATIVE_STUFF = $(ARCHIVE).cmxa $(ARCHIVE).a $(INIT).cmx
+BYTE_INSTALL_STUFF =   \
+       i_gdome_xslt.cmi gdome_xslt.cmi gdome_xslt.mli $(ARCHIVE).cma   \
+       $(INIT).cmi $(INIT).cmo $(INIT).mli $(DLL) META
+NATIVE_INSTALL_STUFF = $(ARCHIVE).a $(ARCHIVE).cmxa $(INIT).cmx $(INIT).o
 
 EXTRA_DIST =   \
        META.in gdome_xslt.ml gdome_xslt.mli    \
@@ -35,14 +39,9 @@ noinst_LTLIBRARIES = libmlgdome2_xslt.la
 libmlgdome2_xslt_la_SOURCES = ml_gdome_xslt.c
 
 if HAVE_OCAMLOPT_COND
-install-data-local:    \
-       gdome_xslt.cmi gdome_xslt.mli $(ARCHIVE).cma    \
-       $(INIT).cmi $(INIT).cmo $(INIT).mli $(DLL) META \
-       $(ARCHIVE).a $(ARCHIVE).cmxa $(INIT).cmx $(INIT).o
+install-data-local:    $(BYTE_INSTALL_STUFF) $(NATIVE_INSTALL_STUFF)
 else
-install-data-local:    \
-       gdome_xslt.cmi gdome_xslt.mli $(ARCHIVE).cma    \
-       $(INIT).cmi $(INIT).cmo $(INIT).mli $(DLL) META
+install-data-local:    $(BYTE_INSTALL_STUFF)
 endif
        $(mkinstalldirs) $(OCAMLSTDLIBDIR) $(OCAMLSTUBDIR)
        chmod -x $(DLL)