Roberto Bagnara
|
939631dd35
|
Updated for the PPL 0.10.1 sources.
|
2009-04-14 07:11:21 +00:00 |
|
Roberto Bagnara
|
34697a09cb
|
Updated for PPL 0.10.1.
|
2009-04-14 07:09:31 +00:00 |
|
Jesse Keating
|
4f93c2ff1a
|
Initialize branch F-10 for ppl
|
2008-11-07 04:40:43 +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 |
|