Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 16790 - new ebuild: swi-prolog-full-5.1.5
Summary: new ebuild: swi-prolog-full-5.1.5
Status: RESOLVED NEEDINFO
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: New packages (show other bugs)
Hardware: All Linux
: High enhancement (vote)
Assignee: George Shapovalov (RETIRED)
URL: http://www.swi-prolog.org
Whiteboard:
Keywords: EBUILD
Depends on:
Blocks:
 
Reported: 2003-03-03 23:02 UTC by Axxackall
Modified: 2003-10-01 11:28 UTC (History)
1 user (show)

See Also:
Package list:
Runtime testing required: ---


Attachments
swi-prolog-full-5.1.5 ebuild (swi-prolog-full.tgz,1.28 KB, application/octet-stream)
2003-03-03 23:04 UTC, Axxackall
Details
with packages, but w/o sandbox (swi-prolog-full-5.1.5-r1.ebuild,2.30 KB, application/octet-stream)
2003-03-04 18:01 UTC, Axxackall
Details

Note You need to log in before you can comment on or make changes to this bug.
Description Axxackall 2003-03-03 23:02:32 UTC
swi-prolog-lite is already in the tree. However, it lacks libraries and it's
outdated.

Reproducible: Always
Steps to Reproduce:
1. emerge -C dev-lang/swi-prolog-lite
2. cd /usr/local/portage 
3. tar -xvf swi-prolog-full
4. emerge dev-lang/swi-prolog-full
5. enjoy




swi-prolog-lite and swi-prolog-full are not slotted to each other (cannot
coexist as override each other's binary symlinks).
Comment 1 Axxackall 2003-03-03 23:04:09 UTC
Created attachment 8922 [details]
swi-prolog-full-5.1.5 ebuild

don't forget to unmerge swi-prolog-lite before
Comment 2 SpanKY gentoo-dev 2003-03-03 23:33:08 UTC
note to wranglers, do not give to me ;) 
i added swi-lite only to get another package working ... i dont really have the time to 
debug another ebuild, nor do i want to ... i dislike lisp a lot ;) 
Comment 3 Axxackall 2003-03-03 23:54:50 UTC
oops, forgot to include packages...
Comment 4 Axxackall 2003-03-03 23:56:04 UTC
Lisp? I thought swi-prolog is a prolog, isn't it? :)
Comment 5 Axxackall 2003-03-04 00:39:53 UTC
All right, I agree, I need 1 day to debug the part related to packages.
Comment 6 SpanKY gentoo-dev 2003-03-04 02:07:28 UTC
yeah, it is prolog ... i remember why i needed it now ...

at any rate, i dont like to debug either language ;)

and i remember having issues with the full pkg which is why i didnt spend much
time on it ... i just wanted the interpreter
Comment 7 Axxackall 2003-03-04 18:01:49 UTC
Created attachment 8972 [details]
with packages, but w/o sandbox

I've hurried up and forgotten about packages. This ebuild is fixing it. But it
comes to another problem. 

I'v overestimated the quality of swi-prolog full tarball applying to gentoo.
The problem is that the part related to packages wants to be installed after
the main part has already installed. 

Split ebuild into swi-prolog-core and swi-prolog-pkg? Then another problem:
packages wants also that the core is compiled and available from the parent
directory.

Anyway, *temporary* I've disabled the SANDBOX feature for this ebuild. If you
want to uninstall it please make sure you've been reading all commments inside
ebuild: they point you to which files to delete *manually*.

TODO in next ebuild: to patch all Makefiles and to enable SANDBOX again.
Comment 8 Karl Trygve Kalleberg (RETIRED) gentoo-dev 2003-05-03 07:50:53 UTC
Can't get around to fixing this anytime soon, I'm afraid.
Comment 9 George Shapovalov (RETIRED) gentoo-dev 2003-08-24 00:41:41 UTC
Hi Axxackall.

Ok, this has made its rounds and eventually ended up with me :).
Thanks for pushing "proper" prolog builds, although the problems you indicate in the last message are major. We cannot add the ebuild that breaks sandbox, certainly not the one that requires manual uninstallation :(.

I will close the bug with NEEDINFO for now, but please bear with me for some ideas below on what you can to do. Please reopen the bug when you submit new version ;).

>Split ebuild into swi-prolog-core and swi-prolog-pkg? Then another problem:
>packages wants also that the core is compiled and available from the parent
>directory.
Problems such as this are normally dealt with by "virtually" splitting the package. Can you first install the "base" package locally under ${WORKDIR} and then build supplementary against it. All this is done in src_compile. Then, in src_install, you install both under ${D}.

If that doesn't work, you are left with the option of fixing Makefile's. 

Otherwise you can try splitting packages completely and going the route similar to described above (fetch/build.install under ${WORKDIR}). Only you install just supplement package this time. This is no less work than original way and only makes sence if the supplement package is optional. Even then it is probably better to enable optional functionality with a USE flag (the "gentoo way"). So I would consider this approach only as a last resort.

George
Comment 10 George Shapovalov (RETIRED) gentoo-dev 2003-10-01 11:28:55 UTC
Reclosing with NEEDINFO