rpms
/
ppl
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Changed ppl-0.9-swiprolog.patch so as to invoke `plld' with the `-v' 

option.
This commit is contained in:
Roberto Bagnara 2008-09-08 14:19:16 +00:00
parent 4f206df82a
commit 1ed0e0533c
2 changed files with 35 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

30
ppl-0.9-swiprolog.patch
View File

@ -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 \

6
ppl.spec
View File

@ -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.