rpms/ppl/devel ppl-0.9-swiprolog.patch,NONE,1.1 ppl.spec,1.12,1.13

[Roberto Bagnara]

Author: bagnara

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

Modified Files:
	ppl.spec 
Added Files:
	ppl-0.9-swiprolog.patch 
Log Message:
Implemented a workaround to cope with the new location of SWI-Prolog.h.


ppl-0.9-swiprolog.patch:

--- NEW FILE ppl-0.9-swiprolog.patch ---
diff -ur ppl-0.9/m4/ac_check_swi_prolog.m4 ppl-0.9-patched/m4/ac_check_swi_prolog.m4
--- ppl-0.9/m4/ac_check_swi_prolog.m4	2006-01-18 16:30:03.000000000 +0100
+++ ppl-0.9-patched/m4/ac_check_swi_prolog.m4	2008-09-08 10:22:10.000000000 +0200
@@ -41,7 +41,7 @@
 
   dnl Additional version checks could be inserted here, if necessary.
 
-  SWI_PROLOG_INCLUDE_OPTIONS="-I${swi_prolog_base}/include"
+  SWI_PROLOG_INCLUDE_OPTIONS="-I${swi_prolog_base}/include -I/usr/include/pl"
   ac_save_CPPFLAGS="$CPPFLAGS"
   CPPFLAGS="$CPPFLAGS $SWI_PROLOG_INCLUDE_OPTIONS"
   AC_LANG_PUSH(C++)


Index: ppl.spec
===================================================================
RCS file: /cvs/pkgs/rpms/ppl/devel/ppl.spec,v
retrieving revision 1.12
retrieving revision 1.13
diff -u -r1.12 -r1.13
--- ppl.spec	8 Sep 2008 07:59:46 -0000	1.12
+++ ppl.spec	8 Sep 2008 08:25:36 -0000	1.13
@@ -1,6 +1,6 @@
 Name:		ppl
 Version:	0.9
-Release:	21%{?dist}
+Release:	22%{?dist}
 
 Summary:	The Parma Polyhedra Library: a library of numerical abstractions
 Group:		Development/Libraries
@@ -14,6 +14,7 @@
 Patch1:		ppl-0.9-configure.patch
 Patch2:		ppl-0.9-makefiles.patch
 Patch3:		ppl-0.9-cstdlib.patch
+Patch4:		ppl-0.9-swiprolog.patch
 #Icon:
 #Requires:
 Requires(post): /sbin/ldconfig
@@ -162,6 +163,7 @@
 %patch1 -p1
 %patch2 -p1
 %patch3 -p1
+%patch4 -p1
 
 %build
 CPPFLAGS="-I%{_includedir}/glpk"
@@ -309,6 +311,9 @@
 rm -rf %{buildroot}
 
 %changelog
+* Mon Sep 8 2008 Roberto Bagnara <bagnara at cs.unipr.it> 0.9-22
+- Implemented a workaround to cope with the new location of SWI-Prolog.h.
+
 * Mon Sep 8 2008 Roberto Bagnara <bagnara at cs.unipr.it> 0.9-21
 - Fixed the SWI-Prolog interface dependencies.