riscv64: Add support for riscv64

This patch add riscv64 build support:
1, ppl.hh and ppl_c.h are added riscv32/riscv64 support
2, increase release number.

If we did not fix (1), when we built another package which depends on
ppl (like polymake), will meet this issue:
bundled extension ppl ... failed
ERROR:
The bundled extension ppl was explicitly requested but failed to configure.
Please recheck your argument (--with-ppl=/usr) and build.riscv64/bundled.log .
You can also disable it by specifying --without-ppl instead.
error: Bad exit status from /var/tmp/rpm-tmp.* (%build)

Reviewed-by: Wei Fu <wefu@redhat.com>
Signed-off-by: Zhengyu He <hezhy472013@gmail.com>

.cvsignore

@@ -1 +0,0 @@
-ppl-0.10.tar.gz

.gitignore

@@ -0,0 +1,6 @@
+ppl-0.10.2.tar.bz2
+/ppl-0.11.2-Makefile.patch
+/ppl-0.11.2.tar.bz2
+/ppl-1.0.tar.bz2
+/ppl-1.1.tar.bz2
+/ppl-1.2.tar.bz2

Makefile

@@ -1,21 +0,0 @@
-# Makefile for source rpm: ppl
-# $Id$
-NAME := ppl
-SPECFILE = $(firstword $(wildcard *.spec))
-
-define find-makefile-common
-for d in common ../common ../../common ; do if [ -f $$d/Makefile.common ] ; then if [ -f $$d/CVS/Root -a -w $$/Makefile.common ] ; then cd $$d ; cvs -Q update ; fi ; echo "$$d/Makefile.common" ; break ; fi ; done
-endef
-
-MAKEFILE_COMMON := $(shell $(find-makefile-common))
-
-ifeq ($(MAKEFILE_COMMON),)
-# attept a checkout
-define checkout-makefile-common
-test -f CVS/Root && { cvs -Q -d $$(cat CVS/Root) checkout common && echo "common/Makefile.common" ; } || { echo "ERROR: I can't figure out how to checkout the 'common' module." ; exit -1 ; } >&2
-endef
-
-MAKEFILE_COMMON := $(shell $(checkout-makefile-common))
-endif
-
-include $(MAKEFILE_COMMON)

configure.patch

