--min-bips omits necessary library
Jasper Taylor <[email protected]> Mon, 10 Jul 2023 11:44:01 +0100
| Newsgroups | gmane.comp.gnu.prolog.bugs |
|---|---|
| Message-ID | <[email protected]> |
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