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 |
|
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
|
2947a1b1fb
|
Updated for PPL 0.10.2.
|
2009-04-18 09:07:44 +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 |
|
Roberto Bagnara
|
46fd79493a
|
Fixed the requirements of the `ppl-java' package.
|
2008-11-04 17:17:51 +00:00 |
|
Roberto Bagnara
|
68588ef280
|
Added m4 >= 1.4.8 to build requirements.
|
2008-11-04 13:34:16 +00:00 |
|
Roberto Bagnara
|
018be6cad8
|
Updated and extended for PPL 0.10.
|
2008-11-04 13:11:56 +00:00 |
|
Roberto Bagnara
|
96cfd37195
|
The `swiprolog' package now requires pl >= 5.6.57-2.
|
2008-09-30 14:40:41 +00:00 |
|
Roberto Bagnara
|
1ed0e0533c
|
Changed ppl-0.9-swiprolog.patch so as to invoke plld' with the -v'
option.
|
2008-09-08 14:19:16 +00:00 |
|
Roberto Bagnara
|
4f206df82a
|
Fixed ppl-0.9-swiprolog.patch.
|
2008-09-08 13:42:18 +00:00 |
|
Roberto Bagnara
|
b85b368755
|
Implemented a workaround to cope with the new location of SWI-Prolog.h.
|
2008-09-08 08:25:36 +00:00 |
|
Roberto Bagnara
|
f416acb14d
|
Fixed the SWI-Prolog interface dependencies.
|
2008-09-08 07:59:46 +00:00 |
|
Roberto Bagnara
|
2ad67cb555
|
Added Requires /sbin/ldconfig.
|
2008-09-08 07:16:22 +00:00 |
|
Roberto Bagnara
|
11a02744e1
|
Include a patch to supply a missing inclusions of <cstdlib>.
|
2008-02-13 18:28:16 +00:00 |
|
Roberto Bagnara
|
59623aa509
|
Avoid multiarch conflicts when installed for multiple architectures.
|
2008-01-09 10:47:16 +00:00 |
|
Roberto Bagnara
|
8b5e1279d5
|
The SWI-Prolog `pl' package is temporarily not available on the ppc64
architecture: temporarily disabled `ppl-swiprolog' and
`ppl-swiprolog-static' on that architecture.
|
2007-12-23 12:17:26 +00:00 |
|
Roberto Bagnara
|
524b3005e3
|
The value of the License' tag is now GPLv2+'. `ppl-swiprolog' dependency
on `readline-devel' removed (again).
|
2007-09-29 06:50:53 +00:00 |
|
Jesse Keating
|
8547593d3c
|
- Rebuild for new libgmpxx
|
2007-09-24 17:30:03 +00:00 |
|
Jesse Keating
|
b5c51ae042
|
- Rebuild for selinux ppc32 issue.
|
2007-08-28 21:44:02 +00:00 |
|
Roberto Bagnara
|
f32baa7639
|
Bug 246815 had been fixed: YAP support enabled again.
|
2007-07-06 08:28:18 +00:00 |
|
Roberto Bagnara
|
00097299a2
|
Disable YAP support until bug 246815 is fixed. Bug 243084 has been fixed:
`ppl-swiprolog' dependency on `readline-devel' removed.
|
2007-07-05 12:48:08 +00:00 |
|
Roberto Bagnara
|
65c28ac7d3
|
The `gprolog' package is not available on ppc64: the GNU Prolog interface
must thus be disabled for that architecture.
|
2007-07-05 05:34:48 +00:00 |
|
Roberto Bagnara
|
0240e0637e
|
Initial checkin.
|
2007-07-04 19:33:28 +00:00 |
|