[PPL-devel] [GIT] ppl/ppl(ppl-0_11-branch): Do not build documentation for interfaces that are not enabled.

Roberto Bagnara bagnara at cs.unipr.it
Thu Jan 6 09:33:00 CET 2011


Module: ppl/ppl
Branch: ppl-0_11-branch
Commit: a7c2dfb70248b62be8acd06f3b3a9f5e66d6c45b
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a7c2dfb70248b62be8acd06f3b3a9f5e66d6c45b

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Thu Jan  6 08:57:28 2011 +0100

Do not build documentation for interfaces that are not enabled.

---

 doc/Makefile.am |  237 ++++++++++++++++++++++++++++---------------------------
 1 files changed, 121 insertions(+), 116 deletions(-)

diff --git a/doc/Makefile.am b/doc/Makefile.am
index 778c960..ecd8340 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -81,7 +81,8 @@ devref.tex \
 ppl.sty \
 $(PPL_SOURCE_FILES)
 
-##### Configuration Independent Language Interface Manuals #####
+
+if BUILD_C_INTERFACE
 
 # C Language Interface Manuals
 
@@ -124,6 +125,45 @@ devref-language-interface.tex \
 ../interfaces/C/ppl_c_implementation_common.inlines.hh \
 ../interfaces/C/ppl_c_implementation_common.cc
 
+
+# Configuration Dependent C Language Interface Manuals.
+
+USER_CONFIGURED_C_INTERFACE_HTML_MANUAL = \
+ppl-user-configured-c-interface- at VERSION@-html.tar.gz
+DEVREF_CONFIGURED_C_INTERFACE_HTML_MANUAL = \
+ppl-devref-configured-c-interface- at VERSION@-html.tar.gz
+
+USER_CONFIGURED_C_INTERFACE_PDF_MANUAL = \
+ppl-user-configured-c-interface- at VERSION@.pdf
+DEVREF_CONFIGURED_C_INTERFACE_PDF_MANUAL = \
+ppl-devref-configured-c-interface- at VERSION@.pdf
+
+USER_CONFIGURED_C_INTERFACE_PS_MANUAL = \
+ppl-user-configured-c-interface- at VERSION@.ps.gz
+DEVREF_CONFIGURED_C_INTERFACE_PS_MANUAL = \
+ppl-devref-configured-c-interface- at VERSION@.ps.gz
+
+USER_CONFIGURED_C_INTERFACE_HTML_DIR = \
+ppl-user-configured-c-interface- at VERSION@-html
+DEVREF_CONFIGURED_C_INTERFACE_HTML_DIR = \
+ppl-devref-configured-c-interface- at VERSION@-html
+
+USER_CONFIGURED_C_INTERFACE_STUFF = \
+$(COMMON_C_INTERFACE_STUFF) \
+$(top_builddir)/interfaces/C/ppl_c.h
+
+DEVREF_CONFIGURED_C_INTERFACE_STUFF = \
+$(COMMON_C_INTERFACE_STUFF) \
+$(top_builddir)/interfaces/C/ppl_c.h \
+../interfaces/C/ppl_c_implementation_common.defs.hh \
+../interfaces/C/ppl_c_implementation_common.inlines.hh \
+../interfaces/C/ppl_c_implementation_common.cc
+
+endif BUILD_C_INTERFACE
+
+
+if BUILD_SOME_PROLOG_INTERFACES
+
 # Prolog Language Interface Manuals
 
 USER_PROLOG_INTERFACE_HTML_MANUAL = \
@@ -161,6 +201,51 @@ ppl.sty \
 ../interfaces/Prolog/ppl_prolog_common.inlines.hh \
 ../interfaces/Prolog/ppl_prolog_common.cc
 
