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
