Compare commits
114 Commits
ppl-0_10_2
...
rawhide
Author | SHA1 | Date | |
---|---|---|---|
|
ff10255d19 | ||
|
54071918b4 | ||
|
062521866a | ||
|
08ada32035 | ||
|
cf8556a4fc | ||
|
5beef26c27 | ||
|
642682f66f | ||
|
1e41f195e9 | ||
|
1b41d03489 | ||
|
a2a3bb05a1 | ||
|
3de44e0fd2 | ||
|
5850a19f8e | ||
|
d9a096e9c7 | ||
|
aa4bd2d3ce | ||
|
b5534233a3 | ||
|
05ef9d5e17 | ||
|
a8c5bf876c | ||
|
0ac07e19a0 | ||
|
6ac8f95d55 | ||
|
78d7b84e94 | ||
|
7e2346597d | ||
|
ad0895bd01 | ||
|
366b485153 | ||
|
2bffbc6cb6 | ||
|
275c7954e7 | ||
|
9efd915511 | ||
|
62fec3cfb6 | ||
|
64be304658 | ||
|
882a5716b4 | ||
|
f10a1640c2 | ||
|
6f6a37e00f | ||
|
15c9fce521 | ||
|
5502ec28fc | ||
|
ad1d83ed8d | ||
|
bc2fcd4dca | ||
|
2c3190d256 | ||
|
2c71c50396 | ||
|
a77c591d83 | ||
|
a1cd3069e7 | ||
|
9af3a510db | ||
|
54c3983784 | ||
|
e47bb5bffa | ||
|
04344501bb | ||
|
9b117c4a51 | ||
|
18c5a0b43b | ||
|
1eb304ad5f | ||
|
60b7efe507 | ||
|
809b3519c1 | ||
|
4692c72f47 | ||
|
61caa950d9 | ||
|
444b0e8138 | ||
|
4493a48429 | ||
|
35c51cf60c | ||
|
c52d688510 | ||
|
dd3038204b | ||
|
a207e20e65 | ||
|
26e7717bab | ||
|
5cc4749d1b | ||
|
08f01cb8bf | ||
|
63abc2d45a | ||
|
0fed80ebf1 | ||
|
bdf4b7a0ea | ||
|
2978ca9d02 | ||
|
fbf62adf88 | ||
|
c81a5308e3 | ||
|
bdb2ce457e | ||
|
17655447c0 | ||
|
e2bd0ab775 | ||
|
d9a09c1053 | ||
|
a015005151 | ||
|
cb1a8c25ab | ||
|
3f63ce0aee | ||
|
4755ee4059 | ||
|
c3ad73bed3 | ||
|
1589547b63 | ||
|
d7792a6ff8 | ||
|
05bd6457da | ||
|
ed46fa33b4 | ||
|
421c13e795 | ||
|
ca29c447fb | ||
|
06995e1490 | ||
|
409e9df9e4 | ||
|
202219cbb4 | ||
|
34c3c76dc5 | ||
|
c74b289084 | ||
|
5d111813ad | ||
|
1a8e873a36 | ||
|
ddb5035ffd | ||
|
2ad28ab2cd | ||
|
b1dbba524c | ||
|
dee55e3129 | ||
|
cb853674b7 | ||
|
58a07d7d69 | ||
|
18979dc880 | ||
|
b4ff682937 | ||
|
5cc3fc1956 | ||
|
34d6786f95 | ||
|
dd9283de5a | ||
|
49a922a111 | ||
|
87dc9b3c4d | ||
|
83b8aa6f95 | ||
|
fe239fe0ae | ||
|
2947a1b1fb | ||
|
06d265c707 | ||
|
32421251e1 | ||
|
b5b695250e | ||
|
6032f3bde0 | ||
|
ad41bd77eb | ||
|
f079108e40 | ||
|
022a81b6e8 | ||
|
fd44230715 | ||
|
0ebcb22c6f | ||
|
b591cf386a | ||
|
37867a9a7c |
@ -1 +0,0 @@
|
|||||||
ppl-0.10.tar.gz
|
|
6
.gitignore
vendored
Normal file
6
.gitignore
vendored
Normal 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
|
21
Makefile
21
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)
|
|
16
configure.patch
Normal file
16
configure.patch
Normal 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
196
ppl-pl82.patch
Normal 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
21
ppl.hh
@ -1,5 +1,6 @@
|
|||||||
/* This is the header file switcher of the Parma Polyhedra Library.
|
/* 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).
|
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"
|
#include "ppl-x86_64.hh"
|
||||||
#elif defined(__i386__)
|
#elif defined(__i386__)
|
||||||
#include "ppl-i386.hh"
|
#include "ppl-i386.hh"
|
||||||
#elif defined(__powerpc64__)
|
#elif defined(__powerpc64__)
|
||||||
|
#if __BYTE_ORDER__ == __ORDER_BIG_ENDIAN__
|
||||||
#include "ppl-ppc64.hh"
|
#include "ppl-ppc64.hh"
|
||||||
|
#else
|
||||||
|
#include "ppl-ppc64le.hh"
|
||||||
|
#endif
|
||||||
#elif defined(__powerpc__)
|
#elif defined(__powerpc__)
|
||||||
#include "ppl-ppc.hh"
|
#include "ppl-ppc.hh"
|
||||||
#elif defined(__ia64__)
|
#elif defined(__ia64__)
|
||||||
@ -34,10 +39,22 @@ site: http://www.cs.unipr.it/ppl/ . */
|
|||||||
#include "ppl-alpha.hh"
|
#include "ppl-alpha.hh"
|
||||||
#elif defined(__arm__)
|
#elif defined(__arm__)
|
||||||
#include "ppl-arm.hh"
|
#include "ppl-arm.hh"
|
||||||
|
#elif defined(__aarch64__)
|
||||||
|
#include "ppl-aarch64.hh"
|
||||||
#elif defined(__s390x__)
|
#elif defined(__s390x__)
|
||||||
#include "ppl-s390x.hh"
|
#include "ppl-s390x.hh"
|
||||||
#elif defined(__s390__)
|
#elif defined(__s390__)
|
||||||
#include "ppl-s390.hh"
|
#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
|
#else
|
||||||
#error "This architecture is not supported by the currently installed ppl-devel packages."
|
#error "This architecture is not supported by the currently installed ppl-devel packages."
|
||||||
#endif
|
#endif
|
||||||
|
696
ppl.spec
696
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
|
# See https://fedoraproject.org/wiki/Changes/EncourageI686LeafRemoval
|
||||||
Version: 0.10
|
ExcludeArch: %{ix86}
|
||||||
Release: 3%{?dist}
|
|
||||||
|
|
||||||
Summary: The Parma Polyhedra Library: a library of numerical abstractions
|
BuildRequires: gcc-c++
|
||||||
Group: Development/Libraries
|
BuildRequires: automake
|
||||||
License: GPLv3+
|
BuildRequires: libtool
|
||||||
URL: http://www.cs.unipr.it/ppl/
|
BuildRequires: gmp-devel
|
||||||
Source0: ftp://ftp.cs.unipr.it/pub/ppl/releases/%{version}/%{name}-%{version}.tar.gz
|
BuildRequires: m4
|
||||||
Source1: ppl.hh
|
BuildRequires: make
|
||||||
Source2: ppl_c.h
|
BuildRequires: perl-interpreter
|
||||||
Source3: pwl.hh
|
BuildRequires: perl(Getopt::Long)
|
||||||
#Patch0: none
|
BuildRequires: perl(strict)
|
||||||
#Patch1: none
|
BuildRequires: perl(warnings)
|
||||||
#Icon:
|
BuildRequires: sharutils
|
||||||
#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
|
|
||||||
|
|
||||||
%description
|
%description
|
||||||
The Parma Polyhedra Library (PPL) is a library for the manipulation of
|
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.
|
applications using the PPL through its C and C++ interfaces.
|
||||||
|
|
||||||
%package devel
|
%package devel
|
||||||
Summary: Development tools for the Parma Polyhedra Library C and C++ interfaces
|
Summary: Development tools for the Parma Polyhedra Library C and C++ interfaces
|
||||||
Group: Development/Libraries
|
Requires: %{name}%{?_isa} = %{version}-%{release}, gmp-devel%{?_isa}
|
||||||
Requires: %{name} = %{version}-%{release}, gmp-devel >= 4.1.3
|
|
||||||
%description devel
|
%description devel
|
||||||
The header files, Autoconf macro and minimal documentation for
|
The header files, Autoconf macro and minimal documentation for
|
||||||
developing applications using the Parma Polyhedra Library through
|
developing applications using the Parma Polyhedra Library through
|
||||||
its C and C++ interfaces.
|
its C and C++ interfaces.
|
||||||
|
|
||||||
%package static
|
%package static
|
||||||
Summary: Static archives for the Parma Polyhedra Library C and C++ interfaces
|
Summary: Static archives for the Parma Polyhedra Library C and C++ interfaces
|
||||||
Group: Development/Libraries
|
Requires: %{name}-devel%{?_isa} = %{version}-%{release}
|
||||||
Requires: %{name}-devel = %{version}-%{release}
|
|
||||||
%description static
|
%description static
|
||||||
The static archives for the Parma Polyhedra Library C and C++ interfaces.
|
The static archives for the Parma Polyhedra Library C and C++ interfaces.
|
||||||
|
|
||||||
%package utils
|
%package utils
|
||||||
Summary: Utilities using the Parma Polyhedra Library
|
Summary: Utilities using the Parma Polyhedra Library
|
||||||
Group: Development/Libraries
|
Requires: %{name}%{?_isa} = %{version}-%{release}
|
||||||
Requires: %{name} = %{version}-%{release}
|
BuildRequires: glpk-devel >= 4.13
|
||||||
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.
|
|
||||||
|
|
||||||
%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
|
%package gprolog
|
||||||
# The `gprolog' package is not available on ppc64:
|
# The `gprolog' package is not available on ppc64:
|
||||||
# the GNU Prolog interface must thus be disabled for that architecture.
|
# the GNU Prolog interface must thus be disabled for that architecture.
|
||||||
Summary: The GNU Prolog interface of the Parma Polyhedra Library
|
Summary: The GNU Prolog interface of the Parma Polyhedra Library
|
||||||
Group: Development/Libraries
|
BuildRequires: gprolog >= 1.3.2
|
||||||
BuildRequires: gprolog >= 1.2.19
|
Requires: %{name}%{?_isa} = %{version}-%{release}, gprolog%{?_isa} >= 1.3.2
|
||||||
Requires: %{name} = %{version}-%{release}, %{name}-pwl = %{version}-%{release}, gprolog >= 1.2.19
|
|
||||||
%description gprolog
|
%description gprolog
|
||||||
This package adds GNU Prolog support to the Parma Polyhedra Library (PPL).
|
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.
|
Install this package if you want to use the library in GNU Prolog programs.
|
||||||
%endif
|
%endif
|
||||||
|
|
||||||
%ifnarch ppc64
|
# This is the explicit list of arches gprolog supports
|
||||||
|
%ifarch x86_64 %{ix86} ppc alpha aarch64
|
||||||
%package gprolog-static
|
%package gprolog-static
|
||||||
Summary: The static archive for the GNU Prolog interface of the Parma Polyhedra Library
|
Summary: The static archive for the GNU Prolog interface of the Parma Polyhedra Library
|
||||||
Group: Development/Libraries
|
Requires: %{name}-gprolog%{?_isa} = %{version}-%{release}
|
||||||
Requires: %{name}-gprolog = %{version}-%{release}
|
|
||||||
%description gprolog-static
|
%description gprolog-static
|
||||||
This package contains the static archive for the GNU Prolog interface
|
This package contains the static archive for the GNU Prolog interface
|
||||||
of the Parma Polyhedra Library.
|
of the Parma Polyhedra Library.
|
||||||
%endif
|
%endif
|
||||||
|
|
||||||
%package swiprolog
|
%package swiprolog
|
||||||
Summary: The SWI-Prolog interface of the Parma Polyhedra Library
|
Summary: The SWI-Prolog interface of the Parma Polyhedra Library
|
||||||
Group: Development/Libraries
|
BuildRequires: pl >= 5.10.2-3, pl-devel >= 5.10.2-3
|
||||||
BuildRequires: pl-devel >= 5.6.57-2
|
Requires: %{name}%{?_isa} = %{version}-%{release}, pl%{?_isa} >= 5.10.2-3
|
||||||
Requires: %{name} = %{version}-%{release}, %{name}-pwl = %{version}-%{release}, pl >= 5.6.57-2
|
|
||||||
%description swiprolog
|
%description swiprolog
|
||||||
This package adds SWI-Prolog support to the Parma Polyhedra Library.
|
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.
|
Install this package if you want to use the library in SWI-Prolog programs.
|
||||||
|
|
||||||
%package swiprolog-static
|
%ifarch %{java_arches}
|
||||||
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.
|
|
||||||
|
|
||||||
%package java
|
%package java
|
||||||
Summary: The Java interface of the Parma Polyhedra Library
|
Summary: The Java interface of the Parma Polyhedra Library
|
||||||
Group: Development/Libraries
|
BuildRequires: java-devel
|
||||||
BuildRequires: java-devel >= 1:1.6.0
|
BuildRequires: javapackages-tools
|
||||||
BuildRequires: jpackage-utils
|
Requires: java-headless
|
||||||
Requires: java >= 1:1.6.0
|
Requires: %{name}%{?_isa} = %{version}-%{release}
|
||||||
Requires: jpackage-utils
|
|
||||||
Requires: %{name} = %{version}-%{release}
|
|
||||||
%description java
|
%description java
|
||||||
This package adds Java support to the Parma Polyhedra Library.
|
This package adds Java support to the Parma Polyhedra Library.
|
||||||
Install this package if you want to use the library in Java programs.
|
Install this package if you want to use the library in Java programs.
|
||||||
|
|
||||||
%package java-javadoc
|
%package java-javadoc
|
||||||
Summary: Javadocs for %{name}-java
|
Summary: Javadocs for %{name}-java
|
||||||
Group: Documentation
|
Requires: %{name}-java%{?_isa} = %{version}-%{release}
|
||||||
Requires: %{name}-java = %{version}-%{release}
|
|
||||||
Requires: jpackage-utils
|
|
||||||
%description java-javadoc
|
%description java-javadoc
|
||||||
This package contains the API documentation for Java interface
|
This package contains the API documentation for Java interface
|
||||||
of the Parma Polyhedra Library.
|
of the Parma Polyhedra Library.
|
||||||
|
%endif
|
||||||
|
|
||||||
%package docs
|
%package docs
|
||||||
Summary: Documentation for the Parma Polyhedra Library
|
License: GFDL-1.2-no-invariants-or-later
|
||||||
Group: Documentation
|
Summary: Documentation for the Parma Polyhedra Library
|
||||||
Requires: %{name} = %{version}-%{release}
|
Requires: %{name}%{?_isa} = %{version}-%{release}
|
||||||
|
|
||||||
%description docs
|
%description docs
|
||||||
This package contains all the documentations required by programmers
|
This package contains all the documentations required by programmers
|
||||||
using the Parma Polyhedra Library (PPL).
|
using the Parma Polyhedra Library (PPL).
|
||||||
Install this package if you want to program with the 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
|
%prep
|
||||||
%setup -q
|
%autosetup -p1
|
||||||
#%patch0 -p1
|
|
||||||
#%patch1 -p1
|
# Fix detection of C++11 features
|
||||||
|
sed -i 's,== 201103L,>= 201103L,g' m4/ac_check_cxx11.m4
|
||||||
|
|
||||||
|
# Regenerate configure
|
||||||
|
autoreconf -fiv
|
||||||
|
|
||||||
%build
|
%build
|
||||||
CPPFLAGS="-I%{_includedir}/glpk"
|
CPPFLAGS="-I`swipl --dump-runtime-variables | grep PLBASE= | sed 's/PLBASE="\(.*\)";/\1/'`/include"
|
||||||
%ifnarch ppc64
|
# 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"
|
CPPFLAGS="$CPPFLAGS -I%{_libdir}/gprolog-`gprolog --version 2>&1 | head -1 | sed -e "s/.* \([^ ]*\)$/\1/g"`/include"
|
||||||
%endif
|
%endif
|
||||||
CPPFLAGS="$CPPFLAGS -I%{_includedir}/Yap"
|
%ifarch %{java_arches}
|
||||||
%configure --enable-shared --disable-rpath --enable-interfaces="c++ c gnu_prolog swi_prolog yap_prolog java" CPPFLAGS="$CPPFLAGS"
|
# 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|^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|^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
|
%make_build
|
||||||
sed -i 's|^runpath_var=LD_RUN_PATH|runpath_var=DIE_RPATH_DIE|g' Watchdog/libtool
|
|
||||||
make %{?_smp_mflags}
|
|
||||||
|
|
||||||
%install
|
%install
|
||||||
rm -rf %{buildroot}
|
%make_install INSTALL="%{__install} -p"
|
||||||
make DESTDIR=%{buildroot} INSTALL="%{__install} -p" install
|
|
||||||
rm -f %{buildroot}%{_libdir}/*.la %{buildroot}%{_libdir}/%{name}/*.la
|
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
|
# In order to avoid multiarch conflicts when installed for multiple
|
||||||
# architectures (e.g., i386 and x86_64), we rename the header files
|
# 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
|
# of the ppl-devel package. They are substituted with ad-hoc
|
||||||
# ad-hoc switchers that select the appropriate header file depending on
|
# switchers that select the appropriate header file depending on
|
||||||
# the architecture for which the compiler is compiling.
|
# the architecture for which the compiler is compiling.
|
||||||
|
|
||||||
# Since our header files only depend on the sizeof things, we smash
|
# 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}
|
normalized_arch=%{_arch}
|
||||||
%ifarch %{ix86}
|
%ifarch %{ix86}
|
||||||
normalized_arch=i386
|
normalized_arch=i386
|
||||||
@ -234,41 +190,41 @@ normalized_arch=i386
|
|||||||
%ifarch %{arm}
|
%ifarch %{arm}
|
||||||
normalized_arch=arm
|
normalized_arch=arm
|
||||||
%endif
|
%endif
|
||||||
|
%ifarch sh3 sh4
|
||||||
|
normalized_arch=sh
|
||||||
|
%endif
|
||||||
|
|
||||||
mv %{buildroot}/%{_includedir}/ppl.hh %{buildroot}/%{_includedir}/ppl-${normalized_arch}.hh
|
mv %{buildroot}/%{_includedir}/ppl.hh %{buildroot}/%{_includedir}/ppl-${normalized_arch}.hh
|
||||||
install -m644 %{SOURCE1} %{buildroot}/%{_includedir}/ppl.hh
|
install -m644 %{SOURCE1} %{buildroot}/%{_includedir}/ppl.hh
|
||||||
mv %{buildroot}/%{_includedir}/ppl_c.h %{buildroot}/%{_includedir}/ppl_c-${normalized_arch}.h
|
mv %{buildroot}/%{_includedir}/ppl_c.h %{buildroot}/%{_includedir}/ppl_c-${normalized_arch}.h
|
||||||
install -m644 %{SOURCE2} %{buildroot}/%{_includedir}/ppl_c.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.
|
# Install the Javadocs for ppl-java.
|
||||||
mkdir -p %{buildroot}%{_javadocdir}
|
mkdir -p %{buildroot}%{_javadocdir}
|
||||||
mv \
|
mv \
|
||||||
%{buildroot}/%{_datadir}/doc/%{name}/ppl-user-java-interface-%{version}-html \
|
%{buildroot}/%{_datadir}/doc/%{name}/ppl-user-java-interface-%{version}-html \
|
||||||
%{buildroot}%{_javadocdir}/%{name}-java
|
%{buildroot}%{_javadocdir}/%{name}-java
|
||||||
|
%endif
|
||||||
|
|
||||||
%files
|
%files
|
||||||
%defattr(-,root,root,-)
|
|
||||||
%doc %{_datadir}/doc/%{name}/BUGS
|
%doc %{_datadir}/doc/%{name}/BUGS
|
||||||
%doc %{_datadir}/doc/%{name}/COPYING
|
%doc %{_datadir}/doc/%{name}/COPYING
|
||||||
%doc %{_datadir}/doc/%{name}/CREDITS
|
%doc %{_datadir}/doc/%{name}/CREDITS
|
||||||
%doc %{_datadir}/doc/%{name}/ChangeLog
|
|
||||||
%doc %{_datadir}/doc/%{name}/NEWS
|
%doc %{_datadir}/doc/%{name}/NEWS
|
||||||
%doc %{_datadir}/doc/%{name}/README
|
%doc %{_datadir}/doc/%{name}/README
|
||||||
%doc %{_datadir}/doc/%{name}/README.configure
|
%doc %{_datadir}/doc/%{name}/README.configure
|
||||||
%doc %{_datadir}/doc/%{name}/TODO
|
%doc %{_datadir}/doc/%{name}/TODO
|
||||||
%doc %{_datadir}/doc/%{name}/gpl.*
|
%doc %{_datadir}/doc/%{name}/gpl.txt
|
||||||
%{_libdir}/libppl.so.*
|
%{_libdir}/libppl.so.*
|
||||||
%{_libdir}/libppl_c.so.*
|
%{_libdir}/libppl_c.so.*
|
||||||
%{_bindir}/ppl-config
|
%{_bindir}/ppl-config
|
||||||
%{_mandir}/man1/ppl-config.1.gz
|
%{_mandir}/man1/ppl-config.1.gz
|
||||||
|
|
||||||
%dir %{_libdir}/%{name}
|
%dir %{_libdir}/%{name}
|
||||||
%dir %{_datadir}/doc/%{name}
|
%dir %{_datadir}/doc/%{name}
|
||||||
|
%dir %{_datadir}/ppl/
|
||||||
|
|
||||||
%files devel
|
%files devel
|
||||||
%defattr(-,root,root,-)
|
|
||||||
%{_includedir}/ppl*.hh
|
%{_includedir}/ppl*.hh
|
||||||
%{_includedir}/ppl_c*.h
|
%{_includedir}/ppl_c*.h
|
||||||
%{_libdir}/libppl.so
|
%{_libdir}/libppl.so
|
||||||
@ -279,135 +235,391 @@ mv \
|
|||||||
%{_datadir}/aclocal/ppl_c.m4
|
%{_datadir}/aclocal/ppl_c.m4
|
||||||
|
|
||||||
%files static
|
%files static
|
||||||
%defattr(-,root,root,-)
|
|
||||||
%{_libdir}/libppl.a
|
%{_libdir}/libppl.a
|
||||||
%{_libdir}/libppl_c.a
|
%{_libdir}/libppl_c.a
|
||||||
|
|
||||||
%files utils
|
%files utils
|
||||||
%defattr(-,root,root,-)
|
|
||||||
%{_bindir}/ppl_lcdd
|
%{_bindir}/ppl_lcdd
|
||||||
%{_bindir}/ppl_lpsol
|
%{_bindir}/ppl_lpsol
|
||||||
|
%{_bindir}/ppl_pips
|
||||||
%{_mandir}/man1/ppl_lcdd.1.gz
|
%{_mandir}/man1/ppl_lcdd.1.gz
|
||||||
%{_mandir}/man1/ppl_lpsol.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
|
%files gprolog
|
||||||
%defattr(-,root,root,-)
|
|
||||||
%doc interfaces/Prolog/GNU/README.gprolog
|
%doc interfaces/Prolog/GNU/README.gprolog
|
||||||
%{_bindir}/ppl_gprolog
|
%{_bindir}/ppl_gprolog
|
||||||
%{_libdir}/%{name}/ppl_gprolog.pl
|
%{_datadir}/ppl/ppl_gprolog.pl
|
||||||
%{_libdir}/%{name}/libppl_gprolog.so
|
%{_libdir}/%{name}/libppl_gprolog.so
|
||||||
%endif
|
|
||||||
|
|
||||||
%ifnarch ppc64
|
|
||||||
%files gprolog-static
|
%files gprolog-static
|
||||||
%defattr(-,root,root,-)
|
|
||||||
%{_libdir}/%{name}/libppl_gprolog.a
|
%{_libdir}/%{name}/libppl_gprolog.a
|
||||||
%endif
|
%endif
|
||||||
|
|
||||||
%files swiprolog
|
%files swiprolog
|
||||||
%defattr(-,root,root,-)
|
|
||||||
%doc interfaces/Prolog/SWI/README.swiprolog
|
%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}/libppl_swiprolog.so
|
||||||
%{_libdir}/%{name}/ppl_swiprolog.pl
|
%{_datadir}/%{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
|
|
||||||
|
|
||||||
|
%ifarch %{java_arches}
|
||||||
%files java
|
%files java
|
||||||
%defattr(-,root,root,-)
|
|
||||||
%doc interfaces/Java/README.java
|
%doc interfaces/Java/README.java
|
||||||
%{_libdir}/%{name}/libppl_java.so
|
%{_libdir}/%{name}/libppl_java.so
|
||||||
%{_libdir}/%{name}/ppl_java.jar
|
%{_libdir}/%{name}/ppl_java.jar
|
||||||
|
|
||||||
%files java-javadoc
|
%files java-javadoc
|
||||||
%defattr(-,root,root,-)
|
|
||||||
%{_javadocdir}/%{name}-java
|
%{_javadocdir}/%{name}-java
|
||||||
|
%endif
|
||||||
|
|
||||||
%files docs
|
%files docs
|
||||||
%defattr(-,root,root,-)
|
%doc %{_datadir}/doc/%{name}/ChangeLog*
|
||||||
%doc %{_datadir}/doc/%{name}/README.doc
|
%doc %{_datadir}/doc/%{name}/README.doc
|
||||||
%doc %{_datadir}/doc/%{name}/fdl.*
|
%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-%{version}-html/
|
||||||
%doc %{_datadir}/doc/%{name}/ppl-user-c-interface-%{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-prolog-interface-%{version}-html/
|
||||||
%doc %{_datadir}/doc/%{name}/ppl-user-%{version}.pdf
|
%doc %{_datadir}/doc/%{name}/ppl-user-%{version}.pdf
|
||||||
%doc %{_datadir}/doc/%{name}/ppl-user-c-interface-%{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-prolog-interface-%{version}.pdf
|
||||||
%doc %{_datadir}/doc/%{name}/ppl-user-%{version}.ps.gz
|
%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-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
|
%doc %{_datadir}/doc/%{name}/ppl-user-prolog-interface-%{version}.ps.gz
|
||||||
|
%ifarch %{java_arches}
|
||||||
%files pwl
|
%doc %{_datadir}/doc/%{name}/ppl-user-java-interface-%{version}.pdf
|
||||||
%defattr(-,root,root,-)
|
%doc %{_datadir}/doc/%{name}/ppl-user-java-interface-%{version}.ps.gz
|
||||||
%doc %{_datadir}/doc/pwl/BUGS
|
%endif
|
||||||
%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}
|
|
||||||
|
|
||||||
%changelog
|
%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.
|
- 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.
|
- 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'
|
- Updated and extended for PPL 0.10. In particular, the `ppl-config'
|
||||||
program, being useful also for non-development activities, has been
|
program, being useful also for non-development activities, has been
|
||||||
brought back to the main package.
|
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
|
* Tue Sep 30 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-25
|
||||||
- The `swiprolog' package now requires pl >= 5.6.57-2.
|
- 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
|
- Changed ppl-0.9-swiprolog.patch so as to invoke `plld' with
|
||||||
the `-v' option.
|
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.
|
- 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.
|
- 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.
|
- Fixed the SWI-Prolog interface dependencies.
|
||||||
|
|
||||||
* Mon May 19 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-20
|
* Mon May 19 2008 Roberto Bagnara <bagnara@cs.unipr.it> 0.9-20
|
||||||
|
21
ppl_c.h
21
ppl_c.h
@ -1,5 +1,6 @@
|
|||||||
/* Header file switcher for the C interface. -*- C -*-
|
/* 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).
|
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"
|
#include "ppl_c-x86_64.h"
|
||||||
#elif defined(__i386__)
|
#elif defined(__i386__)
|
||||||
#include "ppl_c-i386.h"
|
#include "ppl_c-i386.h"
|
||||||
#elif defined(__powerpc64__)
|
#elif defined(__powerpc64__)
|
||||||
|
#if __BYTE_ORDER__ == __ORDER_BIG_ENDIAN__
|
||||||
#include "ppl_c-ppc64.h"
|
#include "ppl_c-ppc64.h"
|
||||||
|
#else
|
||||||
|
#include "ppl_c-ppc64le.h"
|
||||||
|
#endif
|
||||||
#elif defined(__powerpc__)
|
#elif defined(__powerpc__)
|
||||||
#include "ppl_c-ppc.h"
|
#include "ppl_c-ppc.h"
|
||||||
#elif defined(__ia64__)
|
#elif defined(__ia64__)
|
||||||
@ -34,10 +39,22 @@ site: http://www.cs.unipr.it/ppl/ . */
|
|||||||
#include "ppl_c-alpha.h"
|
#include "ppl_c-alpha.h"
|
||||||
#elif defined(__arm__)
|
#elif defined(__arm__)
|
||||||
#include "ppl_c-arm.h"
|
#include "ppl_c-arm.h"
|
||||||
|
#elif defined(__aarch64__)
|
||||||
|
#include "ppl_c-aarch64.h"
|
||||||
#elif defined(__s390x__)
|
#elif defined(__s390x__)
|
||||||
#include "ppl_c-s390x.h"
|
#include "ppl_c-s390x.h"
|
||||||
#elif defined(__s390__)
|
#elif defined(__s390__)
|
||||||
#include "ppl_c-s390.h"
|
#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
|
#else
|
||||||
#error "This architecture is not supported by the currently installed ppl-devel packages."
|
#error "This architecture is not supported by the currently installed ppl-devel packages."
|
||||||
#endif
|
#endif
|
||||||
|
15
pwl.hh
15
pwl.hh
@ -1,5 +1,6 @@
|
|||||||
/* This is the header file switcher of the Parma Watchdog Library.
|
/* 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).
|
This file is part of the Parma Watchdog Library (PWL).
|
||||||
|
|
||||||
@ -25,7 +26,11 @@ site: http://www.cs.unipr.it/Software/ . */
|
|||||||
#elif defined(__i386__)
|
#elif defined(__i386__)
|
||||||
#include "pwl-i386.hh"
|
#include "pwl-i386.hh"
|
||||||
#elif defined(__powerpc64__)
|
#elif defined(__powerpc64__)
|
||||||
|
#if __BYTE_ORDER__ == __ORDER_BIG_ENDIAN__
|
||||||
#include "pwl-ppc64.hh"
|
#include "pwl-ppc64.hh"
|
||||||
|
#else
|
||||||
|
#include "pwl-ppc64le.hh"
|
||||||
|
#endif
|
||||||
#elif defined(__powerpc__)
|
#elif defined(__powerpc__)
|
||||||
#include "pwl-ppc.hh"
|
#include "pwl-ppc.hh"
|
||||||
#elif defined(__ia64__)
|
#elif defined(__ia64__)
|
||||||
@ -34,10 +39,18 @@ site: http://www.cs.unipr.it/Software/ . */
|
|||||||
#include "pwl-alpha.hh"
|
#include "pwl-alpha.hh"
|
||||||
#elif defined(__arm__)
|
#elif defined(__arm__)
|
||||||
#include "pwl-arm.hh"
|
#include "pwl-arm.hh"
|
||||||
|
#elif defined(__aarch64__)
|
||||||
|
#include "pwl-aarch64.hh"
|
||||||
#elif defined(__s390x__)
|
#elif defined(__s390x__)
|
||||||
#include "pwl-s390x.hh"
|
#include "pwl-s390x.hh"
|
||||||
#elif defined(__s390__)
|
#elif defined(__s390__)
|
||||||
#include "pwl-s390.hh"
|
#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
|
#else
|
||||||
#error "This architecture is not supported by the currently installed ppl-pwl-devel packages."
|
#error "This architecture is not supported by the currently installed ppl-pwl-devel packages."
|
||||||
#endif
|
#endif
|
||||||
|
Loading…
Reference in New Issue
Block a user