[PPL-devel] [GIT] ppl/ppl(master): Do not enable the Prolog interfaces by default in the release tarballs.

Roberto Bagnara bagnara at cs.unipr.it
Wed Mar 25 21:06:18 CET 2009


Module: ppl/ppl
Branch: master
Commit: b5d7b09c10aea7c95b9d2693986e2e4e549d3a12
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b5d7b09c10aea7c95b9d2693986e2e4e549d3a12

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Wed Mar 25 21:06:01 2009 +0100

Do not enable the Prolog interfaces by default in the release tarballs.

---

 Makefile.am  |    2 ++
 TODO         |    1 -
 configure.ac |   11 +++++------
 3 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/Makefile.am b/Makefile.am
index 145b807..d2f40fc 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -49,10 +49,12 @@ DISTCHECK_CONFIGURE_FLAGS = \
 dist-hook:
 	rm -f $(distdir)/ppl-config.h \
 	&& $(SED) -e "s/^enableval=thorough$$/enableval=quick/g" \
+	          -e "s/^default_interfaces=\$${available_interfaces}$$/default_interfaces=\$${non_prolog_interfaces}/g" \
 		<$(distdir)/configure.ac >$(distdir)/configure.ac.new \
 	&& touch $(distdir)/configure.ac.new -r $(distdir)/configure.ac \
 	&& mv -f $(distdir)/configure.ac.new $(distdir)/configure.ac
 	$(SED) -e "s/^enableval=thorough$$/enableval=quick/g" \
+	          -e "s/^default_interfaces=\$${available_interfaces}$$/default_interfaces=\$${non_prolog_interfaces}/g" \
 		<$(distdir)/configure >$(distdir)/configure.new \
 	&& touch $(distdir)/configure.new -r $(distdir)/configure \
 	&& mv -f $(distdir)/configure.new $(distdir)/configure \
diff --git a/TODO b/TODO
index 92da786..98df6e6 100644
--- a/TODO
+++ b/TODO
@@ -7,7 +7,6 @@ Enhancements for PPL 0.10.1 or later versions
   in a directory where another `make check' was performed (completely
   or not, with failure or not), the latter `make check' can succeed
   without testing anything.
-- Do not enable the Prolog interfaces by default in the release tarballs.
 
 
 Enhancements for PPL 0.11 or later versions
diff --git a/configure.ac b/configure.ac
index 8583b40..f9103eb 100644
--- a/configure.ac
+++ b/configure.ac
@@ -800,14 +800,13 @@ esac
 build_ppl_lpsol=$enableval
 AM_CONDITIONAL(BUILD_PPL_LPSOL, test x"$build_ppl_lpsol" = xyes)
 
-# This is the list of available interfaces: lowercase and blank-separated.
-available_interfaces="cxx c ciao_prolog gnu_prolog sicstus_prolog swi_prolog xsb_prolog yap_prolog ocaml java"
+# Define lists of available interfaces: lowercase and blank-separated.
+non_prolog_interfaces="cxx c ocaml java"
+prolog_interfaces="ciao_prolog gnu_prolog sicstus_prolog swi_prolog xsb_prolog yap_prolog"
+available_interfaces="${nonprolog_interfaces} ${prolog_interfaces}"
 
 # This is the list of interfaces that are enabled by default.
-#default_interfaces="cxx c swi_prolog"
-#default_interfaces=${available_interfaces}
-default_interfaces="cxx c ciao_prolog gnu_prolog sicstus_prolog swi_prolog xsb_prolog ocaml java"
-#default_interfaces="cxx c ciao_prolog gnu_prolog sicstus_prolog swi_prolog xsb_prolog yap_prolog ocaml java"
+default_interfaces=${available_interfaces}
 
 enableval=not_specified
 AC_MSG_CHECKING([which interfaces are enabled])




More information about the PPL-devel mailing list