bug-prolog
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

--min-bips omits necessary library


From: Jasper Taylor
Subject: --min-bips omits necessary library
Date: Mon, 10 Jul 2023 11:44:01 +0100
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.11.0

The following produces an error when built with --min-bips but not otherwise...


cat hello.pl

main :-
    \+ [1,_,3] = [_,2,4],
    write(hello), nl.
:- initialization(main).

jaspert@barbie:~/Build/Test$ gplc --no-top-level hello.pl
jaspert@barbie:~/Build/Test$ ./hello
hello

jaspert@barbie:~/Build/Test$ gplc -v --no-top-level --min-bips hello.pl
Prolog compiler (GNU Prolog) 1.6.0
Copyright (C) 1999-2023 Daniel Diaz

GNU Prolog comes with ABSOLUTELY NO WARRANTY.
This is free software; see the source or the file
named COPYING for copying conditions.

Path used: /usr/local/gprolog-1.6.0

*** Compiling

--- file: hello.pl
pl2wam -o /tmp/gplcwgQv0b.wam hello.pl
wam2ma -o /tmp/gplcSmwRQd.ma /tmp/gplcwgQv0b.wam
delete /tmp/gplcwgQv0b.wam
ma2asm -o /tmp/gplcetcdHf.s /tmp/gplcSmwRQd.ma
delete /tmp/gplcSmwRQd.ma
as  -o /tmp/gplcAzSyxh.o /tmp/gplcetcdHf.s
delete /tmp/gplcetcdHf.s

*** Linking

gcc  -fno-strict-aliasing -fcommon  -o hello /tmp/gplcAzSyxh.o /usr/local/gprolog-1.6.0/lib/libbips_pl.a /usr/local/gprolog-1.6.0/lib/libengine_pl.a /usr/local/gprolog-1.6.0/lib/liblinedit.a -lm
delete /tmp/gplcAzSyxh.o

jaspert@barbie:~/Build/Test$ ./hello

system_error(cannot_catch_throw(error(existence_error(procedure,(=)/2),(\+)/1)))
hello

Regards

    Jasper




reply via email to

[Prev in Thread] Current Thread [Next in Thread]