Nico, Ryoko et Anna wrote:
> - first, while libgmp is installed on my system, it is not found when I
> type 'make' in the pkgsrc/lang/swi-prolog-lite directory. The error
> listed in config.log is 'ld: cannot find -lgmp'. I managed to work
> around this issue by editing swi-prolog-lite/Makefile and adding an
> .include line to point to gmp/buildlink3.mk. Thus libgmp is found when
> building swi-prolog-lite. But this workaround is not satisfactory; I
> would rather be able to install a full-blown SWI Prolog without having
> to tickle Makefiles.

It's not a workaround. That's how pkgsrc works. The explicit reference
to the gmp package is required to keep track of the dependency. If
gmp is essential for it and it doesn't build without, the package
seems broken. You should just send-pr if nobody fixes this in response
to your mail.

-- 
Christian