I tried to recompile from scratch on Debian this release, and I face the same issue with provided example. So issue seems related to this dev version itself, not package related.
I opened a discussion on swi-prolog google group to try to find the issue [0] [0] https://groups.google.com/forum/#!topic/swi-prolog/PJTBwNMGmo8 Le ven. 21 déc. 2018 à 07:53, olivier sallou <[email protected]> a écrit : > By the way, > I see that version 7.7 is the development version. > Stable version is still the 7.6 version. > > See http://www.swi-prolog.org/ChangeLog?branch=development and > http://www.swi-prolog.org/ChangeLog?branch=stable > > Should development version really be packaged ? > > Le ven. 21 déc. 2018 à 07:41, olivier sallou <[email protected]> a > écrit : > >> I could reproduce with simple code example from swi-prolog >> >> Running following on attached example raise the error: >> >> swipl-ld -o test.exe test.c test.pl >> ./test.exe pi/2 >> >> Running the same on an Ubuntu with swi-prolog 7.6.4 works. >> >> >> Le jeu. 20 déc. 2018 à 19:26, olivier sallou <[email protected]> >> a écrit : >> >>> Executing cmd directly seems to work: >>> >>> swipl >>> Welcome to SWI-Prolog (threaded, 64 bits, version 7.7.25) >>> SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software. >>> Please run ?- license. for legal details. >>> >>> For online help and background, visit http://www.swi-prolog.org >>> For built-in help, use ?- help(Topic). or ?- apropos(Word). >>> >>> ?- use_foreign_library(foreign(process)). >>> true. >>> >>> >>> Logol program is compiled with swipl-ld , so problem seems to occur with >>> compiled version only. >>> Older compilations/tests (with older swipl version?) used to work. >>> >>> -- >>> >>> gpg key id: 4096R/326D8438 (keyring.debian.org) >>> >>> Key fingerprint = 5FB4 6F83 D3B9 5204 6335 D26D 78DC 68DB 326D 8438 >>> >>> >> >> -- >> >> gpg key id: 4096R/326D8438 (keyring.debian.org) >> >> Key fingerprint = 5FB4 6F83 D3B9 5204 6335 D26D 78DC 68DB 326D 8438 >> >> > > -- > > gpg key id: 4096R/326D8438 (keyring.debian.org) > > Key fingerprint = 5FB4 6F83 D3B9 5204 6335 D26D 78DC 68DB 326D 8438 > > -- gpg key id: 4096R/326D8438 (keyring.debian.org) Key fingerprint = 5FB4 6F83 D3B9 5204 6335 D26D 78DC 68DB 326D 8438
