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