Hi Jan, The test suite was disabled in ppl so swi-prolog did migrate to testing. I see Ubuntu also got this version. So it is not so bad anymore.
It would be good to fix this some time anyway. I may look at it this weekend. Regards, Eugeniy 14 серп. 2015 09:55 "Jan Wielemaker" <[email protected]> пише: > Dear all, > > I've returned from holidays. This issue seems a show stopper getting > SWI-Prolog 7.2 into Debian and its offspring. What is the status? > Can I help? Concerning the build fails on amd64, I guess I > can reproduce this. > > Cheers -- Jan > > > On 07/23/2015 09:18 PM, Eugeniy Meshcheryakov wrote: > >> 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 >>> >> >> >
