Compare commits

...

114 Commits

Author SHA1 Message Date
Zhengyu He ff10255d19 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>
2024-02-28 10:57:20 +00:00
Jerry James 54071918b4 Rebuild for ppl 9.2.1
- Stop building for 32-bit x86
2024-02-14 16:33:34 -07:00
Jerry James 062521866a Rebuild for ppl 9.2.0 2024-02-01 15:07:45 -07:00
Fedora Release Engineering 08ada32035 Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild 2024-01-26 00:03:35 +00:00
Fedora Release Engineering cf8556a4fc Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild 2024-01-21 22:16:30 +00:00
Fedora Release Engineering 5beef26c27 Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2023-07-21 06:11:44 +00:00
Fedora Release Engineering 642682f66f Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2023-01-20 10:11:51 +00:00
Jerry James 1e41f195e9 Convert License tags to SPDX. 2022-12-20 16:34:41 -07:00
Jerry James 1b41d03489 Rebuild for pl 9.0.2. 2022-12-15 17:54:42 -07:00
Jerry James a2a3bb05a1 Do not build the Java interface on i686 (rhbz#2104091).
Build the gprolog interface on aarch64.
2022-07-25 11:39:54 -06:00
Fedora Release Engineering 3de44e0fd2 Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2022-07-22 15:19:48 +00:00
Jerry James 5850a19f8e Gprolog now supports aarch64. 2022-02-14 15:11:17 -07:00
Jiri d9a096e9c7 Rebuilt for java-17-openjdk as system jdk
https://fedoraproject.org/wiki/Changes/Java17
2022-02-05 23:51:23 +01:00
Fedora Release Engineering aa4bd2d3ce - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2022-01-21 09:22:28 +00:00
Jerry James b5534233a3 Rebuild for pl 8.4.0. 2021-10-03 10:08:44 -06:00
Fedora Release Engineering 05ef9d5e17 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2021-07-23 03:59:09 +00:00
Fedora Release Engineering a8c5bf876c - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2021-01-27 08:31:05 +00:00
Jerry James 0ac07e19a0 Explicitly BR make. 2020-11-11 11:27:51 -07:00
Fedora Release Engineering 6ac8f95d55 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2020-07-28 22:56:08 +00:00
Jerry James 78d7b84e94 Compile Java code with -target 1.8. 2020-07-26 16:28:09 -06:00
Jiri 7e2346597d Rebuilt for JDK-11 2020-07-11 05:18:01 +02:00
Jerry James ad0895bd01 Rebuild for pl 8.2.0. Add -pl82 patch. 2020-05-28 10:22:28 -06:00
Jeff Law 366b485153 - Fix configure test compromised by LTO. autoreconf after
before configuring.  Depend on automake and libtool.
2020-05-26 14:32:55 -06:00
Jerry James 2bffbc6cb6 Use "javac -h" instead of javah with JDK 10 and later. 2020-05-04 11:33:59 -06:00
Jerry James 275c7954e7 Remove the swiprolog-static subpackage since pl-static no longer exists. 2020-04-16 16:46:46 -06:00
Fedora Release Engineering 9efd915511 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2020-01-30 09:40:32 +00:00
Fedora Release Engineering 62fec3cfb6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2019-07-26 11:14:35 +00:00
Jerry James 64be304658 Fix building with pl 8.x. Fix C++11 detection. 2019-03-26 21:35:55 -06:00
Jerry James 882a5716b4 Rebuild for pl 8.0.2. 2019-03-25 21:21:15 -06:00
Fedora Release Engineering f10a1640c2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2019-02-02 04:44:51 +00:00
Fedora Release Engineering 6f6a37e00f - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2018-07-13 22:48:51 +00:00
Jerry James 15c9fce521 Rebuild against glpk 4.65. Update URLs. Use %ldconfig macro. 2018-06-02 11:19:41 -06:00
Fedora Release Engineering 5502ec28fc - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2018-02-09 05:42:20 +00:00
pcpa ad1d83ed8d Rebuild against pl-7.6.0 2017-11-08 05:18:18 -05:00
Fedora Release Engineering bc2fcd4dca - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild 2017-08-03 06:20:04 +00:00
Fedora Release Engineering 2c3190d256 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild 2017-07-27 09:00:14 +00:00
Petr Písař 2c71c50396 perl dependency renamed to perl-interpreter <https://fedoraproject.org/wiki/Changes/perl_Package_to_Install_Core_Modules> 2017-07-12 14:27:23 +02:00
Petr Písař a77c591d83 Rebuild against pl-7.4.1 2017-03-07 15:17:55 +01:00
Jerry James a1cd3069e7 Update to latest upstream release (bz 1403093).
Also:
- Drop all patches; all have been upstreamed.
- Drop ancient obsoletes.
- Drop the yap interface since yap has been retired.
2017-03-03 09:02:23 -07:00
Fedora Release Engineering 9af3a510db - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild 2017-02-11 07:48:57 +00:00
pcpa 54c3983784 Correct FTBFS in rawhide (#1307874) 2016-03-18 12:19:33 -03:00
Fedora Release Engineering e47bb5bffa - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild 2016-02-04 18:25:49 +00:00
Petr Písař 04344501bb Declare build-time dependencies for running utils 2015-08-27 15:53:59 +02:00
Petr Písař 9b117c4a51 Rebuild against pl-7.2.3 2015-08-27 15:34:47 +02:00
pcpa 18c5a0b43b Rebuild with newer pl and remove jpackage-utils deps 2015-06-30 11:43:45 -03:00
Dennis Gilmore 1eb304ad5f - Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild 2015-06-18 17:46:18 +00:00
pcpa 60b7efe507 Correct bad cut&paste in changelog date 2015-06-14 20:29:43 -03:00
pcpa 809b3519c1 Rebuild with newer pl 2015-06-14 20:23:19 -03:00
Kalev Lember 4692c72f47 Rebuilt for GCC 5 C++11 ABI change 2015-05-02 16:51:01 +02:00
pcpa 61caa950d9 Correct build with gcc 5.0. 2015-02-08 18:48:38 -02:00
Peter Robinson 444b0e8138 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild 2014-08-17 19:46:47 +00:00
Peter Robinson 4493a48429 fix FTBFS on aarch64 2014-06-22 13:01:00 +01:00
Dennis Gilmore 35c51cf60c - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild 2014-06-07 12:04:45 -05:00
Brent Baude c52d688510 Fixing include detection for ppc64 and ppc64le 2014-06-02 13:31:00 -05:00
Brent Baude dd3038204b Replace ppc64 arch with power64 macro 2014-06-02 10:13:06 -05:00
pcpa a207e20e65 Correct build on 32 bit arches 2014-04-29 17:33:25 -03:00
pcpa 26e7717bab Update to latest upstream release 2014-04-29 16:46:37 -03:00
Michael Simacek 5cc4749d1b Use Requires: java-headless rebuild (#1067528)
Signed-off-by: Michael Simacek <msimacek@redhat.com>
Signed-off-by: Mikolaj Izdebski <mizdebsk@redhat.com>
2014-03-28 21:09:50 +01:00
pcpa 08f01cb8bf Rebuild with newer pl 2014-03-13 13:47:08 -03:00
pcpa 63abc2d45a Rebuild with newer pl 2013-12-27 21:34:40 -02:00
pcpa 0fed80ebf1 Rebuild with newer pl 2013-12-06 14:21:33 -02:00
pcpa bdf4b7a0ea Rebuild with newer pl 2013-09-05 10:46:08 -03:00
pcpa 2978ca9d02 Backport commit to work with glpk 4.52 2013-08-06 18:48:01 -03:00
pcpa fbf62adf88 Use ifarch in subpackage and files 2013-08-06 14:11:24 -03:00
pcpa c81a5308e3 Rebuild with newer glpk and unversioned docdir 2013-08-06 13:44:45 -03:00
Dennis Gilmore bdb2ce457e - Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild 2013-08-04 00:06:38 -05:00
pcpa 17655447c0 Correct broken dependencies and conflict with gmp (#907477, #905420). 2013-02-07 15:07:49 -02:00
Kevin Fenzi e2bd0ab775 Rebuild for new libswipl 2012-12-26 15:48:59 -07:00
Dan Horák d9a09c1053 fix the hack for all 64-bit platforms 2012-12-05 08:24:34 +01:00
Tom Callaway a015005151 bring ugly hack back long enough to rebuild mingw 2012-12-04 16:07:07 -05:00
Tom Callaway cb1a8c25ab undo ugly hack 2012-12-03 13:42:02 -05:00
Tom Callaway 3f63ce0aee hack hack hack 2012-12-03 10:26:26 -05:00
Tom Callaway 4755ee4059 1.0 2012-11-30 15:15:36 -05:00
Dennis Gilmore c3ad73bed3 Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild 2012-07-27 01:11:16 -05:00
Peter Robinson 1589547b63 Explicitly include supported gprolog arches 2012-03-06 17:25:44 +00:00
Dennis Gilmore d7792a6ff8 - Rebuilt for c++ ABI breakage 2012-02-28 13:42:20 -06:00
Karsten Hopp 05bd6457da don't require yap on ppc and ppc64, it is broken there: bz 790625 2012-02-23 14:31:43 +01:00
Dennis Gilmore ed46fa33b4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_17_Mass_Rebuild 2012-01-13 19:11:46 -06:00
Ville Skyttä 421c13e795 Own doc dir in -pwl. 2011-11-23 21:43:16 +02:00
Kevin Fenzi ca29c447fb Rebuild for new gmp 2011-11-01 10:27:11 -06:00
Dennis Gilmore 06995e1490 - Rebuilt for glibc bug#747377 2011-10-26 19:19:20 -05:00
Marcela Mašláňová 409e9df9e4 rebuild with new gmp without compat lib 2011-10-26 14:37:51 +02:00
Marcela Mašláňová 202219cbb4 rebuild with new gmp 2011-10-12 07:04:43 +02:00
Peter Robinson 34c3c76dc5 Merge 15 Branch to master as its newer, Add ARM to platform excludes 2011-05-31 13:59:06 +01:00
Roberto Bagnara c74b289084 Require SWI-Prolog at least version 5.10.2-3. Use `swipl', not `pl'. 2011-02-28 21:13:47 +01:00
Roberto Bagnara 5d111813ad Added a build dependency from `pl'. 2011-02-28 19:09:58 +01:00
Roberto Bagnara 1a8e873a36 Oops... this is the right spec file. 2011-02-28 17:37:27 +01:00
Roberto Bagnara ddb5035ffd Updated for PPL 0.11.2. 2011-02-28 17:29:17 +01:00
Dennis Gilmore 2ad28ab2cd - Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild 2011-02-09 10:24:02 -06:00
Fedora Release Engineering b1dbba524c dist-git conversion 2010-07-29 09:42:43 +00:00
Bill Nottingham dee55e3129 Fix typo that causes a failure to update the common directory. (releng
#2781)
2009-11-25 23:31:45 +00:00
Caolan McNamara cb853674b7 Resolves: rhbz#521588 stick pl include before Yap include 2009-09-11 08:43:14 +00:00
Roberto Bagnara 58a07d7d69 Force rebuild. 2009-08-19 08:32:24 +00:00
Roberto Bagnara 18979dc880 Force rebuild. 2009-08-14 07:46:43 +00:00
Roberto Bagnara b4ff682937 Force rebuild. 2009-08-14 07:43:57 +00:00
Ville Skyttä 5cc3fc1956 - Use bzipped upstream tarball.
https://www.redhat.com/archives/fedora-devel-list/2009-August/msg00563.html
2009-08-12 19:27:22 +00:00
Jesse Keating 34d6786f95 - Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild 2009-07-26 19:21:00 +00:00
Roberto Bagnara dd9283de5a Force rebuild. 2009-07-12 14:42:15 +00:00
Roberto Bagnara 49a922a111 Typo fixed. 2009-06-19 06:41:13 +00:00
Roberto Bagnara 87dc9b3c4d The `gprolog' and `yap' packages are not available on the sparc64 and
sparcv9 architectures: so do `ppl-gprolog', `ppl-gprolog-static' and
    `ppl-yap'.
2009-06-19 06:32:00 +00:00
Roberto Bagnara 83b8aa6f95 Obsolete patch file removed. 2009-04-18 09:18:12 +00:00
Roberto Bagnara fe239fe0ae Revised patch. 2009-04-18 09:08:31 +00:00
Roberto Bagnara 2947a1b1fb Updated for PPL 0.10.2. 2009-04-18 09:07:44 +00:00
Roberto Bagnara 06d265c707 Obsolete patch files removed. 2009-04-14 07:13:16 +00:00
Roberto Bagnara 32421251e1 Updated for the PPL 0.10.1 sources. 2009-04-14 06:22:31 +00:00
Roberto Bagnara b5b695250e Updated for PPL 0.10.1. 2009-04-14 06:14:29 +00:00
Roberto Bagnara 6032f3bde0 Moved changelogs and PostScript and PDF versions of the GPL to the `docs'
subpackages. This saves considerable space on the live media.
2009-03-29 14:42:33 +00:00
Roberto Bagnara ad41bd77eb There are no GNU Prolog packages available on ia64: disable the GNU Prolog
interface also on those platforms (besides ppc64, s390 and s390x).
2009-03-24 08:26:17 +00:00
Jesse Keating f079108e40 - Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild 2009-02-27 02:04:08 +00:00
Roberto Bagnara 022a81b6e8 Install the documentation according to the Fedora packaging conventions. 2009-02-18 22:28:14 +00:00
Karsten Hopp fd44230715 - there are no prolog packages available on s390 and s390, disable them
similar to ppc64
2009-02-17 20:57:38 +00:00
Roberto Bagnara 0ebcb22c6f Better workaround for the bug affecting PPL 0.10 on big-endian
architectures.
2009-02-04 07:33:55 +00:00
Roberto Bagnara b591cf386a Work around the bug affecting PPL 0.10 on big-endian architectures. 2009-02-03 19:24:42 +00:00
Roberto Bagnara 37867a9a7c Added `%dir %{_datadir}/doc/pwl' to the `%files' section of the `ppl-pwl'
package.
2008-12-05 06:54:02 +00:00
10 changed files with 725 additions and 270 deletions

View File

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

6
.gitignore vendored Normal file
View File

@ -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

View File

@ -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)

16
configure.patch Normal file
View File

@ -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];

196
ppl-pl82.patch Normal file
View File

@ -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.

21
ppl.hh
View File

@ -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

696
ppl.spec
View File

@ -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

21
ppl_c.h
View File

@ -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

15
pwl.hh
View File

@ -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

View File

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