@@ -0,0 +1,16 @@
+diff -Nrup a/m4/ac_check_fpu_control.m4 b/m4/ac_check_fpu_control.m4
+--- a/m4/ac_check_fpu_control.m4	2016-02-11 05:31:26.000000000 -0700
++++ b/m4/ac_check_fpu_control.m4	2020-05-21 13:19:45.448773119 -0600
+@@ -49,9 +49,9 @@ main() {
+ 
+ #else
+ 
+-     float  nf1 =  -3, pf1 = 3,  f2 =  5;
+-     double nd1 =  -7, pd1 = 7,  d2 = 11;
+-long double nl1 = -13, pl1 = 13, l2 = 17;
++     volatile float  nf1 =  -3, pf1 = 3,  f2 =  5;
++     volatile double nd1 =  -7, pd1 = 7,  d2 = 11;
++volatile long double nl1 = -13, pl1 = 13, l2 = 17;
+ 
+       float nf[2], pf[2];
+      double nd[2], pd[2];

ppl-pl82.patch

@@ -0,0 +1,196 @@
+--- a/interfaces/Prolog/Ciao/ciao_cfli.hh
++++ b/interfaces/Prolog/Ciao/ciao_cfli.hh
+@@ -296,7 +296,7 @@ Prolog_get_atom_name(Prolog_term_ref t,
+   The behavior is undefined if \p t is not a Prolog compound term.
+ */
+ inline int
+-Prolog_get_compound_name_arity(Prolog_term_ref t, Prolog_atom* ap, int* ip) {
++Prolog_get_compound_name_arity(Prolog_term_ref t, Prolog_atom* ap, size_t* ip) {
+   assert(Prolog_is_compound(t));
+   *ap = ciao_structure_name(t);
+   *ip = ciao_structure_arity(t);
+--- a/interfaces/Prolog/GNU/gprolog_cfli.hh
++++ b/interfaces/Prolog/GNU/gprolog_cfli.hh
+@@ -420,9 +420,11 @@ Prolog_get_atom_name(Prolog_term_ref t,
+   The behavior is undefined if \p t is not a Prolog compound term.
+ */
+ inline int
+-Prolog_get_compound_name_arity(Prolog_term_ref t, Prolog_atom* ap, int* ip) {
++Prolog_get_compound_name_arity(Prolog_term_ref t, Prolog_atom* ap, size_t* ip) {
++  int i;
+   assert(Prolog_is_compound(t));
+-  Rd_Compound_Check(t, ap, ip);
++  Rd_Compound_Check(t, ap, &i);
++  *ip = (size_t)i;
+   return 1;
+ }
+ 
+--- a/interfaces/Prolog/ppl_interface_generator_prolog_cc_code.m4
++++ b/interfaces/Prolog/ppl_interface_generator_prolog_cc_code.m4
+@@ -1934,7 +1934,7 @@ m4_define(`ppl_@CLASS@_map_space_dimensi
+     while (Prolog_is_cons(t_pfunc)) {
+       Prolog_get_cons(t_pfunc, t_pair, t_pfunc);
+       Prolog_atom functor;
+-      int arity;
++      size_t arity;
+       Prolog_get_compound_name_arity(t_pair, &functor, &arity);
+       if (arity != 2 || functor != a_minus)
+         return PROLOG_FAILURE;
+--- a/interfaces/Prolog/ppl_prolog_common.cc
++++ b/interfaces/Prolog/ppl_prolog_common.cc
+@@ -937,7 +937,7 @@ build_linear_expression(Prolog_term_ref
+     return Linear_Expression(integer_term_to_Coefficient(t));
+   else if (Prolog_is_compound(t)) {
+     Prolog_atom functor;
+-    int arity;
++    size_t arity;
+     Prolog_get_compound_name_arity(t, &functor, &arity);
+     switch (arity) {
+     case 1:
+@@ -1000,7 +1000,7 @@ Constraint
+ build_constraint(Prolog_term_ref t, const char* where) {
+   if (Prolog_is_compound(t)) {
+     Prolog_atom functor;
+-    int arity;
++    size_t arity;
+     Prolog_get_compound_name_arity(t, &functor, &arity);
+     if (arity == 2) {
+       Prolog_term_ref arg1 = Prolog_new_term_ref();
+@@ -1073,7 +1073,7 @@ Congruence
+ build_congruence(Prolog_term_ref t, const char* where) {
+   if (Prolog_is_compound(t)) {
+     Prolog_atom functor;
+-    int arity;
++    size_t arity;
+     Prolog_get_compound_name_arity(t, &functor, &arity);
+     if (arity == 2) {
+       Prolog_term_ref arg1 = Prolog_new_term_ref();
+@@ -1084,7 +1084,7 @@ build_congruence(Prolog_term_ref t, cons
+         // /
+         if (Prolog_is_integer(arg2)) {
+           Prolog_atom functor1;
+-          int arity1;
++          size_t arity1;
+           Prolog_get_compound_name_arity(arg1, &functor1, &arity1);
+           if (arity1 == 2) {
+             if (functor1 == a_is_congruent_to) {
+@@ -1137,7 +1137,7 @@ Generator
+ build_generator(Prolog_term_ref t, const char* where) {
+   if (Prolog_is_compound(t)) {
+     Prolog_atom functor;
+-    int arity;
++    size_t arity;
+     Prolog_get_compound_name_arity(t, &functor, &arity);
+     if (arity == 1) {
+       Prolog_term_ref arg = Prolog_new_term_ref();
+@@ -1174,7 +1174,7 @@ Grid_Generator
+ build_grid_generator(Prolog_term_ref t, const char* where) {
+   if (Prolog_is_compound(t)) {
+     Prolog_atom functor;
+-    int arity;
++    size_t arity;
+     Prolog_get_compound_name_arity(t, &functor, &arity);
+     if (arity == 1) {
+       Prolog_term_ref arg = Prolog_new_term_ref();
+@@ -1406,7 +1406,7 @@ Variable
+ term_to_Variable(Prolog_term_ref t, const char* where) {
+   if (Prolog_is_compound(t)) {
+     Prolog_atom functor;
+-    int arity;
++    size_t arity;
+     Prolog_get_compound_name_arity(t, &functor, &arity);
+     if (functor == a_dollar_VAR && arity == 1) {
+       Prolog_term_ref arg = Prolog_new_term_ref();
+@@ -1554,7 +1554,7 @@ term_to_boundary(Prolog_term_ref t_b, Bo
+     return false;
+ 
+   Prolog_atom functor;
+-  int arity;
++  size_t arity;
+ 
+   Prolog_get_compound_name_arity(t_b, &functor, &arity);
+   // A boundary term is either of the form c(Limit) or o(Limit).
+--- a/interfaces/Prolog/SICStus/sicstus_cfli.h
++++ b/interfaces/Prolog/SICStus/sicstus_cfli.h
+@@ -134,7 +134,7 @@ Prolog_get_atom_name(Prolog_term_ref t,
+ 
+ PCFLI_DECLSPEC int
+ Prolog_get_compound_name_arity(Prolog_term_ref t,
+-                               Prolog_atom& name, int& arity);
++                               Prolog_atom& name, size_t& arity);
+ 
+ PCFLI_DECLSPEC int
+ Prolog_get_arg(int i, Prolog_term_ref t, Prolog_term_ref a);
+--- a/interfaces/Prolog/SICStus/sicstus_cfli.ic
++++ b/interfaces/Prolog/SICStus/sicstus_cfli.ic
+@@ -262,9 +262,12 @@ Prolog_get_atom_name(Prolog_term_ref t,
+   The behavior is undefined if \p t is not a Prolog compound term.
+ */
+ PCFLI_EXTERN_INLINE int
+-Prolog_get_compound_name_arity(Prolog_term_ref t, Prolog_atom* ap, int* ip) {
++Prolog_get_compound_name_arity(Prolog_term_ref t, Prolog_atom* ap, size_t* ip) {
++  int i, ret;
+   assert(Prolog_is_compound(t));
+-  return SP_get_functor(t, ap, ip);
++  ret = SP_get_functor(t, ap, &i);
++  *ip = i;
++  return ret;
+ }
+ 
+ /*!
+--- a/interfaces/Prolog/SWI/swi_cfli.hh
++++ b/interfaces/Prolog/SWI/swi_cfli.hh
+@@ -346,7 +346,7 @@ Prolog_get_atom_name(Prolog_term_ref t,
+   The behavior is undefined if \p t is not a Prolog compound term.
+ */
+ inline int
+-Prolog_get_compound_name_arity(Prolog_term_ref t, Prolog_atom* ap, int* ip) {
++Prolog_get_compound_name_arity(Prolog_term_ref t, Prolog_atom* ap, size_t* ip) {
+   assert(Prolog_is_compound(t));
+   return PL_get_name_arity(t, ap, ip);
+ }
+--- a/interfaces/Prolog/XSB/xsb_cfli.hh
++++ b/interfaces/Prolog/XSB/xsb_cfli.hh
+@@ -314,10 +314,10 @@ Prolog_get_atom_name(Prolog_term_ref t,
+   The behavior is undefined if \p t is not a Prolog compound term.
+ */
+ inline int
+-Prolog_get_compound_name_arity(Prolog_term_ref t, Prolog_atom* ap, int* ip) {
++Prolog_get_compound_name_arity(Prolog_term_ref t, Prolog_atom* ap, size_t* ip) {
+   assert(Prolog_is_compound(t));
+   *ap = p2c_functor(t);
+-  *ip = p2c_arity(t);
++  *ip = (size_t)p2c_arity(t);
+   return 1;
+ }
+ 
+--- a/interfaces/Prolog/YAP/yap_cfli.hh
++++ b/interfaces/Prolog/YAP/yap_cfli.hh
+@@ -313,7 +313,7 @@ Prolog_get_atom_name(Prolog_term_ref t,
+   The behavior is undefined if \p t is not a Prolog compound term.
+ */
+ inline int
+-Prolog_get_compound_name_arity(Prolog_term_ref t, Prolog_atom* ap, int* ip) {
++Prolog_get_compound_name_arity(Prolog_term_ref t, Prolog_atom* ap, size_t* ip) {
+   assert(Prolog_is_compound(t));
+   YAP_Functor f = YAP_FunctorOfTerm(t);
+   *ap = YAP_NameOfFunctor(f);
+--- a/m4/ac_check_swi_prolog.m4
++++ b/m4/ac_check_swi_prolog.m4
+@@ -45,11 +45,11 @@ then
+ fi
+ if test x$swi_prolog != x
+ then
+-  swi_prolog_base=`$swi_prolog -dump-runtime-variables | grep PLBASE= | sed 's/PLBASE="\([[a-z]]:\)\{0,1\}\(.*\)";.*/\2/'`
+-  swi_prolog_version=`$swi_prolog -dump-runtime-variables | grep PLVERSION= | sed 's/PLVERSION="\(.*\)";.*/\1/'`
+-  swi_prolog_arch=`$swi_prolog -dump-runtime-variables | grep PLARCH= | sed 's/PLARCH="\(.*\)";.*/\1/'`
+-  swi_prolog_libs=`$swi_prolog -dump-runtime-variables | grep PLLIBS= | sed 's/PLLIBS="\(.*\)";.*/\1/'`
+-  swi_prolog_lib=`$swi_prolog -dump-runtime-variables | grep PLLIB= | sed 's/PLLIB="\(.*\)";.*/\1/'`
++  swi_prolog_base=`$swi_prolog --dump-runtime-variables | grep PLBASE= | sed 's/PLBASE="\([[a-z]]:\)\{0,1\}\(.*\)";.*/\2/'`
++  swi_prolog_version=`$swi_prolog --dump-runtime-variables | grep PLVERSION= | sed 's/PLVERSION="\(.*\)";.*/\1/'`
++  swi_prolog_arch=`$swi_prolog --dump-runtime-variables | grep PLARCH= | sed 's/PLARCH="\(.*\)";.*/\1/'`
++  swi_prolog_libs=`$swi_prolog --dump-runtime-variables | grep PLLIBS= | sed 's/PLLIBS="\(.*\)";.*/\1/'`
++  swi_prolog_lib=`$swi_prolog --dump-runtime-variables | grep PLLIB= | sed 's/PLLIB="\(.*\)";.*/\1/'`
+ 
+   dnl Additional version checks could be inserted here, if necessary.
+ 

ppl.hh

@@ -1,5 +1,6 @@
 /* This is the header file switcher of the Parma Polyhedra Library.
-   Copyright (C) 2001-2008 Roberto Bagnara <bagnara@cs.unipr.it>
+   Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it>
+   Copyright (C) 2010-2011 BUGSENG srl (http://bugseng.com)
 
 This file is part of the Parma Polyhedra Library (PPL).
 
@@ -24,8 +25,12 @@ site: http://www.cs.unipr.it/ppl/ . */
 #include "ppl-x86_64.hh"
 #elif defined(__i386__)
 #include "ppl-i386.hh"
-#elif defined(__powerpc64__)
+#elif defined(__powerpc64__) 
+#if __BYTE_ORDER__ == __ORDER_BIG_ENDIAN__
 #include "ppl-ppc64.hh"
+#else
+#include "ppl-ppc64le.hh"
+#endif
 #elif defined(__powerpc__)
 #include "ppl-ppc.hh"
 #elif defined(__ia64__)
@@ -34,10 +39,22 @@ site: http://www.cs.unipr.it/ppl/ . */
 #include "ppl-alpha.hh"
 #elif defined(__arm__)
 #include "ppl-arm.hh"
+#elif defined(__aarch64__)
+#include "ppl-aarch64.hh"
 #elif defined(__s390x__)
 #include "ppl-s390x.hh"
 #elif defined(__s390__)
 #include "ppl-s390.hh"
+#elif defined(__sh__)
+#include "ppl-sh.hh"
+#elif defined(__sparc__) && defined(__arch64__)
+#include "ppl-sparc64.hh"
+#elif defined(__sparc__)
+#include "ppl-sparc.hh"
+#elif defined(__riscv) && (__riscv_xlen == 64)
+#include "ppl-riscv64.hh"
+#elif defined(__riscv) && (__riscv_xlen == 32)
+#include "ppl-riscv32.hh"
 #else
 #error "This architecture is not supported by the currently installed ppl-devel packages."
 #endif

ppl.spec

@@ -1,26 +1,31 @@
-#%define opt %(test -x %{_bindir}/ocamlopt && echo 1 || echo 0)
+Name:			ppl
+Version:		1.2
+Release:		32%{?dist}
+Summary:		The Parma Polyhedra Library: a library of numerical abstractions
+License:		GPL-3.0-or-later
+URL:			http://www.bugseng.com/ppl
+Source0:		http://www.bugseng.com/products/ppl/download/ftp/releases/%{version}/%{name}-%{version}.tar.bz2
+Source1:		ppl.hh
+Source2:		ppl_c.h
+# Fix configure test compromised by LTO
+Patch0:			configure.patch
+# Adapt to swipl 8.2.x
+Patch1:			%{name}-pl82.patch
 
-Name:           ppl
-Version:        0.10
-Release:        3%{?dist}
+# See https://fedoraproject.org/wiki/Changes/EncourageI686LeafRemoval
+ExcludeArch:    %{ix86}
 
-Summary:        The Parma Polyhedra Library: a library of numerical abstractions
-Group:          Development/Libraries
-License:        GPLv3+
-URL:            http://www.cs.unipr.it/ppl/
-Source0:        ftp://ftp.cs.unipr.it/pub/ppl/releases/%{version}/%{name}-%{version}.tar.gz
-Source1:        ppl.hh
-Source2:        ppl_c.h
-Source3:        pwl.hh
-#Patch0:        none
-#Patch1:        none
-#Icon:
-#Requires:
-Requires(post): /sbin/ldconfig
-Requires(postun): /sbin/ldconfig
-BuildRequires:  gmp-devel >= 4.1.3, m4 >= 1.4.8
-BuildRoot:      %(mktemp -ud %{_tmppath}/%{name}-%{version}-%{release}-XXXXXX)
-#Prefix:        /usr
+BuildRequires:		gcc-c++
+BuildRequires:		automake
+BuildRequires:		libtool
+BuildRequires:		gmp-devel
+BuildRequires:		m4
+BuildRequires:		make
+BuildRequires:		perl-interpreter
+BuildRequires:		perl(Getopt::Long)
+BuildRequires:		perl(strict)
+BuildRequires:		perl(warnings)
+BuildRequires:		sharutils
 
 %description
 The Parma Polyhedra Library (PPL) is a library for the manipulation of
@@ -36,197 +41,148 @@ software.  This package provides all what is necessary to run
 applications using the PPL through its C and C++ interfaces.
 
 %package devel
-Summary:        Development tools for the Parma Polyhedra Library C and C++ interfaces
-Group:          Development/Libraries
-Requires:       %{name} = %{version}-%{release}, gmp-devel >= 4.1.3
+Summary:	Development tools for the Parma Polyhedra Library C and C++ interfaces
+Requires:	%{name}%{?_isa} = %{version}-%{release}, gmp-devel%{?_isa}
+
 %description devel
 The header files, Autoconf macro and minimal documentation for
 developing applications using the Parma Polyhedra Library through
 its C and C++ interfaces.
 
 %package static
-Summary:        Static archives for the Parma Polyhedra Library C and C++ interfaces
-Group:          Development/Libraries
-Requires:       %{name}-devel = %{version}-%{release}
+Summary:	Static archives for the Parma Polyhedra Library C and C++ interfaces
+Requires:	%{name}-devel%{?_isa} = %{version}-%{release}
+
 %description static
 The static archives for the Parma Polyhedra Library C and C++ interfaces.
 
 %package utils
-Summary:        Utilities using the Parma Polyhedra Library
-Group:          Development/Libraries
-Requires:       %{name} = %{version}-%{release}
-BuildRequires:  glpk-devel >= 4.13
-%description utils
-This package contains the mixed integer linear programming solver ppl_lpsol
-and the program ppl_lcdd for vertex/facet enumeration of convex polyhedra.
+Summary:	Utilities using the Parma Polyhedra Library
+Requires:	%{name}%{?_isa} = %{version}-%{release}
+BuildRequires:	glpk-devel >= 4.13
 
-%ifnarch ppc64
+%description utils
+This package contains the mixed integer linear programming solver ppl_lpsol.
+the program ppl_lcdd for vertex/facet enumeration of convex polyhedra,
+and the parametric integer programming solver ppl_pips.
+
+# This is the explicit list of arches gprolog supports
+%ifarch x86_64 %{ix86} ppc alpha aarch64
 %package gprolog
 # The `gprolog' package is not available on ppc64:
 # the GNU Prolog interface must thus be disabled for that architecture.
-Summary:        The GNU Prolog interface of the Parma Polyhedra Library
-Group:          Development/Libraries
-BuildRequires:  gprolog >= 1.2.19
-Requires:       %{name} = %{version}-%{release}, %{name}-pwl = %{version}-%{release}, gprolog >= 1.2.19
+Summary:	The GNU Prolog interface of the Parma Polyhedra Library
+BuildRequires:	gprolog >= 1.3.2
+Requires:	%{name}%{?_isa} = %{version}-%{release}, gprolog%{?_isa} >= 1.3.2
+
 %description gprolog
 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
+# This is the explicit list of arches gprolog supports
+%ifarch x86_64 %{ix86} ppc alpha aarch64
 %package gprolog-static
-Summary:        The static archive for the GNU Prolog interface of the Parma Polyhedra Library
-Group:          Development/Libraries
-Requires:       %{name}-gprolog = %{version}-%{release}
+Summary:	The static archive for the GNU Prolog interface of the Parma Polyhedra Library
+Requires:	%{name}-gprolog%{?_isa} = %{version}-%{release}
+
 %description gprolog-static
 This package contains the static archive for the GNU Prolog interface
 of the Parma Polyhedra Library.
 %endif
 
 %package swiprolog
-Summary:        The SWI-Prolog interface of the Parma Polyhedra Library
-Group:          Development/Libraries
-BuildRequires:  pl-devel >= 5.6.57-2
-Requires:       %{name} = %{version}-%{release}, %{name}-pwl = %{version}-%{release}, pl >= 5.6.57-2
+Summary:	The SWI-Prolog interface of the Parma Polyhedra Library
+BuildRequires:	pl >= 5.10.2-3, pl-devel >= 5.10.2-3
+Requires:	%{name}%{?_isa} = %{version}-%{release}, pl%{?_isa} >= 5.10.2-3
+
 %description swiprolog
 This package adds SWI-Prolog support to the Parma Polyhedra Library.
 Install this package if you want to use the library in SWI-Prolog programs.
 
-%package swiprolog-static
-Summary:        The static archive for the SWI-Prolog interface of the Parma Polyhedra Library
-Group:          Development/Libraries
-BuildRequires:  pl-devel >= 5.6.57-2, pl-static >= 5.6.57-2
-Requires:       %{name}-swiprolog = %{version}-%{release}
-%description swiprolog-static
-This package contains the static archive for the SWI-Prolog interface
-of the Parma Polyhedra Library.
-
-%package yap
-Summary:        The YAP Prolog interface of the Parma Polyhedra Library
-Group:          Development/Libraries
-BuildRequires:  yap-devel >= 5.1.1
-Requires:       %{name} = %{version}-%{release}, %{name}-pwl = %{version}-%{release}, yap >= 5.1.1
-%description yap
-This package adds YAP Prolog support to the Parma Polyhedra Library (PPL).
-Install this package if you want to use the library in YAP Prolog programs.
-
-#%package ocaml
-#Summary:        The OCaml interface of the Parma Polyhedra Library
-#Group:          Development/Libraries
-#BuildRequires:  ocaml >= 3.09
-#Requires:       %{name} = %{version}-%{release}
-#%description ocaml
-#This package adds Objective Caml (OCaml) support to the Parma
-#Polyhedra Library.  Install this package if you want to use the
-#library in OCaml programs.
-
-#%package ocaml-devel
-#Summary:        The OCaml interface of the Parma Polyhedra Library
-#Group:          Development/Libraries
-#Requires:       %{name}-ocaml = %{version}-%{release}
-#%description ocaml-devel
-#This package contains libraries and signature files for developing
-#applications using the OCaml interface of the Parma Polyhedra Library.
-
+%ifarch %{java_arches}
 %package java
-Summary:        The Java interface of the Parma Polyhedra Library
-Group:          Development/Libraries
-BuildRequires:  java-devel >= 1:1.6.0
-BuildRequires:  jpackage-utils
-Requires:       java >= 1:1.6.0
-Requires:       jpackage-utils
-Requires:       %{name} = %{version}-%{release}
+Summary:	The Java interface of the Parma Polyhedra Library
+BuildRequires:	java-devel
+BuildRequires:	javapackages-tools
+Requires:	java-headless
+Requires:	%{name}%{?_isa} = %{version}-%{release}
+
 %description java
 This package adds Java support to the Parma Polyhedra Library.
 Install this package if you want to use the library in Java programs.
 
 %package java-javadoc
-Summary:        Javadocs for %{name}-java
-Group:          Documentation
-Requires:       %{name}-java = %{version}-%{release}
-Requires:       jpackage-utils
+Summary:	Javadocs for %{name}-java
+Requires:	%{name}-java%{?_isa} = %{version}-%{release}
+
 %description java-javadoc
 This package contains the API documentation for Java interface
 of the Parma Polyhedra Library.
-
+%endif
 
 %package docs
-Summary:        Documentation for the Parma Polyhedra Library
-Group:          Documentation
-Requires:       %{name} = %{version}-%{release}
+License:	GFDL-1.2-no-invariants-or-later
+Summary:	Documentation for the Parma Polyhedra Library
+Requires:	%{name}%{?_isa} = %{version}-%{release}
+
 %description docs
 This package contains all the documentations required by programmers
 using the Parma Polyhedra Library (PPL).
 Install this package if you want to program with the PPL.
 
-%package pwl
-Summary:        The Parma Watchdog Library: a C++ library for watchdog timers
-Group:          Development/Libraries
-Requires(post): /sbin/ldconfig
-Requires(postun): /sbin/ldconfig
-%description pwl
-The Parma Watchdog Library (PWL) provides support for multiple,
-concurrent watchdog timers on systems providing setitimer(2).  This
-package provides all what is necessary to run applications using the
-PWL.  The PWL is currently distributed with the Parma Polyhedra
-Library, but is totally independent from it.
-
-%package pwl-devel
-Summary:        Development tools for the Parma Watchdog Library
-Group:          Development/Libraries
-Requires:       %{name}-pwl = %{version}-%{release}
-%description pwl-devel
-The header files, documentation and static libraries for developing
-applications using the Parma Watchdog Library.
-
-%package pwl-static
-Summary:        Static archive for the Parma Watchdog Library
-Group:          Development/Libraries
-Requires:       %{name}-pwl-devel = %{version}-%{release}
-%description pwl-static
-This package contains the static archive for the Parma Watchdog Library.
-
-%package pwl-docs
-Summary:        Documentation for the Parma Watchdog Library
-Group:          Documentation
-Requires:       %{name}-pwl = %{version}-%{release}
-%description pwl-docs
-This package contains all the documentations required by programmers
-using the Parma Watchdog Library (PWL).
-Install this package if you want to program with the PWL.
-
-
 %prep
-%setup -q
-#%patch0 -p1
-#%patch1 -p1
+%autosetup -p1
+
+# Fix detection of C++11 features
+sed -i 's,== 201103L,>= 201103L,g' m4/ac_check_cxx11.m4
+
+# Regenerate configure
+autoreconf -fiv
 
 %build
-CPPFLAGS="-I%{_includedir}/glpk"
-%ifnarch ppc64
+CPPFLAGS="-I`swipl --dump-runtime-variables | grep PLBASE= | sed 's/PLBASE="\(.*\)";/\1/'`/include"
+# This is the explicit list of arches gprolog supports
+%ifarch x86_64 %{ix86} ppc alpha aarch64
 CPPFLAGS="$CPPFLAGS -I%{_libdir}/gprolog-`gprolog --version 2>&1 | head -1 | sed -e "s/.* \([^ ]*\)$/\1/g"`/include"
 %endif
-CPPFLAGS="$CPPFLAGS -I%{_includedir}/Yap"
-%configure --enable-shared --disable-rpath --enable-interfaces="c++ c gnu_prolog swi_prolog yap_prolog java" CPPFLAGS="$CPPFLAGS"
+%ifarch %{java_arches}
+# The javah tool was removed in JDK 10
+if [ ! -e %{_bindir}/javah ]; then
+  export JAVAH="%{_bindir}/javac"
+  sed -e 's/\$(JAVAC)/& -h . -source 1.8 -target 1.8/' \
+      -e '/^java_cxx_headers\.stamp$/d' \
+      -i interfaces/Java/parma_polyhedra_library/Makefile.in
+fi
+CPPFLAGS="$CPPFLAGS -I%{_jvmdir}/java/include -I%{_jvmdir}/java/include/linux"
+%endif
+%configure --docdir=%{_datadir}/doc/%{name} --enable-shared --disable-rpath \
+%ifarch %{java_arches}
+  --enable-interfaces="cxx c gnu_prolog swi_prolog java" \
+%else
+  --enable-interfaces="cxx c gnu_prolog swi_prolog" \
+%endif
+  CPPFLAGS="$CPPFLAGS"
 sed -i 's|^hardcode_libdir_flag_spec=.*|hardcode_libdir_flag_spec=""|g' libtool
 sed -i 's|^runpath_var=LD_RUN_PATH|runpath_var=DIE_RPATH_DIE|g' libtool
-sed -i 's|^hardcode_libdir_flag_spec=.*|hardcode_libdir_flag_spec=""|g' Watchdog/libtool
-sed -i 's|^runpath_var=LD_RUN_PATH|runpath_var=DIE_RPATH_DIE|g' Watchdog/libtool
-make %{?_smp_mflags}
+%make_build
 
 %install
-rm -rf %{buildroot}
-make DESTDIR=%{buildroot} INSTALL="%{__install} -p" install
+%make_install INSTALL="%{__install} -p"
 rm -f %{buildroot}%{_libdir}/*.la %{buildroot}%{_libdir}/%{name}/*.la
 
+# Do not install the swiprolog-static file, since pl-static no longer exists
+rm -f %{buildroot}%{_libdir}/%{name}/libppl_swiprolog.a
+
 # In order to avoid multiarch conflicts when installed for multiple
 # architectures (e.g., i386 and x86_64), we rename the header files
-# of the ppl-devel and ppl-pwl-devel packages.  They are substituted with
-# ad-hoc switchers that select the appropriate header file depending on
+# of the ppl-devel package.  They are substituted with ad-hoc 
+# switchers that select the appropriate header file depending on
 # the architecture for which the compiler is compiling.
 
 # Since our header files only depend on the sizeof things, we smash
-# ix86 onto i386 and arm* onto arm.
+# ix86 onto i386 and arm* onto arm.  For the SuperH RISC engine family,
+# we smash sh3 and sh4 onto sh.
 normalized_arch=%{_arch}
 %ifarch %{ix86}
 normalized_arch=i386
@@ -234,41 +190,41 @@ normalized_arch=i386
 %ifarch %{arm}
 normalized_arch=arm
 %endif
+%ifarch sh3 sh4
+normalized_arch=sh
+%endif
 
 mv %{buildroot}/%{_includedir}/ppl.hh %{buildroot}/%{_includedir}/ppl-${normalized_arch}.hh
 install -m644 %{SOURCE1} %{buildroot}/%{_includedir}/ppl.hh
 mv %{buildroot}/%{_includedir}/ppl_c.h %{buildroot}/%{_includedir}/ppl_c-${normalized_arch}.h
 install -m644 %{SOURCE2} %{buildroot}/%{_includedir}/ppl_c.h
-mv %{buildroot}/%{_includedir}/pwl.hh %{buildroot}/%{_includedir}/pwl-${normalized_arch}.hh
-install -m644 %{SOURCE3} %{buildroot}/%{_includedir}/pwl.hh
 
+%ifarch %{java_arches}
 # Install the Javadocs for ppl-java.
 mkdir -p %{buildroot}%{_javadocdir}
 mv \
 %{buildroot}/%{_datadir}/doc/%{name}/ppl-user-java-interface-%{version}-html \
 %{buildroot}%{_javadocdir}/%{name}-java
+%endif
 
 %files
-%defattr(-,root,root,-)
 %doc %{_datadir}/doc/%{name}/BUGS
 %doc %{_datadir}/doc/%{name}/COPYING
 %doc %{_datadir}/doc/%{name}/CREDITS
-%doc %{_datadir}/doc/%{name}/ChangeLog
 %doc %{_datadir}/doc/%{name}/NEWS
 %doc %{_datadir}/doc/%{name}/README
 %doc %{_datadir}/doc/%{name}/README.configure
 %doc %{_datadir}/doc/%{name}/TODO
-%doc %{_datadir}/doc/%{name}/gpl.*
+%doc %{_datadir}/doc/%{name}/gpl.txt
 %{_libdir}/libppl.so.*
 %{_libdir}/libppl_c.so.*
 %{_bindir}/ppl-config
 %{_mandir}/man1/ppl-config.1.gz
-
 %dir %{_libdir}/%{name}
 %dir %{_datadir}/doc/%{name}
+%dir %{_datadir}/ppl/
 
 %files devel
-%defattr(-,root,root,-)
 %{_includedir}/ppl*.hh
 %{_includedir}/ppl_c*.h
 %{_libdir}/libppl.so
@@ -279,135 +235,391 @@ mv \
 %{_datadir}/aclocal/ppl_c.m4
 
 %files static
-%defattr(-,root,root,-)
 %{_libdir}/libppl.a
 %{_libdir}/libppl_c.a
 
 %files utils
-%defattr(-,root,root,-)
 %{_bindir}/ppl_lcdd
 %{_bindir}/ppl_lpsol
+%{_bindir}/ppl_pips
 %{_mandir}/man1/ppl_lcdd.1.gz
 %{_mandir}/man1/ppl_lpsol.1.gz
+%{_mandir}/man1/ppl_pips.1.gz
 
-%ifnarch ppc64
+# This is the explicit list of arches gprolog supports
+%ifarch x86_64 %{ix86} ppc alpha aarch64
 %files gprolog
-%defattr(-,root,root,-)
 %doc interfaces/Prolog/GNU/README.gprolog
 %{_bindir}/ppl_gprolog
-%{_libdir}/%{name}/ppl_gprolog.pl
+%{_datadir}/ppl/ppl_gprolog.pl
 %{_libdir}/%{name}/libppl_gprolog.so
-%endif
 
-%ifnarch ppc64
 %files gprolog-static
-%defattr(-,root,root,-)
 %{_libdir}/%{name}/libppl_gprolog.a
 %endif
 
 %files swiprolog
-%defattr(-,root,root,-)
 %doc interfaces/Prolog/SWI/README.swiprolog
-%{_bindir}/ppl_pl
+# No longer installed on shared builds
+# %%{_bindir}/ppl_pl
 %{_libdir}/%{name}/libppl_swiprolog.so
-%{_libdir}/%{name}/ppl_swiprolog.pl
-
-%files swiprolog-static
-%defattr(-,root,root,-)
-%{_libdir}/%{name}/libppl_swiprolog.a
-
-%files yap
-%defattr(-,root,root,-)
-%doc interfaces/Prolog/YAP/README.yap
-%{_libdir}/%{name}/ppl_yap.pl
-%{_libdir}/%{name}/ppl_yap.so
-
-#%files ocaml
-#%defattr(-,root,root,-)
-#%doc interfaces/OCaml/README.ocaml
-#%{_libdir}/%{name}/ppl_ocaml.cma
-#%{_libdir}/%{name}/ppl_ocaml.cmi
-#%{_libdir}/%{name}/ppl_ocaml_globals.cmi
-
-#%files ocaml-devel
-#%defattr(-,root,root,-)
-#%{_libdir}/%{name}/libppl_ocaml.a
-#%{_libdir}/%{name}/ppl_ocaml.mli
+%{_datadir}/%{name}/ppl_swiprolog.pl
 
+%ifarch %{java_arches}
 %files java
-%defattr(-,root,root,-)
 %doc interfaces/Java/README.java
 %{_libdir}/%{name}/libppl_java.so
 %{_libdir}/%{name}/ppl_java.jar
 
 %files java-javadoc
-%defattr(-,root,root,-)
 %{_javadocdir}/%{name}-java
+%endif
 
 %files docs
-%defattr(-,root,root,-)
+%doc %{_datadir}/doc/%{name}/ChangeLog*
 %doc %{_datadir}/doc/%{name}/README.doc
 %doc %{_datadir}/doc/%{name}/fdl.*
+%doc %{_datadir}/doc/%{name}/gpl.pdf
+%doc %{_datadir}/doc/%{name}/gpl.ps.gz
 %doc %{_datadir}/doc/%{name}/ppl-user-%{version}-html/
 %doc %{_datadir}/doc/%{name}/ppl-user-c-interface-%{version}-html/
-#%doc %{_datadir}/doc/%{name}/ppl-user-ocaml-interface-%{version}-html/
 %doc %{_datadir}/doc/%{name}/ppl-user-prolog-interface-%{version}-html/
 %doc %{_datadir}/doc/%{name}/ppl-user-%{version}.pdf
 %doc %{_datadir}/doc/%{name}/ppl-user-c-interface-%{version}.pdf
-%doc %{_datadir}/doc/%{name}/ppl-user-java-interface-%{version}.pdf
-#%doc %{_datadir}/doc/%{name}/ppl-user-ocaml-interface-%{version}.pdf
 %doc %{_datadir}/doc/%{name}/ppl-user-prolog-interface-%{version}.pdf
 %doc %{_datadir}/doc/%{name}/ppl-user-%{version}.ps.gz
 %doc %{_datadir}/doc/%{name}/ppl-user-c-interface-%{version}.ps.gz
-%doc %{_datadir}/doc/%{name}/ppl-user-java-interface-%{version}.ps.gz
-#%doc %{_datadir}/doc/%{name}/ppl-user-ocaml-interface-%{version}.ps.gz
 %doc %{_datadir}/doc/%{name}/ppl-user-prolog-interface-%{version}.ps.gz
-
-%files pwl
-%defattr(-,root,root,-)
-%doc %{_datadir}/doc/pwl/BUGS
-%doc %{_datadir}/doc/pwl/COPYING
-%doc %{_datadir}/doc/pwl/CREDITS
-%doc %{_datadir}/doc/pwl/ChangeLog
-%doc %{_datadir}/doc/pwl/NEWS
-%doc %{_datadir}/doc/pwl/README
-%doc %{_datadir}/doc/pwl/gpl.*
-%{_libdir}/libpwl.so.*
-
-%files pwl-devel
-%defattr(-,root,root,-)
-%doc Watchdog/doc/README.doc
-%{_includedir}/pwl*.hh
-%{_libdir}/libpwl.so
-
-%files pwl-static
-%defattr(-,root,root,-)
-%{_libdir}/libpwl.a
-
-%files pwl-docs
-%defattr(-,root,root,-)
-%doc %{_datadir}/doc/pwl/README.doc
-%doc %{_datadir}/doc/pwl/fdl.*
-%doc %{_datadir}/doc/pwl/pwl-user-0.5-html/
-%doc %{_datadir}/doc/pwl/pwl-user-0.5.pdf
-%doc %{_datadir}/doc/pwl/pwl-user-0.5.ps.gz
-
-%post -p /sbin/ldconfig
-%postun -p /sbin/ldconfig
-%post pwl -p /sbin/ldconfig
-%postun pwl -p /sbin/ldconfig
-
-%clean
-rm -rf %{buildroot}
+%ifarch %{java_arches}
+%doc %{_datadir}/doc/%{name}/ppl-user-java-interface-%{version}.pdf
+%doc %{_datadir}/doc/%{name}/ppl-user-java-interface-%{version}.ps.gz
+%endif
 
 %changelog
-* Thu Nov 4 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.10-3
+* Wed Feb 28 2024 Zhengyu He <hezhy472013@gmail.com> - 1.2-32
+- Add support for riscv64
+
+* Wed Feb 14 2024 Jerry James <loganjerry@gmail.com> - 1.2-31
+- Rebuild for ppl 9.2.1
+- Stop building for 32-bit x86
+
+* Thu Feb  1 2024 Jerry James <loganjerry@gmail.com> - 1.2-30
+- Rebuild for ppl 9.2.0
+
+* Fri Jan 26 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.2-29
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
+
+* Sun Jan 21 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.2-28
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
+
+* Fri Jul 21 2023 Fedora Release Engineering <releng@fedoraproject.org> - 1.2-27
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
+
+* Fri Jan 20 2023 Fedora Release Engineering <releng@fedoraproject.org> - 1.2-26
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
+
+* Tue Dec 20 2022 Jerry James <loganjerry@gmail.com> - 1.2-25
+- Convert License tags to SPDX
+
+* Fri Dec 16 2022 Jerry James <loganjerry@gmail.com> - 1.2-25
+- Rebuild for pl 9.0.2
+
+* Mon Jul 25 2022 Jerry James <loganjerry@gmail.com> - 1.2-24
+- Do not build the Java interface on i686 (rhbz#2104091)
+- Build the gprolog interface on aarch64
+
+* Fri Jul 22 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.2-24
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
+
+* Sat Feb 05 2022 Jiri Vanek <jvanek@redhat.com> - 1.2-23
+- Rebuilt for java-17-openjdk as system jdk
+
+* Fri Jan 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.2-22
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
+
+* Sat Oct  2 2021 Jerry James <loganjerry@gmail.com> - 1.2-21
+- Rebuild for pl 8.4.0
+
+* Fri Jul 23 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.2-20
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
+
+* Wed Jan 27 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.2-19
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
+
+* Tue Jul 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.2-18
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
+
+* Sat Jul 11 2020 Jiri Vanek <jvanek@redhat.com> - 1.2-17
+- Rebuilt for JDK-11, see https://fedoraproject.org/wiki/Changes/Java11
+
+* Thu May 28 2020 Jerry James <loganjerry@gmail.com> - 1.2-16
+- Rebuild for pl 8.2.0
+- Add -pl82 patch
+
+* Tue May 26 2020 Jeff Law <law@redhat.com> - 1.2-15
+- Fix configure test compromised by LTO.  autoreconf after
+  before configuring.  Depend on automake and libtool.
+
+* Mon May  4 2020 Jerry James <loganjerry@gmail.com> - 1.2-14
+- Use "javac -h" instead of javah with JDK 10 and later
+
+* Thu Apr 16 2020 Jerry James <loganjerry@gmail.com> - 1.2-13
+- Remove the swiprolog-static subpackage since pl-static no longer exists
+
+* Thu Jan 30 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.2-12
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
+
+* Fri Jul 26 2019 Fedora Release Engineering <releng@fedoraproject.org> - 1.2-11
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
+
+* Mon Mar 25 2019 Jerry James <loganjerry@gmail.com> - 1.2-10
+- Rebuild for pl 8.0.2
+
+* Sat Feb 02 2019 Fedora Release Engineering <releng@fedoraproject.org> - 1.2-9
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
+
+* Fri Jul 13 2018 Fedora Release Engineering <releng@fedoraproject.org> - 1.2-8
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
+
+* Sat Jun  2 2018 Jerry James <loganjerry@gmail.com> - 1.2-7
+- Rebuild against glpk 4.65
+- Update URLs
+- Use ldconfig macro
+
+* Fri Feb 09 2018 Fedora Release Engineering <releng@fedoraproject.org> - 1.2-6
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
+
+* Wed Nov 08 2017 pcpa <paulo.cesar.pereira.de.andrade@gmail.com> - 1.2-5
+- Rebuild against pl-7.6.0
+
+* Thu Aug 03 2017 Fedora Release Engineering <releng@fedoraproject.org> - 1.2-4
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
+
+* Thu Jul 27 2017 Fedora Release Engineering <releng@fedoraproject.org> - 1.2-3
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
+
+* Tue Mar 07 2017 Petr Pisar <ppisar@redhat.com> - 1.2-2
+- Rebuild against pl-7.4.1
+
+* Fri Mar  3 2017 Jerry James <loganjerry@gmail.com> - 1.2-1
+- Update to latest upstream release (bz 1403093)
+- Drop all patches; all have been upstreamed
+- Drop ancient obsoletes
+- Drop the yap interface since yap has been retired
+
+* Sat Feb 11 2017 Fedora Release Engineering <releng@fedoraproject.org> - 1.1-15
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
+
+* Fri Mar 18 2016 pcpa <paulo.cesar.pereira.de.andrade@gmail.com> - 1.1-14
+- Correct FTBFS in rawhide (#1307874)
+
+* Thu Feb 04 2016 Fedora Release Engineering <releng@fedoraproject.org> - 1.1-13
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
+
+* Thu Aug 27 2015 Petr Pisar <ppisar@redhat.com> - 1.1-12
+- Rebuild against pl-7.2.3
+- Declare build-time dependencies for running utils
+
+* Tue Jun 30 2015 pcpa <paulo.cesar.pereira.de.andrade@gmail.com> - 1.1-11
+- Rebuild with newer pl
+- Remove jpackage-utils dependency
+
+* Thu Jun 18 2015 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.1-10
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
+
+* Sun Jun 14 2015 pcpa <paulo.cesar.pereira.de.andrade@gmail.com> - 1.1-9
+- Rebuild with newer pl
+
+* Sat May 02 2015 Kalev Lember <kalevlember@gmail.com> - 1.1-8
+- Rebuilt for GCC 5 C++11 ABI change
+
+* Sun Feb  8 2015 pcpa <paulo.cesar.pereira.de.andrade@gmail.com> - 1.1-7
+- Correct build with gcc 5.0.
+
+* Sun Aug 17 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.1-6
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild
+
+* Sun Jun 22 2014 Peter Robinson <pbrobinson@fedoraproject.org> 1.1-5
+- fix FTBFS on aarch64
+
+* Sat Jun 07 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.1-4
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild
+
+* Mon Jun 02 2014 Brent Baude <baude@us.ibm.com> - 1.1-3
+- Fixing include detection for ppc64 and ppc64le
+
+* Thu May 22 2014 Brent Baude <baude@us.ibm.com> - 1.1-2
+- Replace ppc64 arch with power64 macro
+
+* Tue Apr 29 2014 pcpa <paulo.cesar.pereira.de.andrade@gmail.com> - 1.1-1
+- Update to latest upstream release
+- Remove patches added upstream
+- Add new cstddef patch to build recent gcc
+- Correct bogus dates in chagelog
+- Remove hack with explicit provides of (wrong) library major
+
+* Fri Mar 28 2014 Michael Simacek <msimacek@redhat.com> - 1.0-5.10
+- Use Requires: java-headless rebuild (#1067528)
+
+* Thu Mar 13 2014 pcpa <paulo.cesar.pereira.de.andrade@gmail.com> - 1.0-4.10
+- Rebuild with newer pl
+
+* Fri Dec 27 2013 pcpa <paulo.cesar.pereira.de.andrade@gmail.com> - 1.0-4.9
+- Rebuild with newer pl
+
+* Fri Dec  6 2013 pcpa <paulo.cesar.pereira.de.andrade@gmail.com> - 1.0-4.8
+- Rebuild with newer pl
+
+* Thu Sep  5 2013 pcpa <paulo.cesar.pereira.de.andrade@gmail.com> - 1.0-4.7
+- Rebuild with newer pl
+
+* Tue Aug  6 2013 pcpa <paulo.cesar.pereira.de.andrade@gmail.com> - 1.0-4.6
+- Rebuild with newer glpk
+- Adapt to unversioned docdir (#994050)
+
+* Sun Aug 04 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.0-4.5
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild
+
+* Thu Feb  7 2013 pcpa <paulo.cesar.pereira.de.andrade@gmail.com> - 1.0-3.5
+- The gmp patch itself is conditional, no need to conditionally apply
+- Correct jpackage-utils requires as it is noarch
+- Correct java requires as the virtual provides in noarch
+- Rebuild for newer swiprolog and glpk (#907477, #905420)
+
+* Wed Jan 30 2013 pcpa <paulo.cesar.pereira.de.andrade@gmail.com> - 1.0-3.4
+- Correct problem with gmp 5.1.0 or newer (#905420)
+
+* Wed Dec 26 2012 Kevin Fenzi <kevin@scrye.com> 1.0-3.3
+- Rebuild for new libswipl
+
+* Wed Dec  5 2012 Dan Horák <dan[at]danny.cz> - 1.0-3.2
+- fix the hack for all 64-bit platforms
+
+* Tue Dec  4 2012 Tom Callaway <spot@fedoraproject.org> - 1.0-3.1
+- bring ugly hack back long enough to rebuild mingw
+
+* Mon Dec  3 2012 Tom Callaway <spot@fedoraproject.org> - 1.0-3
+- undo ugly hack
+
+* Mon Dec  3 2012 Tom Callaway <spot@fedoraproject.org> - 1.0-2
+- ignore this ugly hack, it is going away asap
+
+* Fri Nov 30 2012 Tom Callaway <spot@fedoraproject.org> - 1.0-1
+- update to 1.0
+- spec cleanup
+
+* Fri Jul 27 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.11.2-10
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild
+
+* Tue Mar  6 2012 Peter Robinson <pbrobinson@fedoraproject.org> - 0.11.2-9
+- Explicitly include supported gprolog arches
+
+* Tue Feb 28 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.11.2-8
+- Rebuilt for c++ ABI breakage
+
+* Thu Feb 23 2012 Karsten Hopp <karsten@redhat.com> 0.11.2-7
+- don't require yap on ppc and ppc64, it is broken there: bz 790625
+
+* Sat Jan 14 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.11.2-6
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_17_Mass_Rebuild
+
+* Wed Nov 23 2011 Ville Skyttä <ville.skytta@iki.fi> - 0.11.2-5
+- Own doc dir in -pwl.
+
+* Tue Nov 01 2011 Kevin Fenzi <kevin@scrye.com> - 0.11.2-4
+- Rebuild for new gmp
+
+* Wed Oct 26 2011 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.11.2-3.2
+- Rebuilt for glibc bug#747377
+
+* Wed Oct 26 2011 Marcela Mašláňová <mmaslano@redhat.com> - 0.11.2-2.2
+- rebuild with new gmp without compat lib
+
+* Wed Oct 12 2011 Peter Schiffer <pschiffe@redhat.com> - 0.11.2-2.1
+- rebuild with new gmp
+
+* Tue May 31 2011 Peter Robinson <pbrobinson@gmail.com> - 0.11.2-2
+- Merge 15 Branch to master as its newer
+- Add ARM to platform excludes
+
+* Mon Feb 28 2011 Roberto Bagnara <bagnara@cs.unipr.it> - 0.11.2-1
+- Updated for PPL 0.11.2.
+
+* Wed Feb 09 2011 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.10.2-11
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild
+
+* Fri Sep 11 2009 Caolán McNamara <caolanm@redhat.com> - 0.10.2-10
+- Resolves: rhbz#521588 stick pl include before Yap include to stop 
+  configure-time misdetection to resolve FTBFS
+
+* Wed Aug 19 2009 Roberto Bagnara <bagnara@cs.unipr.it> - 0.10.2-9
+- Force rebuild.
+
+* Fri Aug 14 2009 Roberto Bagnara <bagnara@cs.unipr.it> - 0.10.2-8
+- Force rebuild.
+
+* Fri Aug 14 2009 Roberto Bagnara <bagnara@cs.unipr.it> - 0.10.2-7
+- Force rebuild.
+
+* Tue Aug 11 2009 Ville Skyttä <ville.skytta@iki.fi> - 0.10.2-6
+- Use bzipped upstream tarball.
+
+* Sun Jul 26 2009 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.10.2-5
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild
+
+* Sun Jul 12 2009 Roberto Bagnara <bagnara@cs.unipr.it> 0.10.2-4
+- Force rebuild.
+
+* Fri Jun 19 2009 Roberto Bagnara <bagnara@cs.unipr.it> 0.10.2-3
+- The `gprolog' and `yap' packages are not available on the sparc64 and
+  sparcv9 architectures: so do `ppl-gprolog', `ppl-gprolog-static' and
+  `ppl-yap'.
+
+* Sat Apr 18 2009 Roberto Bagnara <bagnara@cs.unipr.it> 0.10.2-2
+- Force rebuild.
+
+* Sat Apr 18 2009 Roberto Bagnara <bagnara@cs.unipr.it> 0.10.2-1
+- Updated for PPL 0.10.2.
+
+* Tue Apr 14 2009 Roberto Bagnara <bagnara@cs.unipr.it> 0.10.1-1
+- Updated for PPL 0.10.1.
+
+* Sun Mar 29 2009 Roberto Bagnara <bagnara@cs.unipr.it> 0.10-11
+- Moved changelogs and PostScript and PDF versions of the GPL to the
+  `docs' subpackages. This saves considerable space on the live media.
+
+* Tue Mar 24 2009 Roberto Bagnara <bagnara@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@lists.fedoraproject.org> - 0.10-9
+- Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild.
+
+* Wed Feb 18 2009 Roberto Bagnara <bagnara@cs.unipr.it> 0.10-8
+- Install the documentation according to the Fedora packaging conventions.
+
+* Tue Feb 17 2009 Karsten Hopp <karsten@redhat.comt> 0.10-7
+- 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@cs.unipr.it> 0.10-6
+- Better workaround for the bug affecting PPL 0.10 on big-endian
+  architectures.
+
+* Tue Feb 03 2009 Roberto Bagnara <bagnara@cs.unipr.it> 0.10-5
+- Work around the bug affecting PPL 0.10 on big-endian architectures.
+
+* Fri Dec 05 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.10-4
+- Added `%%dir %%{_datadir}/doc/pwl' to the `%%files' section
+  of the `ppl-pwl' package.
+
+* Tue Nov 04 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.10-3
 - Fixed the requirements of the `ppl-java' package.
 
-* Thu Nov 4 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.10-2
+* Tue Nov 04 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.10-2
 - Added m4 >= 1.4.8 to build requirements.
 
-* Thu Nov 4 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.10-1
+* Tue Nov 04 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.10-1
 - Updated and extended for PPL 0.10.  In particular, the `ppl-config'
   program, being useful also for non-development activities, has been
   brought back to the main package.
@@ -415,17 +627,17 @@ rm -rf %{buildroot}
 * Tue Sep 30 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-25
 - The `swiprolog' package now requires pl >= 5.6.57-2.
 
-* Mon Sep 8 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-24
+* Mon Sep 08 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
+* Mon Sep 08 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-23
 - Fixed ppl-0.9-swiprolog.patch.
 
-* Mon Sep 8 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-22
+* Mon Sep 08 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
+* Mon Sep 08 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-21
 - Fixed the SWI-Prolog interface dependencies.
 
 * Mon May 19 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-20

ppl_c.h

@@ -1,5 +1,6 @@
 /* Header file switcher for the C interface.  -*- C -*-
-   Copyright (C) 2001-2008 Roberto Bagnara <bagnara@cs.unipr.it>
+   Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it>
+   Copyright (C) 2010-2011 BUGSENG srl (http://bugseng.com)
 
 This file is part of the Parma Polyhedra Library (PPL).
 
@@ -24,8 +25,12 @@ site: http://www.cs.unipr.it/ppl/ . */
 #include "ppl_c-x86_64.h"
 #elif defined(__i386__)
 #include "ppl_c-i386.h"
-#elif defined(__powerpc64__)
+#elif defined(__powerpc64__) 
+#if __BYTE_ORDER__ == __ORDER_BIG_ENDIAN__
 #include "ppl_c-ppc64.h"
+#else
+#include "ppl_c-ppc64le.h"
+#endif
 #elif defined(__powerpc__)
 #include "ppl_c-ppc.h"
 #elif defined(__ia64__)
@@ -34,10 +39,22 @@ site: http://www.cs.unipr.it/ppl/ . */
 #include "ppl_c-alpha.h"
 #elif defined(__arm__)
 #include "ppl_c-arm.h"
+#elif defined(__aarch64__)
+#include "ppl_c-aarch64.h"
 #elif defined(__s390x__)
 #include "ppl_c-s390x.h"
 #elif defined(__s390__)
 #include "ppl_c-s390.h"
+#elif defined(__sh__)
+#include "ppl_c-sh.h"
+#elif defined(__sparc__) && defined(__arch64__)
+#include "ppl_c-sparc64.h"
+#elif defined(__sparc__)
+#include "ppl_c-sparc.h"
+#elif defined(__riscv) && (__riscv_xlen == 64)
+#include "ppl_c-riscv64.h"
+#elif defined(__riscv) && (__riscv_xlen == 32)
+#include "ppl_c-riscv32.h"
 #else
 #error "This architecture is not supported by the currently installed ppl-devel packages."
 #endif

pwl.hh

@@ -1,5 +1,6 @@
 /* This is the header file switcher of the Parma Watchdog Library.
-   Copyright (C) 2001-2008 Roberto Bagnara <bagnara@cs.unipr.it>
+   Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it>
+   Copyright (C) 2010-2011 BUGSENG srl (http://bugseng.com)
 
 This file is part of the Parma Watchdog Library (PWL).
 
@@ -25,7 +26,11 @@ site: http://www.cs.unipr.it/Software/ . */
 #elif defined(__i386__)
 #include "pwl-i386.hh"
 #elif defined(__powerpc64__)
+#if __BYTE_ORDER__ == __ORDER_BIG_ENDIAN__
 #include "pwl-ppc64.hh"
+#else
+#include "pwl-ppc64le.hh"
+#endif
 #elif defined(__powerpc__)
 #include "pwl-ppc.hh"
 #elif defined(__ia64__)
@@ -34,10 +39,18 @@ site: http://www.cs.unipr.it/Software/ . */
 #include "pwl-alpha.hh"
 #elif defined(__arm__)
 #include "pwl-arm.hh"
+#elif defined(__aarch64__)
+#include "pwl-aarch64.hh"
 #elif defined(__s390x__)
 #include "pwl-s390x.hh"
 #elif defined(__s390__)
 #include "pwl-s390.hh"
+#elif defined(__sh__)
+#include "pwl-sh.hh"
+#elif defined(__sparc__) && defined(__arch64__)
+#include "pwl-sparc64.hh"
+#elif defined(__sparc__)
+#include "pwl-sparc.hh"
 #else
 #error "This architecture is not supported by the currently installed ppl-pwl-devel packages."
 #endif

sources

@@ -1 +1 @@
-610a60c9bda8a36bd41f90b732f906b3  ppl-0.10.tar.gz
+SHA512 (ppl-1.2.tar.bz2) = 9850f4b3ec542f69504e199d5492e156c9eb4521b41ecdd31ea2b3adbc77b90fc1727094377a84632ed9bd9d4ac55eca2728e5e866ac13ab899cc60bedd9db6d