+
+# Configuration Dependent Prolog Language Interface Manuals
+
+USER_CONFIGURED_PROLOG_INTERFACE_HTML_MANUAL = \
+ppl-user-configured-prolog-interface- at VERSION@-html.tar.gz
+DEVREF_CONFIGURED_PROLOG_INTERFACE_HTML_MANUAL = \
+ppl-devref-configured-prolog-interface- at VERSION@-html.tar.gz
+
+USER_CONFIGURED_PROLOG_INTERFACE_PDF_MANUAL = \
+ppl-user-configured-prolog-interface- at VERSION@.pdf
+DEVREF_CONFIGURED_PROLOG_INTERFACE_PDF_MANUAL = \
+ppl-devref-configured-prolog-interface- at VERSION@.pdf
+
+USER_CONFIGURED_PROLOG_INTERFACE_PS_MANUAL = \
+ppl-user-configured-prolog-interface- at VERSION@.ps.gz
+DEVREF_CONFIGURED_PROLOG_INTERFACE_PS_MANUAL = \
+ppl-devref-configured-prolog-interface- at VERSION@.ps.gz
+
+USER_CONFIGURED_PROLOG_INTERFACE_HTML_DIR = \
+ppl-user-configured-prolog-interface- at VERSION@-html
+DEVREF_CONFIGURED_PROLOG_INTERFACE_HTML_DIR = \
+ppl-devref-configured-prolog-interface- at VERSION@-html
+
+USER_CONFIGURED_PROLOG_INTERFACE_STUFF = \
+$(DOX_LICENCE_FILES) \
+user-language-interface.tex \
+ppl.sty \
+$(top_builddir)/interfaces/Prolog/Prolog_configured_interface.dox
+
+DEVREF_CONFIGURED_PROLOG_INTERFACE_STUFF = \
+$(DOX_LICENCE_FILES) \
+devref-language-interface.tex \
+ppl.sty \
+$(top_builddir)/interfaces/Prolog/Prolog_configured_interface.dox \
+../interfaces/Prolog/ppl_prolog_common.defs.hh \
+../interfaces/Prolog/ppl_prolog_common.inlines.hh \
+../interfaces/Prolog/ppl_prolog_common.cc \
+$(top_builddir)/interfaces/Prolog/ppl_prolog_domains.hh \
+$(top_builddir)/interfaces/Prolog/ppl_prolog_domains.cc.stamp
+
+endif BUILD_SOME_PROLOG_INTERFACES
+
+
+if BUILD_OCAML_INTERFACE
+
 # OCaml Language Interface Manuals
 
 USER_OCAML_INTERFACE_HTML_MANUAL = \
@@ -200,6 +285,41 @@ ppl.sty \
 ../interfaces/OCaml/ppl_ocaml_common.cc \
 ../interfaces/OCaml/ppl_ocaml_globals.mli
 
+
+# Configuration Dependent OCaml Language Interface Manuals.
+
+USER_CONFIGURED_OCAML_INTERFACE_HTML_MANUAL = \
+ppl-user-configured-ocaml-interface- at VERSION@-html.tar.gz
+DEVREF_CONFIGURED_OCAML_INTERFACE_HTML_MANUAL = \
+ppl-devref-configured-ocaml-interface- at VERSION@-html.tar.gz
+
+USER_CONFIGURED_OCAML_INTERFACE_PDF_MANUAL = \
+ppl-user-configured-ocaml-interface- at VERSION@.pdf
+DEVREF_CONFIGURED_OCAML_INTERFACE_PDF_MANUAL = \
+ppl-devref-configured-ocaml-interface- at VERSION@.pdf
+
+USER_CONFIGURED_OCAML_INTERFACE_PS_MANUAL = \
+ppl-user-configured-ocaml-interface- at VERSION@.ps.gz
+DEVREF_CONFIGURED_OCAML_INTERFACE_PS_MANUAL = \
+ppl-devref-configured-ocaml-interface- at VERSION@.ps.gz
+
+USER_CONFIGURED_OCAML_INTERFACE_HTML_DIR = \
+ppl-user-configured-ocaml-interface- at VERSION@-html
+DEVREF_CONFIGURED_OCAML_INTERFACE_HTML_DIR = \
+ppl-devref-configured-ocaml-interface- at VERSION@-html
+
+USER_CONFIGURED_OCAML_INTERFACE_STUFF = \
+$(USER_OCAML_INTERFACE_STUFF) \
+$(top_builddir)/interfaces/OCaml/ppl_ocaml.mli
+
+DEVREF_CONFIGURED_OCAML_INTERFACE_STUFF = \
+$(DEVREF_OCAML_INTERFACE_STUFF) \
+$(top_builddir)/interfaces/OCaml/ppl_ocaml.mli
+
+endif BUILD_OCAML_INTERFACE
+
+if BUILD_JAVA_INTERFACE
+
 # Java Language Interface Manuals
 
 USER_JAVA_INTERFACE_HTML_MANUAL = \
