[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
- --min-bips omits necessary library,
Jasper Taylor <=