From a207e20e65e51fbaa770912f2623e37c57e76ff0 Mon Sep 17 00:00:00 2001 From: pcpa Date: Apr 29 2014 20:33:25 +0000 Subject: Correct build on 32 bit arches --- diff --git a/ppl-PlLong.patch b/ppl-PlLong.patch new file mode 100644 index 0000000..7ebb773 --- /dev/null +++ b/ppl-PlLong.patch @@ -0,0 +1,20 @@ +diff -up ppl-1.1/interfaces/Prolog/GNU/gprolog_efli.hh.orig ppl-1.1/interfaces/Prolog/GNU/gprolog_efli.hh +--- ppl-1.1/interfaces/Prolog/GNU/gprolog_efli.hh.orig 2014-04-29 17:25:21.639273848 -0300 ++++ ppl-1.1/interfaces/Prolog/GNU/gprolog_efli.hh 2014-04-29 17:25:30.757274198 -0300 +@@ -45,14 +45,14 @@ extern bool Prolog_has_unbounded_integer + integer value representable by a Prolog integer. + Holds zero otherwise. + */ +-extern long Prolog_min_integer; ++extern PlLong Prolog_min_integer; + + /*! + If \p Prolog_has_unbounded_integers is false, holds the maximum + integer value representable by a Prolog integer. + Holds zero otherwise. + */ +-extern long Prolog_max_integer; ++extern PlLong Prolog_max_integer; + + /*! + Performs system-dependent initialization. diff --git a/ppl.spec b/ppl.spec index 37b1c7b..bae5993 100644 --- a/ppl.spec +++ b/ppl.spec @@ -15,6 +15,7 @@ Provides: ppl-pwl = %{version}-%{release} Obsoletes: ppl-pwl <= 0.11.2-11 BuildRequires: gmp-devel >= 4.1.3, m4 >= 1.4.8 Patch0: %{name}-cstddef.patch +Patch1: %{name}-PlLong.patch %description The Parma Polyhedra Library (PPL) is a library for the manipulation of @@ -149,6 +150,7 @@ Install this package if you want to program with the PPL. %prep %setup -q %patch0 -p1 +%patch1 -p1 %build CPPFLAGS="-I%{_includedir}/glpk"