From: Stefano Zacchiroli 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)