rpms
/
ppl
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
134 Commits 39 Branches 76 Tags 233 KiB
Commit Graph

134 Commits

Author SHA1 Message Date
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
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
Kevin Fenzi e70c1225bc Setup of module ppl 2007-07-04 18:20:57 +00:00