Hello Jan, I've got the following bug report from a Debian developer. Do you have any idea how to fix it? This issue prevents swi-prolog from migrating to Debian testing.
The original bug report for PPL is available here: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=787486 This bug report is archived here (also contains the log file): https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=793211 Regards, Eugeniy Meshcheryakov 22 липня 2015 о 15:09 +0200 Matthias Klose написав(-ла): > Package: src:swi-prolog > Version: 7.2.0-2 > Severity: important > > swi-prolog 7.2 breaks the ppl prolog bindings, such that ppl has to be built > with -fpermissive. However running the tests reveals that these are then > broken. swi-prolog 6 works fine. > > See #787486 for the ppl issue. > > [...] > Making check in Prolog > make[4]: Entering directory '/scratch/packages/tmp/ppl-1.1/interfaces/Prolog' > /usr/bin/make check-recursive > make[5]: Entering directory '/scratch/packages/tmp/ppl-1.1/interfaces/Prolog' > Making check in . > make[6]: Entering directory '/scratch/packages/tmp/ppl-1.1/interfaces/Prolog' > make[6]: Nothing to be done for 'check-am'. > make[6]: Leaving directory '/scratch/packages/tmp/ppl-1.1/interfaces/Prolog' > Making check in tests > make[6]: Entering directory > '/scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests' > /usr/bin/make check-local > make[7]: Entering directory > '/scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests' > /usr/bin/m4 --prefix-builtin -I../.. \ > -I. -I./.. -I./../.. \ > ./ppl_interface_generator_prolog_generated_test_pl.m4 \ > > ppl_prolog_generated_test_blob > ../../../utils/cm_cleaner.sh ./ppl_prolog_generated_test_blob > ../../../utils/cm_splitter.sh ./ppl_prolog_generated_test_blob > rm -f ppl_prolog_generated_test_blob > echo timestamp >ppl_prolog_generated_test.stamp > make[7]: Leaving directory > '/scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests' > make[6]: Leaving directory > '/scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests' > Making check in SWI > make[6]: Entering directory > '/scratch/packages/tmp/ppl-1.1/interfaces/Prolog/SWI' > /usr/bin/make ppl_pl pl_clpq pl_clpq2 > make[7]: Entering directory > '/scratch/packages/tmp/ppl-1.1/interfaces/Prolog/SWI' > x86_64-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../../.. -I../../../interfaces > -I../../../interfaces/Prolog -I/interfaces/Prolog -I../../../src > -I/usr/lib/swi-prolog/include -I/usr/include/pl -D_FORTIFY_SOURCE=2 -g -O2 > -frounding-math -g -O2 -fstack-protector-strong -Wformat > -Werror=format-security -Wall -g -fpermissive -W -Wall -MT ppl_pl.o -MD -MP > -MF .deps/ppl_pl.Tpo -c -o ppl_pl.o ppl_pl.cc > x86_64-linux-gnu-g++ -DHAVE_CONFIG_H -I. -I../../.. -I../../../interfaces > -I../../../interfaces/Prolog -I/interfaces/Prolog -I../../../src > -I/usr/lib/swi-prolog/include -I/usr/include/pl -D_FORTIFY_SOURCE=2 -g -O2 > -frounding-math -g -O2 -fstack-protector-strong -Wformat > -Werror=format-security -Wall -g -fpermissive -W -Wall -MT pl_clpq.o -MD -MP > -MF .deps/pl_clpq.Tpo -c -o pl_clpq.o pl_clpq.cc > mv -f .deps/ppl_pl.Tpo .deps/ppl_pl.Po > mv -f .deps/pl_clpq.Tpo .deps/pl_clpq.Po > /usr/bin/swipl-ld -pl /usr/bin/swipl -cc "x86_64-linux-gnu-gcc" -c++ > "x86_64-linux-gnu-g++" -ld "x86_64-linux-gnu-g++" \ > -ld-options`echo '' -g -O2 -frounding-math -g -O2 > -fstack-protector-strong -Wformat -Werror=format-security -Wall -g > -fpermissive -W -Wall | tr " " "/"` \ > -o ppl_pl .libs/libppl_swiprolog.a ppl_pl.o \ > -L../../../src/.libs \ > -lppl -lgmpxx -lgmp > /usr/bin/swipl-ld -pl /usr/bin/swipl -cc x86_64-linux-gnu-gcc -c++ > x86_64-linux-gnu-g++ -ld x86_64-linux-gnu-g++ \ > -ld-options`echo '' -g -O2 -frounding-math -g -O2 > -fstack-protector-strong -Wformat -Werror=format-security -Wall -g > -fpermissive -W -Wall | tr " " "/"` \ > -o pl_clpq .libs/libppl_swiprolog.a pl_clpq.o \ > ./pl_clpq.pl ./../tests/clpq.pl \ > -L../../../src/.libs \ > -lppl -lgmpxx -lgmp > /usr/bin/swipl-ld -pl /usr/bin/swipl -cc x86_64-linux-gnu-gcc -c++ > x86_64-linux-gnu-g++ -ld x86_64-linux-gnu-g++ \ > -ld-options`echo '' -g -O2 -frounding-math -g -O2 > -fstack-protector-strong -Wformat -Werror=format-security -Wall -g > -fpermissive -W -Wall | tr " " "/"` \ > -o pl_clpq2 .libs/libppl_swiprolog.a pl_clpq.o \ > ./pl_clpq.pl ./../tests/clpq2.pl \ > -L../../../src/.libs \ > -lppl -lgmpxx -lgmp > Warning: /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:208: > Singleton variable in branch: File_Name > Warning: /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:293: > Singleton variable in branch: File_Name > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:486:10: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:487:49: > Deprecated ... \<newline><white>*. Use \c > Warning: /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:489:3: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:490:59: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:491:82: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:492:64: > Deprecated ... \<newline><white>*. Use \c > Warning: /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:494:3: > Deprecated ... \<newline><white>*. Use \c > Warning: /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:496:3: > Deprecated ... \<newline><white>*. Use \c > Warning: /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:506:3: > Deprecated ... \<newline><white>*. Use \c > Warning: /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:515:3: > Deprecated ... \<newline><white>*. Use \c > Warning: /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:520:3: > Deprecated ... \<newline><white>*. Use \c > Warning: /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:526:3: > Deprecated ... \<newline><white>*. Use \c > Warning: /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:530:3: > Deprecated ... \<newline><white>*. Use \c > Warning: /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:539:3: > Deprecated ... \<newline><white>*. Use \c > Warning: /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:545:3: > Deprecated ... \<newline><white>*. Use \c > Warning: /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:548:3: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:549:49: > Deprecated ... \<newline><white>*. Use \c > Warning: /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:551:3: > Deprecated ... \<newline><white>*. Use \c > Warning: /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:570:3: > Deprecated ... \<newline><white>*. Use \c > Warning: /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:581:3: > Deprecated ... \<newline><white>*. Use \c > Warning: /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:588:3: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:589:70: > Deprecated ... \<newline><white>*. Use \c > Warning: /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:591:3: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:592:73: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:593:70: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:594:72: > Deprecated ... \<newline><white>*. Use \c > Warning: /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:596:3: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:597:71: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:598:65: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:599:71: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:600:67: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:601:73: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:602:68: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:603:72: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:604:69: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:605:71: > Deprecated ... \<newline><white>*. Use \c > Warning: /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:629:3: > Deprecated ... \<newline><white>*. Use \c > Warning: /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:633:3: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:636:10: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:637:73: > Deprecated ... \<newline><white>*. Use \c > Warning: /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:639:3: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:640:69: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:641:69: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:642:68: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:643:68: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:644:72: > Deprecated ... \<newline><white>*. Use \c > Warning: /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:646:3: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:647:72: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:648:69: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:649:66: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:650:71: > Deprecated ... \<newline><white>*. Use \c > Warning: /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:671:3: > Deprecated ... \<newline><white>*. Use \c > Warning: /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:679:3: > Deprecated ... \<newline><white>*. Use \c > Warning: /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:690:3: > Deprecated ... \<newline><white>*. Use \c > Warning: /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:698:3: > Deprecated ... \<newline><white>*. Use \c > Warning: /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:732:3: > Deprecated ... \<newline><white>*. Use \c > Warning: /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:742:3: > Deprecated ... \<newline><white>*. Use \c > Warning: /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:755:3: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:769:10: > Deprecated ... \<newline><white>*. Use \c > Warning: /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:771:3: > Deprecated ... \<newline><white>*. Use \c > Warning: /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq.pl:781:3: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:803:10: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:804:49: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:806:3: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:807:59: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:808:82: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:809:64: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:811:3: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:813:3: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:823:3: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:832:3: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:837:3: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:843:3: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:847:3: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:856:3: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:862:3: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:865:3: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:866:49: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:868:3: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:887:3: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:898:3: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:905:3: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:906:70: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:908:3: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:909:73: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:910:70: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:911:72: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:913:3: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:914:71: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:915:65: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:916:71: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:917:67: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:918:73: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:919:68: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:920:72: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:921:69: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:922:71: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:946:3: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:950:3: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:953:10: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:954:73: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:956:3: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:957:69: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:958:69: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:959:68: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:960:68: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:961:72: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:963:3: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:964:72: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:965:69: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:966:66: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:967:71: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:988:3: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:996:3: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:1007:3: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:1015:3: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:1049:3: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:1059:3: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:1072:3: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:1086:10: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:1088:3: > Deprecated ... \<newline><white>*. Use \c > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/clpq2.pl:1098:3: > Deprecated ... \<newline><white>*. Use \c > % autoloading prolog_codewalk:must_be/2 from /usr/lib/swi-prolog/library/error > % autoloading error:assertion/1 from /usr/lib/swi-prolog/library/debug > % autoloading prolog_codewalk:must_be/2 from /usr/lib/swi-prolog/library/error > % autoloading prolog_codewalk:portray_clause/1 from > /usr/lib/swi-prolog/library/listing > % autoloading record:member/2 from /usr/lib/swi-prolog/library/lists > % autoloading prolog_codewalk:portray_clause/1 from > /usr/lib/swi-prolog/library/listing > % autoloading prolog_codewalk:clause_info/4 from > /usr/lib/swi-prolog/library/prolog_clause > % autoloading prolog_codewalk:clause_info/4 from > /usr/lib/swi-prolog/library/prolog_clause > % autoloading prolog_codewalk:initialization_layout/4 from > /usr/lib/swi-prolog/library/prolog_clause > % autoloading prolog_codewalk:initialization_layout/4 from > /usr/lib/swi-prolog/library/prolog_clause > % autoloading error:assertion/1 from /usr/lib/swi-prolog/library/debug > % autoloading prolog_source:directory_file_path/3 from > /usr/lib/swi-prolog/library/filesex > % autoloading files_ex:use_foreign_library/2 from > /usr/lib/swi-prolog/library/shlib > % autoloading qsave:current_foreign_library/2 from > /usr/lib/swi-prolog/library/shlib > % autoloading oset:reverse/2 from /usr/lib/swi-prolog/library/lists > % autoloading user:portray_clause/1 from /usr/lib/swi-prolog/library/listing > % autoloading user:member/2 from /usr/lib/swi-prolog/library/lists > % autoloading user:debug/0 from /usr/lib/swi-prolog/library/edinburgh > % autoloading user:nodebug/0 from /usr/lib/swi-prolog/library/edinburgh > % autoloading user:statistics/0 from /usr/lib/swi-prolog/library/statistics > % autoloading record:member/2 from /usr/lib/swi-prolog/library/lists > % autoloading oset:reverse/2 from /usr/lib/swi-prolog/library/lists > % autoloading files_ex:permission_error/3 from > /usr/lib/swi-prolog/library/error > % autoloading files_ex:maplist/2 from /usr/lib/swi-prolog/library/apply > % autoloading prolog_debug:backtrace/1 from > /usr/lib/swi-prolog/library/prolog_stack > % autoloading user:debug/0 from /usr/lib/swi-prolog/library/edinburgh > % autoloading user:nodebug/0 from /usr/lib/swi-prolog/library/edinburgh > % autoloading user:statistics/0 from /usr/lib/swi-prolog/library/statistics > % autoloading user:member/2 from /usr/lib/swi-prolog/library/lists > % autoloading prolog_codewalk:clause_name/2 from > /usr/lib/swi-prolog/library/prolog_clause > % autoloading user:append/3 from /usr/lib/swi-prolog/library/lists > % autoloading user:portray_clause/1 from /usr/lib/swi-prolog/library/listing > % Autoloader: iteration 1 resolved 12 predicates and loaded 15 files in 0.082 > seconds. Restarting ... > % autoloading prolog_debug:backtrace/1 from > /usr/lib/swi-prolog/library/prolog_stack > % autoloading prolog_source:directory_file_path/3 from > /usr/lib/swi-prolog/library/filesex > % autoloading files_ex:use_foreign_library/2 from > /usr/lib/swi-prolog/library/shlib > % autoloading prolog_statistics:must_be/2 from > /usr/lib/swi-prolog/library/error > % autoloading qsave:current_foreign_library/2 from > /usr/lib/swi-prolog/library/shlib > % autoloading prolog_codewalk:clause_name/2 from > /usr/lib/swi-prolog/library/prolog_clause > % Autoloader: iteration 1 resolved 13 predicates and loaded 21 files in 0.093 > seconds. Restarting ... > % autoloading prolog_statistics:must_be/2 from > /usr/lib/swi-prolog/library/error > % Autoloader: iteration 2 resolved 1 predicates and loaded 3 files in 0.036 > seconds. Restarting ... > % autoloading files_ex:maplist/2 from /usr/lib/swi-prolog/library/apply > % autoloading files_ex:permission_error/3 from > /usr/lib/swi-prolog/library/error > % Autoloader: loaded 13 files in 2 iterations in 0.128 seconds > % Autoloader: loaded 13 files in 3 iterations in 0.151 seconds > % halt > % halt > make[7]: Leaving directory > '/scratch/packages/tmp/ppl-1.1/interfaces/Prolog/SWI' > /usr/bin/make check-local > make[7]: Entering directory > '/scratch/packages/tmp/ppl-1.1/interfaces/Prolog/SWI' > cp -f ./../tests/pl_check.pl . > echo "ensure_loaded('./swi_pl_check'). main." > script_pchk > cp -f ./../tests/ack.clpq . > cp -f ./../tests/ackn.clpq . > cp -f ./../tests/fib.clpq . > cp -f ./../tests/mc91.clpq . > cp -f ./../tests/smm.clpq . > cp -f ./../tests/sumto.clpq . > cp -f ./../tests/tak.clpq . > /bin/bash ../../../libtool --mode=execute \ > -dlopen ../../../src/libppl.la \ > -dlopen libppl_swiprolog.la \ > ./ppl_pl < script_pchk > cp -f ./../tests/schedule.clpq . > cp -f ./../tests/ppl_prolog_generated_test_common.pl . > /bin/bash ../../../libtool --mode=execute \ > -dlopen ../../../src/libppl.la \ > -dlopen libppl_swiprolog.la \ > ./pl_clpq <./../tests/script_clpq >obtained_clpq > /bin/bash ../../../libtool --mode=execute \ > -dlopen ../../../src/libppl.la \ > -dlopen libppl_swiprolog.la \ > ./pl_clpq2 <./../tests/script_clpq2 >obtained_clpq2 > cp -f ../tests/ppl_prolog_generated_test_main.pl . > echo "ensure_loaded('./swi_prolog_generated_test'). main." > script_pgt > /bin/bash ../../../libtool --mode=execute \ > -dlopen ../../../src/libppl.la \ > -dlopen libppl_swiprolog.la \ > ./ppl_pl <script_pgt > Welcome to SWI-Prolog (Multi-threaded, 64 bits, Version 7.2.2) > Copyright (c) 1990-2015 University of Amsterdam, VU Amsterdam > SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software, > and you are welcome to redistribute it under certain conditions. > Please visit http://www.swi-prolog.org for details. > > For help, use ?- help(Topic). or ?- apropos(Word). > > Welcome to SWI-Prolog (Multi-threaded, 64 bits, Version 7.2.2) > Copyright (c) 1990-2015 University of Amsterdam, VU Amsterdam > SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software, > and you are welcome to redistribute it under certain conditions. > Please visit http://www.swi-prolog.org for details. > > For help, use ?- help(Topic). or ?- apropos(Word). > > Welcome to SWI-Prolog (Multi-threaded, 64 bits, Version 7.2.2) > Copyright (c) 1990-2015 University of Amsterdam, VU Amsterdam > SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software, > and you are welcome to redistribute it under certain conditions. > Please visit http://www.swi-prolog.org for details. > > For help, use ?- help(Topic). or ?- apropos(Word). > > Welcome to SWI-Prolog (Multi-threaded, 64 bits, Version 7.2.2) > Copyright (c) 1990-2015 University of Amsterdam, VU Amsterdam > SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software, > and you are welcome to redistribute it under certain conditions. > Please visit http://www.swi-prolog.org for details. > > For help, use ?- help(Topic). or ?- apropos(Word). > > > true. > > > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/ppl_prolog_generated_test_Polyhedron.pl:3033: > Singleton variable in branch: F_N > Singleton variable in branch: F_D > Singleton variable in branch: V_N > Singleton variable in branch: V_D > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/ppl_prolog_generated_test_Polyhedron.pl:3056: > Singleton variable in branch: F_N > Singleton variable in branch: F_D > Singleton variable in branch: V_N > Singleton variable in branch: V_D > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/ppl_prolog_generated_test_Grid.pl:2018: > Singleton variable in branch: F_N > Singleton variable in branch: F_D > Singleton variable in branch: V_N > Singleton variable in branch: V_D > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/ppl_prolog_generated_test_Rational_Box.pl:1951: > Singleton variable in branch: F_N > Singleton variable in branch: F_D > Singleton variable in branch: V_N > Singleton variable in branch: V_D > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/ppl_prolog_generated_test_BD_Shape_mpz_class.pl:1940: > Singleton variable in branch: F_N > Singleton variable in branch: F_D > Singleton variable in branch: V_N > Singleton variable in branch: V_D > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/ppl_prolog_generated_test_BD_Shape_mpq_class.pl:1940: > Singleton variable in branch: F_N > Singleton variable in branch: F_D > Singleton variable in branch: V_N > Singleton variable in branch: V_D > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/ppl_prolog_generated_test_Octagonal_Shape_mpz_class.pl:1920: > Singleton variable in branch: F_N > Singleton variable in branch: F_D > Singleton variable in branch: V_N > Singleton variable in branch: V_D > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/ppl_prolog_generated_test_Octagonal_Shape_mpq_class.pl:1920: > Singleton variable in branch: F_N > Singleton variable in branch: F_D > Singleton variable in branch: V_N > Singleton variable in branch: V_D > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/ppl_prolog_generated_test_Double_Box.pl:1951: > Singleton variable in branch: F_N > Singleton variable in branch: F_D > Singleton variable in branch: V_N > Singleton variable in branch: V_D > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/ppl_prolog_generated_test_BD_Shape_double.pl:1940: > Singleton variable in branch: F_N > Singleton variable in branch: F_D > Singleton variable in branch: V_N > Singleton variable in branch: V_D > Warning: > /scratch/packages/tmp/ppl-1.1/interfaces/Prolog/tests/ppl_prolog_generated_test_Octagonal_Shape_double.pl:1920: > Singleton variable in branch: F_N > Singleton variable in branch: F_D > Singleton variable in branch: V_N > Singleton variable in branch: V_D > true. > > [Thread 1]: failed to recover from local-overflow > C-stack trace labeled "out-of-stack": > [0] PL_strtod() at ??:? [0x7f69fdeb33dc] > [1] PL_new_atom() at ??:? [0x7f69fddfe5ce] > [2] PL_new_term_refs() at ??:? [0x7f69fddfee47] > [3] > ./pl_clpq(_ZN23Parma_Polyhedra_Library10Interfaces6Prolog23build_linear_expressionEmPKc+0xe5) > [0x47e4b5] > [4] > ./pl_clpq(_ZN23Parma_Polyhedra_Library10Interfaces6Prolog16build_constraintEmPKc+0x825) > [0x47f595] > [5] ./pl_clpq(ppl_Polyhedron_add_constraints+0x159) [0x4a6579] > [6] PL_next_solution() at ??:? [0x7f69fde0cf96] > [7] PL_call_predicate() at ??:? [0x7f69fde1556c] > [8] ./pl_clpq(main+0x81) [0x478c91] > [9] __libc_start_main() at /build/buildd/glibc-2.21/csu/libc-start.c:323 > [0x7f69fc9dea40] > [10] ./pl_clpq(_start+0x29) [0x47a889] > C-stack trace labeled "crash": > [0] PL_strtod() at ??:? [0x7f69fdeb33dc] > [1] PL_new_atom() at ??:? [0x7f69fddfe7ba] > [2] PL_new_term_refs() at ??:? [0x7f69fddfee47] > [3] > ./pl_clpq(_ZN23Parma_Polyhedra_Library10Interfaces6Prolog16build_constraintEmPKc+0x6f) > [0x47eddf] > [4] ./pl_clpq(ppl_Polyhedron_add_constraints+0x159) [0x4a6579] > [5] PL_next_solution() at ??:? [0x7f69fde0cf96] > [6] PL_call_predicate() at ??:? [0x7f69fde1556c] > [7] ./pl_clpq(main+0x81) [0x478c91] > [8] __libc_start_main() at /build/buildd/glibc-2.21/csu/libc-start.c:323 > [0x7f69fc9dea40] > [9] ./pl_clpq(_start+0x29) [0x47a889] > [FATAL ERROR: > Sorry, cannot continue] > Makefile:1726: recipe for target 'clpq_test' failed > make[7]: *** [clpq_test] Error 2 > make[7]: *** Waiting for unfinished jobs.... > [Thread 1]: failed to recover from local-overflow > C-stack trace labeled "out-of-stack": > [0] PL_strtod() at ??:? [0x7fc8e88303dc] > [1] PL_new_atom() at ??:? [0x7fc8e877b5ce] > [2] PL_new_term_refs() at ??:? [0x7fc8e877be47] > [3] > ./ppl_pl(_ZN23Parma_Polyhedra_Library10Interfaces6Prolog16build_constraintEmPKc+0x6f) > [0x47ed2f] > [4] ./ppl_pl(ppl_Polyhedron_add_constraints+0x159) [0x4a64c9] > [5] PL_next_solution() at ??:? [0x7fc8e8789f96] > [6] pl_skip_list3_va() at ??:? [0x7fc8e87c6bae] > [7] pl_skip_list3_va() at ??:? [0x7fc8e87c73cb] > [8] PL_toplevel() at ??:? [0x7fc8e8782b7d] > [9] ./ppl_pl(main+0x40) [0x478c00] > [10] __libc_start_main() at /build/buildd/glibc-2.21/csu/libc-start.c:323 > [0x7fc8e735ba40] > [11] ./ppl_pl(_start+0x29) [0x47a7d9] > C-stack trace labeled "crash": > [0] PL_strtod() at ??:? [0x7fc8e88303dc] > [1] PL_new_atom() at ??:? [0x7fc8e877b7ba] > [2] PL_new_term_refs() at ??:? [0x7fc8e877be47] > [3] > ./ppl_pl(_ZN23Parma_Polyhedra_Library10Interfaces6Prolog16build_constraintEmPKc+0x6f) > [0x47ed2f] > [4] ./ppl_pl(ppl_Polyhedron_add_constraints+0x159) [0x4a64c9] > [5] PL_next_solution() at ??:? [0x7fc8e8789f96] > [6] pl_skip_list3_va() at ??:? [0x7fc8e87c6bae] > [7] pl_skip_list3_va() at ??:? [0x7fc8e87c73cb] > [8] PL_toplevel() at ??:? [0x7fc8e8782b7d] > [9] ./ppl_pl(main+0x40) [0x478c00] > [10] __libc_start_main() at /build/buildd/glibc-2.21/csu/libc-start.c:323 > [0x7fc8e735ba40] > [11] ./ppl_pl(_start+0x29) [0x47a7d9] > [FATAL ERROR: > Sorry, cannot continue] > Makefile:1713: recipe for target 'pl_check_test' failed > make[7]: *** [pl_check_test] Error 2 > [Thread 1]: failed to recover from local-overflow > C-stack trace labeled "out-of-stack": > [0] PL_strtod() at ??:? [0x7f97445ab3dc] > [1] PL_new_atom() at ??:? [0x7f97444f65ce] > [2] PL_new_term_refs() at ??:? [0x7f97444f6e47] > [3] > ./pl_clpq2(_ZN23Parma_Polyhedra_Library10Interfaces6Prolog16build_constraintEmPKc+0x77) > [0x47ede7] > [4] ./pl_clpq2(ppl_Polyhedron_add_constraints+0x159) [0x4a6579] > [Thread 1]: failed to recover from local-overflow > C-stack trace labeled "out-of-stack": > [5] PL_next_solution() at ??:? [0x7f9744504f96] > [0] PL_strtod() at ??:? [0x7f3fe37d63dc] > [6] PL_call_predicate() at ??:? [0x7f974450d56c] > [7] ./pl_clpq2(main+0x81) [0x478c91] > [1] PL_new_atom() at ??:? [0x7f3fe37215ce] > [8] __libc_start_main() at /build/buildd/glibc-2.21/csu/libc-start.c:323 > [0x7f97430d6a40] > [9] ./pl_clpq2(_start+0x29) [0x47a889] > C-stack trace labeled "crash": > [2] PL_new_term_refs() at ??:? [0x7f3fe3721e47] > [3] > ./ppl_pl(_ZN23Parma_Polyhedra_Library10Interfaces6Prolog16build_constraintEmPKc+0x6f) > [0x47ed2f] > [4] ./ppl_pl(ppl_new_C_Polyhedron_from_constraints+0x1d7) [0x49dfa7] > [0] PL_strtod() at ??:? [0x7f97445ab3dc] > [5] PL_next_solution() at ??:? [0x7f3fe372ff96] > [1] PL_new_atom() at ??:? [0x7f97444f67ba] > [6] pl_skip_list3_va() at ??:? [0x7f3fe376cbae] > [2] PL_new_term_refs() at ??:? [0x7f97444f6e47] > [3] > ./pl_clpq2(_ZN23Parma_Polyhedra_Library10Interfaces6Prolog16build_constraintEmPKc+0x6f) > [0x47eddf] > [4] ./pl_clpq2(ppl_Polyhedron_add_constraints+0x159) [0x4a6579] > [7] pl_skip_list3_va() at ??:? [0x7f3fe376d3cb] > [5] PL_next_solution() at ??:? [0x7f9744504f96] > [8] PL_toplevel() at ??:? [0x7f3fe3728b7d] > [9] ./ppl_pl(main+0x40) [0x478c00] > [6] PL_call_predicate() at ??:? [0x7f974450d56c] > [7] ./pl_clpq2(main+0x81) [0x478c91] > [10] __libc_start_main() at /build/buildd/glibc-2.21/csu/libc-start.c:323 > [0x7f3fe2301a40] > [11] ./ppl_pl(_start+0x29) [0x47a7d9] > C-stack trace labeled "crash": > [8] __libc_start_main() at /build/buildd/glibc-2.21/csu/libc-start.c:323 > [0x7f97430d6a40] > [9] ./pl_clpq2(_start+0x29) [0x47a889] > [FATAL ERROR: > Sorry, cannot continue] > [0] PL_strtod() at ??:? [0x7f3fe37d63dc] > [1] PL_new_atom() at ??:? [0x7f3fe37217ba] > [2] PL_new_term_refs() at ??:? [0x7f3fe3721e47] > [3] > ./ppl_pl(_ZN23Parma_Polyhedra_Library10Interfaces6Prolog16build_constraintEmPKc+0x77) > [0x47ed37] > [4] ./ppl_pl(ppl_new_C_Polyhedron_from_constraints+0x1d7) [0x49dfa7] > Makefile:1733: recipe for target 'clpq2_test' failed > make[7]: *** [clpq2_test] Error 2 > [5] PL_next_solution() at ??:? [0x7f3fe372ff96] > [6] pl_skip_list3_va() at ??:? [0x7f3fe376cbae] > [7] pl_skip_list3_va() at ??:? [0x7f3fe376d3cb] > [8] PL_toplevel() at ??:? [0x7f3fe3728b7d] > [9] ./ppl_pl(main+0x40) [0x478c00] > [10] __libc_start_main() at /build/buildd/glibc-2.21/csu/libc-start.c:323 > [0x7f3fe2301a40] > [11] ./ppl_pl(_start+0x29) [0x47a7d9] > [FATAL ERROR: > Sorry, cannot continue] > Makefile:1740: recipe for target 'ppl_prolog_generated_test' failed > make[7]: *** [ppl_prolog_generated_test] Error 2 > make[7]: Leaving directory > '/scratch/packages/tmp/ppl-1.1/interfaces/Prolog/SWI' > Makefile:1549: recipe for target 'check-am' failed > make[6]: *** [check-am] Error 2 > make[6]: Leaving directory > '/scratch/packages/tmp/ppl-1.1/interfaces/Prolog/SWI' > Makefile:539: recipe for target 'check-recursive' failed > make[5]: *** [check-recursive] Error 1 > make[5]: Leaving directory '/scratch/packages/tmp/ppl-1.1/interfaces/Prolog' > Makefile:688: recipe for target 'check' failed > make[4]: *** [check] Error 2 > make[4]: Leaving directory '/scratch/packages/tmp/ppl-1.1/interfaces/Prolog' > Makefile:496: recipe for target 'check-recursive' failed > make[3]: *** [check-recursive] Error 1 > make[3]: Leaving directory '/scratch/packages/tmp/ppl-1.1/interfaces' > Makefile:645: recipe for target 'check' failed > make[2]: *** [check] Error 2 > make[2]: Leaving directory '/scratch/packages/tmp/ppl-1.1/interfaces' > Makefile:561: recipe for target 'check-recursive' failed > make[1]: *** [check-recursive] Error 1 > make[1]: Leaving directory '/scratch/packages/tmp/ppl-1.1' > debian/rules:95: recipe for target 'check' failed > make: *** [check] Error 2 > dpkg-buildpackage: error: fakeroot debian/rules binary gave error exit status > 2
signature.asc
Description: Digital signature
