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

Implemented a workaround to cope with the new location of SWI-Prolog.h.

Browse Source
This commit is contained in:
Roberto Bagnara 2008-09-08 08:25:36 +00:00
parent f416acb14d
commit b85b368755
2 changed files with 18 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
ppl-0.9-swiprolog.patch Normal file
View File

@ -0,0 +1,12 @@
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++)

7
ppl.spec
View File

@ -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 @@ Patch0: ppl-0.9-docfiles.patch
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 @@ This package contains the static archive for the Parma Watchdog Library.
%patch1 -p1
%patch2 -p1
%patch3 -p1
%patch4 -p1
%build
CPPFLAGS="-I%{_includedir}/glpk"
@ -309,6 +311,9 @@ install -m644 %{SOURCE3} %{buildroot}/%{_includedir}/pwl.hh
rm -rf %{buildroot}
%changelog
* Mon Sep 8 2008 Roberto Bagnara <bagnara@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@cs.unipr.it> 0.9-21
- Fixed the SWI-Prolog interface dependencies.