[PPL-devel] [GIT] ppl/ppl(master): Only build `ppl_pl' for checking and install it only when shared libraries are disabled.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Mar 25 19:57:52 2012 +0200

Only build `ppl_pl' for checking and install it only when shared libraries are disabled.

---

 interfaces/Prolog/SWI/Makefile.am |   14 ++++++++++----
 1 files changed, 10 insertions(+), 4 deletions(-)

diff --git a/interfaces/Prolog/SWI/Makefile.am b/interfaces/Prolog/SWI/Makefile.am
index 25bc781..f517ca3 100644
--- a/interfaces/Prolog/SWI/Makefile.am
+++ b/interfaces/Prolog/SWI/Makefile.am
@@ -176,9 +176,6 @@ $(NO_UNDEFINED_FLAG) \
 -module \
 -avoid-version
 
-bin_PROGRAMS = ppl_pl
-ppl_pl_SOURCES = ppl_pl.cc
-
 pkgdata_DATA = ppl_swiprolog.pl
 
 CLPQ_TESTS_NONSTRICT = \
@@ -195,7 +192,7 @@ schedule.clpq
 
 CLPQ_TESTS = $(CLPQ_TESTS_NONSTRICT) $(CLPQ_TESTS_STRICT)
 
-check_PROGRAMS = pl_clpq pl_clpq2
+check_PROGRAMS = ppl_pl pl_clpq pl_clpq2
 pl_clpq_SOURCES = pl_clpq.cc
 pl_clpq2_SOURCES = pl_clpq.cc
 
@@ -223,6 +220,15 @@ LIBPPL_SWIPROLOG_LINK_OPTIONS = -L.libs -lppl_swiprolog
 
 endif !ENABLE_STATIC
 
+# Apart from the internal testing purposes, `ppl_pl' only makes
+# sense when shared libraries are disabled.
+if !ENABLE_SHARED
+bin_PROGRAMS = ppl_pl
+endif !ENABLE_SHARED
+
+ppl_pl_SOURCES = ppl_pl.cc
+
+
 ppl_pl$(EXEEXT): libppl_swiprolog.la ppl_pl.o
 	$(SWI_PROLOG_LD) -pl $(SWI_PROLOG) -cc "$(CC)" -c++ "$(CXX)" -ld "$(CXX)" \
 		-ld-options`echo '' $(AM_CXXFLAGS) $(CXXFLAGS) | tr " " "/"` \