@@ -281,123 +401,8 @@ $(JAVA_INTERFACE_JAVA_FILES) \
 ../interfaces/Java/jni/ppl_java_common.inlines.hh \
 ../interfaces/Java/jni/ppl_java_globals.cc
 
-##### Configuration Dependent Language Interface Manuals #####
-
-# Configuration Dependent C Language Interface Manuals.
-if BUILD_C_INTERFACE
-
-USER_CONFIGURED_C_INTERFACE_HTML_MANUAL = \
-ppl-user-configured-c-interface- at VERSION@-html.tar.gz
-DEVREF_CONFIGURED_C_INTERFACE_HTML_MANUAL = \
-ppl-devref-configured-c-interface- at VERSION@-html.tar.gz
-
-USER_CONFIGURED_C_INTERFACE_PDF_MANUAL = \
-ppl-user-configured-c-interface- at VERSION@.pdf
-DEVREF_CONFIGURED_C_INTERFACE_PDF_MANUAL = \
-ppl-devref-configured-c-interface- at VERSION@.pdf
-
-USER_CONFIGURED_C_INTERFACE_PS_MANUAL = \
-ppl-user-configured-c-interface- at VERSION@.ps.gz
-DEVREF_CONFIGURED_C_INTERFACE_PS_MANUAL = \
-ppl-devref-configured-c-interface- at VERSION@.ps.gz
-
-USER_CONFIGURED_C_INTERFACE_HTML_DIR = \
-ppl-user-configured-c-interface- at VERSION@-html
-DEVREF_CONFIGURED_C_INTERFACE_HTML_DIR = \
-ppl-devref-configured-c-interface- at VERSION@-html
-
-USER_CONFIGURED_C_INTERFACE_STUFF = \
-$(COMMON_C_INTERFACE_STUFF) \
-$(top_builddir)/interfaces/C/ppl_c.h
-
-DEVREF_CONFIGURED_C_INTERFACE_STUFF = \
-$(COMMON_C_INTERFACE_STUFF) \
-$(top_builddir)/interfaces/C/ppl_c.h \
-../interfaces/C/ppl_c_implementation_common.defs.hh \
-../interfaces/C/ppl_c_implementation_common.inlines.hh \
-../interfaces/C/ppl_c_implementation_common.cc
-
-endif BUILD_C_INTERFACE
-
-
-# Configuration Dependent Prolog Language Interface Manuals
-if BUILD_SOME_PROLOG_INTERFACES
-
-USER_CONFIGURED_PROLOG_INTERFACE_HTML_MANUAL = \
-ppl-user-configured-prolog-interface- at VERSION@-html.tar.gz
-DEVREF_CONFIGURED_PROLOG_INTERFACE_HTML_MANUAL = \
-ppl-devref-configured-prolog-interface- at VERSION@-html.tar.gz
-
-USER_CONFIGURED_PROLOG_INTERFACE_PDF_MANUAL = \
-ppl-user-configured-prolog-interface- at VERSION@.pdf
-DEVREF_CONFIGURED_PROLOG_INTERFACE_PDF_MANUAL = \
-ppl-devref-configured-prolog-interface- at VERSION@.pdf
-
-USER_CONFIGURED_PROLOG_INTERFACE_PS_MANUAL = \
-ppl-user-configured-prolog-interface- at VERSION@.ps.gz
-DEVREF_CONFIGURED_PROLOG_INTERFACE_PS_MANUAL = \
-ppl-devref-configured-prolog-interface- at VERSION@.ps.gz
-
-USER_CONFIGURED_PROLOG_INTERFACE_HTML_DIR = \
-ppl-user-configured-prolog-interface- at VERSION@-html
-DEVREF_CONFIGURED_PROLOG_INTERFACE_HTML_DIR = \
-ppl-devref-configured-prolog-interface- at VERSION@-html
-
-USER_CONFIGURED_PROLOG_INTERFACE_STUFF = \
-$(DOX_LICENCE_FILES) \
-user-language-interface.tex \
-ppl.sty \
-$(top_builddir)/interfaces/Prolog/Prolog_configured_interface.dox
-
-DEVREF_CONFIGURED_PROLOG_INTERFACE_STUFF = \
-$(DOX_LICENCE_FILES) \
-devref-language-interface.tex \
-ppl.sty \
-$(top_builddir)/interfaces/Prolog/Prolog_configured_interface.dox \
-../interfaces/Prolog/ppl_prolog_common.defs.hh \
-../interfaces/Prolog/ppl_prolog_common.inlines.hh \
-../interfaces/Prolog/ppl_prolog_common.cc \
-$(top_builddir)/interfaces/Prolog/ppl_prolog_domains.hh \
-$(top_builddir)/interfaces/Prolog/ppl_prolog_domains.cc.stamp
-
-endif BUILD_SOME_PROLOG_INTERFACES
-
-
-# Configuration Dependent OCaml Language Interface Manuals.
-if BUILD_OCAML_INTERFACE
-
-USER_CONFIGURED_OCAML_INTERFACE_HTML_MANUAL = \
-ppl-user-configured-ocaml-interface- at VERSION@-html.tar.gz
-DEVREF_CONFIGURED_OCAML_INTERFACE_HTML_MANUAL = \
-ppl-devref-configured-ocaml-interface- at VERSION@-html.tar.gz
-
-USER_CONFIGURED_OCAML_INTERFACE_PDF_MANUAL = \
-ppl-user-configured-ocaml-interface- at VERSION@.pdf
-DEVREF_CONFIGURED_OCAML_INTERFACE_PDF_MANUAL = \
-ppl-devref-configured-ocaml-interface- at VERSION@.pdf
-
-USER_CONFIGURED_OCAML_INTERFACE_PS_MANUAL = \
-ppl-user-configured-ocaml-interface- at VERSION@.ps.gz
-DEVREF_CONFIGURED_OCAML_INTERFACE_PS_MANUAL = \
-ppl-devref-configured-ocaml-interface- at VERSION@.ps.gz
-
-USER_CONFIGURED_OCAML_INTERFACE_HTML_DIR = \
-ppl-user-configured-ocaml-interface- at VERSION@-html
-DEVREF_CONFIGURED_OCAML_INTERFACE_HTML_DIR = \
-ppl-devref-configured-ocaml-interface- at VERSION@-html
-
-USER_CONFIGURED_OCAML_INTERFACE_STUFF = \
-$(USER_OCAML_INTERFACE_STUFF) \
-$(top_builddir)/interfaces/OCaml/ppl_ocaml.mli
-
-DEVREF_CONFIGURED_OCAML_INTERFACE_STUFF = \
-$(DEVREF_OCAML_INTERFACE_STUFF) \
-$(top_builddir)/interfaces/OCaml/ppl_ocaml.mli
-
-endif BUILD_OCAML_INTERFACE
 
 # Configuration Dependent Java Language Interface Manuals.
-if BUILD_JAVA_INTERFACE
 
 USER_CONFIGURED_JAVA_INTERFACE_HTML_MANUAL = \
 ppl-user-configured-java-interface- at VERSION@-html.tar.gz




More information about the PPL-devel mailing list