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