Prolog - Minimum possible size of SWI-Prolog kernel.

Author

Minimum possible size of SWI-Prolog kernel.

Sujai

2006-07-21, 7:00 pm

Hi all,
I am trying to get a SWI Prolog kernel with its bare minimum settings
,removing all extra libraries and debugging support that comes with it.

Can someone let me know the least possible size to which the SWI
Prolog kernel can be configured?.

What are all the configuration switches to make this build?.

regards
Sujai.

bookmobile

2006-07-21, 7:00 pm

Sujai wrote:
> Hi all,
> I am trying to get a SWI Prolog kernel with its bare minimum settings
> ,removing all extra libraries and debugging support that comes with it.
>
> Can someone let me know the least possible size to which the SWI
> Prolog kernel can be configured?.
>
> What are all the configuration switches to make this build?.
>
> regards
> Sujai.
>

./configure --help

Jan Wielemaker

2006-07-22, 3:59 am

On 2006-07-21, bookmobile <no-spam@inter.net> wrote:
> Sujai wrote:
>
> ./configure --help

Thats part. There are many more options as O_XYZ in pl-incl.h. Quite
a few however are only for documentation purposes. Disabling them will
break the system or turn libraries unusable as they rely on features.

All in all, to modern standards, SWI-Prolog isn't that big, but it isn't
well suited for making it really small either.

Cheers --- Jan

Sujai

2006-07-27, 7:59 am

Jan Wielemaker wrote:
>
> Thats part. There are many more options as O_XYZ in pl-incl.h. Quite
> a few however are only for documentation purposes. Disabling them will
> break the system or turn libraries unusable as they rely on features.
>
> All in all, to modern standards, SWI-Prolog isn't that big, but it isn't
> well suited for making it really small either.
>
> Cheers --- Jan

Thanks for the inputs.

I am now trying to find out differences in size of prolog kernel with
various configure options possible (like enabling it as a shared
object, etc).

When I try:
./configure --disable-gmp --disable-readline --enable-shared
--enable-runtime
and the run the Makefile, I get the following error:
../lib/i686-linux/libpl.so: undefined reference to `exception_hook'
collect2: ld returned 1 exit status
make: *** [plrt] Error 1

However, if I recompile again with the following configure switches,
./configure --disable-gmp --disable-readline --enable-shared
I dont get the linker error.

I am trying this on: SWI Prolog version 5.6.12.

Is this is a known bug when we add enable-runtime?.
Do we have a workaround/solution for the issue?.

thanks
Sujai.

Jan Wielemaker

2006-07-27, 6:59 pm

On 2006-07-27, Sujai <sujai.antony@gmail.com> wrote:
> Jan Wielemaker wrote:
>
> Thanks for the inputs.
>
> I am now trying to find out differences in size of prolog kernel with
> various configure options possible (like enabling it as a shared
> object, etc).
>
> When I try:
> ./configure --disable-gmp --disable-readline --enable-shared
> --enable-runtime
> and the run the Makefile, I get the following error:
> ../lib/i686-linux/libpl.so: undefined reference to `exception_hook'
> collect2: ld returned 1 exit status
> make: *** [plrt] Error 1
>
> However, if I recompile again with the following configure switches,
> ./configure --disable-gmp --disable-readline --enable-shared
> I dont get the linker error.
>
> I am trying this on: SWI Prolog version 5.6.12.
>
> Is this is a known bug when we add enable-runtime?.

The --enable-runtime isn't actively maintained. Its origin is from
the times that SWI-Prolog was free only for non-commercial use and
commercial users were allowed to distributed executables holding the
system without debugger.

> Do we have a workaround/solution for the issue?.

Move exception_hook() out of the #if O_DEBUGGER block in pl-wam.c.
Did the same in the CVS version. Note there may be more problems.

Cheers --- Jan

Sponsored Links