From 1ed0e0533cd194403ce6a76e0fe1d3ff32a56bec Mon Sep 17 00:00:00 2001
From: Roberto Bagnara <bagnara@fedoraproject.org>
Date: Sep 08 2008 14:19:16 +0000
Subject: Changed ppl-0.9-swiprolog.patch so as to invoke `plld' with the `-v'

    option.

---

diff --git a/ppl-0.9-swiprolog.patch b/ppl-0.9-swiprolog.patch
index b7f3016..e624771 100644
--- a/ppl-0.9-swiprolog.patch
+++ b/ppl-0.9-swiprolog.patch
@@ -10,3 +10,33 @@ diff -ur ppl-0.9/configure ppl-0.9-patched/configure
    ac_save_CPPFLAGS="$CPPFLAGS"
    CPPFLAGS="$CPPFLAGS $SWI_PROLOG_INCLUDE_OPTIONS"
    ac_ext=cc
+diff -ur ppl-0.9/interfaces/Prolog/SWI/Makefile.in ppl-0.9-patched/interfaces/Prolog/SWI/Makefile.in
+--- ppl-0.9/interfaces/Prolog/SWI/Makefile.in	2006-03-12 09:11:44.000000000 +0100
++++ ppl-0.9-patched/interfaces/Prolog/SWI/Makefile.in	2008-09-08 16:16:05.000000000 +0200
+@@ -728,7 +728,7 @@
+ # Notice: we are linking statically until we understand whether
+ # and if libtool and plld can interoperate.
+ @BUILD_SWI_PROLOG_INTERFACE_TRUE@ppl_pl$(EXEEXT): ppl_swiprolog.o ppl_pl.o | libppl_swiprolog.la
+-@BUILD_SWI_PROLOG_INTERFACE_TRUE@	plld -cc $(CC) -c++ $(CXX) -ld $(CXX) \
++@BUILD_SWI_PROLOG_INTERFACE_TRUE@	plld -v -cc $(CC) -c++ $(CXX) -ld $(CXX) \
+ @BUILD_SWI_PROLOG_INTERFACE_TRUE@		-ld-options`echo '' $(AM_CXXFLAGS) $(CXXFLAGS) | tr " " ","` \
+ @BUILD_SWI_PROLOG_INTERFACE_TRUE@		-o $@ $+ \
+ @BUILD_SWI_PROLOG_INTERFACE_TRUE@		-L$(top_builddir)/src/.libs -lppl \
+@@ -736,7 +736,7 @@
+ @BUILD_SWI_PROLOG_INTERFACE_TRUE@		@extra_libraries@
+ 
+ @BUILD_SWI_PROLOG_INTERFACE_TRUE@pl_clpq$(EXEEXT): ppl_swiprolog.o pl_clpq.o pl_clpq.pl ../tests/clpq.pl | libppl_swiprolog.la 
+-@BUILD_SWI_PROLOG_INTERFACE_TRUE@	plld -cc $(CC) -c++ $(CXX) -ld $(CXX) \
++@BUILD_SWI_PROLOG_INTERFACE_TRUE@	plld -v -cc $(CC) -c++ $(CXX) -ld $(CXX) \
+ @BUILD_SWI_PROLOG_INTERFACE_TRUE@		-ld-options`echo '' $(AM_CXXFLAGS) $(CXXFLAGS) | tr " " ","` \
+ @BUILD_SWI_PROLOG_INTERFACE_TRUE@		-o $@ $+ \
+ @BUILD_SWI_PROLOG_INTERFACE_TRUE@		-L$(top_builddir)/src/.libs -lppl \
+@@ -744,7 +744,7 @@
+ @BUILD_SWI_PROLOG_INTERFACE_TRUE@		@extra_libraries@
+ 
+ @BUILD_SWI_PROLOG_INTERFACE_TRUE@pl_clpq2$(EXEEXT): ppl_swiprolog.o pl_clpq.o pl_clpq.pl ../tests/clpq2.pl | libppl_swiprolog.la 
+-@BUILD_SWI_PROLOG_INTERFACE_TRUE@	plld -cc $(CC) -c++ $(CXX) -ld $(CXX) \
++@BUILD_SWI_PROLOG_INTERFACE_TRUE@	plld -v -cc $(CC) -c++ $(CXX) -ld $(CXX) \
+ @BUILD_SWI_PROLOG_INTERFACE_TRUE@		-ld-options`echo '' $(AM_CXXFLAGS) $(CXXFLAGS) | tr " " ","` \
+ @BUILD_SWI_PROLOG_INTERFACE_TRUE@		-o $@ $+ \
+ @BUILD_SWI_PROLOG_INTERFACE_TRUE@		-L$(top_builddir)/src/.libs -lppl \
diff --git a/ppl.spec b/ppl.spec
index 1d6fe29..f92bbc6 100644
--- a/ppl.spec
+++ b/ppl.spec
@@ -1,6 +1,6 @@
 Name:		ppl
 Version:	0.9
-Release:	23%{?dist}
+Release:	24%{?dist}
 
 Summary:	The Parma Polyhedra Library: a library of numerical abstractions
 Group:		Development/Libraries
@@ -311,6 +311,10 @@ install -m644 %{SOURCE3} %{buildroot}/%{_includedir}/pwl.hh
 rm -rf %{buildroot}
 
 %changelog
+* Mon Sep 8 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-24
+- Changed ppl-0.9-swiprolog.patch so as to invoke `plld' with
+  the `-v' option.
+
 * Mon Sep 8 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-23
 - Fixed ppl-0.9-swiprolog.patch.