rpms/ppl/devel ppl-0.9-swiprolog.patch,1.2,1.3 ppl.spec,1.14,1.15

[Roberto Bagnara]

Author: bagnara

Update of /cvs/pkgs/rpms/ppl/devel
In directory cvs1.fedora.phx.redhat.com:/tmp/cvs-serv26096

Modified Files:
	ppl-0.9-swiprolog.patch ppl.spec 
Log Message:
Changed ppl-0.9-swiprolog.patch so as to invoke `plld' with
the `-v' option.


ppl-0.9-swiprolog.patch:

Index: ppl-0.9-swiprolog.patch
===================================================================
RCS file: /cvs/pkgs/rpms/ppl/devel/ppl-0.9-swiprolog.patch,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -r1.2 -r1.3
--- ppl-0.9-swiprolog.patch	8 Sep 2008 13:42:18 -0000	1.2
+++ ppl-0.9-swiprolog.patch	8 Sep 2008 14:19:16 -0000	1.3
@@ -10,3 +10,33 @@
    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 at ppl_pl$(EXEEXT): ppl_swiprolog.o ppl_pl.o | libppl_swiprolog.la
+- at BUILD_SWI_PROLOG_INTERFACE_TRUE@	plld -cc $(CC) -c++ $(CXX) -ld $(CXX) \
++ at 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 at pl_clpq$(EXEEXT): ppl_swiprolog.o pl_clpq.o pl_clpq.pl ../tests/clpq.pl | libppl_swiprolog.la 
+- at BUILD_SWI_PROLOG_INTERFACE_TRUE@	plld -cc $(CC) -c++ $(CXX) -ld $(CXX) \
++ at 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 at pl_clpq2$(EXEEXT): ppl_swiprolog.o pl_clpq.o pl_clpq.pl ../tests/clpq2.pl | libppl_swiprolog.la 
+- at BUILD_SWI_PROLOG_INTERFACE_TRUE@	plld -cc $(CC) -c++ $(CXX) -ld $(CXX) \
++ at 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 \


Index: ppl.spec
===================================================================
RCS file: /cvs/pkgs/rpms/ppl/devel/ppl.spec,v
retrieving revision 1.14
retrieving revision 1.15
diff -u -r1.14 -r1.15
--- ppl.spec	8 Sep 2008 13:42:18 -0000	1.14
+++ ppl.spec	8 Sep 2008 14:19:16 -0000	1.15
@@ -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 @@
 rm -rf %{buildroot}
 
 %changelog
+* Mon Sep 8 2008 Roberto Bagnara <bagnara at 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 at cs.unipr.it> 0.9-23
 - Fixed ppl-0.9-swiprolog.patch.