[PPL-devel] [GIT] ppl/ppl(master): There are no GNU Prolog packages available on ia64: disable the GNU Prolog

[Roberto Bagnara]

Module: ppl/ppl
Branch: master
Commit: 39fd46630c127615b91df53be047484ac4709696
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=39fd46630c127615b91df53be047484ac4709696

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue Mar 24 09:28:03 2009 +0100

There are no GNU Prolog packages available on ia64: disable the GNU Prolog
interface also on those platforms (besides ppc64, s390 and s390x).

---

 fedora/ppl.spec |   18 +++++++++++-------
 1 files changed, 11 insertions(+), 7 deletions(-)

diff --git a/fedora/ppl.spec b/fedora/ppl.spec
index bebedd5..270d723 100644
--- a/fedora/ppl.spec
+++ b/fedora/ppl.spec
@@ -2,7 +2,7 @@
 
 Name:           ppl
 Version:        0.10
-Release:        9%{?dist}
+Release:        10%{?dist}
 
 Summary:        The Parma Polyhedra Library: a library of numerical abstractions
 Group:          Development/Libraries
@@ -60,7 +60,7 @@ BuildRequires:  glpk-devel >= 4.13
 This package contains the mixed integer linear programming solver ppl_lpsol
 and the program ppl_lcdd for vertex/facet enumeration of convex polyhedra.
 
-%ifnarch ppc64 s390 s390x
+%ifnarch ia64 ppc64 s390 s390x
 %package gprolog
 # The `gprolog' package is not available on ppc64:
 # the GNU Prolog interface must thus be disabled for that architecture.
@@ -73,7 +73,7 @@ This package adds GNU Prolog support to the Parma Polyhedra Library (PPL).
 Install this package if you want to use the library in GNU Prolog programs.
 %endif
 
-%ifnarch ppc64 s390 s390x
+%ifnarch ia64 ppc64 s390 s390x
 %package gprolog-static
 Summary:        The static archive for the GNU Prolog interface of the Parma Polyhedra Library
 Group:          Development/Libraries
@@ -203,7 +203,7 @@ Install this package if you want to program with the PWL.
 
 %build
 CPPFLAGS="-I%{_includedir}/glpk"
-%ifnarch ppc64 s390 s390x
+%ifnarch ia64 ppc64 s390 s390x
 CPPFLAGS="$CPPFLAGS -I%{_libdir}/gprolog-`gprolog --version 2>&1 | head -1 | sed -e "s/.* \([^ ]*\)$/\1/g"`/include"
 %endif
 CPPFLAGS="$CPPFLAGS -I%{_includedir}/Yap"
@@ -289,7 +289,7 @@ mv \
 %{_mandir}/man1/ppl_lcdd.1.gz
 %{_mandir}/man1/ppl_lpsol.1.gz
 
-%ifnarch ppc64 s390 s390x
+%ifnarch ia64 ppc64 s390 s390x
 %files gprolog
 %defattr(-,root,root,-)
 %doc interfaces/Prolog/GNU/README.gprolog
@@ -298,7 +298,7 @@ mv \
 %{_libdir}/%{name}/libppl_gprolog.so
 %endif
 
-%ifnarch ppc64 s390 s390x
+%ifnarch ia64 ppc64 s390 s390x
 %files gprolog-static
 %defattr(-,root,root,-)
 %{_libdir}/%{name}/libppl_gprolog.a
@@ -401,6 +401,10 @@ mv \
 rm -rf %{buildroot}
 
 %changelog
+* Tue Mar 24 2009 Roberto Bagnara <bagnara at cs.unipr.it> 0.10-10
+- There are no GNU Prolog packages available on ia64: disable the GNU Prolog
+  interface also on those platforms (besides ppc64, s390 and s390x).
+
 * Thu Feb 26 2009 Fedora Release Engineering <rel-eng at lists.fedoraproject.org> - 0.10-9
 - Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild.
 
@@ -408,7 +412,7 @@ rm -rf %{buildroot}
 - Install the documentation according to the Fedora packaging conventions.
 
 * Wed Feb 17 2009 Karsten Hopp <karsten at redhat.comt> 0.10-7
-- There are no GNU Prolog packages available on s390 and s390: disable
+- There are no GNU Prolog packages available on s390 and s390x: disable
   the GNU Prolog interface also on those platforms (besides ppc64).
 
 * Wed Feb 04 2009 Roberto Bagnara <bagnara at cs.unipr.it> 0.10-6