From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 24 Dec 2002 08:04:47 +0000 (+0000)
Subject: better use of variables to install/uninstall stuff
X-Git-Tag: v0_3_99~130
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=20cfc5110b6140b4d54056026ec9c661deb9d358;p=helm.git

better use of variables to install/uninstall stuff
---

diff --git a/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/Makefile.am b/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/Makefile.am
index 42b6065e1..a5adeb590 100644
--- a/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/Makefile.am
+++ b/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/Makefile.am
@@ -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)