DC-Build-Header: gprolog 1.4.5.0-3 / 2021-10-26 22:32:18 +0000 DC-Task: type:rebuild-binarch-only source:gprolog version:1.4.5.0-3 chroot:unstable esttime:122 logfile:/tmp/gprolog_1.4.5.0-3_unstable_clang13.log modes:clang13:binarch-only DC-Sbuild-call: su user42 -c 'sbuild -n --arch-any --apt-update -d unstable -v --no-run-lintian --chroot-setup-commands=/tmp/clang13 gprolog_1.4.5.0-3' sbuild (Debian sbuild) 0.78.1 (09 February 2019) on ip-172-31-9-117.eu-central-1.compute.internal +==============================================================================+ | gprolog 1.4.5.0-3 (amd64) Tue, 26 Oct 2021 22:32:18 +0000 | +==============================================================================+ Package: gprolog Version: 1.4.5.0-3 Source Version: 1.4.5.0-3 Distribution: unstable Machine Architecture: amd64 Host Architecture: amd64 Build Architecture: amd64 Build Type: binary I: NOTICE: Log filtering will replace 'var/run/schroot/mount/sid-amd64-sbuild-da02f69c-2360-4fed-afbb-ae5554f21a68' with '<>' +------------------------------------------------------------------------------+ | Chroot Setup Commands | +------------------------------------------------------------------------------+ /tmp/clang13 ------------ + echo 'Entering customization script...' Entering customization script... + CLANG_VERSION=13 + echo 'Install of clang-13' Install of clang-13 + apt-get update Get:1 http://127.0.0.1:12990/debian sid InRelease [165 kB] Get:2 http://127.0.0.1:12990/debian sid/main Sources.diff/Index [63.6 kB] Get:3 http://127.0.0.1:12990/debian sid/main amd64 Packages.diff/Index [63.6 kB] Get:4 http://127.0.0.1:12990/debian sid/main Sources T-2021-10-26-2004.40-F-2021-10-26-0202.15.pdiff [47.3 kB] Get:4 http://127.0.0.1:12990/debian sid/main Sources T-2021-10-26-2004.40-F-2021-10-26-0202.15.pdiff [47.3 kB] Get:5 http://127.0.0.1:12990/debian sid/main amd64 Packages T-2021-10-26-2004.40-F-2021-10-26-0202.15.pdiff [55.9 kB] Get:5 http://127.0.0.1:12990/debian sid/main amd64 Packages T-2021-10-26-2004.40-F-2021-10-26-0202.15.pdiff [55.9 kB] Get:6 http://127.0.0.1:12990/debian sid/main Translation-en [6586 kB] Fetched 6981 kB in 3s (2751 kB/s) Reading package lists... + apt-get install --yes --no-install-recommends --force-yes clang-13 libomp-13-dev libobjc-9-dev Reading package lists... Building dependency tree... The following additional packages will be installed: lib32gcc-s1 lib32stdc++6 libasan5 libbsd0 libc6-i386 libclang-common-13-dev libclang-cpp13 libclang1-13 libedit2 libgc1 libgcc-9-dev libicu67 libllvm13 libmd0 libobjc-11-dev libobjc4 libomp5-13 libxml2 libz3-4 Suggested packages: clang-13-doc libomp-13-doc Recommended packages: llvm-13-dev python3 The following NEW packages will be installed: clang-13 lib32gcc-s1 lib32stdc++6 libasan5 libbsd0 libc6-i386 libclang-common-13-dev libclang-cpp13 libclang1-13 libedit2 libgc1 libgcc-9-dev libicu67 libllvm13 libmd0 libobjc-11-dev libobjc-9-dev libobjc4 libomp-13-dev libomp5-13 libxml2 libz3-4 0 upgraded, 22 newly installed, 0 to remove and 0 not upgraded. Need to get 68.5 MB of archives. After this operation, 379 MB of additional disk space will be used. Get:1 http://127.0.0.1:12990/debian sid/main amd64 libmd0 amd64 1.0.4-1 [29.6 kB] Get:2 http://127.0.0.1:12990/debian sid/main amd64 libbsd0 amd64 0.11.3-1 [108 kB] Get:3 http://127.0.0.1:12990/debian sid/main amd64 libedit2 amd64 3.1-20210910-1 [97.5 kB] Get:4 http://127.0.0.1:12990/debian sid/main amd64 libicu67 amd64 67.1-7 [8622 kB] Get:5 http://127.0.0.1:12990/debian sid/main amd64 libxml2 amd64 2.9.12+dfsg-5 [696 kB] Get:6 http://127.0.0.1:12990/debian sid/main amd64 libz3-4 amd64 4.8.12-1+b1 [6997 kB] Get:7 http://127.0.0.1:12990/debian sid/main amd64 libllvm13 amd64 1:13.0.0-8 [19.7 MB] Get:8 http://127.0.0.1:12990/debian sid/main amd64 libclang-cpp13 amd64 1:13.0.0-8 [10.5 MB] Get:9 http://127.0.0.1:12990/debian sid/main amd64 libgc1 amd64 1:8.0.4-3 [239 kB] Get:10 http://127.0.0.1:12990/debian sid/main amd64 libobjc4 amd64 11.2.0-10 [43.2 kB] Get:11 http://127.0.0.1:12990/debian sid/main amd64 libobjc-11-dev amd64 11.2.0-10 [170 kB] Get:12 http://127.0.0.1:12990/debian sid/main amd64 libc6-i386 amd64 2.32-4 [2624 kB] Get:13 http://127.0.0.1:12990/debian sid/main amd64 lib32gcc-s1 amd64 11.2.0-10 [49.9 kB] Get:14 http://127.0.0.1:12990/debian sid/main amd64 lib32stdc++6 amd64 11.2.0-10 [601 kB] Get:15 http://127.0.0.1:12990/debian sid/main amd64 libclang-common-13-dev amd64 1:13.0.0-8 [5730 kB] Get:16 http://127.0.0.1:12990/debian sid/main amd64 libclang1-13 amd64 1:13.0.0-8 [6093 kB] Get:17 http://127.0.0.1:12990/debian sid/main amd64 clang-13 amd64 1:13.0.0-8 [119 kB] Get:18 http://127.0.0.1:12990/debian sid/main amd64 libasan5 amd64 9.4.0-3 [2734 kB] Get:19 http://127.0.0.1:12990/debian sid/main amd64 libgcc-9-dev amd64 9.4.0-3 [2343 kB] Get:20 http://127.0.0.1:12990/debian sid/main amd64 libobjc-9-dev amd64 9.4.0-3 [219 kB] Get:21 http://127.0.0.1:12990/debian sid/main amd64 libomp5-13 amd64 1:13.0.0-8 [377 kB] Get:22 http://127.0.0.1:12990/debian sid/main amd64 libomp-13-dev amd64 1:13.0.0-8 [482 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 68.5 MB in 0s (153 MB/s) Selecting previously unselected package libmd0:amd64. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 12431 files and directories currently installed.) Preparing to unpack .../00-libmd0_1.0.4-1_amd64.deb ... Unpacking libmd0:amd64 (1.0.4-1) ... Selecting previously unselected package libbsd0:amd64. Preparing to unpack .../01-libbsd0_0.11.3-1_amd64.deb ... Unpacking libbsd0:amd64 (0.11.3-1) ... Selecting previously unselected package libedit2:amd64. Preparing to unpack .../02-libedit2_3.1-20210910-1_amd64.deb ... Unpacking libedit2:amd64 (3.1-20210910-1) ... Selecting previously unselected package libicu67:amd64. Preparing to unpack .../03-libicu67_67.1-7_amd64.deb ... Unpacking libicu67:amd64 (67.1-7) ... Selecting previously unselected package libxml2:amd64. Preparing to unpack .../04-libxml2_2.9.12+dfsg-5_amd64.deb ... Unpacking libxml2:amd64 (2.9.12+dfsg-5) ... Selecting previously unselected package libz3-4:amd64. Preparing to unpack .../05-libz3-4_4.8.12-1+b1_amd64.deb ... Unpacking libz3-4:amd64 (4.8.12-1+b1) ... Selecting previously unselected package libllvm13:amd64. Preparing to unpack .../06-libllvm13_1%3a13.0.0-8_amd64.deb ... Unpacking libllvm13:amd64 (1:13.0.0-8) ... Selecting previously unselected package libclang-cpp13. Preparing to unpack .../07-libclang-cpp13_1%3a13.0.0-8_amd64.deb ... Unpacking libclang-cpp13 (1:13.0.0-8) ... Selecting previously unselected package libgc1:amd64. Preparing to unpack .../08-libgc1_1%3a8.0.4-3_amd64.deb ... Unpacking libgc1:amd64 (1:8.0.4-3) ... Selecting previously unselected package libobjc4:amd64. Preparing to unpack .../09-libobjc4_11.2.0-10_amd64.deb ... Unpacking libobjc4:amd64 (11.2.0-10) ... Selecting previously unselected package libobjc-11-dev:amd64. Preparing to unpack .../10-libobjc-11-dev_11.2.0-10_amd64.deb ... Unpacking libobjc-11-dev:amd64 (11.2.0-10) ... Selecting previously unselected package libc6-i386. Preparing to unpack .../11-libc6-i386_2.32-4_amd64.deb ... Unpacking libc6-i386 (2.32-4) ... Selecting previously unselected package lib32gcc-s1. Preparing to unpack .../12-lib32gcc-s1_11.2.0-10_amd64.deb ... Unpacking lib32gcc-s1 (11.2.0-10) ... Selecting previously unselected package lib32stdc++6. Preparing to unpack .../13-lib32stdc++6_11.2.0-10_amd64.deb ... Unpacking lib32stdc++6 (11.2.0-10) ... Selecting previously unselected package libclang-common-13-dev. Preparing to unpack .../14-libclang-common-13-dev_1%3a13.0.0-8_amd64.deb ... Unpacking libclang-common-13-dev (1:13.0.0-8) ... Selecting previously unselected package libclang1-13. Preparing to unpack .../15-libclang1-13_1%3a13.0.0-8_amd64.deb ... Unpacking libclang1-13 (1:13.0.0-8) ... Selecting previously unselected package clang-13. Preparing to unpack .../16-clang-13_1%3a13.0.0-8_amd64.deb ... Unpacking clang-13 (1:13.0.0-8) ... Selecting previously unselected package libasan5:amd64. Preparing to unpack .../17-libasan5_9.4.0-3_amd64.deb ... Unpacking libasan5:amd64 (9.4.0-3) ... Selecting previously unselected package libgcc-9-dev:amd64. Preparing to unpack .../18-libgcc-9-dev_9.4.0-3_amd64.deb ... Unpacking libgcc-9-dev:amd64 (9.4.0-3) ... Selecting previously unselected package libobjc-9-dev:amd64. Preparing to unpack .../19-libobjc-9-dev_9.4.0-3_amd64.deb ... Unpacking libobjc-9-dev:amd64 (9.4.0-3) ... Selecting previously unselected package libomp5-13:amd64. Preparing to unpack .../20-libomp5-13_1%3a13.0.0-8_amd64.deb ... Unpacking libomp5-13:amd64 (1:13.0.0-8) ... Selecting previously unselected package libomp-13-dev. Preparing to unpack .../21-libomp-13-dev_1%3a13.0.0-8_amd64.deb ... Unpacking libomp-13-dev (1:13.0.0-8) ... Setting up libicu67:amd64 (67.1-7) ... Setting up libasan5:amd64 (9.4.0-3) ... Setting up libz3-4:amd64 (4.8.12-1+b1) ... Setting up libgc1:amd64 (1:8.0.4-3) ... Setting up libmd0:amd64 (1.0.4-1) ... Setting up libc6-i386 (2.32-4) ... Setting up libomp5-13:amd64 (1:13.0.0-8) ... Setting up libbsd0:amd64 (0.11.3-1) ... Setting up libxml2:amd64 (2.9.12+dfsg-5) ... Setting up libedit2:amd64 (3.1-20210910-1) ... Setting up libobjc4:amd64 (11.2.0-10) ... Setting up libgcc-9-dev:amd64 (9.4.0-3) ... Setting up lib32gcc-s1 (11.2.0-10) ... Setting up lib32stdc++6 (11.2.0-10) ... Setting up libllvm13:amd64 (1:13.0.0-8) ... Setting up libobjc-9-dev:amd64 (9.4.0-3) ... Setting up libclang-common-13-dev (1:13.0.0-8) ... Setting up libomp-13-dev (1:13.0.0-8) ... Setting up libobjc-11-dev:amd64 (11.2.0-10) ... Setting up libclang1-13 (1:13.0.0-8) ... Setting up libclang-cpp13 (1:13.0.0-8) ... Setting up clang-13 (1:13.0.0-8) ... Processing triggers for libc-bin (2.32-4) ... W: --force-yes is deprecated, use one of the options starting with --allow instead. + echo 'Replace gcc, g++ & cpp by clang' Replace gcc, g++ & cpp by clang + VERSIONS='4.6 4.7 4.8 4.9 5 6 7 8 9 10 11' + cd /usr/bin + for VERSION in $VERSIONS + rm -f g++-4.6 gcc-4.6 cpp-4.6 gcc + ln -s clang++-13 g++-4.6 + ln -s clang-13 gcc-4.6 + ln -s clang-13 cpp-4.6 + ln -s clang-13 gcc + echo 'gcc-4.6 hold' + dpkg --set-selections dpkg: warning: package not in status nor available database at line 1: gcc-4.6 dpkg: warning: found unknown packages; this might mean the available database is outdated, and needs to be updated through a frontend method; please see the FAQ + echo 'g++-4.6 hold' + dpkg --set-selections dpkg: warning: package not in status nor available database at line 1: g++-4.6 dpkg: warning: found unknown packages; this might mean the available database is outdated, and needs to be updated through a frontend method; please see the FAQ + for VERSION in $VERSIONS + rm -f g++-4.7 gcc-4.7 cpp-4.7 gcc + ln -s clang++-13 g++-4.7 + ln -s clang-13 gcc-4.7 + ln -s clang-13 cpp-4.7 + ln -s clang-13 gcc + echo 'gcc-4.7 hold' + dpkg --set-selections dpkg: warning: package not in status nor available database at line 1: gcc-4.7 dpkg: warning: found unknown packages; this might mean the available database is outdated, and needs to be updated through a frontend method; please see the FAQ + echo 'g++-4.7 hold' + dpkg --set-selections dpkg: warning: package not in status nor available database at line 1: g++-4.7 dpkg: warning: found unknown packages; this might mean the available database is outdated, and needs to be updated through a frontend method; please see the FAQ + for VERSION in $VERSIONS + rm -f g++-4.8 gcc-4.8 cpp-4.8 gcc + ln -s clang++-13 g++-4.8 + ln -s clang-13 gcc-4.8 + ln -s clang-13 cpp-4.8 + ln -s clang-13 gcc + echo 'gcc-4.8 hold' + dpkg --set-selections dpkg: warning: package not in status nor available database at line 1: gcc-4.8 dpkg: warning: found unknown packages; this might mean the available database is outdated, and needs to be updated through a frontend method; please see the FAQ + echo 'g++-4.8 hold' + dpkg --set-selections dpkg: warning: package not in status nor available database at line 1: g++-4.8 dpkg: warning: found unknown packages; this might mean the available database is outdated, and needs to be updated through a frontend method; please see the FAQ + for VERSION in $VERSIONS + rm -f g++-4.9 gcc-4.9 cpp-4.9 gcc + ln -s clang++-13 g++-4.9 + ln -s clang-13 gcc-4.9 + ln -s clang-13 cpp-4.9 + ln -s clang-13 gcc + echo 'gcc-4.9 hold' + dpkg --set-selections dpkg: warning: package not in status nor available database at line 1: gcc-4.9 dpkg: warning: found unknown packages; this might mean the available database is outdated, and needs to be updated through a frontend method; please see the FAQ + echo 'g++-4.9 hold' + dpkg --set-selections dpkg: warning: package not in status nor available database at line 1: g++-4.9 dpkg: warning: found unknown packages; this might mean the available database is outdated, and needs to be updated through a frontend method; please see the FAQ + for VERSION in $VERSIONS + rm -f g++-5 gcc-5 cpp-5 gcc + ln -s clang++-13 g++-5 + ln -s clang-13 gcc-5 + ln -s clang-13 cpp-5 + ln -s clang-13 gcc + echo 'gcc-5 hold' + dpkg --set-selections dpkg: warning: package not in status nor available database at line 1: gcc-5 dpkg: warning: found unknown packages; this might mean the available database is outdated, and needs to be updated through a frontend method; please see the FAQ + echo 'g++-5 hold' + dpkg --set-selections dpkg: warning: package not in status nor available database at line 1: g++-5 dpkg: warning: found unknown packages; this might mean the available database is outdated, and needs to be updated through a frontend method; please see the FAQ + for VERSION in $VERSIONS + rm -f g++-6 gcc-6 cpp-6 gcc + ln -s clang++-13 g++-6 + ln -s clang-13 gcc-6 + ln -s clang-13 cpp-6 + ln -s clang-13 gcc + echo 'gcc-6 hold' + dpkg --set-selections dpkg: warning: package not in status nor available database at line 1: gcc-6 dpkg: warning: found unknown packages; this might mean the available database is outdated, and needs to be updated through a frontend method; please see the FAQ + echo 'g++-6 hold' + dpkg --set-selections dpkg: warning: package not in status nor available database at line 1: g++-6 dpkg: warning: found unknown packages; this might mean the available database is outdated, and needs to be updated through a frontend method; please see the FAQ + for VERSION in $VERSIONS + rm -f g++-7 gcc-7 cpp-7 gcc + ln -s clang++-13 g++-7 + ln -s clang-13 gcc-7 + ln -s clang-13 cpp-7 + ln -s clang-13 gcc + echo 'gcc-7 hold' + dpkg --set-selections dpkg: warning: package not in status nor available database at line 1: gcc-7 dpkg: warning: found unknown packages; this might mean the available database is outdated, and needs to be updated through a frontend method; please see the FAQ + echo 'g++-7 hold' + dpkg --set-selections dpkg: warning: package not in status nor available database at line 1: g++-7 dpkg: warning: found unknown packages; this might mean the available database is outdated, and needs to be updated through a frontend method; please see the FAQ + for VERSION in $VERSIONS + rm -f g++-8 gcc-8 cpp-8 gcc + ln -s clang++-13 g++-8 + ln -s clang-13 gcc-8 + ln -s clang-13 cpp-8 + ln -s clang-13 gcc + echo 'gcc-8 hold' + dpkg --set-selections dpkg: warning: package not in status nor available database at line 1: gcc-8 dpkg: warning: found unknown packages; this might mean the available database is outdated, and needs to be updated through a frontend method; please see the FAQ + echo 'g++-8 hold' + dpkg --set-selections dpkg: warning: package not in status nor available database at line 1: g++-8 dpkg: warning: found unknown packages; this might mean the available database is outdated, and needs to be updated through a frontend method; please see the FAQ + for VERSION in $VERSIONS + rm -f g++-9 gcc-9 cpp-9 gcc + ln -s clang++-13 g++-9 + ln -s clang-13 gcc-9 + ln -s clang-13 cpp-9 + ln -s clang-13 gcc + echo 'gcc-9 hold' + dpkg --set-selections dpkg: warning: package not in status nor available database at line 1: gcc-9 dpkg: warning: found unknown packages; this might mean the available database is outdated, and needs to be updated through a frontend method; please see the FAQ + echo 'g++-9 hold' + dpkg --set-selections dpkg: warning: package not in status nor available database at line 1: g++-9 dpkg: warning: found unknown packages; this might mean the available database is outdated, and needs to be updated through a frontend method; please see the FAQ + for VERSION in $VERSIONS + rm -f g++-10 gcc-10 cpp-10 gcc + ln -s clang++-13 g++-10 + ln -s clang-13 gcc-10 + ln -s clang-13 cpp-10 + ln -s clang-13 gcc + echo 'gcc-10 hold' + dpkg --set-selections dpkg: warning: package not in status nor available database at line 1: gcc-10 dpkg: warning: found unknown packages; this might mean the available database is outdated, and needs to be updated through a frontend method; please see the FAQ + echo 'g++-10 hold' + dpkg --set-selections dpkg: warning: package not in status nor available database at line 1: g++-10 dpkg: warning: found unknown packages; this might mean the available database is outdated, and needs to be updated through a frontend method; please see the FAQ + for VERSION in $VERSIONS + rm -f g++-11 gcc-11 cpp-11 gcc + ln -s clang++-13 g++-11 + ln -s clang-13 gcc-11 + ln -s clang-13 cpp-11 + ln -s clang-13 gcc + echo 'gcc-11 hold' + dpkg --set-selections + echo 'g++-11 hold' + dpkg --set-selections + cd - /build/gprolog-SaCDi4 + echo 'Check if gcc, g++ & cpp are actually clang' Check if gcc, g++ & cpp are actually clang + gcc --version + grep clang + cpp --version + grep clang + g++ --version + grep clang + cd /usr/bin/ + rm -f clang++ clang + ln -s clang-13 clang++ + ln -s clang-13 clang + clang++ --version Debian clang version 13.0.0-8 Target: x86_64-pc-linux-gnu Thread model: posix InstalledDir: /usr/bin + clang --version Debian clang version 13.0.0-8 Target: x86_64-pc-linux-gnu Thread model: posix InstalledDir: /usr/bin + cd - /build/gprolog-SaCDi4 + apt install --yes --no-install-recommends --force-yes qt5-qmake WARNING: apt does not have a stable CLI interface. Use with caution in scripts. Reading package lists... Building dependency tree... Reading state information... The following additional packages will be installed: qt5-qmake-bin qtchooser The following NEW packages will be installed: qt5-qmake qt5-qmake-bin qtchooser 0 upgraded, 3 newly installed, 0 to remove and 0 not upgraded. Need to get 1322 kB of archives. After this operation, 4914 kB of additional disk space will be used. Get:1 http://127.0.0.1:12990/debian sid/main amd64 qt5-qmake-bin amd64 5.15.2+dfsg-12 [1046 kB] Get:2 http://127.0.0.1:12990/debian sid/main amd64 qtchooser amd64 66-2 [26.3 kB] Get:3 http://127.0.0.1:12990/debian sid/main amd64 qt5-qmake amd64 5.15.2+dfsg-12 [249 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 1322 kB in 0s (56.8 MB/s) Selecting previously unselected package qt5-qmake-bin. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 13528 files and directories currently installed.) Preparing to unpack .../qt5-qmake-bin_5.15.2+dfsg-12_amd64.deb ... Unpacking qt5-qmake-bin (5.15.2+dfsg-12) ... Selecting previously unselected package qtchooser. Preparing to unpack .../qtchooser_66-2_amd64.deb ... Unpacking qtchooser (66-2) ... Selecting previously unselected package qt5-qmake:amd64. Preparing to unpack .../qt5-qmake_5.15.2+dfsg-12_amd64.deb ... Unpacking qt5-qmake:amd64 (5.15.2+dfsg-12) ... Setting up qt5-qmake-bin (5.15.2+dfsg-12) ... Setting up qtchooser (66-2) ... Setting up qt5-qmake:amd64 (5.15.2+dfsg-12) ... W: --force-yes is deprecated, use one of the options starting with --allow instead. + cp /usr/lib/x86_64-linux-gnu/qt5/mkspecs/linux-clang/qmake.conf /usr/lib/x86_64-linux-gnu/qt5/mkspecs/linux-clang/qplatformdefs.h /usr/lib/x86_64-linux-gnu/qt5/mkspecs/linux-g++/ + ls -al /usr/lib/x86_64-linux-gnu/qt5/mkspecs/linux-g++/ total 16 drwxr-xr-x 2 root root 4096 Oct 26 22:32 . drwxr-xr-x 76 root root 4096 Oct 26 22:32 .. -rw-r--r-- 1 root root 276 Oct 26 22:32 qmake.conf -rw-r--r-- 1 root root 3218 Oct 26 22:32 qplatformdefs.h + cat /usr/lib/x86_64-linux-gnu/qt5/mkspecs/linux-g++/qmake.conf # # qmake configuration for linux-clang # MAKEFILE_GENERATOR = UNIX CONFIG += incremental QMAKE_INCREMENTAL_STYLE = sublib include(../common/linux.conf) include(../common/gcc-base-unix.conf) include(../common/clang.conf) QMAKE_LFLAGS += -ccc-gcc-name g++ load(qt_config) + export QMAKESPEC=/usr/lib/x86_64-linux-gnu/qt5/mkspecs/linux-clang/ + QMAKESPEC=/usr/lib/x86_64-linux-gnu/qt5/mkspecs/linux-clang/ + sed -i -e 's|compare_problem(2,|compare_problem(0,|g' /usr/bin/dpkg-gensymbols + sed -i -e 's|compare_problem(1,|compare_problem(0,|g' /usr/bin/dpkg-gensymbols + grep 'compare_problem(' /usr/bin/dpkg-gensymbols compare_problem(4, g_('new libraries appeared in the symbols file: %s'), "@libs"); compare_problem(3, g_('some libraries disappeared in the symbols file: %s'), "@libs"); compare_problem(0, g_('some new symbols appeared in the symbols file: %s'), compare_problem(0, g_('some symbols or patterns disappeared in the symbols file: %s'), I: Finished running '/tmp/clang13'. Finished processing commands. -------------------------------------------------------------------------------- I: NOTICE: Log filtering will replace 'build/gprolog-SaCDi4/resolver-XkdjEw' with '<>' +------------------------------------------------------------------------------+ | Update chroot | +------------------------------------------------------------------------------+ Hit:1 http://127.0.0.1:12990/debian sid InRelease Reading package lists... Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. +------------------------------------------------------------------------------+ | Fetch source files | +------------------------------------------------------------------------------+ Check APT --------- Checking available source versions... Download source files with APT ------------------------------ Reading package lists... Need to get 1167 kB of source archives. Get:1 http://127.0.0.1:12990/debian sid/main gprolog 1.4.5.0-3 (dsc) [2015 B] Get:2 http://127.0.0.1:12990/debian sid/main gprolog 1.4.5.0-3 (tar) [1142 kB] Get:3 http://127.0.0.1:12990/debian sid/main gprolog 1.4.5.0-3 (diff) [22.6 kB] Fetched 1167 kB in 0s (12.7 MB/s) Download complete and in download only mode I: NOTICE: Log filtering will replace 'build/gprolog-SaCDi4/gprolog-1.4.5.0' with '<>' I: NOTICE: Log filtering will replace 'build/gprolog-SaCDi4' with '<>' +------------------------------------------------------------------------------+ | Install package build dependencies | +------------------------------------------------------------------------------+ Setup apt archive ----------------- Merged Build-Depends: debhelper (>= 9), autoconf (>= 2.52), autotools-dev, build-essential, fakeroot, imagemagick, gsfonts, texlive-latex-recommended, texlive-latex-extra, texlive-font-utils, hevea (>= 1.09) Filtered Build-Depends: debhelper (>= 9), autoconf (>= 2.52), autotools-dev, build-essential, fakeroot, imagemagick, gsfonts, texlive-latex-recommended, texlive-latex-extra, texlive-font-utils, hevea (>= 1.09) dpkg-deb: building package 'sbuild-build-depends-main-dummy' in '/<>/apt_archive/sbuild-build-depends-main-dummy.deb'. Ign:1 copy:/<>/apt_archive ./ InRelease Get:2 copy:/<>/apt_archive ./ Release [957 B] Ign:3 copy:/<>/apt_archive ./ Release.gpg Get:4 copy:/<>/apt_archive ./ Sources [443 B] Get:5 copy:/<>/apt_archive ./ Packages [523 B] Fetched 1923 B in 0s (191 kB/s) Reading package lists... Reading package lists... Install main build dependencies (apt-based resolver) ---------------------------------------------------- Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following additional packages will be installed: autoconf automake autopoint autotools-dev bsdextrautils debhelper dh-autoreconf dh-strip-nondeterminism dwz file fontconfig-config fonts-dejavu-core fonts-lmodern fonts-urw-base35 gettext gettext-base ghostscript groff-base gsfonts hevea hicolor-icon-theme imagemagick imagemagick-6-common imagemagick-6.q16 intltool-debian libaom0 libapache-pom-java libarchive-zip-perl libavahi-client3 libavahi-common-data libavahi-common3 libbrotli1 libcairo2 libcommons-logging-java libcommons-parent-java libcups2 libdav1d5 libdbus-1-3 libde265-0 libdebhelper-perl libdeflate0 libelf1 libexpat1 libfftw3-double3 libfile-stripnondeterminism-perl libfontbox-java libfontconfig1 libfreetype6 libglib2.0-0 libgraphite2-3 libgs9 libgs9-common libharfbuzz0b libheif1 libice6 libidn12 libijs-0.35 libjbig0 libjbig2dec0 libjpeg62-turbo libkpathsea6 liblcms2-2 liblqr-1-0 libltdl7 libmagic-mgc libmagic1 libmagickcore-6.q16-6 libmagickwand-6.q16-6 libmpdec3 libncursesw6 libnetpbm10 libnuma1 libopenjp2-7 libpaper-utils libpaper1 libpdfbox-java libpipeline1 libpixman-1-0 libpng16-16 libptexenc1 libpython3-stdlib libpython3.9-minimal libpython3.9-stdlib libreadline8 libsigsegv2 libsm6 libsqlite3-0 libsub-override-perl libsynctex2 libteckit0 libtexlua53 libtexluajit2 libtiff5 libtool libuchardet0 libwebp6 libwebpdemux2 libwebpmux3 libx11-6 libx11-data libx265-199 libxau6 libxaw7 libxcb-render0 libxcb-shm0 libxcb1 libxdmcp6 libxext6 libxi6 libxmu6 libxpm4 libxrender1 libxt6 libzzip-0-13 m4 man-db media-types netpbm po-debconf poppler-data preview-latex-style python3 python3-minimal python3.9 python3.9-minimal readline-common sensible-utils t1utils tex-common texlive-base texlive-binaries texlive-font-utils texlive-latex-base texlive-latex-extra texlive-latex-recommended texlive-pictures ucf x11-common xdg-utils Suggested packages: autoconf-archive gnu-standards autoconf-doc dh-make fonts-freefont-otf | fonts-freefont-ttf fonts-texgyre gettext-doc libasprintf-dev libgettextpo-dev ghostscript-x groff hevea-doc imagemagick-doc autotrace cups-bsd | lpr | lprng curl enscript ffmpeg gimp gnuplot grads graphviz hp2xx html2ps libwmf-bin mplayer povray radiance sane-utils transfig ufraw-batch libavalon-framework-java libcommons-logging-java-doc libexcalibur-logkit-java liblog4j1.2-java cups-common libfftw3-bin libfftw3-dev liblcms2-utils libmagickcore-6.q16-6-extra libtool-doc gfortran | fortran95-compiler gcj-jdk m4-doc apparmor less www-browser libmail-box-perl poppler-utils fonts-japanese-mincho | fonts-ipafont-mincho fonts-japanese-gothic | fonts-ipafont-gothic fonts-arphic-ukai fonts-arphic-uming fonts-nanum python3-doc python3-tk python3-venv python3.9-venv python3.9-doc binfmt-support readline-doc perl-tk xpdf | pdf-viewer xzdec lcdf-typetools psutils texlive-latex-base-doc python3-pygments icc-profiles libfile-which-perl libspreadsheet-parseexcel-perl texlive-latex-extra-doc texlive-latex-recommended-doc texlive-luatex texlive-pstricks dot2tex prerex ruby-tcltk | libtcltk-ruby texlive-pictures-doc vprerex Recommended packages: curl | wget | lynx libmagickcore-6.q16-6-extra dbus libarchive-cpio-perl libglib2.0-data shared-mime-info xdg-user-dirs fonts-droid-fallback libgpm2 ca-certificates libltdl-dev libmail-sendmail-perl lmodern dvisvgm ps2eps texlive-fonts-recommended texlive-plain-generic ruby tk libfile-mimeinfo-perl libnet-dbus-perl libx11-protocol-perl x11-utils x11-xserver-utils The following NEW packages will be installed: autoconf automake autopoint autotools-dev bsdextrautils debhelper dh-autoreconf dh-strip-nondeterminism dwz file fontconfig-config fonts-dejavu-core fonts-lmodern fonts-urw-base35 gettext gettext-base ghostscript groff-base gsfonts hevea hicolor-icon-theme imagemagick imagemagick-6-common imagemagick-6.q16 intltool-debian libaom0 libapache-pom-java libarchive-zip-perl libavahi-client3 libavahi-common-data libavahi-common3 libbrotli1 libcairo2 libcommons-logging-java libcommons-parent-java libcups2 libdav1d5 libdbus-1-3 libde265-0 libdebhelper-perl libdeflate0 libelf1 libexpat1 libfftw3-double3 libfile-stripnondeterminism-perl libfontbox-java libfontconfig1 libfreetype6 libglib2.0-0 libgraphite2-3 libgs9 libgs9-common libharfbuzz0b libheif1 libice6 libidn12 libijs-0.35 libjbig0 libjbig2dec0 libjpeg62-turbo libkpathsea6 liblcms2-2 liblqr-1-0 libltdl7 libmagic-mgc libmagic1 libmagickcore-6.q16-6 libmagickwand-6.q16-6 libmpdec3 libncursesw6 libnetpbm10 libnuma1 libopenjp2-7 libpaper-utils libpaper1 libpdfbox-java libpipeline1 libpixman-1-0 libpng16-16 libptexenc1 libpython3-stdlib libpython3.9-minimal libpython3.9-stdlib libreadline8 libsigsegv2 libsm6 libsqlite3-0 libsub-override-perl libsynctex2 libteckit0 libtexlua53 libtexluajit2 libtiff5 libtool libuchardet0 libwebp6 libwebpdemux2 libwebpmux3 libx11-6 libx11-data libx265-199 libxau6 libxaw7 libxcb-render0 libxcb-shm0 libxcb1 libxdmcp6 libxext6 libxi6 libxmu6 libxpm4 libxrender1 libxt6 libzzip-0-13 m4 man-db media-types netpbm po-debconf poppler-data preview-latex-style python3 python3-minimal python3.9 python3.9-minimal readline-common sbuild-build-depends-main-dummy sensible-utils t1utils tex-common texlive-base texlive-binaries texlive-font-utils texlive-latex-base texlive-latex-extra texlive-latex-recommended texlive-pictures ucf x11-common xdg-utils 0 upgraded, 140 newly installed, 0 to remove and 0 not upgraded. Need to get 138 MB of archives. After this operation, 477 MB of additional disk space will be used. Get:1 copy:/<>/apt_archive ./ sbuild-build-depends-main-dummy 0.invalid.0 [944 B] Get:2 http://127.0.0.1:12990/debian sid/main amd64 bsdextrautils amd64 2.37.2-4 [143 kB] Get:3 http://127.0.0.1:12990/debian sid/main amd64 libuchardet0 amd64 0.0.7-1 [67.8 kB] Get:4 http://127.0.0.1:12990/debian sid/main amd64 groff-base amd64 1.22.4-7 [935 kB] Get:5 http://127.0.0.1:12990/debian sid/main amd64 libpipeline1 amd64 1.5.3-1 [34.3 kB] Get:6 http://127.0.0.1:12990/debian sid/main amd64 man-db amd64 2.9.4-2 [1354 kB] Get:7 http://127.0.0.1:12990/debian sid/main amd64 libfftw3-double3 amd64 3.3.8-2 [733 kB] Get:8 http://127.0.0.1:12990/debian sid/main amd64 libexpat1 amd64 2.4.1-3 [104 kB] Get:9 http://127.0.0.1:12990/debian sid/main amd64 libbrotli1 amd64 1.0.9-2+b2 [279 kB] Get:10 http://127.0.0.1:12990/debian sid/main amd64 libpng16-16 amd64 1.6.37-3 [294 kB] Get:11 http://127.0.0.1:12990/debian sid/main amd64 libfreetype6 amd64 2.11.0+dfsg-1 [453 kB] Get:12 http://127.0.0.1:12990/debian sid/main amd64 sensible-utils all 0.0.17 [21.5 kB] Get:13 http://127.0.0.1:12990/debian sid/main amd64 ucf all 3.0043 [74.0 kB] Get:14 http://127.0.0.1:12990/debian sid/main amd64 fonts-dejavu-core all 2.37-2 [1069 kB] Get:15 http://127.0.0.1:12990/debian sid/main amd64 fonts-urw-base35 all 20200910-1 [6367 kB] Get:16 http://127.0.0.1:12990/debian sid/main amd64 fontconfig-config all 2.13.1-4.2 [281 kB] Get:17 http://127.0.0.1:12990/debian sid/main amd64 libfontconfig1 amd64 2.13.1-4.2 [347 kB] Get:18 http://127.0.0.1:12990/debian sid/main amd64 libaom0 amd64 1.0.0.errata1.avif-1 [1544 kB] Get:19 http://127.0.0.1:12990/debian sid/main amd64 libdav1d5 amd64 0.9.2-1+b1 [419 kB] Get:20 http://127.0.0.1:12990/debian sid/main amd64 libde265-0 amd64 1.0.8-1 [242 kB] Get:21 http://127.0.0.1:12990/debian sid/main amd64 libnuma1 amd64 2.0.14-3 [24.4 kB] Get:22 http://127.0.0.1:12990/debian sid/main amd64 libx265-199 amd64 3.5-2 [1090 kB] Get:23 http://127.0.0.1:12990/debian sid/main amd64 libheif1 amd64 1.12.0-2+b2 [194 kB] Get:24 http://127.0.0.1:12990/debian sid/main amd64 libjbig0 amd64 2.1-3.1+b2 [31.0 kB] Get:25 http://127.0.0.1:12990/debian sid/main amd64 libjpeg62-turbo amd64 1:2.0.6-4 [151 kB] Get:26 http://127.0.0.1:12990/debian sid/main amd64 liblcms2-2 amd64 2.12~rc1-2 [150 kB] Get:27 http://127.0.0.1:12990/debian sid/main amd64 libglib2.0-0 amd64 2.70.0-3 [1401 kB] Get:28 http://127.0.0.1:12990/debian sid/main amd64 liblqr-1-0 amd64 0.4.2-2.1 [29.1 kB] Get:29 http://127.0.0.1:12990/debian sid/main amd64 libltdl7 amd64 2.4.6-15 [391 kB] Get:30 http://127.0.0.1:12990/debian sid/main amd64 libopenjp2-7 amd64 2.4.0-3 [172 kB] Get:31 http://127.0.0.1:12990/debian sid/main amd64 libdeflate0 amd64 1.8-1 [53.1 kB] Get:32 http://127.0.0.1:12990/debian sid/main amd64 libwebp6 amd64 0.6.1-2.1 [258 kB] Get:33 http://127.0.0.1:12990/debian sid/main amd64 libtiff5 amd64 4.3.0-2 [294 kB] Get:34 http://127.0.0.1:12990/debian sid/main amd64 libwebpdemux2 amd64 0.6.1-2.1 [87.7 kB] Get:35 http://127.0.0.1:12990/debian sid/main amd64 libwebpmux3 amd64 0.6.1-2.1 [97.6 kB] Get:36 http://127.0.0.1:12990/debian sid/main amd64 libxau6 amd64 1:1.0.9-1 [19.7 kB] Get:37 http://127.0.0.1:12990/debian sid/main amd64 libxdmcp6 amd64 1:1.1.2-3 [26.3 kB] Get:38 http://127.0.0.1:12990/debian sid/main amd64 libxcb1 amd64 1.14-3 [140 kB] Get:39 http://127.0.0.1:12990/debian sid/main amd64 libx11-data all 2:1.7.2-2 [311 kB] Get:40 http://127.0.0.1:12990/debian sid/main amd64 libx11-6 amd64 2:1.7.2-2+b1 [772 kB] Get:41 http://127.0.0.1:12990/debian sid/main amd64 libxext6 amd64 2:1.3.4-1 [53.1 kB] Get:42 http://127.0.0.1:12990/debian sid/main amd64 imagemagick-6-common all 8:6.9.11.60+dfsg-1.3 [211 kB] Get:43 http://127.0.0.1:12990/debian sid/main amd64 libmagickcore-6.q16-6 amd64 8:6.9.11.60+dfsg-1.3 [1814 kB] Get:44 http://127.0.0.1:12990/debian sid/main amd64 libmagickwand-6.q16-6 amd64 8:6.9.11.60+dfsg-1.3 [452 kB] Get:45 http://127.0.0.1:12990/debian sid/main amd64 poppler-data all 0.4.11-1 [1608 kB] Get:46 http://127.0.0.1:12990/debian sid/main amd64 libpython3.9-minimal amd64 3.9.7-4 [804 kB] Get:47 http://127.0.0.1:12990/debian sid/main amd64 python3.9-minimal amd64 3.9.7-4 [1963 kB] Get:48 http://127.0.0.1:12990/debian sid/main amd64 python3-minimal amd64 3.9.2-3 [38.2 kB] Get:49 http://127.0.0.1:12990/debian sid/main amd64 media-types all 4.0.0 [30.3 kB] Get:50 http://127.0.0.1:12990/debian sid/main amd64 libmpdec3 amd64 2.5.1-2 [87.8 kB] Get:51 http://127.0.0.1:12990/debian sid/main amd64 libncursesw6 amd64 6.2+20210905-1 [133 kB] Get:52 http://127.0.0.1:12990/debian sid/main amd64 readline-common all 8.1-2 [73.8 kB] Get:53 http://127.0.0.1:12990/debian sid/main amd64 libreadline8 amd64 8.1-2 [168 kB] Get:54 http://127.0.0.1:12990/debian sid/main amd64 libsqlite3-0 amd64 3.36.0-2 [815 kB] Get:55 http://127.0.0.1:12990/debian sid/main amd64 libpython3.9-stdlib amd64 3.9.7-4 [1688 kB] Get:56 http://127.0.0.1:12990/debian sid/main amd64 python3.9 amd64 3.9.7-4 [480 kB] Get:57 http://127.0.0.1:12990/debian sid/main amd64 libpython3-stdlib amd64 3.9.2-3 [21.4 kB] Get:58 http://127.0.0.1:12990/debian sid/main amd64 python3 amd64 3.9.2-3 [37.9 kB] Get:59 http://127.0.0.1:12990/debian sid/main amd64 tex-common all 6.17 [53.6 kB] Get:60 http://127.0.0.1:12990/debian sid/main amd64 libmagic-mgc amd64 1:5.39-3 [273 kB] Get:61 http://127.0.0.1:12990/debian sid/main amd64 libmagic1 amd64 1:5.39-3 [126 kB] Get:62 http://127.0.0.1:12990/debian sid/main amd64 file amd64 1:5.39-3 [69.1 kB] Get:63 http://127.0.0.1:12990/debian sid/main amd64 gettext-base amd64 0.21-4 [175 kB] Get:64 http://127.0.0.1:12990/debian sid/main amd64 libsigsegv2 amd64 2.13-1 [34.8 kB] Get:65 http://127.0.0.1:12990/debian sid/main amd64 m4 amd64 1.4.18-5 [204 kB] Get:66 http://127.0.0.1:12990/debian sid/main amd64 autoconf all 2.71-2 [343 kB] Get:67 http://127.0.0.1:12990/debian sid/main amd64 autotools-dev all 20180224.1+nmu1 [77.1 kB] Get:68 http://127.0.0.1:12990/debian sid/main amd64 automake all 1:1.16.5-1 [823 kB] Get:69 http://127.0.0.1:12990/debian sid/main amd64 autopoint all 0.21-4 [510 kB] Get:70 http://127.0.0.1:12990/debian sid/main amd64 libdebhelper-perl all 13.5.2 [192 kB] Get:71 http://127.0.0.1:12990/debian sid/main amd64 libtool all 2.4.6-15 [513 kB] Get:72 http://127.0.0.1:12990/debian sid/main amd64 dh-autoreconf all 20 [17.1 kB] Get:73 http://127.0.0.1:12990/debian sid/main amd64 libarchive-zip-perl all 1.68-1 [104 kB] Get:74 http://127.0.0.1:12990/debian sid/main amd64 libsub-override-perl all 0.09-2 [10.2 kB] Get:75 http://127.0.0.1:12990/debian sid/main amd64 libfile-stripnondeterminism-perl all 1.12.0-2 [26.3 kB] Get:76 http://127.0.0.1:12990/debian sid/main amd64 dh-strip-nondeterminism all 1.12.0-2 [15.5 kB] Get:77 http://127.0.0.1:12990/debian sid/main amd64 libelf1 amd64 0.185-2 [172 kB] Get:78 http://127.0.0.1:12990/debian sid/main amd64 dwz amd64 0.14-1 [98.3 kB] Get:79 http://127.0.0.1:12990/debian sid/main amd64 gettext amd64 0.21-4 [1311 kB] Get:80 http://127.0.0.1:12990/debian sid/main amd64 intltool-debian all 0.35.0+20060710.5 [26.8 kB] Get:81 http://127.0.0.1:12990/debian sid/main amd64 po-debconf all 1.0.21+nmu1 [248 kB] Get:82 http://127.0.0.1:12990/debian sid/main amd64 debhelper all 13.5.2 [1056 kB] Get:83 http://127.0.0.1:12990/debian sid/main amd64 fonts-lmodern all 2.004.5-6.1 [4540 kB] Get:84 http://127.0.0.1:12990/debian sid/main amd64 libgs9-common all 9.54.0~dfsg-5 [740 kB] Get:85 http://127.0.0.1:12990/debian sid/main amd64 libavahi-common-data amd64 0.8-5 [124 kB] Get:86 http://127.0.0.1:12990/debian sid/main amd64 libavahi-common3 amd64 0.8-5 [58.4 kB] Get:87 http://127.0.0.1:12990/debian sid/main amd64 libdbus-1-3 amd64 1.12.20-3 [219 kB] Get:88 http://127.0.0.1:12990/debian sid/main amd64 libavahi-client3 amd64 0.8-5 [62.1 kB] Get:89 http://127.0.0.1:12990/debian sid/main amd64 libcups2 amd64 2.3.3op2-7 [349 kB] Get:90 http://127.0.0.1:12990/debian sid/main amd64 libidn12 amd64 1.38-4 [82.6 kB] Get:91 http://127.0.0.1:12990/debian sid/main amd64 libijs-0.35 amd64 0.35-15 [16.4 kB] Get:92 http://127.0.0.1:12990/debian sid/main amd64 libjbig2dec0 amd64 0.19-3 [67.2 kB] Get:93 http://127.0.0.1:12990/debian sid/main amd64 libpaper1 amd64 1.1.28+b1 [21.6 kB] Get:94 http://127.0.0.1:12990/debian sid/main amd64 libgs9 amd64 9.54.0~dfsg-5 [2259 kB] Get:95 http://127.0.0.1:12990/debian sid/main amd64 ghostscript amd64 9.54.0~dfsg-5 [98.4 kB] Get:96 http://127.0.0.1:12990/debian sid/main amd64 gsfonts all 1:8.11+urwcyr1.0.7~pre44-4.5 [3125 kB] Get:97 http://127.0.0.1:12990/debian sid/main amd64 libnetpbm10 amd64 2:10.0-15.4 [86.2 kB] Get:98 http://127.0.0.1:12990/debian sid/main amd64 netpbm amd64 2:10.0-15.4 [1011 kB] Get:99 http://127.0.0.1:12990/debian sid/main amd64 libpaper-utils amd64 1.1.28+b1 [18.3 kB] Get:100 http://127.0.0.1:12990/debian sid/main amd64 libkpathsea6 amd64 2021.20210626.59705-1 [173 kB] Get:101 http://127.0.0.1:12990/debian sid/main amd64 libptexenc1 amd64 2021.20210626.59705-1 [65.1 kB] Get:102 http://127.0.0.1:12990/debian sid/main amd64 libsynctex2 amd64 2021.20210626.59705-1 [80.5 kB] Get:103 http://127.0.0.1:12990/debian sid/main amd64 libtexlua53 amd64 2021.20210626.59705-1 [132 kB] Get:104 http://127.0.0.1:12990/debian sid/main amd64 libtexluajit2 amd64 2021.20210626.59705-1 [267 kB] Get:105 http://127.0.0.1:12990/debian sid/main amd64 t1utils amd64 1.41-4 [62.1 kB] Get:106 http://127.0.0.1:12990/debian sid/main amd64 libpixman-1-0 amd64 0.40.0-1 [543 kB] Get:107 http://127.0.0.1:12990/debian sid/main amd64 libxcb-render0 amd64 1.14-3 [111 kB] Get:108 http://127.0.0.1:12990/debian sid/main amd64 libxcb-shm0 amd64 1.14-3 [101 kB] Get:109 http://127.0.0.1:12990/debian sid/main amd64 libxrender1 amd64 1:0.9.10-1 [33.0 kB] Get:110 http://127.0.0.1:12990/debian sid/main amd64 libcairo2 amd64 1.16.0-5 [694 kB] Get:111 http://127.0.0.1:12990/debian sid/main amd64 libgraphite2-3 amd64 1.3.14-1 [81.2 kB] Get:112 http://127.0.0.1:12990/debian sid/main amd64 libharfbuzz0b amd64 2.7.4-1 [1471 kB] Get:113 http://127.0.0.1:12990/debian sid/main amd64 libteckit0 amd64 2.5.10+ds1-3 [329 kB] Get:114 http://127.0.0.1:12990/debian sid/main amd64 x11-common all 1:7.7+23 [252 kB] Get:115 http://127.0.0.1:12990/debian sid/main amd64 libice6 amd64 2:1.0.10-1 [58.5 kB] Get:116 http://127.0.0.1:12990/debian sid/main amd64 libsm6 amd64 2:1.2.3-1 [35.1 kB] Get:117 http://127.0.0.1:12990/debian sid/main amd64 libxt6 amd64 1:1.2.0-1 [189 kB] Get:118 http://127.0.0.1:12990/debian sid/main amd64 libxmu6 amd64 2:1.1.2-2+b3 [60.8 kB] Get:119 http://127.0.0.1:12990/debian sid/main amd64 libxpm4 amd64 1:3.5.12-1 [49.1 kB] Get:120 http://127.0.0.1:12990/debian sid/main amd64 libxaw7 amd64 2:1.0.13-1.1 [202 kB] Get:121 http://127.0.0.1:12990/debian sid/main amd64 libxi6 amd64 2:1.8-1 [84.0 kB] Get:122 http://127.0.0.1:12990/debian sid/main amd64 libzzip-0-13 amd64 0.13.72+dfsg.1-1.1 [58.3 kB] Get:123 http://127.0.0.1:12990/debian sid/main amd64 texlive-binaries amd64 2021.20210626.59705-1 [10.1 MB] Get:124 http://127.0.0.1:12990/debian sid/main amd64 xdg-utils all 1.1.3-4.1 [75.5 kB] Get:125 http://127.0.0.1:12990/debian sid/main amd64 texlive-base all 2021.20210921-1 [21.1 MB] Get:126 http://127.0.0.1:12990/debian sid/main amd64 hevea amd64 2.35-1 [1833 kB] Get:127 http://127.0.0.1:12990/debian sid/main amd64 hicolor-icon-theme all 0.17-2 [11.4 kB] Get:128 http://127.0.0.1:12990/debian sid/main amd64 imagemagick-6.q16 amd64 8:6.9.11.60+dfsg-1.3 [383 kB] Get:129 http://127.0.0.1:12990/debian sid/main amd64 imagemagick amd64 8:6.9.11.60+dfsg-1.3 [166 kB] Get:130 http://127.0.0.1:12990/debian sid/main amd64 libapache-pom-java all 18-1 [4676 B] Get:131 http://127.0.0.1:12990/debian sid/main amd64 libcommons-parent-java all 43-1 [10.8 kB] Get:132 http://127.0.0.1:12990/debian sid/main amd64 libcommons-logging-java all 1.2-2 [62.2 kB] Get:133 http://127.0.0.1:12990/debian sid/main amd64 libfontbox-java all 1:1.8.16-2 [211 kB] Get:134 http://127.0.0.1:12990/debian sid/main amd64 libpdfbox-java all 1:1.8.16-2 [5205 kB] Get:135 http://127.0.0.1:12990/debian sid/main amd64 preview-latex-style all 12.2-1 [201 kB] Get:136 http://127.0.0.1:12990/debian sid/main amd64 texlive-font-utils all 2021.20210921-1 [4675 kB] Get:137 http://127.0.0.1:12990/debian sid/main amd64 texlive-latex-base all 2021.20210921-1 [1150 kB] Get:138 http://127.0.0.1:12990/debian sid/main amd64 texlive-latex-recommended all 2021.20210921-1 [14.4 MB] Get:139 http://127.0.0.1:12990/debian sid/main amd64 texlive-pictures all 2021.20210921-1 [8775 kB] Get:140 http://127.0.0.1:12990/debian sid/main amd64 texlive-latex-extra all 2021.20210921-1 [14.5 MB] debconf: delaying package configuration, since apt-utils is not installed Fetched 138 MB in 1s (147 MB/s) Selecting previously unselected package bsdextrautils. (Reading database ... 14273 files and directories currently installed.) Preparing to unpack .../00-bsdextrautils_2.37.2-4_amd64.deb ... Unpacking bsdextrautils (2.37.2-4) ... Selecting previously unselected package libuchardet0:amd64. Preparing to unpack .../01-libuchardet0_0.0.7-1_amd64.deb ... Unpacking libuchardet0:amd64 (0.0.7-1) ... Selecting previously unselected package groff-base. Preparing to unpack .../02-groff-base_1.22.4-7_amd64.deb ... Unpacking groff-base (1.22.4-7) ... Selecting previously unselected package libpipeline1:amd64. Preparing to unpack .../03-libpipeline1_1.5.3-1_amd64.deb ... Unpacking libpipeline1:amd64 (1.5.3-1) ... Selecting previously unselected package man-db. Preparing to unpack .../04-man-db_2.9.4-2_amd64.deb ... Unpacking man-db (2.9.4-2) ... Selecting previously unselected package libfftw3-double3:amd64. Preparing to unpack .../05-libfftw3-double3_3.3.8-2_amd64.deb ... Unpacking libfftw3-double3:amd64 (3.3.8-2) ... Selecting previously unselected package libexpat1:amd64. Preparing to unpack .../06-libexpat1_2.4.1-3_amd64.deb ... Unpacking libexpat1:amd64 (2.4.1-3) ... Selecting previously unselected package libbrotli1:amd64. Preparing to unpack .../07-libbrotli1_1.0.9-2+b2_amd64.deb ... Unpacking libbrotli1:amd64 (1.0.9-2+b2) ... Selecting previously unselected package libpng16-16:amd64. Preparing to unpack .../08-libpng16-16_1.6.37-3_amd64.deb ... Unpacking libpng16-16:amd64 (1.6.37-3) ... Selecting previously unselected package libfreetype6:amd64. Preparing to unpack .../09-libfreetype6_2.11.0+dfsg-1_amd64.deb ... Unpacking libfreetype6:amd64 (2.11.0+dfsg-1) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../10-sensible-utils_0.0.17_all.deb ... Unpacking sensible-utils (0.0.17) ... Selecting previously unselected package ucf. Preparing to unpack .../11-ucf_3.0043_all.deb ... Moving old data out of the way Unpacking ucf (3.0043) ... Selecting previously unselected package fonts-dejavu-core. Preparing to unpack .../12-fonts-dejavu-core_2.37-2_all.deb ... Unpacking fonts-dejavu-core (2.37-2) ... Selecting previously unselected package fonts-urw-base35. Preparing to unpack .../13-fonts-urw-base35_20200910-1_all.deb ... Unpacking fonts-urw-base35 (20200910-1) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../14-fontconfig-config_2.13.1-4.2_all.deb ... Unpacking fontconfig-config (2.13.1-4.2) ... Selecting previously unselected package libfontconfig1:amd64. Preparing to unpack .../15-libfontconfig1_2.13.1-4.2_amd64.deb ... Unpacking libfontconfig1:amd64 (2.13.1-4.2) ... Selecting previously unselected package libaom0:amd64. Preparing to unpack .../16-libaom0_1.0.0.errata1.avif-1_amd64.deb ... Unpacking libaom0:amd64 (1.0.0.errata1.avif-1) ... Selecting previously unselected package libdav1d5:amd64. Preparing to unpack .../17-libdav1d5_0.9.2-1+b1_amd64.deb ... Unpacking libdav1d5:amd64 (0.9.2-1+b1) ... Selecting previously unselected package libde265-0:amd64. Preparing to unpack .../18-libde265-0_1.0.8-1_amd64.deb ... Unpacking libde265-0:amd64 (1.0.8-1) ... Selecting previously unselected package libnuma1:amd64. Preparing to unpack .../19-libnuma1_2.0.14-3_amd64.deb ... Unpacking libnuma1:amd64 (2.0.14-3) ... Selecting previously unselected package libx265-199:amd64. Preparing to unpack .../20-libx265-199_3.5-2_amd64.deb ... Unpacking libx265-199:amd64 (3.5-2) ... Selecting previously unselected package libheif1:amd64. Preparing to unpack .../21-libheif1_1.12.0-2+b2_amd64.deb ... Unpacking libheif1:amd64 (1.12.0-2+b2) ... Selecting previously unselected package libjbig0:amd64. Preparing to unpack .../22-libjbig0_2.1-3.1+b2_amd64.deb ... Unpacking libjbig0:amd64 (2.1-3.1+b2) ... Selecting previously unselected package libjpeg62-turbo:amd64. Preparing to unpack .../23-libjpeg62-turbo_1%3a2.0.6-4_amd64.deb ... Unpacking libjpeg62-turbo:amd64 (1:2.0.6-4) ... Selecting previously unselected package liblcms2-2:amd64. Preparing to unpack .../24-liblcms2-2_2.12~rc1-2_amd64.deb ... Unpacking liblcms2-2:amd64 (2.12~rc1-2) ... Selecting previously unselected package libglib2.0-0:amd64. Preparing to unpack .../25-libglib2.0-0_2.70.0-3_amd64.deb ... Unpacking libglib2.0-0:amd64 (2.70.0-3) ... Selecting previously unselected package liblqr-1-0:amd64. Preparing to unpack .../26-liblqr-1-0_0.4.2-2.1_amd64.deb ... Unpacking liblqr-1-0:amd64 (0.4.2-2.1) ... Selecting previously unselected package libltdl7:amd64. Preparing to unpack .../27-libltdl7_2.4.6-15_amd64.deb ... Unpacking libltdl7:amd64 (2.4.6-15) ... Selecting previously unselected package libopenjp2-7:amd64. Preparing to unpack .../28-libopenjp2-7_2.4.0-3_amd64.deb ... Unpacking libopenjp2-7:amd64 (2.4.0-3) ... Selecting previously unselected package libdeflate0:amd64. Preparing to unpack .../29-libdeflate0_1.8-1_amd64.deb ... Unpacking libdeflate0:amd64 (1.8-1) ... Selecting previously unselected package libwebp6:amd64. Preparing to unpack .../30-libwebp6_0.6.1-2.1_amd64.deb ... Unpacking libwebp6:amd64 (0.6.1-2.1) ... Selecting previously unselected package libtiff5:amd64. Preparing to unpack .../31-libtiff5_4.3.0-2_amd64.deb ... Unpacking libtiff5:amd64 (4.3.0-2) ... Selecting previously unselected package libwebpdemux2:amd64. Preparing to unpack .../32-libwebpdemux2_0.6.1-2.1_amd64.deb ... Unpacking libwebpdemux2:amd64 (0.6.1-2.1) ... Selecting previously unselected package libwebpmux3:amd64. Preparing to unpack .../33-libwebpmux3_0.6.1-2.1_amd64.deb ... Unpacking libwebpmux3:amd64 (0.6.1-2.1) ... Selecting previously unselected package libxau6:amd64. Preparing to unpack .../34-libxau6_1%3a1.0.9-1_amd64.deb ... Unpacking libxau6:amd64 (1:1.0.9-1) ... Selecting previously unselected package libxdmcp6:amd64. Preparing to unpack .../35-libxdmcp6_1%3a1.1.2-3_amd64.deb ... Unpacking libxdmcp6:amd64 (1:1.1.2-3) ... Selecting previously unselected package libxcb1:amd64. Preparing to unpack .../36-libxcb1_1.14-3_amd64.deb ... Unpacking libxcb1:amd64 (1.14-3) ... Selecting previously unselected package libx11-data. Preparing to unpack .../37-libx11-data_2%3a1.7.2-2_all.deb ... Unpacking libx11-data (2:1.7.2-2) ... Selecting previously unselected package libx11-6:amd64. Preparing to unpack .../38-libx11-6_2%3a1.7.2-2+b1_amd64.deb ... Unpacking libx11-6:amd64 (2:1.7.2-2+b1) ... Selecting previously unselected package libxext6:amd64. Preparing to unpack .../39-libxext6_2%3a1.3.4-1_amd64.deb ... Unpacking libxext6:amd64 (2:1.3.4-1) ... Selecting previously unselected package imagemagick-6-common. Preparing to unpack .../40-imagemagick-6-common_8%3a6.9.11.60+dfsg-1.3_all.deb ... Unpacking imagemagick-6-common (8:6.9.11.60+dfsg-1.3) ... Selecting previously unselected package libmagickcore-6.q16-6:amd64. Preparing to unpack .../41-libmagickcore-6.q16-6_8%3a6.9.11.60+dfsg-1.3_amd64.deb ... Unpacking libmagickcore-6.q16-6:amd64 (8:6.9.11.60+dfsg-1.3) ... Selecting previously unselected package libmagickwand-6.q16-6:amd64. Preparing to unpack .../42-libmagickwand-6.q16-6_8%3a6.9.11.60+dfsg-1.3_amd64.deb ... Unpacking libmagickwand-6.q16-6:amd64 (8:6.9.11.60+dfsg-1.3) ... Selecting previously unselected package poppler-data. Preparing to unpack .../43-poppler-data_0.4.11-1_all.deb ... Unpacking poppler-data (0.4.11-1) ... Selecting previously unselected package libpython3.9-minimal:amd64. Preparing to unpack .../44-libpython3.9-minimal_3.9.7-4_amd64.deb ... Unpacking libpython3.9-minimal:amd64 (3.9.7-4) ... Selecting previously unselected package python3.9-minimal. Preparing to unpack .../45-python3.9-minimal_3.9.7-4_amd64.deb ... Unpacking python3.9-minimal (3.9.7-4) ... Setting up libpython3.9-minimal:amd64 (3.9.7-4) ... Setting up libexpat1:amd64 (2.4.1-3) ... Setting up python3.9-minimal (3.9.7-4) ... Selecting previously unselected package python3-minimal. (Reading database ... 16756 files and directories currently installed.) Preparing to unpack .../0-python3-minimal_3.9.2-3_amd64.deb ... Unpacking python3-minimal (3.9.2-3) ... Selecting previously unselected package media-types. Preparing to unpack .../1-media-types_4.0.0_all.deb ... Unpacking media-types (4.0.0) ... Selecting previously unselected package libmpdec3:amd64. Preparing to unpack .../2-libmpdec3_2.5.1-2_amd64.deb ... Unpacking libmpdec3:amd64 (2.5.1-2) ... Selecting previously unselected package libncursesw6:amd64. Preparing to unpack .../3-libncursesw6_6.2+20210905-1_amd64.deb ... Unpacking libncursesw6:amd64 (6.2+20210905-1) ... Selecting previously unselected package readline-common. Preparing to unpack .../4-readline-common_8.1-2_all.deb ... Unpacking readline-common (8.1-2) ... Selecting previously unselected package libreadline8:amd64. Preparing to unpack .../5-libreadline8_8.1-2_amd64.deb ... Unpacking libreadline8:amd64 (8.1-2) ... Selecting previously unselected package libsqlite3-0:amd64. Preparing to unpack .../6-libsqlite3-0_3.36.0-2_amd64.deb ... Unpacking libsqlite3-0:amd64 (3.36.0-2) ... Selecting previously unselected package libpython3.9-stdlib:amd64. Preparing to unpack .../7-libpython3.9-stdlib_3.9.7-4_amd64.deb ... Unpacking libpython3.9-stdlib:amd64 (3.9.7-4) ... Selecting previously unselected package python3.9. Preparing to unpack .../8-python3.9_3.9.7-4_amd64.deb ... Unpacking python3.9 (3.9.7-4) ... Selecting previously unselected package libpython3-stdlib:amd64. Preparing to unpack .../9-libpython3-stdlib_3.9.2-3_amd64.deb ... Unpacking libpython3-stdlib:amd64 (3.9.2-3) ... Setting up python3-minimal (3.9.2-3) ... Selecting previously unselected package python3. (Reading database ... 17195 files and directories currently installed.) Preparing to unpack .../00-python3_3.9.2-3_amd64.deb ... Unpacking python3 (3.9.2-3) ... Selecting previously unselected package tex-common. Preparing to unpack .../01-tex-common_6.17_all.deb ... Unpacking tex-common (6.17) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../02-libmagic-mgc_1%3a5.39-3_amd64.deb ... Unpacking libmagic-mgc (1:5.39-3) ... Selecting previously unselected package libmagic1:amd64. Preparing to unpack .../03-libmagic1_1%3a5.39-3_amd64.deb ... Unpacking libmagic1:amd64 (1:5.39-3) ... Selecting previously unselected package file. Preparing to unpack .../04-file_1%3a5.39-3_amd64.deb ... Unpacking file (1:5.39-3) ... Selecting previously unselected package gettext-base. Preparing to unpack .../05-gettext-base_0.21-4_amd64.deb ... Unpacking gettext-base (0.21-4) ... Selecting previously unselected package libsigsegv2:amd64. Preparing to unpack .../06-libsigsegv2_2.13-1_amd64.deb ... Unpacking libsigsegv2:amd64 (2.13-1) ... Selecting previously unselected package m4. Preparing to unpack .../07-m4_1.4.18-5_amd64.deb ... Unpacking m4 (1.4.18-5) ... Selecting previously unselected package autoconf. Preparing to unpack .../08-autoconf_2.71-2_all.deb ... Unpacking autoconf (2.71-2) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../09-autotools-dev_20180224.1+nmu1_all.deb ... Unpacking autotools-dev (20180224.1+nmu1) ... Selecting previously unselected package automake. Preparing to unpack .../10-automake_1%3a1.16.5-1_all.deb ... Unpacking automake (1:1.16.5-1) ... Selecting previously unselected package autopoint. Preparing to unpack .../11-autopoint_0.21-4_all.deb ... Unpacking autopoint (0.21-4) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../12-libdebhelper-perl_13.5.2_all.deb ... Unpacking libdebhelper-perl (13.5.2) ... Selecting previously unselected package libtool. Preparing to unpack .../13-libtool_2.4.6-15_all.deb ... Unpacking libtool (2.4.6-15) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../14-dh-autoreconf_20_all.deb ... Unpacking dh-autoreconf (20) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../15-libarchive-zip-perl_1.68-1_all.deb ... Unpacking libarchive-zip-perl (1.68-1) ... Selecting previously unselected package libsub-override-perl. Preparing to unpack .../16-libsub-override-perl_0.09-2_all.deb ... Unpacking libsub-override-perl (0.09-2) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../17-libfile-stripnondeterminism-perl_1.12.0-2_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.12.0-2) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../18-dh-strip-nondeterminism_1.12.0-2_all.deb ... Unpacking dh-strip-nondeterminism (1.12.0-2) ... Selecting previously unselected package libelf1:amd64. Preparing to unpack .../19-libelf1_0.185-2_amd64.deb ... Unpacking libelf1:amd64 (0.185-2) ... Selecting previously unselected package dwz. Preparing to unpack .../20-dwz_0.14-1_amd64.deb ... Unpacking dwz (0.14-1) ... Selecting previously unselected package gettext. Preparing to unpack .../21-gettext_0.21-4_amd64.deb ... Unpacking gettext (0.21-4) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../22-intltool-debian_0.35.0+20060710.5_all.deb ... Unpacking intltool-debian (0.35.0+20060710.5) ... Selecting previously unselected package po-debconf. Preparing to unpack .../23-po-debconf_1.0.21+nmu1_all.deb ... Unpacking po-debconf (1.0.21+nmu1) ... Selecting previously unselected package debhelper. Preparing to unpack .../24-debhelper_13.5.2_all.deb ... Unpacking debhelper (13.5.2) ... Selecting previously unselected package fonts-lmodern. Preparing to unpack .../25-fonts-lmodern_2.004.5-6.1_all.deb ... Unpacking fonts-lmodern (2.004.5-6.1) ... Selecting previously unselected package libgs9-common. Preparing to unpack .../26-libgs9-common_9.54.0~dfsg-5_all.deb ... Unpacking libgs9-common (9.54.0~dfsg-5) ... Selecting previously unselected package libavahi-common-data:amd64. Preparing to unpack .../27-libavahi-common-data_0.8-5_amd64.deb ... Unpacking libavahi-common-data:amd64 (0.8-5) ... Selecting previously unselected package libavahi-common3:amd64. Preparing to unpack .../28-libavahi-common3_0.8-5_amd64.deb ... Unpacking libavahi-common3:amd64 (0.8-5) ... Selecting previously unselected package libdbus-1-3:amd64. Preparing to unpack .../29-libdbus-1-3_1.12.20-3_amd64.deb ... Unpacking libdbus-1-3:amd64 (1.12.20-3) ... Selecting previously unselected package libavahi-client3:amd64. Preparing to unpack .../30-libavahi-client3_0.8-5_amd64.deb ... Unpacking libavahi-client3:amd64 (0.8-5) ... Selecting previously unselected package libcups2:amd64. Preparing to unpack .../31-libcups2_2.3.3op2-7_amd64.deb ... Unpacking libcups2:amd64 (2.3.3op2-7) ... Selecting previously unselected package libidn12:amd64. Preparing to unpack .../32-libidn12_1.38-4_amd64.deb ... Unpacking libidn12:amd64 (1.38-4) ... Selecting previously unselected package libijs-0.35:amd64. Preparing to unpack .../33-libijs-0.35_0.35-15_amd64.deb ... Unpacking libijs-0.35:amd64 (0.35-15) ... Selecting previously unselected package libjbig2dec0:amd64. Preparing to unpack .../34-libjbig2dec0_0.19-3_amd64.deb ... Unpacking libjbig2dec0:amd64 (0.19-3) ... Selecting previously unselected package libpaper1:amd64. Preparing to unpack .../35-libpaper1_1.1.28+b1_amd64.deb ... Unpacking libpaper1:amd64 (1.1.28+b1) ... Selecting previously unselected package libgs9:amd64. Preparing to unpack .../36-libgs9_9.54.0~dfsg-5_amd64.deb ... Unpacking libgs9:amd64 (9.54.0~dfsg-5) ... Selecting previously unselected package ghostscript. Preparing to unpack .../37-ghostscript_9.54.0~dfsg-5_amd64.deb ... Unpacking ghostscript (9.54.0~dfsg-5) ... Selecting previously unselected package gsfonts. Preparing to unpack .../38-gsfonts_1%3a8.11+urwcyr1.0.7~pre44-4.5_all.deb ... Unpacking gsfonts (1:8.11+urwcyr1.0.7~pre44-4.5) ... Selecting previously unselected package libnetpbm10. Preparing to unpack .../39-libnetpbm10_2%3a10.0-15.4_amd64.deb ... Unpacking libnetpbm10 (2:10.0-15.4) ... Selecting previously unselected package netpbm. Preparing to unpack .../40-netpbm_2%3a10.0-15.4_amd64.deb ... Unpacking netpbm (2:10.0-15.4) ... Selecting previously unselected package libpaper-utils. Preparing to unpack .../41-libpaper-utils_1.1.28+b1_amd64.deb ... Unpacking libpaper-utils (1.1.28+b1) ... Selecting previously unselected package libkpathsea6:amd64. Preparing to unpack .../42-libkpathsea6_2021.20210626.59705-1_amd64.deb ... Unpacking libkpathsea6:amd64 (2021.20210626.59705-1) ... Selecting previously unselected package libptexenc1:amd64. Preparing to unpack .../43-libptexenc1_2021.20210626.59705-1_amd64.deb ... Unpacking libptexenc1:amd64 (2021.20210626.59705-1) ... Selecting previously unselected package libsynctex2:amd64. Preparing to unpack .../44-libsynctex2_2021.20210626.59705-1_amd64.deb ... Unpacking libsynctex2:amd64 (2021.20210626.59705-1) ... Selecting previously unselected package libtexlua53:amd64. Preparing to unpack .../45-libtexlua53_2021.20210626.59705-1_amd64.deb ... Unpacking libtexlua53:amd64 (2021.20210626.59705-1) ... Selecting previously unselected package libtexluajit2:amd64. Preparing to unpack .../46-libtexluajit2_2021.20210626.59705-1_amd64.deb ... Unpacking libtexluajit2:amd64 (2021.20210626.59705-1) ... Selecting previously unselected package t1utils. Preparing to unpack .../47-t1utils_1.41-4_amd64.deb ... Unpacking t1utils (1.41-4) ... Selecting previously unselected package libpixman-1-0:amd64. Preparing to unpack .../48-libpixman-1-0_0.40.0-1_amd64.deb ... Unpacking libpixman-1-0:amd64 (0.40.0-1) ... Selecting previously unselected package libxcb-render0:amd64. Preparing to unpack .../49-libxcb-render0_1.14-3_amd64.deb ... Unpacking libxcb-render0:amd64 (1.14-3) ... Selecting previously unselected package libxcb-shm0:amd64. Preparing to unpack .../50-libxcb-shm0_1.14-3_amd64.deb ... Unpacking libxcb-shm0:amd64 (1.14-3) ... Selecting previously unselected package libxrender1:amd64. Preparing to unpack .../51-libxrender1_1%3a0.9.10-1_amd64.deb ... Unpacking libxrender1:amd64 (1:0.9.10-1) ... Selecting previously unselected package libcairo2:amd64. Preparing to unpack .../52-libcairo2_1.16.0-5_amd64.deb ... Unpacking libcairo2:amd64 (1.16.0-5) ... Selecting previously unselected package libgraphite2-3:amd64. Preparing to unpack .../53-libgraphite2-3_1.3.14-1_amd64.deb ... Unpacking libgraphite2-3:amd64 (1.3.14-1) ... Selecting previously unselected package libharfbuzz0b:amd64. Preparing to unpack .../54-libharfbuzz0b_2.7.4-1_amd64.deb ... Unpacking libharfbuzz0b:amd64 (2.7.4-1) ... Selecting previously unselected package libteckit0:amd64. Preparing to unpack .../55-libteckit0_2.5.10+ds1-3_amd64.deb ... Unpacking libteckit0:amd64 (2.5.10+ds1-3) ... Selecting previously unselected package x11-common. Preparing to unpack .../56-x11-common_1%3a7.7+23_all.deb ... Unpacking x11-common (1:7.7+23) ... Selecting previously unselected package libice6:amd64. Preparing to unpack .../57-libice6_2%3a1.0.10-1_amd64.deb ... Unpacking libice6:amd64 (2:1.0.10-1) ... Selecting previously unselected package libsm6:amd64. Preparing to unpack .../58-libsm6_2%3a1.2.3-1_amd64.deb ... Unpacking libsm6:amd64 (2:1.2.3-1) ... Selecting previously unselected package libxt6:amd64. Preparing to unpack .../59-libxt6_1%3a1.2.0-1_amd64.deb ... Unpacking libxt6:amd64 (1:1.2.0-1) ... Selecting previously unselected package libxmu6:amd64. Preparing to unpack .../60-libxmu6_2%3a1.1.2-2+b3_amd64.deb ... Unpacking libxmu6:amd64 (2:1.1.2-2+b3) ... Selecting previously unselected package libxpm4:amd64. Preparing to unpack .../61-libxpm4_1%3a3.5.12-1_amd64.deb ... Unpacking libxpm4:amd64 (1:3.5.12-1) ... Selecting previously unselected package libxaw7:amd64. Preparing to unpack .../62-libxaw7_2%3a1.0.13-1.1_amd64.deb ... Unpacking libxaw7:amd64 (2:1.0.13-1.1) ... Selecting previously unselected package libxi6:amd64. Preparing to unpack .../63-libxi6_2%3a1.8-1_amd64.deb ... Unpacking libxi6:amd64 (2:1.8-1) ... Selecting previously unselected package libzzip-0-13:amd64. Preparing to unpack .../64-libzzip-0-13_0.13.72+dfsg.1-1.1_amd64.deb ... Unpacking libzzip-0-13:amd64 (0.13.72+dfsg.1-1.1) ... Selecting previously unselected package texlive-binaries. Preparing to unpack .../65-texlive-binaries_2021.20210626.59705-1_amd64.deb ... Unpacking texlive-binaries (2021.20210626.59705-1) ... Selecting previously unselected package xdg-utils. Preparing to unpack .../66-xdg-utils_1.1.3-4.1_all.deb ... Unpacking xdg-utils (1.1.3-4.1) ... Selecting previously unselected package texlive-base. Preparing to unpack .../67-texlive-base_2021.20210921-1_all.deb ... Unpacking texlive-base (2021.20210921-1) ... Selecting previously unselected package hevea. Preparing to unpack .../68-hevea_2.35-1_amd64.deb ... Unpacking hevea (2.35-1) ... Selecting previously unselected package hicolor-icon-theme. Preparing to unpack .../69-hicolor-icon-theme_0.17-2_all.deb ... Unpacking hicolor-icon-theme (0.17-2) ... Selecting previously unselected package imagemagick-6.q16. Preparing to unpack .../70-imagemagick-6.q16_8%3a6.9.11.60+dfsg-1.3_amd64.deb ... Unpacking imagemagick-6.q16 (8:6.9.11.60+dfsg-1.3) ... Selecting previously unselected package imagemagick. Preparing to unpack .../71-imagemagick_8%3a6.9.11.60+dfsg-1.3_amd64.deb ... Unpacking imagemagick (8:6.9.11.60+dfsg-1.3) ... Selecting previously unselected package libapache-pom-java. Preparing to unpack .../72-libapache-pom-java_18-1_all.deb ... Unpacking libapache-pom-java (18-1) ... Selecting previously unselected package libcommons-parent-java. Preparing to unpack .../73-libcommons-parent-java_43-1_all.deb ... Unpacking libcommons-parent-java (43-1) ... Selecting previously unselected package libcommons-logging-java. Preparing to unpack .../74-libcommons-logging-java_1.2-2_all.deb ... Unpacking libcommons-logging-java (1.2-2) ... Selecting previously unselected package libfontbox-java. Preparing to unpack .../75-libfontbox-java_1%3a1.8.16-2_all.deb ... Unpacking libfontbox-java (1:1.8.16-2) ... Selecting previously unselected package libpdfbox-java. Preparing to unpack .../76-libpdfbox-java_1%3a1.8.16-2_all.deb ... Unpacking libpdfbox-java (1:1.8.16-2) ... Selecting previously unselected package preview-latex-style. Preparing to unpack .../77-preview-latex-style_12.2-1_all.deb ... Unpacking preview-latex-style (12.2-1) ... Selecting previously unselected package texlive-font-utils. Preparing to unpack .../78-texlive-font-utils_2021.20210921-1_all.deb ... Unpacking texlive-font-utils (2021.20210921-1) ... Selecting previously unselected package texlive-latex-base. Preparing to unpack .../79-texlive-latex-base_2021.20210921-1_all.deb ... Unpacking texlive-latex-base (2021.20210921-1) ... Selecting previously unselected package texlive-latex-recommended. Preparing to unpack .../80-texlive-latex-recommended_2021.20210921-1_all.deb ... Unpacking texlive-latex-recommended (2021.20210921-1) ... Selecting previously unselected package texlive-pictures. Preparing to unpack .../81-texlive-pictures_2021.20210921-1_all.deb ... Unpacking texlive-pictures (2021.20210921-1) ... Selecting previously unselected package texlive-latex-extra. Preparing to unpack .../82-texlive-latex-extra_2021.20210921-1_all.deb ... Unpacking texlive-latex-extra (2021.20210921-1) ... Selecting previously unselected package sbuild-build-depends-main-dummy. Preparing to unpack .../83-sbuild-build-depends-main-dummy_0.invalid.0_amd64.deb ... Unpacking sbuild-build-depends-main-dummy (0.invalid.0) ... Setting up media-types (4.0.0) ... Setting up libpipeline1:amd64 (1.5.3-1) ... Setting up libgraphite2-3:amd64 (1.3.14-1) ... Setting up liblcms2-2:amd64 (2.12~rc1-2) ... Setting up libpixman-1-0:amd64 (0.40.0-1) ... Setting up libxau6:amd64 (1:1.0.9-1) ... Setting up imagemagick-6-common (8:6.9.11.60+dfsg-1.3) ... Setting up libxdmcp6:amd64 (1:1.1.2-3) ... Setting up libxcb1:amd64 (1.14-3) ... Setting up bsdextrautils (2.37.2-4) ... update-alternatives: using /usr/bin/write.ul to provide /usr/bin/write (write) in auto mode Setting up hicolor-icon-theme (0.17-2) ... Setting up libmagic-mgc (1:5.39-3) ... Setting up libtexlua53:amd64 (2021.20210626.59705-1) ... Setting up libxcb-render0:amd64 (1.14-3) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libglib2.0-0:amd64 (2.70.0-3) ... No schema files found: doing nothing. Setting up libijs-0.35:amd64 (0.35-15) ... Setting up libaom0:amd64 (1.0.0.errata1.avif-1) ... Setting up libtexluajit2:amd64 (2021.20210626.59705-1) ... Setting up libdebhelper-perl (13.5.2) ... Setting up libbrotli1:amd64 (1.0.9-2+b2) ... Setting up libfontbox-java (1:1.8.16-2) ... Setting up libsqlite3-0:amd64 (3.36.0-2) ... Setting up x11-common (1:7.7+23) ... invoke-rc.d: could not determine current runlevel All runlevel operations denied by policy invoke-rc.d: policy-rc.d denied execution of restart. Setting up libmagic1:amd64 (1:5.39-3) ... Setting up libdeflate0:amd64 (1.8-1) ... Setting up gettext-base (0.21-4) ... Setting up libxcb-shm0:amd64 (1.14-3) ... Setting up libzzip-0-13:amd64 (0.13.72+dfsg.1-1.1) ... Setting up file (1:5.39-3) ... Setting up libnetpbm10 (2:10.0-15.4) ... Setting up fonts-urw-base35 (20200910-1) ... Setting up libjbig0:amd64 (2.1-3.1+b2) ... Setting up poppler-data (0.4.11-1) ... Setting up autotools-dev (20180224.1+nmu1) ... Setting up libjpeg62-turbo:amd64 (1:2.0.6-4) ... Setting up libx11-data (2:1.7.2-2) ... Setting up libjbig2dec0:amd64 (0.19-3) ... Setting up libteckit0:amd64 (2.5.10+ds1-3) ... Setting up gsfonts (1:8.11+urwcyr1.0.7~pre44-4.5) ... Setting up libapache-pom-java (18-1) ... Setting up libavahi-common-data:amd64 (0.8-5) ... Setting up libdbus-1-3:amd64 (1.12.20-3) ... Setting up libsigsegv2:amd64 (2.13-1) ... Setting up t1utils (1.41-4) ... Setting up libpng16-16:amd64 (1.6.37-3) ... Setting up libidn12:amd64 (1.38-4) ... Setting up autopoint (0.21-4) ... Setting up libwebp6:amd64 (0.6.1-2.1) ... Setting up fonts-dejavu-core (2.37-2) ... Setting up libncursesw6:amd64 (6.2+20210905-1) ... Setting up libltdl7:amd64 (2.4.6-15) ... Setting up libfftw3-double3:amd64 (3.3.8-2) ... Setting up libkpathsea6:amd64 (2021.20210626.59705-1) ... Setting up libnuma1:amd64 (2.0.14-3) ... Setting up liblqr-1-0:amd64 (0.4.2-2.1) ... Setting up sensible-utils (0.0.17) ... Setting up libuchardet0:amd64 (0.0.7-1) ... Setting up libmpdec3:amd64 (2.5.1-2) ... Setting up fonts-lmodern (2.004.5-6.1) ... Setting up libopenjp2-7:amd64 (2.4.0-3) ... Setting up libsub-override-perl (0.09-2) ... Setting up libx11-6:amd64 (2:1.7.2-2+b1) ... Setting up libtiff5:amd64 (4.3.0-2) ... Setting up libdav1d5:amd64 (0.9.2-1+b1) ... Setting up libde265-0:amd64 (1.0.8-1) ... Setting up libwebpmux3:amd64 (0.6.1-2.1) ... Setting up libelf1:amd64 (0.185-2) ... Setting up readline-common (8.1-2) ... Setting up xdg-utils (1.1.3-4.1) ... update-alternatives: using /usr/bin/xdg-open to provide /usr/bin/open (open) in auto mode Setting up libsynctex2:amd64 (2021.20210626.59705-1) ... Setting up libgs9-common (9.54.0~dfsg-5) ... Setting up libfile-stripnondeterminism-perl (1.12.0-2) ... Setting up libice6:amd64 (2:1.0.10-1) ... Setting up gettext (0.21-4) ... Setting up libpdfbox-java (1:1.8.16-2) ... Setting up libxpm4:amd64 (1:3.5.12-1) ... Setting up libxrender1:amd64 (1:0.9.10-1) ... Setting up libtool (2.4.6-15) ... Setting up libwebpdemux2:amd64 (0.6.1-2.1) ... Setting up libreadline8:amd64 (8.1-2) ... Setting up libcommons-parent-java (43-1) ... Setting up libavahi-common3:amd64 (0.8-5) ... Setting up libcommons-logging-java (1.2-2) ... Setting up libxext6:amd64 (2:1.3.4-1) ... Setting up m4 (1.4.18-5) ... Setting up intltool-debian (0.35.0+20060710.5) ... Setting up libptexenc1:amd64 (2021.20210626.59705-1) ... Setting up libfreetype6:amd64 (2.11.0+dfsg-1) ... Setting up ucf (3.0043) ... Setting up netpbm (2:10.0-15.4) ... Setting up autoconf (2.71-2) ... Setting up libx265-199:amd64 (3.5-2) ... Setting up dh-strip-nondeterminism (1.12.0-2) ... Setting up dwz (0.14-1) ... Setting up groff-base (1.22.4-7) ... Setting up libharfbuzz0b:amd64 (2.7.4-1) ... Setting up libsm6:amd64 (2:1.2.3-1) ... Setting up libavahi-client3:amd64 (0.8-5) ... Setting up libpython3.9-stdlib:amd64 (3.9.7-4) ... Setting up libpython3-stdlib:amd64 (3.9.2-3) ... Setting up automake (1:1.16.5-1) ... update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode Setting up libpaper1:amd64 (1.1.28+b1) ... Creating config file /etc/papersize with new version Setting up libxi6:amd64 (2:1.8-1) ... Setting up fontconfig-config (2.13.1-4.2) ... Setting up po-debconf (1.0.21+nmu1) ... Setting up libheif1:amd64 (1.12.0-2+b2) ... Setting up libpaper-utils (1.1.28+b1) ... Setting up man-db (2.9.4-2) ... Not building database; man-db/auto-update is not 'true'. Setting up dh-autoreconf (20) ... Setting up tex-common (6.17) ... update-language: texlive-base not installed and configured, doing nothing! Setting up libxt6:amd64 (1:1.2.0-1) ... Setting up libcups2:amd64 (2.3.3op2-7) ... Setting up libfontconfig1:amd64 (2.13.1-4.2) ... Setting up python3.9 (3.9.7-4) ... Setting up libxmu6:amd64 (2:1.1.2-2+b3) ... Setting up libgs9:amd64 (9.54.0~dfsg-5) ... Setting up preview-latex-style (12.2-1) ... Setting up debhelper (13.5.2) ... Setting up python3 (3.9.2-3) ... Setting up libxaw7:amd64 (2:1.0.13-1.1) ... Setting up ghostscript (9.54.0~dfsg-5) ... Setting up libcairo2:amd64 (1.16.0-5) ... Setting up libmagickcore-6.q16-6:amd64 (8:6.9.11.60+dfsg-1.3) ... Setting up texlive-binaries (2021.20210626.59705-1) ... update-alternatives: using /usr/bin/xdvi-xaw to provide /usr/bin/xdvi.bin (xdvi.bin) in auto mode update-alternatives: using /usr/bin/bibtex.original to provide /usr/bin/bibtex (bibtex) in auto mode Setting up libmagickwand-6.q16-6:amd64 (8:6.9.11.60+dfsg-1.3) ... Setting up texlive-base (2021.20210921-1) ... /usr/bin/which: this version of `which' is deprecated; use `command -v' in scripts instead. /usr/bin/which: this version of `which' is deprecated; use `command -v' in scripts instead. /usr/bin/which: this version of `which' is deprecated; use `command -v' in scripts instead. /usr/bin/which: this version of `which' is deprecated; use `command -v' in scripts instead. tl-paper: setting paper size for dvips to a4: /var/lib/texmf/dvips/config/config-paper.ps tl-paper: setting paper size for dvipdfmx to a4: /var/lib/texmf/dvipdfmx/dvipdfmx-paper.cfg tl-paper: setting paper size for xdvi to a4: /var/lib/texmf/xdvi/XDvi-paper tl-paper: setting paper size for pdftex to a4: /var/lib/texmf/tex/generic/tex-ini-files/pdftexconfig.tex Setting up texlive-font-utils (2021.20210921-1) ... Setting up texlive-latex-base (2021.20210921-1) ... Setting up texlive-latex-recommended (2021.20210921-1) ... Setting up hevea (2.35-1) ... Setting up texlive-pictures (2021.20210921-1) ... Setting up imagemagick-6.q16 (8:6.9.11.60+dfsg-1.3) ... update-alternatives: using /usr/bin/compare-im6.q16 to provide /usr/bin/compare (compare) in auto mode update-alternatives: using /usr/bin/compare-im6.q16 to provide /usr/bin/compare-im6 (compare-im6) in auto mode update-alternatives: using /usr/bin/animate-im6.q16 to provide /usr/bin/animate (animate) in auto mode update-alternatives: using /usr/bin/animate-im6.q16 to provide /usr/bin/animate-im6 (animate-im6) in auto mode update-alternatives: using /usr/bin/convert-im6.q16 to provide /usr/bin/convert (convert) in auto mode update-alternatives: using /usr/bin/convert-im6.q16 to provide /usr/bin/convert-im6 (convert-im6) in auto mode update-alternatives: using /usr/bin/composite-im6.q16 to provide /usr/bin/composite (composite) in auto mode update-alternatives: using /usr/bin/composite-im6.q16 to provide /usr/bin/composite-im6 (composite-im6) in auto mode update-alternatives: using /usr/bin/conjure-im6.q16 to provide /usr/bin/conjure (conjure) in auto mode update-alternatives: using /usr/bin/conjure-im6.q16 to provide /usr/bin/conjure-im6 (conjure-im6) in auto mode update-alternatives: using /usr/bin/import-im6.q16 to provide /usr/bin/import (import) in auto mode update-alternatives: using /usr/bin/import-im6.q16 to provide /usr/bin/import-im6 (import-im6) in auto mode update-alternatives: using /usr/bin/identify-im6.q16 to provide /usr/bin/identify (identify) in auto mode update-alternatives: using /usr/bin/identify-im6.q16 to provide /usr/bin/identify-im6 (identify-im6) in auto mode update-alternatives: using /usr/bin/stream-im6.q16 to provide /usr/bin/stream (stream) in auto mode update-alternatives: using /usr/bin/stream-im6.q16 to provide /usr/bin/stream-im6 (stream-im6) in auto mode update-alternatives: using /usr/bin/display-im6.q16 to provide /usr/bin/display (display) in auto mode update-alternatives: using /usr/bin/display-im6.q16 to provide /usr/bin/display-im6 (display-im6) in auto mode update-alternatives: using /usr/bin/montage-im6.q16 to provide /usr/bin/montage (montage) in auto mode update-alternatives: using /usr/bin/montage-im6.q16 to provide /usr/bin/montage-im6 (montage-im6) in auto mode update-alternatives: using /usr/bin/mogrify-im6.q16 to provide /usr/bin/mogrify (mogrify) in auto mode update-alternatives: using /usr/bin/mogrify-im6.q16 to provide /usr/bin/mogrify-im6 (mogrify-im6) in auto mode Setting up texlive-latex-extra (2021.20210921-1) ... Setting up imagemagick (8:6.9.11.60+dfsg-1.3) ... Setting up sbuild-build-depends-main-dummy (0.invalid.0) ... Processing triggers for libc-bin (2.32-4) ... Processing triggers for tex-common (6.17) ... Running updmap-sys. This may take some time... done. Running mktexlsr /var/lib/texmf ... done. Building format(s) --all. This may take some time... done. +------------------------------------------------------------------------------+ | Check architectures | +------------------------------------------------------------------------------+ Arch check ok (amd64 included in i386 amd64 sparc sparc64 alpha powerpc powerpcspe all) +------------------------------------------------------------------------------+ | Build environment | +------------------------------------------------------------------------------+ Kernel: Linux 4.19.0-6-cloud-amd64 #1 SMP Debian 4.19.67-2+deb10u2 (2019-11-11) amd64 (x86_64) Toolchain package versions: binutils_2.37-7 dpkg-dev_1.20.9 g++-11_11.2.0-10 gcc-11_11.2.0-10 libc6-dev_2.32-4 libstdc++-11-dev_11.2.0-10 libstdc++6_11.2.0-10 linux-libc-dev_5.14.12-1 Package versions: adduser_3.118 apt_2.3.11 autoconf_2.71-2 automake_1:1.16.5-1 autopoint_0.21-4 autotools-dev_20180224.1+nmu1 base-files_12 base-passwd_3.5.52 bash_5.1-3+b2 binutils_2.37-7 binutils-common_2.37-7 binutils-x86-64-linux-gnu_2.37-7 bsdextrautils_2.37.2-4 bsdutils_1:2.37.2-4 build-essential_12.9 bzip2_1.0.8-4 clang-13_1:13.0.0-8 coreutils_8.32-4+b1 cpp_4:11.2.0-2 cpp-11_11.2.0-10 dash_0.5.11+git20210120+802ebd4-2 debconf_1.5.78 debhelper_13.5.2 debian-archive-keyring_2021.1.1 debianutils_5.5-1 dh-autoreconf_20 dh-strip-nondeterminism_1.12.0-2 diffutils_1:3.7-5 dpkg_1.20.9 dpkg-dev_1.20.9 dwz_0.14-1 e2fsprogs_1.46.4-1 fakeroot_1.26-1 file_1:5.39-3 findutils_4.8.0-1 fontconfig-config_2.13.1-4.2 fonts-dejavu-core_2.37-2 fonts-lmodern_2.004.5-6.1 fonts-urw-base35_20200910-1 g++_4:11.2.0-2 g++-11_11.2.0-10 gcc_4:11.2.0-2 gcc-10-base_10.3.0-11 gcc-11_11.2.0-10 gcc-11-base_11.2.0-10 gcc-9-base_9.4.0-3 gettext_0.21-4 gettext-base_0.21-4 ghostscript_9.54.0~dfsg-5 gpgv_2.2.27-2 grep_3.7-1 groff-base_1.22.4-7 gsfonts_1:8.11+urwcyr1.0.7~pre44-4.5 gzip_1.10-4 hevea_2.35-1 hicolor-icon-theme_0.17-2 hostname_3.23 imagemagick_8:6.9.11.60+dfsg-1.3 imagemagick-6-common_8:6.9.11.60+dfsg-1.3 imagemagick-6.q16_8:6.9.11.60+dfsg-1.3 init-system-helpers_1.60 intltool-debian_0.35.0+20060710.5 lib32gcc-s1_11.2.0-10 lib32stdc++6_11.2.0-10 libacl1_2.3.1-1 libaom0_1.0.0.errata1.avif-1 libapache-pom-java_18-1 libapt-pkg6.0_2.3.11 libarchive-zip-perl_1.68-1 libasan5_9.4.0-3 libasan6_11.2.0-10 libatomic1_11.2.0-10 libattr1_1:2.5.1-1 libaudit-common_1:3.0.6-1 libaudit1_1:3.0.6-1 libavahi-client3_0.8-5 libavahi-common-data_0.8-5 libavahi-common3_0.8-5 libbinutils_2.37-7 libblkid1_2.37.2-4 libbrotli1_1.0.9-2+b2 libbsd0_0.11.3-1 libbz2-1.0_1.0.8-4 libc-bin_2.32-4 libc-dev-bin_2.32-4 libc6_2.32-4 libc6-dev_2.32-4 libc6-i386_2.32-4 libcairo2_1.16.0-5 libcap-ng0_0.7.9-2.2+b1 libcap2_1:2.44-1 libcc1-0_11.2.0-10 libclang-common-13-dev_1:13.0.0-8 libclang-cpp13_1:13.0.0-8 libclang1-13_1:13.0.0-8 libcom-err2_1.46.4-1 libcommons-logging-java_1.2-2 libcommons-parent-java_43-1 libcrypt-dev_1:4.4.25-2 libcrypt1_1:4.4.25-2 libctf-nobfd0_2.37-7 libctf0_2.37-7 libcups2_2.3.3op2-7 libdav1d5_0.9.2-1+b1 libdb5.3_5.3.28+dfsg1-0.8 libdbus-1-3_1.12.20-3 libde265-0_1.0.8-1 libdebconfclient0_0.260 libdebhelper-perl_13.5.2 libdeflate0_1.8-1 libdpkg-perl_1.20.9 libedit2_3.1-20210910-1 libelf1_0.185-2 libexpat1_2.4.1-3 libext2fs2_1.46.4-1 libfakeroot_1.26-1 libffi8_3.4.2-3 libfftw3-double3_3.3.8-2 libfile-stripnondeterminism-perl_1.12.0-2 libfontbox-java_1:1.8.16-2 libfontconfig1_2.13.1-4.2 libfreetype6_2.11.0+dfsg-1 libgc1_1:8.0.4-3 libgcc-11-dev_11.2.0-10 libgcc-9-dev_9.4.0-3 libgcc-s1_11.2.0-10 libgcrypt20_1.9.4-3+b1 libgdbm-compat4_1.22-1 libgdbm6_1.22-1 libglib2.0-0_2.70.0-3 libgmp10_2:6.2.1+dfsg-2 libgnutls30_3.7.2-2 libgomp1_11.2.0-10 libgpg-error0_1.42-3 libgraphite2-3_1.3.14-1 libgs9_9.54.0~dfsg-5 libgs9-common_9.54.0~dfsg-5 libgssapi-krb5-2_1.18.3-7 libharfbuzz0b_2.7.4-1 libheif1_1.12.0-2+b2 libhogweed6_3.7.3-1 libice6_2:1.0.10-1 libicu67_67.1-7 libidn12_1.38-4 libidn2-0_2.3.2-2 libijs-0.35_0.35-15 libisl23_0.24-2 libitm1_11.2.0-10 libjbig0_2.1-3.1+b2 libjbig2dec0_0.19-3 libjpeg62-turbo_1:2.0.6-4 libk5crypto3_1.18.3-7 libkeyutils1_1.6.1-2 libkpathsea6_2021.20210626.59705-1 libkrb5-3_1.18.3-7 libkrb5support0_1.18.3-7 liblcms2-2_2.12~rc1-2 libllvm13_1:13.0.0-8 liblqr-1-0_0.4.2-2.1 liblsan0_11.2.0-10 libltdl7_2.4.6-15 liblz4-1_1.9.3-2 liblzma5_5.2.5-2 libmagic-mgc_1:5.39-3 libmagic1_1:5.39-3 libmagickcore-6.q16-6_8:6.9.11.60+dfsg-1.3 libmagickwand-6.q16-6_8:6.9.11.60+dfsg-1.3 libmd0_1.0.4-1 libmount1_2.37.2-4 libmpc3_1.2.1-1 libmpdec3_2.5.1-2 libmpfr6_4.1.0-3 libncursesw6_6.2+20210905-1 libnetpbm10_2:10.0-15.4 libnettle8_3.7.3-1 libnsl-dev_1.3.0-2 libnsl2_1.3.0-2 libnuma1_2.0.14-3 libobjc-11-dev_11.2.0-10 libobjc-9-dev_9.4.0-3 libobjc4_11.2.0-10 libomp-13-dev_1:13.0.0-8 libomp5-13_1:13.0.0-8 libopenjp2-7_2.4.0-3 libp11-kit0_0.24.0-5 libpam-modules_1.4.0-10 libpam-modules-bin_1.4.0-10 libpam-runtime_1.4.0-10 libpam0g_1.4.0-10 libpaper-utils_1.1.28+b1 libpaper1_1.1.28+b1 libpcre2-8-0_10.36-2 libpcre3_2:8.39-13 libpdfbox-java_1:1.8.16-2 libperl5.32_5.32.1-6 libpipeline1_1.5.3-1 libpixman-1-0_0.40.0-1 libpng16-16_1.6.37-3 libptexenc1_2021.20210626.59705-1 libpython3-stdlib_3.9.2-3 libpython3.9-minimal_3.9.7-4 libpython3.9-stdlib_3.9.7-4 libquadmath0_11.2.0-10 libreadline8_8.1-2 libseccomp2_2.5.2-2 libselinux1_3.1-3 libsemanage-common_3.1-1 libsemanage1_3.1-1+b2 libsepol1_3.1-1 libsigsegv2_2.13-1 libsm6_2:1.2.3-1 libsmartcols1_2.37.2-4 libsqlite3-0_3.36.0-2 libss2_1.46.4-1 libssl1.1_1.1.1l-1 libstdc++-11-dev_11.2.0-10 libstdc++6_11.2.0-10 libsub-override-perl_0.09-2 libsynctex2_2021.20210626.59705-1 libsystemd0_249.5-1 libtasn1-6_4.17.0-2 libteckit0_2.5.10+ds1-3 libtexlua53_2021.20210626.59705-1 libtexluajit2_2021.20210626.59705-1 libtiff5_4.3.0-2 libtinfo6_6.2+20210905-1 libtirpc-common_1.3.2-2 libtirpc-dev_1.3.2-2 libtirpc3_1.3.2-2 libtool_2.4.6-15 libtsan0_11.2.0-10 libubsan1_11.2.0-10 libuchardet0_0.0.7-1 libudev1_249.5-1 libunistring2_0.9.10-6 libuuid1_2.37.2-4 libwebp6_0.6.1-2.1 libwebpdemux2_0.6.1-2.1 libwebpmux3_0.6.1-2.1 libx11-6_2:1.7.2-2+b1 libx11-data_2:1.7.2-2 libx265-199_3.5-2 libxau6_1:1.0.9-1 libxaw7_2:1.0.13-1.1 libxcb-render0_1.14-3 libxcb-shm0_1.14-3 libxcb1_1.14-3 libxdmcp6_1:1.1.2-3 libxext6_2:1.3.4-1 libxi6_2:1.8-1 libxml2_2.9.12+dfsg-5 libxmu6_2:1.1.2-2+b3 libxpm4_1:3.5.12-1 libxrender1_1:0.9.10-1 libxt6_1:1.2.0-1 libxxhash0_0.8.0-2 libz3-4_4.8.12-1+b1 libzstd1_1.4.8+dfsg-3 libzzip-0-13_0.13.72+dfsg.1-1.1 linux-libc-dev_5.14.12-1 login_1:4.8.1-1 logsave_1.46.4-1 lsb-base_11.1.0 m4_1.4.18-5 make_4.3-4.1 man-db_2.9.4-2 mawk_1.3.4.20200120-2 media-types_4.0.0 mount_2.37.2-4 ncurses-base_6.2+20210905-1 ncurses-bin_6.2+20210905-1 netpbm_2:10.0-15.4 passwd_1:4.8.1-1 patch_2.7.6-7 perl_5.32.1-6 perl-base_5.32.1-6 perl-modules-5.32_5.32.1-6 po-debconf_1.0.21+nmu1 poppler-data_0.4.11-1 preview-latex-style_12.2-1 python3_3.9.2-3 python3-minimal_3.9.2-3 python3.9_3.9.7-4 python3.9-minimal_3.9.7-4 qt5-qmake_5.15.2+dfsg-12 qt5-qmake-bin_5.15.2+dfsg-12 qtchooser_66-2 readline-common_8.1-2 rpcsvc-proto_1.4.2-4 sbuild-build-depends-main-dummy_0.invalid.0 sed_4.8-1 sensible-utils_0.0.17 sysvinit-utils_3.00-1 t1utils_1.41-4 tar_1.34+dfsg-1 tex-common_6.17 texlive-base_2021.20210921-1 texlive-binaries_2021.20210626.59705-1 texlive-font-utils_2021.20210921-1 texlive-latex-base_2021.20210921-1 texlive-latex-extra_2021.20210921-1 texlive-latex-recommended_2021.20210921-1 texlive-pictures_2021.20210921-1 tzdata_2021e-1 ucf_3.0043 util-linux_2.37.2-4 x11-common_1:7.7+23 xdg-utils_1.1.3-4.1 xz-utils_5.2.5-2 zlib1g_1:1.2.11.dfsg-2 +------------------------------------------------------------------------------+ | Build | +------------------------------------------------------------------------------+ Unpack source ------------- -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (quilt) Source: gprolog Binary: gprolog, gprolog-doc Architecture: i386 amd64 sparc sparc64 alpha powerpc powerpcspe all Version: 1.4.5.0-3 Maintainer: Salvador Abreu Homepage: http://www.gprolog.org/ Standards-Version: 4.4.0 Build-Depends: debhelper (>= 9), autoconf (>= 2.52), autotools-dev Build-Depends-Indep: imagemagick, gsfonts, texlive-latex-recommended, texlive-latex-extra, texlive-font-utils, hevea (>= 1.09) Package-List: gprolog deb devel optional arch=i386,amd64,sparc,sparc64,alpha,powerpc,powerpcspe gprolog-doc deb doc optional arch=all Checksums-Sha1: 4adc151fcb9a0e1ec57aceee94d4a1e140186c2d 1142431 gprolog_1.4.5.0.orig.tar.gz bdfddbc0e0caefe03007c912c474c71281169bfd 22600 gprolog_1.4.5.0-3.debian.tar.xz Checksums-Sha256: 348a7df6d84c7f0fd68fa8c35a1df6334195fa6a9bbfe82d4fb6d29b43100c24 1142431 gprolog_1.4.5.0.orig.tar.gz e0ee2bc0e31a39abb8636fe11ea22a5228e5230e9339bb94d49e06176078e550 22600 gprolog_1.4.5.0-3.debian.tar.xz Files: 8f9bbed63ebe339d8025e1250350981f 1142431 gprolog_1.4.5.0.orig.tar.gz 01aff0abbb88820b6dbe68cb14c2f186 22600 gprolog_1.4.5.0-3.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEnLKenYy0yPA01d22aAYtOos5Mq0FAl5S3cQACgkQaAYtOos5 Mq22wg//ai/wseMcVRCn7zcbEjGp5nOSFlJstFa6ygcpqnAIOb4RQkokqjOJXVyO u/PipAY+eDIAzUXwsBvi4b3bfwNtoEzRvC2AKMu2qYRTEy8eEZJarqxeO7SpJSwc MdH6M3gZRz2uUH9+WMAuWLxH2U5rF+dinUSNdqCvw1M2EzMVWfJYwdsOhiS1HcLn plzBiuKGWPMuTtm1I/7Zm9gLt/FHTAPdHo/0f0hGIZnUOcYTGQlSCDzafTazhHwQ reN2YXnJoVRNhejT3st1TCcAGEEJv2d6IyTIU0OqTlDpLCkG/v3TxKUPVqTZQCrc BAY8ewdD/S1v+RjxJC13rJL66QOuU22Y4AvQpFVRz37q33NND4md6691ZXRLqu+6 C0EOGMdm9Bw25m2EwkY15qAcM6cZPz8FDUPp8r1wE7pPAutkzFNaSq2MCNeBL6S7 E5ySx5Bm1dSC7n8s2zmZq9745cVQaV98R7NNETaOsvGllZzohHcibWCfyz+gkdO8 /YT+QA3zmBEY813TkDX57xMRPcNwJ201Ybp4sZ0QX9Kb/+Sf61HImxhgU5IDX2Vc O/GLyf2aHdb5znWaL4L/+wnrRS0vcchRvRS6SZ83mLdt/6pesNQPZdPgCA+Amgxd 6Ay75M6UJnviamYW3fRZntBBFBWkmx4BTES6WkSJHJrzkYMlwnI= =u8mR -----END PGP SIGNATURE----- gpgv: unknown type of key resource 'trustedkeys.kbx' gpgv: keyblock resource '/tmp/dpkg-verify-sig.YRkGpy_Z/trustedkeys.kbx': General error gpgv: Signature made Sun Feb 23 20:17:08 2020 UTC gpgv: using RSA key 9CB29E9D8CB4C8F034D5DDB668062D3A8B3932AD gpgv: Can't check signature: No public key dpkg-source: warning: failed to verify signature on ./gprolog_1.4.5.0-3.dsc dpkg-source: info: extracting gprolog in /<> dpkg-source: info: unpacking gprolog_1.4.5.0.orig.tar.gz dpkg-source: info: unpacking gprolog_1.4.5.0-3.debian.tar.xz dpkg-source: info: using patch list from debian/patches/series dpkg-source: info: applying init dpkg-source: info: applying usr-lib dpkg-source: info: applying i386+mips dpkg-source: info: applying no-win32-1 dpkg-source: info: applying uninit-vars dpkg-source: info: applying no-win32 dpkg-source: info: applying version-files dpkg-source: info: applying motif-svg dpkg-source: info: applying copyright-adj dpkg-source: info: applying win32-2 Check disk space ---------------- Sufficient free space for build User Environment ---------------- APT_CONFIG=/var/lib/sbuild/apt.conf HOME=/sbuild-nonexistent LANG=C.UTF-8 LC_ALL=C.UTF-8 LOGNAME=user42 PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games SCHROOT_ALIAS_NAME=unstable SCHROOT_CHROOT_NAME=sid-amd64-sbuild SCHROOT_COMMAND=env SCHROOT_GID=1001 SCHROOT_GROUP=user42 SCHROOT_SESSION_ID=sid-amd64-sbuild-da02f69c-2360-4fed-afbb-ae5554f21a68 SCHROOT_UID=1001 SCHROOT_USER=user42 SHELL=/bin/sh USER=user42 dpkg-buildpackage ----------------- Command: dpkg-buildpackage -us -uc -b -rfakeroot dpkg-buildpackage: info: source package gprolog dpkg-buildpackage: info: source version 1.4.5.0-3 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Salvador Abreu dpkg-source --before-build . dpkg-buildpackage: info: host architecture amd64 fakeroot debian/rules clean dh_testdir ( PATH=/<>/src/TopComp:/<>/src/EnginePl:/<>/src/Pl2Wam:/<>/src/Wam2Ma:/<>/src/Ma2Asm:/<>/src/Fd2C:/<>/src/DevUtils::/usr/bin:/bin; \ if [ ! -f src/Makefile -o \ ! -f src/configure -o \ src/Makefile.in -nt src/Makefile ]; then \ cd src; \ [ -f ./configure ] || autoconf; \ CC=gcc CPPFLAGS="-DDEBIAN" ./configure --prefix=/usr --bindir=/usr/lib/gprolog/bin --libdir=/usr/lib/gprolog --includedir=/usr/lib/gprolog/include --with-install-dir=/usr/lib/gprolog --with-doc-dir=/usr/share/doc/gprolog-doc --with-html-dir=/usr/share/doc/gprolog-doc/gprolog.html --with-examples-dir=/usr/share/doc/gprolog-doc/examples --without-links --disable-ebp --enable-regs --with-c-flags="-g -O3 -fomit-frame-pointer -no-pie "-fcommon" -funsigned-char -Wall -DDEBIAN"; fi ) configure.in:565: warning: The macro `AC_TRY_COMPILE' is obsolete. configure.in:565: You should run autoupdate. ./lib/autoconf/general.m4:2847: AC_TRY_COMPILE is expanded from... configure.in:565: the top level configure.in:565: warning: The macro `AC_TRY_COMPILE' is obsolete. configure.in:565: You should run autoupdate. ./lib/autoconf/general.m4:2847: AC_TRY_COMPILE is expanded from... lib/m4sugar/m4sh.m4:692: _AS_IF_ELSE is expanded from... lib/m4sugar/m4sh.m4:699: AS_IF is expanded from... ./lib/autoconf/general.m4:2823: _AC_COMPILE_IFELSE is expanded from... ./lib/autoconf/general.m4:2839: AC_COMPILE_IFELSE is expanded from... ./lib/autoconf/general.m4:2847: AC_TRY_COMPILE is expanded from... configure.in:565: the top level configure.in:587: warning: The macro `AC_TRY_COMPILE' is obsolete. configure.in:587: You should run autoupdate. ./lib/autoconf/general.m4:2847: AC_TRY_COMPILE is expanded from... configure.in:587: the top level configure.in:1032: warning: The macro `AC_CONFIG_HEADER' is obsolete. configure.in:1032: You should run autoupdate. ./lib/autoconf/status.m4:719: AC_CONFIG_HEADER is expanded from... configure.in:1032: the top level configure: WARNING: unrecognized options: --without-links checking for gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether the compiler supports GNU C... yes checking whether gcc accepts -g... yes checking for gcc option to enable C11 features... none needed checking build system type... x86_64-unknown-linux-gnu checking host system type... x86_64-unknown-linux-gnu checking for as... as checking for ranlib... ranlib checking for windres... no checking for ar... ar checking for strip... strip checking whether make sets $(MAKE)... yes checking for a BSD-compatible install... /usr/bin/install -c checking whether ln -s works... yes checking for stdio.h... yes checking for stdlib.h... yes checking for string.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for strings.h... yes checking for sys/stat.h... yes checking for sys/types.h... yes checking for unistd.h... yes checking for sys/param.h... yes checking whether byte ordering is bigendian... no checking for inline... inline checking size of long... 8 checking size of void*... 8 checking for sys/ioctl_compat.h... no checking for sys/siginfo.h... no checking for termios.h... yes checking for malloc.h... yes checking for endian.h... yes checking for sys/endian.h... no checking for byteswap.h... yes checking for float.h... yes checking for getpagesize... yes checking for working mmap... yes checking for getpagesize... (cached) yes checking for mprotect... yes checking for sigaction... yes checking for mallopt... yes checking for fgetc... yes checking for gcc options needed to detect all undeclared functions... -fno-builtin checking whether htole32 is declared... yes checking whether bswap_32 is declared... yes checking for atanh... yes checking for acosh... yes checking for asinh... yes checking for socklen_t... yes checking if struct sigcontext needs asm/sigcontext.h... no checking for sigsetjmp... yes checking for a working sigaction... yes checking constructors execution order... first to last checking for socket... yes checking for gethostbyname... yes DIRECTORIES --> Installation: /usr/lib/gprolog --> Link to binaries: /usr/bin --> Documentation: /usr/share/doc/gprolog-doc --> HTML documentation: /usr/share/doc/gprolog-doc/gprolog.html --> Examples: /usr/share/doc/gprolog-doc/examples configure: creating ./config.status config.status: creating Makefile config.status: creating TopComp/Makefile config.status: creating Pl2Wam/Makefile config.status: creating Wam2Ma/Makefile config.status: creating Ma2Asm/Makefile config.status: creating Fd2C/Makefile config.status: creating Linedit/Makefile config.status: creating W32GUICons/Makefile config.status: creating EnginePl/Makefile config.status: creating BipsPl/Makefile config.status: creating EngineFD/Makefile config.status: creating BipsFD/Makefile config.status: creating Ma2Asm/FromC/Makefile config.status: creating EnginePl/gp_config.h configure: WARNING: unrecognized options: --without-links touch stamp-config dh_testdir dh_testroot rm -f stamp-build-arch stamp-build-indep stamp-config set -e; PATH=/<>/src/TopComp:/<>/src/EnginePl:/<>/src/Pl2Wam:/<>/src/Wam2Ma:/<>/src/Ma2Asm:/<>/src/Fd2C:/<>/src/DevUtils::/usr/bin:/bin make -C src distclean make[1]: Entering directory '/<>/src' rm -rf config.status config.log config.cache autom4te.cache for i in EnginePl TopComp Wam2Ma Ma2Asm Linedit BipsPl Pl2Wam Fd2C EngineFD BipsFD; do (cd $i; make distclean); done make[2]: Entering directory '/<>/src/EnginePl' rm -f pl_config cpp_headers try_sigaction *.o *.ilk *.pdb *.pch *.idb *.exp libengine_pl.a rm -f test_oc test_oc_m* rm -f wam_archi.h wam_regs.h gp_config.h make[2]: Leaving directory '/<>/src/EnginePl' make[2]: Entering directory '/<>/src/TopComp' rm -f *.o gplc hexgplc gprolog gprolog0 make[2]: Leaving directory '/<>/src/TopComp' make[2]: Entering directory '/<>/src/Wam2Ma' rm -f *.o *.ilk *.pdb *.pch *.idb *.exp wam2ma make[2]: Leaving directory '/<>/src/Wam2Ma' make[2]: Entering directory '/<>/src/Ma2Asm' rm -f *.o *.ilk *.pdb *.pch *.idb *.exp ma2asm rm -f chkma.o chkma_ma.s chkma_ma.o chkma rm -f extract_asm make[2]: Leaving directory '/<>/src/Ma2Asm' make[2]: Entering directory '/<>/src/Linedit' rm -f *.o *.ilk *.pdb *.pch *.idb *.exp liblinedit.a rm -f test_linedit test_noecho make[2]: Leaving directory '/<>/src/Linedit' make[2]: Entering directory '/<>/src/BipsPl' rm -f *.o *.ilk *.pdb *.pch *.idb *.exp libbips_pl.a make[2]: Leaving directory '/<>/src/BipsPl' make[2]: Entering directory '/<>/src/Pl2Wam' [ ! -f pl2wam ] || mv pl2wam pl2wam0 rm -f *.o *.ilk *.pdb *.pch *.idb *.exp rm -f pl2wam pl2wam0 make[2]: Leaving directory '/<>/src/Pl2Wam' make[2]: Entering directory '/<>/src/Fd2C' rm -f *.o *.ilk *.pdb *.pch *.idb *.exp fd2c make[2]: Leaving directory '/<>/src/Fd2C' make[2]: Entering directory '/<>/src/EngineFD' rm -f *.o *.ilk *.pdb *.pch *.idb *.exp libengine_fd.a make[2]: Leaving directory '/<>/src/EngineFD' make[2]: Entering directory '/<>/src/BipsFD' rm -f *.o *.ilk *.pdb *.pch *.idb *.exp libbips_fd.a make[2]: Leaving directory '/<>/src/BipsFD' make[1]: Leaving directory '/<>/src' set -e; \ find -name Makefile -o -name configure | \ while read FILE; do \ if [ -f "$FILE.in" ]; then rm -f "$FILE"; fi; done find src -name VERSION | xargs -r rm -f rm -rf src/autom4te.cache rm -f src/EnginePl/gprolog_cst.h rm -f src/EnginePl/wam_stacks.h find src -name \*.wam | xargs touch make -C doc clean-all distclean make[1]: Entering directory '/<>/doc' rm -f gprolog.dvi gprolog.pdf gprolog.ps gprolog.chm rm -f gprolog.html (cd html_node ; rm -f *.hhc *.hhk *.css *.hrf *_motif.gif *.png *.html) rm -f *.aux *.toc *.ind *.idx *.log *.haux *.htoc *.hidx *.hind *.out *.ilg *.hrf *.image.tex make[1]: Leaving directory '/<>/doc' [ -e doc/copyright-stored.tex ] && \ cp doc/copyright-stored.tex doc/copyright.tex || true ls -d examples/Examples* | while read DIR; do \ if [ -f $DIR/Makefile ]; then \ make -C "$DIR" clean; \ fi; \ done make[1]: Entering directory '/<>/examples/ExamplesC' rm -f examp new_main *.exe make[1]: Leaving directory '/<>/examples/ExamplesC' make[1]: Entering directory '/<>/examples/ExamplesFD' rm -f alpha bridge cars crypta digit8 donald eq10 eq20 five gardner magic multipl partit queens send square send srq magsq qg5 langford interval rm -f bdiag bdonald bpigeon bqueens bramsey bschur bsend rm -f *.exe make[1]: Leaving directory '/<>/examples/ExamplesFD' make[1]: Entering directory '/<>/examples/ExamplesPl' rm -f boyer browse cal chat_parser crypt ham meta_qsort nand nrev poly_10 qsort queens queensn query reducer sdda sendmore tak tak_gvar zebra *.exe make[1]: Leaving directory '/<>/examples/ExamplesPl' dh_clean dh_clean: warning: Compatibility levels before 10 are deprecated (level 9 in use) debian/rules build dh_testdir ( PATH=/<>/src/TopComp:/<>/src/EnginePl:/<>/src/Pl2Wam:/<>/src/Wam2Ma:/<>/src/Ma2Asm:/<>/src/Fd2C:/<>/src/DevUtils::/usr/bin:/bin; \ if [ ! -f src/Makefile -o \ ! -f src/configure -o \ src/Makefile.in -nt src/Makefile ]; then \ cd src; \ [ -f ./configure ] || autoconf; \ CC=gcc CPPFLAGS="-DDEBIAN" ./configure --prefix=/usr --bindir=/usr/lib/gprolog/bin --libdir=/usr/lib/gprolog --includedir=/usr/lib/gprolog/include --with-install-dir=/usr/lib/gprolog --with-doc-dir=/usr/share/doc/gprolog-doc --with-html-dir=/usr/share/doc/gprolog-doc/gprolog.html --with-examples-dir=/usr/share/doc/gprolog-doc/examples --without-links --disable-ebp --enable-regs --with-c-flags="-g -O3 -fomit-frame-pointer -no-pie "-fcommon" -funsigned-char -Wall -DDEBIAN"; fi ) configure.in:565: warning: The macro `AC_TRY_COMPILE' is obsolete. configure.in:565: You should run autoupdate. ./lib/autoconf/general.m4:2847: AC_TRY_COMPILE is expanded from... configure.in:565: the top level configure.in:565: warning: The macro `AC_TRY_COMPILE' is obsolete. configure.in:565: You should run autoupdate. ./lib/autoconf/general.m4:2847: AC_TRY_COMPILE is expanded from... lib/m4sugar/m4sh.m4:692: _AS_IF_ELSE is expanded from... lib/m4sugar/m4sh.m4:699: AS_IF is expanded from... ./lib/autoconf/general.m4:2823: _AC_COMPILE_IFELSE is expanded from... ./lib/autoconf/general.m4:2839: AC_COMPILE_IFELSE is expanded from... ./lib/autoconf/general.m4:2847: AC_TRY_COMPILE is expanded from... configure.in:565: the top level configure.in:587: warning: The macro `AC_TRY_COMPILE' is obsolete. configure.in:587: You should run autoupdate. ./lib/autoconf/general.m4:2847: AC_TRY_COMPILE is expanded from... configure.in:587: the top level configure.in:1032: warning: The macro `AC_CONFIG_HEADER' is obsolete. configure.in:1032: You should run autoupdate. ./lib/autoconf/status.m4:719: AC_CONFIG_HEADER is expanded from... configure.in:1032: the top level configure: WARNING: unrecognized options: --without-links checking for gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether the compiler supports GNU C... yes checking whether gcc accepts -g... yes checking for gcc option to enable C11 features... none needed checking build system type... x86_64-unknown-linux-gnu checking host system type... x86_64-unknown-linux-gnu checking for as... as checking for ranlib... ranlib checking for windres... no checking for ar... ar checking for strip... strip checking whether make sets $(MAKE)... yes checking for a BSD-compatible install... /usr/bin/install -c checking whether ln -s works... yes checking for stdio.h... yes checking for stdlib.h... yes checking for string.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for strings.h... yes checking for sys/stat.h... yes checking for sys/types.h... yes checking for unistd.h... yes checking for sys/param.h... yes checking whether byte ordering is bigendian... no checking for inline... inline checking size of long... 8 checking size of void*... 8 checking for sys/ioctl_compat.h... no checking for sys/siginfo.h... no checking for termios.h... yes checking for malloc.h... yes checking for endian.h... yes checking for sys/endian.h... no checking for byteswap.h... yes checking for float.h... yes checking for getpagesize... yes checking for working mmap... yes checking for getpagesize... (cached) yes checking for mprotect... yes checking for sigaction... yes checking for mallopt... yes checking for fgetc... yes checking for gcc options needed to detect all undeclared functions... -fno-builtin checking whether htole32 is declared... yes checking whether bswap_32 is declared... yes checking for atanh... yes checking for acosh... yes checking for asinh... yes checking for socklen_t... yes checking if struct sigcontext needs asm/sigcontext.h... no checking for sigsetjmp... yes checking for a working sigaction... yes checking constructors execution order... first to last checking for socket... yes checking for gethostbyname... yes DIRECTORIES --> Installation: /usr/lib/gprolog --> Link to binaries: /usr/bin --> Documentation: /usr/share/doc/gprolog-doc --> HTML documentation: /usr/share/doc/gprolog-doc/gprolog.html --> Examples: /usr/share/doc/gprolog-doc/examples configure: creating ./config.status config.status: creating Makefile config.status: creating TopComp/Makefile config.status: creating Pl2Wam/Makefile config.status: creating Wam2Ma/Makefile config.status: creating Ma2Asm/Makefile config.status: creating Fd2C/Makefile config.status: creating Linedit/Makefile config.status: creating W32GUICons/Makefile config.status: creating EnginePl/Makefile config.status: creating BipsPl/Makefile config.status: creating EngineFD/Makefile config.status: creating BipsFD/Makefile config.status: creating Ma2Asm/FromC/Makefile config.status: creating EnginePl/gp_config.h configure: WARNING: unrecognized options: --without-links touch stamp-config dh_testdir PATH=/<>/src/TopComp:/<>/src/EnginePl:/<>/src/Pl2Wam:/<>/src/Wam2Ma:/<>/src/Ma2Asm:/<>/src/Fd2C:/<>/src/DevUtils::/usr/bin:/bin make -C doc pdf html make[1]: Entering directory '/<>/doc' ./do_latex -pdf gprolog.tex This is pdfTeX, Version 3.141592653-2.6-1.40.22 (TeX Live 2022/dev/Debian) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./gprolog.tex LaTeX2e <2021-06-01> patch level 1 L3 programming layer <2021-08-27> (./packages.tex (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2021/02/12 v1.4n Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo)) (./hevea.sty (/usr/share/texlive/texmf-dist/tex/latex/comment/comment.sty Excluding comment 'comment') Excluding comment 'rawhtml' Excluding comment 'htmlonly') (/usr/share/texlive/texmf-dist/tex/latex/ntgclass/a4.sty) (/usr/share/texlive/texmf-dist/tex/latex/tools/calc.sty) (/usr/share/texlive/texmf-dist/tex/latex/tools/multicol.sty) (/usr/share/texlive/texmf-dist/tex/latex/tools/tabularx.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/array.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/makeidx.sty) (/usr/share/texlive/texmf-dist/tex/latex/fancyhdr/fancyhdr.sty) (/usr/share/texlive/texmf-dist/tex/latex/supertabular/supertabular.sty) (/usr/share/texlive/texmf-dist/tex/generic/iftex/ifpdf.sty (/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty) (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty) (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg) (/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def))) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty (/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty)) (/usr/share/texlive/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty) (/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty) (/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty) (/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref-langpatches.def) (/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty) (/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def) Package hyperref Warning: Unexpected value for option `pdftex' (hyperref) is ignored on input line 4073. (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty) (/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty (/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def (/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty) (/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty (/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty)))) (./macros.tex) (./body.tex Writing index file gprolog.idx (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def) No file gprolog.aux. (/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] ) (/usr/share/texlive/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty (/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty) (/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty)) (./cover.tex (./version_no.tex) [1{/var/lib/texmf/fonts/map/pdftex/updmap/pdfte x.map} <./logo.pdf>] (./copyright.tex) [2]) (./tbl-contents.tex)pdfTeX warning (ext4): destination with the same identifier (name{page.1}) has been already us ed, duplicate ignored \relax l.6 \cleardoublepage \input{acknow.tex} [1]pdfTeX warning (ext4): destination w ith the same identifier (name{page.2}) has been already used, duplicate ignored \relax l.6 \cleardoublepage \input{acknow.tex} [2] (./acknow.tex [3]) [4] (./intro.tex LaTeX Warning: Citation `gnu-prolog' on page 5 undefined on input line 37. LaTeX Warning: Citation `Warren83' on page 5 undefined on input line 44. LaTeX Warning: Citation `Ait-Kaci91' on page 5 undefined on input line 44. LaTeX Warning: Citation `iso-part1' on page 5 undefined on input line 57. LaTeX Warning: Citation `wamcc' on page 5 undefined on input line 75. [5] LaTeX Warning: Citation `long-clp-fd' on page 6 undefined on input line 82. ) [6] (./use.tex LaTeX Warning: Reference `Debugging' on page 7 undefined on input line 18. LaTeX Warning: Reference `Debugging' on page 7 undefined on input line 18. LaTeX Warning: Reference `Generating-a-new-interactive-interpreter' on page 7 u ndefined on input line 32. LaTeX Warning: Reference `Generating-a-new-interactive-interpreter' on page 7 u ndefined on input line 32. LaTeX Warning: Reference `abort/0' on page 7 undefined on input line 65. LaTeX Warning: Reference `abort/0' on page 7 undefined on input line 65. LaTeX Warning: Reference `abort/0' on page 7 undefined on input line 81. LaTeX Warning: Reference `abort/0' on page 7 undefined on input line 81. LaTeX Warning: Reference `argument-value/2' on page 7 undefined on input line 8 7. LaTeX Warning: Reference `argument-value/2' on page 7 undefined on input line 8 7. LaTeX Warning: Reference `argument-list/1' on page 7 undefined on input line 88 . LaTeX Warning: Reference `argument-list/1' on page 7 undefined on input line 88 . [7] LaTeX Warning: Reference `set-prolog-flag/2' on page 8 undefined on input line 130. LaTeX Warning: Reference `set-prolog-flag/2' on page 8 undefined on input line 130. [8] [9] LaTeX Warning: Reference `Variable-naming/numbering' on page 10 undefined on in put line 274. LaTeX Warning: Reference `Variable-naming/numbering' on page 10 undefined on in put line 274. LaTeX Warning: Reference `write-term/3' on page 10 undefined on input line 277. LaTeX Warning: Reference `write-term/3' on page 10 undefined on input line 277. (/usr/share/texlive/texmf-dist/tex/latex/base/ts1cmtt.fd) LaTeX Warning: Reference `user-time/1' on page 10 undefined on input line 305. LaTeX Warning: Reference `user-time/1' on page 10 undefined on input line 305. LaTeX Warning: Reference `Introduction:(Using-GNU-Prolog)' on page 10 undefined on input line 328. LaTeX Warning: Reference `Introduction:(Using-GNU-Prolog)' on page 10 undefined on input line 328. LaTeX Warning: Reference `Different-kinds-of-codes' on page 10 undefined on inp ut line 329. LaTeX Warning: Reference `Different-kinds-of-codes' on page 10 undefined on inp ut line 329. [10] LaTeX Warning: Reference `consult/1' on page 11 undefined on input line 332. LaTeX Warning: Reference `consult/1' on page 11 undefined on input line 332. LaTeX Warning: Reference `consult/1' on page 11 undefined on input line 367. LaTeX Warning: Reference `consult/1' on page 11 undefined on input line 367. LaTeX Warning: Reference `The-GNU-Prolog-compiler' on page 11 undefined on inpu t line 368. LaTeX Warning: Reference `The-GNU-Prolog-compiler' on page 11 undefined on inpu t line 368. LaTeX Warning: Reference `load/1' on page 11 undefined on input line 372. LaTeX Warning: Reference `load/1' on page 11 undefined on input line 372. LaTeX Warning: Reference `Running-and-stopping-the-debugger' on page 11 undefin ed on input line 391. LaTeX Warning: Reference `Running-and-stopping-the-debugger' on page 11 undefin ed on input line 391. [11] LaTeX Warning: Reference `abort/0' on page 12 undefined on input line 442. LaTeX Warning: Reference `abort/0' on page 12 undefined on input line 442. LaTeX Warning: Reference `abort/0' on page 12 undefined on input line 447. LaTeX Warning: Reference `abort/0' on page 12 undefined on input line 447. LaTeX Warning: Reference `abort/0' on page 12 undefined on input line 452. LaTeX Warning: Reference `abort/0' on page 12 undefined on input line 452. LaTeX Warning: Reference `Running-and-stopping-the-debugger' on page 12 undefin ed on input line 461. LaTeX Warning: Reference `Running-and-stopping-the-debugger' on page 12 undefin ed on input line 461. LaTeX Warning: Reference `Running-and-stopping-the-debugger' on page 12 undefin ed on input line 466. LaTeX Warning: Reference `Running-and-stopping-the-debugger' on page 12 undefin ed on input line 466. LaTeX Warning: Reference `Interrupting-a-query' on page 12 undefined on input l ine 608. LaTeX Warning: Reference `Interrupting-a-query' on page 12 undefined on input l ine 608. [12] [13] LaTeX Warning: Reference `statistics/2' on page 14 undefined on input line 715. LaTeX Warning: Reference `statistics/2' on page 14 undefined on input line 715. LaTeX Warning: Reference `set-prolog-flag/2' on page 14 undefined on input line 716. LaTeX Warning: Reference `set-prolog-flag/2' on page 14 undefined on input line 716. [14] LaTeX Warning: Reference `Using-the-compiler' on page 15 undefined on input lin e 779. LaTeX Warning: Reference `Using-the-compiler' on page 15 undefined on input lin e 779. LaTeX Warning: Reference `Consulting-a-Prolog-program' on page 15 undefined on input line 799. LaTeX Warning: Reference `Consulting-a-Prolog-program' on page 15 undefined on input line 799. LaTeX Warning: Reference `call/1' on page 15 undefined on input line 802. LaTeX Warning: Reference `call/1' on page 15 undefined on input line 802. LaTeX Warning: Citation `Warren83' on page 15 undefined on input line 832. LaTeX Warning: Citation `Ait-Kaci91' on page 15 undefined on input line 835. [15] [16 <./compil-scheme.pdf>] LaTeX Warning: Reference `load/1' on page 17 undefined on input line 901. LaTeX Warning: Reference `load/1' on page 17 undefined on input line 901. LaTeX Warning: Reference `consult/1' on page 17 undefined on input line 902. LaTeX Warning: Reference `consult/1' on page 17 undefined on input line 902. LaTeX Warning: Reference `Consulting-a-Prolog-program' on page 17 undefined on input line 902. LaTeX Warning: Reference `Consulting-a-Prolog-program' on page 17 undefined on input line 902. LaTeX Warning: Reference `Compilation-scheme' on page 17 undefined on input lin e 914. LaTeX Warning: Reference `Compilation-scheme' on page 17 undefined on input lin e 914. [17] [18] LaTeX Warning: Reference `load/1' on page 19 undefined on input line 1118. LaTeX Warning: Reference `load/1' on page 19 undefined on input line 1118. LaTeX Warning: Reference `write-pl-state-file/1' on page 19 undefined on input line 1124. LaTeX Warning: Reference `write-pl-state-file/1' on page 19 undefined on input line 1124. LaTeX Warning: Reference `Name-mangling-scheme' on page 19 undefined on input l ine 1160. LaTeX Warning: Reference `Name-mangling-scheme' on page 19 undefined on input l ine 1160. [19] LaTeX Warning: Reference `Adjusting-the-size-of-Prolog-stacks' on page 20 undef ined on input line 1171. LaTeX Warning: Reference `Adjusting-the-size-of-Prolog-stacks' on page 20 undef ined on input line 1171. LaTeX Warning: Reference `The-GNU-Prolog-interactive-interpreter' on page 20 un defined on input line 1174. LaTeX Warning: Reference `The-GNU-Prolog-interactive-interpreter' on page 20 un defined on input line 1174. LaTeX Warning: Reference `initialization/1' on page 20 undefined on input line 1176. LaTeX Warning: Reference `initialization/1' on page 20 undefined on input line 1176. LaTeX Warning: Reference `op/3' on page 20 undefined on input line 1231. LaTeX Warning: Reference `op/3' on page 20 undefined on input line 1231. LaTeX Warning: Reference `initialization/1' on page 20 undefined on input line 1236. LaTeX Warning: Reference `initialization/1' on page 20 undefined on input line 1236. [20] LaTeX Warning: Reference `The-GNU-Prolog-interactive-interpreter' on page 21 un defined on input line 1267. LaTeX Warning: Reference `The-GNU-Prolog-interactive-interpreter' on page 21 un defined on input line 1267. LaTeX Warning: Reference `Interfacing-Prolog-and-C' on page 21 undefined on inp ut line 1279. LaTeX Warning: Reference `Interfacing-Prolog-and-C' on page 21 undefined on inp ut line 1279. LaTeX Warning: Reference `Using-the-compiler' on page 21 undefined on input lin e 1293. LaTeX Warning: Reference `Using-the-compiler' on page 21 undefined on input lin e 1293. LaTeX Warning: Reference `The-GNU-Prolog-interactive-interpreter' on page 21 un defined on input line 1311. LaTeX Warning: Reference `The-GNU-Prolog-interactive-interpreter' on page 21 un defined on input line 1311. [21] Overfull \hbox (2.77197pt too wide) in paragraph at lines 1363--1366 []\OT1/cmr/m/n/10 an hex-adec-i-mal rep-re-sen-ta-tion of each char-ac-ter of t he string oth-er-wise. For ex-am-ple: \OT1/cmr/m/it/10 E(\OT1/cmtt/m/n/10 x+y=z \OT1/cmr/m/it/10 ) LaTeX Warning: Reference `Using-the-compiler' on page 22 undefined on input lin e 1397. LaTeX Warning: Reference `Using-the-compiler' on page 22 undefined on input lin e 1397. [22]) [23] [24] (./debugger.tex LaTeX Warning: Citation `Clock' on page 25 undefined on input line 21. LaTeX Warning: Reference `catch/3' on page 25 undefined on input line 28. LaTeX Warning: Reference `catch/3' on page 25 undefined on input line 28. LaTeX Warning: Reference `catch/3' on page 25 undefined on input line 30. LaTeX Warning: Reference `catch/3' on page 25 undefined on input line 30. [25 <./debug-box.pdf>] LaTeX Warning: Reference `The-WAM-debugger' on page 26 undefined on input line 78. LaTeX Warning: Reference `The-WAM-debugger' on page 26 undefined on input line 78. LaTeX Warning: Reference `Debugger-commands' on page 26 undefined on input line 79. LaTeX Warning: Reference `Debugger-commands' on page 26 undefined on input line 79. LaTeX Warning: Reference `Debugger-commands' on page 26 undefined on input line 123. LaTeX Warning: Reference `Debugger-commands' on page 26 undefined on input line 123. [26] LaTeX Warning: Reference `write-term/3' on page 27 undefined on input line 190. LaTeX Warning: Reference `write-term/3' on page 27 undefined on input line 190. LaTeX Warning: Reference `Debugger-commands' on page 27 undefined on input line 192. LaTeX Warning: Reference `Debugger-commands' on page 27 undefined on input line 192. LaTeX Warning: Reference `Leashing-ports' on page 27 undefined on input line 20 6. LaTeX Warning: Reference `Leashing-ports' on page 27 undefined on input line 20 6. LaTeX Warning: Reference `write-term/3' on page 27 undefined on input line 247. LaTeX Warning: Reference `write-term/3' on page 27 undefined on input line 247. LaTeX Warning: Reference `write-term/3' on page 27 undefined on input line 253. LaTeX Warning: Reference `write-term/3' on page 27 undefined on input line 253. LaTeX Warning: Reference `write-term/3' on page 27 undefined on input line 258. LaTeX Warning: Reference `write-term/3' on page 27 undefined on input line 258. LaTeX Warning: Reference `Running-and-stopping-the-debugger' on page 27 undefin ed on input line 289. LaTeX Warning: Reference `Running-and-stopping-the-debugger' on page 27 undefin ed on input line 289. LaTeX Warning: Reference `Running-and-stopping-the-debugger' on page 27 undefin ed on input line 294. LaTeX Warning: Reference `Running-and-stopping-the-debugger' on page 27 undefin ed on input line 294. LaTeX Warning: Reference `Spy-points' on page 27 undefined on input line 299. LaTeX Warning: Reference `Spy-points' on page 27 undefined on input line 299. LaTeX Warning: Reference `Spy-points' on page 27 undefined on input line 304. LaTeX Warning: Reference `Spy-points' on page 27 undefined on input line 304. LaTeX Warning: Reference `Spy-points' on page 27 undefined on input line 311. LaTeX Warning: Reference `Spy-points' on page 27 undefined on input line 311. LaTeX Warning: Reference `listing/1' on page 27 undefined on input line 316. LaTeX Warning: Reference `listing/1' on page 27 undefined on input line 316. LaTeX Warning: Reference `abort/0' on page 27 undefined on input line 321. LaTeX Warning: Reference `abort/0' on page 27 undefined on input line 321. LaTeX Warning: Reference `abort/0' on page 27 undefined on input line 326. LaTeX Warning: Reference `abort/0' on page 27 undefined on input line 326. LaTeX Warning: Reference `The-WAM-debugger' on page 27 undefined on input line 344. LaTeX Warning: Reference `The-WAM-debugger' on page 27 undefined on input line 344. [27] LaTeX Warning: Reference `Running-and-stopping-the-debugger' on page 28 undefin ed on input line 354. LaTeX Warning: Reference `Running-and-stopping-the-debugger' on page 28 undefin ed on input line 354. LaTeX Warning: Reference `Debugger-commands' on page 28 undefined on input line 354. LaTeX Warning: Reference `Debugger-commands' on page 28 undefined on input line 354. LaTeX Warning: Reference `write-term/3' on page 28 undefined on input line 366. LaTeX Warning: Reference `write-term/3' on page 28 undefined on input line 366. [28]) [29] [30] (./format-defs.tex LaTeX Warning: Reference `Types-and-modes' on page 31 undefined on input line 1 1. LaTeX Warning: Reference `Types-and-modes' on page 31 undefined on input line 1 1. LaTeX Warning: Reference `Errors' on page 31 undefined on input line 23. LaTeX Warning: Reference `Errors' on page 31 undefined on input line 23. LaTeX Warning: Reference `atom-property/2' on page 31 undefined on input line 7 1. LaTeX Warning: Reference `atom-property/2' on page 31 undefined on input line 7 1. LaTeX Warning: Reference `close/2' on page 31 undefined on input line 99. LaTeX Warning: Reference `close/2' on page 31 undefined on input line 99. LaTeX Warning: Reference `Evaluation-of-an-arithmetic-expression' on page 31 un defined on input line 107. LaTeX Warning: Reference `Evaluation-of-an-arithmetic-expression' on page 31 un defined on input line 107. LaTeX Warning: Reference `Boolean-FD-expressions' on page 31 undefined on input line 111. LaTeX Warning: Reference `Boolean-FD-expressions' on page 31 undefined on input line 111. LaTeX Warning: Reference `fd-labeling/2' on page 31 undefined on input line 115 . LaTeX Warning: Reference `fd-labeling/2' on page 31 undefined on input line 115 . LaTeX Warning: Reference `FD-arithmetic-expressions' on page 31 undefined on in put line 120. LaTeX Warning: Reference `FD-arithmetic-expressions' on page 31 undefined on in put line 120. LaTeX Warning: Reference `set-prolog-flag/2' on page 31 undefined on input line 128. LaTeX Warning: Reference `set-prolog-flag/2' on page 31 undefined on input line 128. LaTeX Warning: Reference `op/3:(Term-input/output)' on page 31 undefined on inp ut line 177. LaTeX Warning: Reference `op/3:(Term-input/output)' on page 31 undefined on inp ut line 177. LaTeX Warning: Reference `file-property/2' on page 31 undefined on input line 1 81. LaTeX Warning: Reference `file-property/2' on page 31 undefined on input line 1 81. LaTeX Warning: Reference `set-prolog-flag/2' on page 31 undefined on input line 189. LaTeX Warning: Reference `set-prolog-flag/2' on page 31 undefined on input line 189. LaTeX Warning: Reference `predicate-property/2' on page 31 undefined on input l ine 193. LaTeX Warning: Reference `predicate-property/2' on page 31 undefined on input l ine 193. LaTeX Warning: Reference `read-term/3' on page 31 undefined on input line 197. LaTeX Warning: Reference `read-term/3' on page 31 undefined on input line 197. LaTeX Warning: Reference `open/4' on page 31 undefined on input line 221. LaTeX Warning: Reference `open/4' on page 31 undefined on input line 221. LaTeX Warning: Reference `stream-property/2' on page 31 undefined on input line 235. LaTeX Warning: Reference `stream-property/2' on page 31 undefined on input line 235. LaTeX Warning: Reference `bind-variables/2' on page 31 undefined on input line 249. LaTeX Warning: Reference `bind-variables/2' on page 31 undefined on input line 249. LaTeX Warning: Reference `write-term/3' on page 31 undefined on input line 253. LaTeX Warning: Reference `write-term/3' on page 31 undefined on input line 253. [31] [32] LaTeX Warning: Reference `catch/3' on page 33 undefined on input line 271. LaTeX Warning: Reference `catch/3' on page 33 undefined on input line 271. LaTeX Warning: Reference `catch/3' on page 33 undefined on input line 272. LaTeX Warning: Reference `catch/3' on page 33 undefined on input line 272. LaTeX Warning: Reference `set-bip-name/2' on page 33 undefined on input line 29 5. LaTeX Warning: Reference `set-bip-name/2' on page 33 undefined on input line 29 5. LaTeX Warning: Reference `current-bip-name/2' on page 33 undefined on input lin e 296. LaTeX Warning: Reference `current-bip-name/2' on page 33 undefined on input lin e 296. LaTeX Warning: Reference `General-format-and-error-context' on page 33 undefine d on input line 329. LaTeX Warning: Reference `General-format-and-error-context' on page 33 undefine d on input line 329. Overfull \hbox (3.91423pt too wide) in paragraph at lines 333--338 \OT1/cmr/m/n/10 com-po-nent as vari-able is re-quired. \OT1/cmtt/m/it/10 ErrorT erm \OT1/cmr/m/n/10 has the fol-low-ing form: \OT1/cmtt/m/n/10 uninstantiation[ ]error(\OT1/cmtt/m/it/10 Culprit\OT1/cmtt/m/n/10 ) [33] LaTeX Warning: Reference `General-format-and-error-context' on page 34 undefine d on input line 340. LaTeX Warning: Reference `General-format-and-error-context' on page 34 undefine d on input line 340. LaTeX Warning: Reference `General-format-and-error-context' on page 34 undefine d on input line 395. LaTeX Warning: Reference `General-format-and-error-context' on page 34 undefine d on input line 395. [34] LaTeX Warning: Reference `General-format-and-error-context' on page 35 undefine d on input line 487. LaTeX Warning: Reference `General-format-and-error-context' on page 35 undefine d on input line 487. LaTeX Warning: Reference `General-format-and-error-context' on page 35 undefine d on input line 509. LaTeX Warning: Reference `General-format-and-error-context' on page 35 undefine d on input line 509. LaTeX Warning: Reference `General-format-and-error-context' on page 35 undefine d on input line 568. LaTeX Warning: Reference `General-format-and-error-context' on page 35 undefine d on input line 568. [35] LaTeX Warning: Reference `General-format-and-error-context' on page 36 undefine d on input line 599. LaTeX Warning: Reference `General-format-and-error-context' on page 36 undefine d on input line 599. LaTeX Warning: Reference `General-format-and-error-context' on page 36 undefine d on input line 627. LaTeX Warning: Reference `General-format-and-error-context' on page 36 undefine d on input line 627. LaTeX Warning: Reference `General-format-and-error-context' on page 36 undefine d on input line 645. LaTeX Warning: Reference `General-format-and-error-context' on page 36 undefine d on input line 645. LaTeX Warning: Reference `General-format-and-error-context' on page 36 undefine d on input line 655. LaTeX Warning: Reference `General-format-and-error-context' on page 36 undefine d on input line 655. LaTeX Warning: Reference `General-format-and-error-context' on page 36 undefine d on input line 666. LaTeX Warning: Reference `General-format-and-error-context' on page 36 undefine d on input line 666. [36]) [37] [38] (./direct-cc.tex LaTeX Warning: Reference `Introduction:(Dynamic-clause-management)' on page 39 undefined on input line 38. LaTeX Warning: Reference `Introduction:(Dynamic-clause-management)' on page 39 undefined on input line 38. LaTeX Warning: Reference `Introduction:(Dynamic-clause-management)' on page 39 undefined on input line 69. LaTeX Warning: Reference `Introduction:(Dynamic-clause-management)' on page 39 undefined on input line 69. [39] [40] LaTeX Warning: Reference `Using-the-compiler' on page 41 undefined on input lin e 167. LaTeX Warning: Reference `Using-the-compiler' on page 41 undefined on input lin e 167. [41] LaTeX Warning: Reference `predicate-property/2' on page 42 undefined on input l ine 200. LaTeX Warning: Reference `predicate-property/2' on page 42 undefined on input l ine 200. LaTeX Warning: Reference `predicate-property/2' on page 42 undefined on input l ine 215. LaTeX Warning: Reference `predicate-property/2' on page 42 undefined on input l ine 215. LaTeX Warning: Reference `absolute-file-name/2' on page 42 undefined on input l ine 241. LaTeX Warning: Reference `absolute-file-name/2' on page 42 undefined on input l ine 241. [42] LaTeX Warning: Reference `expand-term/2' on page 43 undefined on input line 263 . LaTeX Warning: Reference `expand-term/2' on page 43 undefined on input line 263 . LaTeX Warning: Reference `op/3:(Term-input/output)' on page 43 undefined on inp ut line 304. LaTeX Warning: Reference `op/3:(Term-input/output)' on page 43 undefined on inp ut line 304. LaTeX Warning: Reference `Running-an-executable' on page 43 undefined on input line 306. LaTeX Warning: Reference `Running-an-executable' on page 43 undefined on input line 306. [43] LaTeX Warning: Reference `char-conversion/2' on page 44 undefined on input line 324. LaTeX Warning: Reference `char-conversion/2' on page 44 undefined on input line 324. LaTeX Warning: Reference `Running-an-executable' on page 44 undefined on input line 325. LaTeX Warning: Reference `Running-an-executable' on page 44 undefined on input line 325. LaTeX Warning: Reference `set-prolog-flag/2' on page 44 undefined on input line 343. LaTeX Warning: Reference `set-prolog-flag/2' on page 44 undefined on input line 343. LaTeX Warning: Reference `Running-an-executable' on page 44 undefined on input line 345. LaTeX Warning: Reference `Running-an-executable' on page 44 undefined on input line 345. LaTeX Warning: Reference `Running-an-executable' on page 44 undefined on input line 364. LaTeX Warning: Reference `Running-an-executable' on page 44 undefined on input line 364. LaTeX Warning: Reference `Calling-C-from-Prolog' on page 44 undefined on input line 384. LaTeX Warning: Reference `Calling-C-from-Prolog' on page 44 undefined on input line 384. [44] Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 426. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 426. [45] LaTeX Warning: Reference `op/3:(Term-input/output)' on page 46 undefined on inp ut line 468. LaTeX Warning: Reference `op/3:(Term-input/output)' on page 46 undefined on inp ut line 468. LaTeX Warning: Reference `set-prolog-flag/2' on page 46 undefined on input line 483. LaTeX Warning: Reference `set-prolog-flag/2' on page 46 undefined on input line 483. LaTeX Warning: Reference `true/0' on page 46 undefined on input line 503. LaTeX Warning: Reference `true/0' on page 46 undefined on input line 503. LaTeX Warning: Reference `set-prolog-flag/2' on page 46 undefined on input line 516. LaTeX Warning: Reference `set-prolog-flag/2' on page 46 undefined on input line 516. [46] LaTeX Warning: Reference `call/1' on page 47 undefined on input line 537. LaTeX Warning: Reference `call/1' on page 47 undefined on input line 537. LaTeX Warning: Reference `call/1' on page 47 undefined on input line 560. LaTeX Warning: Reference `call/1' on page 47 undefined on input line 560. LaTeX Warning: Reference `call/1' on page 47 undefined on input line 577. LaTeX Warning: Reference `call/1' on page 47 undefined on input line 577. ) [47] [48] (./pl-bips.tex Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 18. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 18. [49] LaTeX Warning: Reference `op/3:(Term-input/output)' on page 50 undefined on inp ut line 113. LaTeX Warning: Reference `op/3:(Term-input/output)' on page 50 undefined on inp ut line 113. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 139. [50] LaTeX Warning: Reference `op/3:(Term-input/output)' on page 51 undefined on inp ut line 150. LaTeX Warning: Reference `op/3:(Term-input/output)' on page 51 undefined on inp ut line 150. LaTeX Warning: Reference `Finite-Domain-variables' on page 51 undefined on inpu t line 171. LaTeX Warning: Reference `Finite-Domain-variables' on page 51 undefined on inpu t line 171. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 200. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 200. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 200. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 200. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 200. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 200. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 200. [51] LaTeX Warning: Reference `Standard-total-ordering-of-terms' on page 52 undefine d on input line 215. LaTeX Warning: Reference `Standard-total-ordering-of-terms' on page 52 undefine d on input line 215. LaTeX Warning: Reference `op/3:(Term-input/output)' on page 52 undefined on inp ut line 236. LaTeX Warning: Reference `op/3:(Term-input/output)' on page 52 undefined on inp ut line 236. LaTeX Warning: Reference `Standard-total-ordering-of-terms' on page 52 undefine d on input line 254. LaTeX Warning: Reference `Standard-total-ordering-of-terms' on page 52 undefine d on input line 254. [52] LaTeX Warning: Reference `set-prolog-flag/2' on page 53 undefined on input line 330. LaTeX Warning: Reference `set-prolog-flag/2' on page 53 undefined on input line 330. [53] LaTeX Warning: Reference `op/3:(Term-input/output)' on page 54 undefined on inp ut line 391. LaTeX Warning: Reference `op/3:(Term-input/output)' on page 54 undefined on inp ut line 391. LaTeX Warning: Reference `set-prolog-flag/2' on page 54 undefined on input line 417. LaTeX Warning: Reference `set-prolog-flag/2' on page 54 undefined on input line 417. [54] Underfull \hbox (badness 10000) in paragraph at lines 450--452 [55] LaTeX Warning: Reference `var/1' on page 56 undefined on input line 538. LaTeX Warning: Reference `var/1' on page 56 undefined on input line 538. [56] LaTeX Warning: Reference `write-term/3' on page 57 undefined on input line 650. LaTeX Warning: Reference `write-term/3' on page 57 undefined on input line 650. [57] LaTeX Warning: Reference `write-term/3' on page 58 undefined on input line 671. LaTeX Warning: Reference `write-term/3' on page 58 undefined on input line 671. LaTeX Warning: Reference `read-term/3' on page 58 undefined on input line 675. LaTeX Warning: Reference `read-term/3' on page 58 undefined on input line 675. LaTeX Warning: Reference `write-term/3' on page 58 undefined on input line 720. LaTeX Warning: Reference `write-term/3' on page 58 undefined on input line 720. LaTeX Warning: Reference `write-term/3' on page 58 undefined on input line 728. LaTeX Warning: Reference `write-term/3' on page 58 undefined on input line 728. [58] LaTeX Warning: Reference `read-term/3' on page 59 undefined on input line 756. LaTeX Warning: Reference `read-term/3' on page 59 undefined on input line 756. LaTeX Warning: Reference `name-query-vars/2' on page 59 undefined on input line 757. LaTeX Warning: Reference `name-query-vars/2' on page 59 undefined on input line 757. LaTeX Warning: Reference `term_variables/2-3' on page 59 undefined on input lin e 771. LaTeX Warning: Reference `term_variables/2-3' on page 59 undefined on input lin e 771. [59] [60] [61] LaTeX Warning: Reference `op/3:(Term-input/output)' on page 62 undefined on inp ut line 1184. LaTeX Warning: Reference `op/3:(Term-input/output)' on page 62 undefined on inp ut line 1184. LaTeX Warning: Reference `set-prolog-flag/2' on page 62 undefined on input line 1205. LaTeX Warning: Reference `set-prolog-flag/2' on page 62 undefined on input line 1205. LaTeX Warning: Reference `Using-the-compiler' on page 62 undefined on input lin e 1212. LaTeX Warning: Reference `Using-the-compiler' on page 62 undefined on input lin e 1212. [62] LaTeX Warning: Reference `Evaluation-of-an-arithmetic-expression' on page 63 un defined on input line 1259. LaTeX Warning: Reference `Evaluation-of-an-arithmetic-expression' on page 63 un defined on input line 1259. LaTeX Warning: Reference `op/3:(Term-input/output)' on page 63 undefined on inp ut line 1261. LaTeX Warning: Reference `op/3:(Term-input/output)' on page 63 undefined on inp ut line 1261. LaTeX Warning: Reference `Evaluation-of-an-arithmetic-expression' on page 63 un defined on input line 1266. LaTeX Warning: Reference `Evaluation-of-an-arithmetic-expression' on page 63 un defined on input line 1266. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 1277. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 1277. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 1277. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 1277. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 1277. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 1277. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 1277. [63] LaTeX Warning: Reference `Evaluation-of-an-arithmetic-expression' on page 64 un defined on input line 1310. LaTeX Warning: Reference `Evaluation-of-an-arithmetic-expression' on page 64 un defined on input line 1310. LaTeX Warning: Reference `op/3:(Term-input/output)' on page 64 undefined on inp ut line 1314. LaTeX Warning: Reference `op/3:(Term-input/output)' on page 64 undefined on inp ut line 1314. LaTeX Warning: Reference `Evaluation-of-an-arithmetic-expression' on page 64 un defined on input line 1319. LaTeX Warning: Reference `Evaluation-of-an-arithmetic-expression' on page 64 un defined on input line 1319. LaTeX Warning: Reference `dynamic/1' on page 64 undefined on input line 1370. LaTeX Warning: Reference `dynamic/1' on page 64 undefined on input line 1370. [64] LaTeX Warning: Reference `public/1' on page 65 undefined on input line 1378. LaTeX Warning: Reference `public/1' on page 65 undefined on input line 1378. LaTeX Warning: Reference `Introduction:(Dynamic-clause-management)' on page 65 undefined on input line 1405. LaTeX Warning: Reference `Introduction:(Dynamic-clause-management)' on page 65 undefined on input line 1405. [65] LaTeX Warning: Reference `Introduction:(Dynamic-clause-management)' on page 66 undefined on input line 1480. LaTeX Warning: Reference `Introduction:(Dynamic-clause-management)' on page 66 undefined on input line 1480. LaTeX Warning: Reference `abolish/1' on page 66 undefined on input line 1482. LaTeX Warning: Reference `abolish/1' on page 66 undefined on input line 1482. LaTeX Warning: Reference `Introduction:(Dynamic-clause-management)' on page 66 undefined on input line 1518. LaTeX Warning: Reference `Introduction:(Dynamic-clause-management)' on page 66 undefined on input line 1518. LaTeX Warning: Reference `current-predicate/1' on page 66 undefined on input li ne 1520. LaTeX Warning: Reference `current-predicate/1' on page 66 undefined on input li ne 1520. LaTeX Warning: Reference `abolish/1' on page 66 undefined on input line 1521. LaTeX Warning: Reference `abolish/1' on page 66 undefined on input line 1521. [66] LaTeX Warning: Reference `Introduction:(Dynamic-clause-management)' on page 67 undefined on input line 1552. LaTeX Warning: Reference `Introduction:(Dynamic-clause-management)' on page 67 undefined on input line 1552. LaTeX Warning: Reference `Introduction:(Dynamic-clause-management)' on page 67 undefined on input line 1587. LaTeX Warning: Reference `Introduction:(Dynamic-clause-management)' on page 67 undefined on input line 1587. LaTeX Warning: Reference `set-prolog-flag/2' on page 67 undefined on input line 1614. LaTeX Warning: Reference `set-prolog-flag/2' on page 67 undefined on input line 1614. [67] LaTeX Warning: Reference `set-prolog-flag/2' on page 68 undefined on input line 1645. LaTeX Warning: Reference `set-prolog-flag/2' on page 68 undefined on input line 1645. LaTeX Warning: Reference `set-prolog-flag/2' on page 68 undefined on input line 1666. LaTeX Warning: Reference `set-prolog-flag/2' on page 68 undefined on input line 1666. [68] Overfull \hbox (10.78409pt too wide) in paragraph at lines 1684--1689 []\OT1/cmtt/m/n/10 predicate[]property(Head, Property) \OT1/cmr/m/n/10 suc-ceed s if \OT1/cmtt/m/n/10 Head \OT1/cmr/m/n/10 refers to a pred-i-cate that has a p rop-erty \OT1/cmtt/m/n/10 Property\OT1/cmr/m/n/10 . LaTeX Warning: Reference `control-construct' on page 69 undefined on input line 1717. LaTeX Warning: Reference `control-construct' on page 69 undefined on input line 1717. [69] LaTeX Warning: Reference `call/1' on page 70 undefined on input line 1785. LaTeX Warning: Reference `call/1' on page 70 undefined on input line 1785. LaTeX Warning: Reference `set-prolog-flag/2' on page 70 undefined on input line 1823. LaTeX Warning: Reference `set-prolog-flag/2' on page 70 undefined on input line 1823. [70] LaTeX Warning: Reference `op/3:(Term-input/output)' on page 71 undefined on inp ut line 1864. LaTeX Warning: Reference `op/3:(Term-input/output)' on page 71 undefined on inp ut line 1864. LaTeX Warning: Reference `sort/2' on page 71 undefined on input line 1872. LaTeX Warning: Reference `sort/2' on page 71 undefined on input line 1872. LaTeX Warning: Reference `set-prolog-flag/2' on page 71 undefined on input line 1884. LaTeX Warning: Reference `set-prolog-flag/2' on page 71 undefined on input line 1884. LaTeX Warning: Reference `open/4' on page 71 undefined on input line 1914. LaTeX Warning: Reference `open/4' on page 71 undefined on input line 1914. LaTeX Warning: Reference `Constant-term-streams' on page 71 undefined on input line 1917. LaTeX Warning: Reference `Constant-term-streams' on page 71 undefined on input line 1917. LaTeX Warning: Reference `popen/3' on page 71 undefined on input line 1919. LaTeX Warning: Reference `popen/3' on page 71 undefined on input line 1919. LaTeX Warning: Reference `socket-connect/4' on page 71 undefined on input line 1922. LaTeX Warning: Reference `socket-connect/4' on page 71 undefined on input line 1922. [71] LaTeX Warning: Reference `add-stream-alias/2' on page 72 undefined on input lin e 1932. LaTeX Warning: Reference `add-stream-alias/2' on page 72 undefined on input lin e 1932. LaTeX Warning: Reference `set-input/1' on page 72 undefined on input line 1949. LaTeX Warning: Reference `set-input/1' on page 72 undefined on input line 1949. LaTeX Warning: Reference `set-output/1' on page 72 undefined on input line 1950 . LaTeX Warning: Reference `set-output/1' on page 72 undefined on input line 1950 . LaTeX Warning: Reference `Byte-input/output' on page 72 undefined on input line 1962. LaTeX Warning: Reference `Byte-input/output' on page 72 undefined on input line 1962. LaTeX Warning: Reference `set-stream-position/2' on page 72 undefined on input line 1971. LaTeX Warning: Reference `set-stream-position/2' on page 72 undefined on input line 1971. LaTeX Warning: Reference `set-stream-buffering/2' on page 72 undefined on input line 1984. LaTeX Warning: Reference `set-stream-buffering/2' on page 72 undefined on input line 1984. LaTeX Warning: Reference `flush-output/1' on page 72 undefined on input line 19 94. LaTeX Warning: Reference `flush-output/1' on page 72 undefined on input line 19 94. LaTeX Warning: Reference `wait/2' on page 72 undefined on input line 1998. LaTeX Warning: Reference `wait/2' on page 72 undefined on input line 1998. [72] LaTeX Warning: Reference `add-stream-mirror/2' on page 73 undefined on input li ne 2002. LaTeX Warning: Reference `add-stream-mirror/2' on page 73 undefined on input li ne 2002. LaTeX Warning: Reference `remove-stream-mirror/2' on page 73 undefined on input line 2007. LaTeX Warning: Reference `remove-stream-mirror/2' on page 73 undefined on input line 2007. [73] [74] LaTeX Warning: Reference `absolute-file-name/2' on page 75 undefined on input l ine 2137. LaTeX Warning: Reference `absolute-file-name/2' on page 75 undefined on input l ine 2137. [75] LaTeX Warning: Reference `Constant-term-streams' on page 76 undefined on input line 2344. LaTeX Warning: Reference `Constant-term-streams' on page 76 undefined on input line 2344. [76] [77] LaTeX Warning: Reference `current-stream/1' on page 78 undefined on input line 2426. LaTeX Warning: Reference `current-stream/1' on page 78 undefined on input line 2426. Overfull \hbox (11.06343pt too wide) in paragraph at lines 2425--2429 []\OT1/cmtt/m/n/10 stream[]property(Stream, Property) \OT1/cmr/m/n/10 suc-ceeds if \OT1/cmtt/m/n/10 current[]stream(Stream) \OT1/cmr/m/n/10 suc-ceeds (sec-tio n [], page []) [78] LaTeX Warning: Reference `stream-property/2' on page 79 undefined on input line 2510. LaTeX Warning: Reference `stream-property/2' on page 79 undefined on input line 2510. LaTeX Warning: Reference `stream-property/2' on page 79 undefined on input line 2547. LaTeX Warning: Reference `stream-property/2' on page 79 undefined on input line 2547. [79] LaTeX Warning: Reference `stream-property/2' on page 80 undefined on input line 2581. LaTeX Warning: Reference `stream-property/2' on page 80 undefined on input line 2581. LaTeX Warning: Reference `stream-position/2' on page 80 undefined on input line 2582. LaTeX Warning: Reference `stream-position/2' on page 80 undefined on input line 2582. [80] [81] LaTeX Warning: Reference `line-count/2' on page 82 undefined on input line 2801 . LaTeX Warning: Reference `line-count/2' on page 82 undefined on input line 2801 . LaTeX Warning: Reference `line-position/2' on page 82 undefined on input line 2 802. LaTeX Warning: Reference `line-position/2' on page 82 undefined on input line 2 802. [82] [83] LaTeX Warning: Reference `current-stream/1' on page 84 undefined on input line 2929. LaTeX Warning: Reference `current-stream/1' on page 84 undefined on input line 2929. LaTeX Warning: Reference `stream-property/2' on page 84 undefined on input line 2931. LaTeX Warning: Reference `stream-property/2' on page 84 undefined on input line 2931. LaTeX Warning: Reference `remove-stream-mirror/2' on page 84 undefined on input line 2963. LaTeX Warning: Reference `remove-stream-mirror/2' on page 84 undefined on input line 2963. [84] LaTeX Warning: Reference `current-stream/1' on page 85 undefined on input line 3047. LaTeX Warning: Reference `current-stream/1' on page 85 undefined on input line 3047. LaTeX Warning: Reference `stream-property/2' on page 85 undefined on input line 3049. LaTeX Warning: Reference `stream-property/2' on page 85 undefined on input line 3049. [85] LaTeX Warning: Reference `open/4' on page 86 undefined on input line 3077. LaTeX Warning: Reference `open/4' on page 86 undefined on input line 3077. LaTeX Warning: Reference `open/4' on page 86 undefined on input line 3119. LaTeX Warning: Reference `open/4' on page 86 undefined on input line 3119. [86] LaTeX Warning: Reference `open/4' on page 87 undefined on input line 3160. LaTeX Warning: Reference `open/4' on page 87 undefined on input line 3160. LaTeX Warning: Reference `Input/output-from/to-constant-terms' on page 87 undef ined on input line 3203. LaTeX Warning: Reference `Input/output-from/to-constant-terms' on page 87 undef ined on input line 3203. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 3207. [87] Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 3275. LaTeX Warning: Reference `Introduction:(Constant-term-streams)' on page 88 unde fined on input line 3289. LaTeX Warning: Reference `Introduction:(Constant-term-streams)' on page 88 unde fined on input line 3289. [88] Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 3323. LaTeX Warning: Reference `close-output-atom-stream/2' on page 89 undefined on i nput line 3339. LaTeX Warning: Reference `close-output-atom-stream/2' on page 89 undefined on i nput line 3339. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 3362. [89] LaTeX Warning: Reference `open-output-atom-stream/1' on page 90 undefined on in put line 3377. LaTeX Warning: Reference `open-output-atom-stream/1' on page 90 undefined on in put line 3377. [90] LaTeX Warning: Reference `The-line-editor' on page 91 undefined on input line 3 526. LaTeX Warning: Reference `The-line-editor' on page 91 undefined on input line 3 526. LaTeX Warning: Reference `get-char/2' on page 91 undefined on input line 3527. LaTeX Warning: Reference `get-char/2' on page 91 undefined on input line 3527. [91] [92] LaTeX Warning: Reference `set-prolog-flag/2' on page 93 undefined on input line 3652. LaTeX Warning: Reference `set-prolog-flag/2' on page 93 undefined on input line 3652. [93] [94] [95] LaTeX Warning: Reference `set-prolog-flag/2' on page 96 undefined on input line 3884. LaTeX Warning: Reference `set-prolog-flag/2' on page 96 undefined on input line 3884. LaTeX Warning: Reference `op/3:(Term-input/output)' on page 96 undefined on inp ut line 3967. LaTeX Warning: Reference `op/3:(Term-input/output)' on page 96 undefined on inp ut line 3967. LaTeX Warning: Reference `char-conversion/2' on page 96 undefined on input line 3968. LaTeX Warning: Reference `char-conversion/2' on page 96 undefined on input line 3968. LaTeX Warning: Reference `set-prolog-flag/2' on page 96 undefined on input line 3970. LaTeX Warning: Reference `set-prolog-flag/2' on page 96 undefined on input line 3970. LaTeX Warning: Reference `set-prolog-flag/2' on page 96 undefined on input line 3972. LaTeX Warning: Reference `set-prolog-flag/2' on page 96 undefined on input line 3972. [96] LaTeX Warning: Reference `set-prolog-flag/2' on page 97 undefined on input line 4034. LaTeX Warning: Reference `set-prolog-flag/2' on page 97 undefined on input line 4034. LaTeX Warning: Reference `read-term-from-atom/3' on page 97 undefined on input line 4040. LaTeX Warning: Reference `read-term-from-atom/3' on page 97 undefined on input line 4040. LaTeX Warning: Reference `set-prolog-flag/2' on page 97 undefined on input line 4083. LaTeX Warning: Reference `set-prolog-flag/2' on page 97 undefined on input line 4083. [97] Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 4104. LaTeX Warning: Reference `set-prolog-flag/2' on page 98 undefined on input line 4166. LaTeX Warning: Reference `set-prolog-flag/2' on page 98 undefined on input line 4166. [98] LaTeX Warning: Reference `Term-input/output' on page 99 undefined on input line 4221. LaTeX Warning: Reference `Term-input/output' on page 99 undefined on input line 4221. LaTeX Warning: Reference `set-prolog-flag/2' on page 99 undefined on input line 4247. LaTeX Warning: Reference `set-prolog-flag/2' on page 99 undefined on input line 4247. [99] LaTeX Warning: Reference `read-term/3' on page 100 undefined on input line 4304 . LaTeX Warning: Reference `read-term/3' on page 100 undefined on input line 4304 . LaTeX Warning: Reference `read-atom/2' on page 100 undefined on input line 4306 . LaTeX Warning: Reference `read-atom/2' on page 100 undefined on input line 4306 . LaTeX Warning: Reference `read-token/2' on page 100 undefined on input line 430 7. LaTeX Warning: Reference `read-token/2' on page 100 undefined on input line 430 7. [100] Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 4334. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 4334. [101] [102] Overfull \hbox (30.17572pt too wide) in paragraph at lines 4508--4512 []\OT1/cmr/m/n/10 ISO pred-i-cates ex-cept \OT1/cmtt/m/n/10 display/1-2 \OT1/cm r/m/n/10 and \OT1/cmtt/m/n/10 print/1-2 \OT1/cmr/m/n/10 that are GNU Pro-log pr ed-i-cates. \OT1/cmtt/m/n/10 namevars\OT1/cmr/m/n/10 , \OT1/cmtt/m/n/10 variabl e[]names LaTeX Warning: Reference `write-term/3' on page 103 undefined on input line 461 0. LaTeX Warning: Reference `write-term/3' on page 103 undefined on input line 461 0. LaTeX Warning: Reference `write-term/3' on page 103 undefined on input line 461 5. LaTeX Warning: Reference `write-term/3' on page 103 undefined on input line 461 5. LaTeX Warning: Reference `write-term/3' on page 103 undefined on input line 462 0. LaTeX Warning: Reference `write-term/3' on page 103 undefined on input line 462 0. LaTeX Warning: Reference `write-term/3' on page 103 undefined on input line 462 5. LaTeX Warning: Reference `write-term/3' on page 103 undefined on input line 462 5. [103] LaTeX Warning: Reference `Evaluation-of-an-arithmetic-expression' on page 104 u ndefined on input line 4698. LaTeX Warning: Reference `Evaluation-of-an-arithmetic-expression' on page 104 u ndefined on input line 4698. [104] LaTeX Warning: Reference `name-singleton-vars/1' on page 105 undefined on input line 4735. LaTeX Warning: Reference `name-singleton-vars/1' on page 105 undefined on input line 4735. LaTeX Warning: Reference `bind-variables/2' on page 105 undefined on input line 4736. LaTeX Warning: Reference `bind-variables/2' on page 105 undefined on input line 4736. LaTeX Warning: Reference `listing/1' on page 105 undefined on input line 4737. LaTeX Warning: Reference `listing/1' on page 105 undefined on input line 4737. [105] LaTeX Warning: Reference `write-term/3' on page 106 undefined on input line 478 1. LaTeX Warning: Reference `write-term/3' on page 106 undefined on input line 478 1. [106] [107] [108] LaTeX Warning: Reference `read-term/3' on page 109 undefined on input line 5077 . LaTeX Warning: Reference `read-term/3' on page 109 undefined on input line 5077 . LaTeX Warning: Reference `read-atom/2' on page 109 undefined on input line 5078 . LaTeX Warning: Reference `read-atom/2' on page 109 undefined on input line 5078 . LaTeX Warning: Reference `read-token/2' on page 109 undefined on input line 507 9. LaTeX Warning: Reference `read-token/2' on page 109 undefined on input line 507 9. LaTeX Warning: Reference `set-prolog-flag/2' on page 109 undefined on input lin e 5082. LaTeX Warning: Reference `set-prolog-flag/2' on page 109 undefined on input lin e 5082. LaTeX Warning: Reference `current-char-conversion/2' on page 109 undefined on i nput line 5089. LaTeX Warning: Reference `current-char-conversion/2' on page 109 undefined on i nput line 5089. LaTeX Warning: Reference `char-conversion/2' on page 109 undefined on input lin e 5151. LaTeX Warning: Reference `char-conversion/2' on page 109 undefined on input lin e 5151. [109] LaTeX Warning: Reference `Constant-term-streams' on page 110 undefined on input line 5158. LaTeX Warning: Reference `Constant-term-streams' on page 110 undefined on input line 5158. LaTeX Warning: Reference `read-term/3' on page 110 undefined on input line 5177 . LaTeX Warning: Reference `read-term/3' on page 110 undefined on input line 5177 . LaTeX Warning: Reference `read-token/2' on page 110 undefined on input line 517 8. LaTeX Warning: Reference `read-token/2' on page 110 undefined on input line 517 8. LaTeX Warning: Reference `read-term/3' on page 110 undefined on input line 5191 . LaTeX Warning: Reference `read-term/3' on page 110 undefined on input line 5191 . LaTeX Warning: Reference `read-token/2' on page 110 undefined on input line 519 1. LaTeX Warning: Reference `read-token/2' on page 110 undefined on input line 519 1. LaTeX Warning: Reference `read-term/3' on page 110 undefined on input line 5216 . LaTeX Warning: Reference `read-term/3' on page 110 undefined on input line 5216 . LaTeX Warning: Reference `read-token/2' on page 110 undefined on input line 521 7. LaTeX Warning: Reference `read-token/2' on page 110 undefined on input line 521 7. LaTeX Warning: Reference `read-term/3' on page 110 undefined on input line 5235 . LaTeX Warning: Reference `read-term/3' on page 110 undefined on input line 5235 . LaTeX Warning: Reference `read-token/2' on page 110 undefined on input line 523 5. LaTeX Warning: Reference `read-token/2' on page 110 undefined on input line 523 5. [110] LaTeX Warning: Reference `read-term/3' on page 111 undefined on input line 5260 . LaTeX Warning: Reference `read-term/3' on page 111 undefined on input line 5260 . LaTeX Warning: Reference `read-token/2' on page 111 undefined on input line 526 1. LaTeX Warning: Reference `read-token/2' on page 111 undefined on input line 526 1. LaTeX Warning: Reference `read-term/3' on page 111 undefined on input line 5283 . LaTeX Warning: Reference `read-term/3' on page 111 undefined on input line 5283 . LaTeX Warning: Reference `read-token/2' on page 111 undefined on input line 528 3. LaTeX Warning: Reference `read-token/2' on page 111 undefined on input line 528 3. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 5297. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 5297. LaTeX Warning: Reference `write-term/3' on page 111 undefined on input line 532 1. LaTeX Warning: Reference `write-term/3' on page 111 undefined on input line 532 1. LaTeX Warning: Reference `format/3' on page 111 undefined on input line 5321. LaTeX Warning: Reference `format/3' on page 111 undefined on input line 5321. LaTeX Warning: Reference `write-term/3' on page 111 undefined on input line 533 1. LaTeX Warning: Reference `write-term/3' on page 111 undefined on input line 533 1. LaTeX Warning: Reference `format/3' on page 111 undefined on input line 5331. LaTeX Warning: Reference `format/3' on page 111 undefined on input line 5331. [111] Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 5345. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 5345. LaTeX Warning: Reference `write-term/3' on page 112 undefined on input line 536 9. LaTeX Warning: Reference `write-term/3' on page 112 undefined on input line 536 9. LaTeX Warning: Reference `format/3' on page 112 undefined on input line 5369. LaTeX Warning: Reference `format/3' on page 112 undefined on input line 5369. LaTeX Warning: Reference `write-term/3' on page 112 undefined on input line 538 2. LaTeX Warning: Reference `write-term/3' on page 112 undefined on input line 538 2. LaTeX Warning: Reference `format/3' on page 112 undefined on input line 5382. LaTeX Warning: Reference `format/3' on page 112 undefined on input line 5382. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 5396. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 5396. LaTeX Warning: Reference `write-term/3' on page 112 undefined on input line 542 1. LaTeX Warning: Reference `write-term/3' on page 112 undefined on input line 542 1. LaTeX Warning: Reference `format/3' on page 112 undefined on input line 5421. LaTeX Warning: Reference `format/3' on page 112 undefined on input line 5421. [112] LaTeX Warning: Reference `write-term/3' on page 113 undefined on input line 543 8. LaTeX Warning: Reference `write-term/3' on page 113 undefined on input line 543 8. LaTeX Warning: Reference `format/3' on page 113 undefined on input line 5438. LaTeX Warning: Reference `format/3' on page 113 undefined on input line 5438. LaTeX Warning: Reference `Introduction:(Streams)' on page 113 undefined on inpu t line 5450. LaTeX Warning: Reference `Introduction:(Streams)' on page 113 undefined on inpu t line 5450. LaTeX Warning: Reference `Streams' on page 113 undefined on input line 5466. LaTeX Warning: Reference `Streams' on page 113 undefined on input line 5466. [113] LaTeX Warning: Reference `open/4' on page 114 undefined on input line 5504. LaTeX Warning: Reference `open/4' on page 114 undefined on input line 5504. [114] LaTeX Warning: Reference `get-char/2' on page 115 undefined on input line 5576. LaTeX Warning: Reference `get-char/2' on page 115 undefined on input line 5576. LaTeX Warning: Reference `get-char/2' on page 115 undefined on input line 5586. LaTeX Warning: Reference `get-char/2' on page 115 undefined on input line 5586. LaTeX Warning: Reference `put-char/2' on page 115 undefined on input line 5605. LaTeX Warning: Reference `put-char/2' on page 115 undefined on input line 5605. LaTeX Warning: Reference `put-char/2' on page 115 undefined on input line 5612. LaTeX Warning: Reference `put-char/2' on page 115 undefined on input line 5612. LaTeX Warning: Reference `Evaluation-of-an-arithmetic-expression' on page 115 u ndefined on input line 5613. LaTeX Warning: Reference `Evaluation-of-an-arithmetic-expression' on page 115 u ndefined on input line 5613. [115] LaTeX Warning: Reference `op/3:(Term-input/output)' on page 116 undefined on in put line 5633. LaTeX Warning: Reference `op/3:(Term-input/output)' on page 116 undefined on in put line 5633. [116] LaTeX Warning: Reference `DCG' on page 117 undefined on input line 5762. LaTeX Warning: Reference `DCG' on page 117 undefined on input line 5762. LaTeX Warning: Reference `The-GNU-Prolog-compiler' on page 117 undefined on inp ut line 5771. LaTeX Warning: Reference `The-GNU-Prolog-compiler' on page 117 undefined on inp ut line 5771. [117] LaTeX Warning: Reference `initialization/1' on page 118 undefined on input line 5849. LaTeX Warning: Reference `initialization/1' on page 118 undefined on input line 5849. [118] Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 5889. LaTeX Warning: Reference `true/0' on page 119 undefined on input line 5905. LaTeX Warning: Reference `true/0' on page 119 undefined on input line 5905. LaTeX Warning: Reference `op/3:(Term-input/output)' on page 119 undefined on in put line 5934. LaTeX Warning: Reference `op/3:(Term-input/output)' on page 119 undefined on in put line 5934. LaTeX Warning: Reference `set-prolog-flag/2' on page 119 undefined on input lin e 5946. LaTeX Warning: Reference `set-prolog-flag/2' on page 119 undefined on input lin e 5946. LaTeX Warning: Reference `set-prolog-flag/2' on page 119 undefined on input lin e 5958. LaTeX Warning: Reference `set-prolog-flag/2' on page 119 undefined on input lin e 5958. [119] Overfull \hbox (10.83276pt too wide) in paragraph at lines 5965--5968 []\OT1/cmtt/m/n/10 false/0\OT1/cmr/m/n/10 , \OT1/cmtt/m/n/10 call/2-8\OT1/cmr/m /n/10 , \OT1/cmtt/m/n/10 once/1 \OT1/cmr/m/n/10 and \OT1/cmtt/m/n/10 (\+)/1 \OT 1/cmr/m/n/10 are ISO pred-i-cates. \OT1/cmtt/m/n/10 call/9-11\OT1/cmr/m/n/10 , \OT1/cmtt/m/n/10 call[]with[]args/1-11\OT1/cmr/m/n/10 , \OT1/cmtt/m/n/10 call[] det/2 [120] [121] [122] [123] LaTeX Warning: Reference `set-prolog-flag/2' on page 124 undefined on input lin e 6349. LaTeX Warning: Reference `set-prolog-flag/2' on page 124 undefined on input lin e 6349. [124] LaTeX Warning: Reference `atom-chars/2' on page 125 undefined on input line 638 7. LaTeX Warning: Reference `atom-chars/2' on page 125 undefined on input line 638 7. LaTeX Warning: Reference `number-atom/2' on page 125 undefined on input line 63 88. LaTeX Warning: Reference `number-atom/2' on page 125 undefined on input line 63 88. [125] [126] LaTeX Warning: Reference `current-atom/2' on page 127 undefined on input line 6 491. LaTeX Warning: Reference `current-atom/2' on page 127 undefined on input line 6 491. LaTeX Warning: Reference `term-hash/4' on page 127 undefined on input line 6503 . LaTeX Warning: Reference `term-hash/4' on page 127 undefined on input line 6503 . [127] [128] LaTeX Warning: Reference `(==)/2' on page 129 undefined on input line 6621. LaTeX Warning: Reference `(==)/2' on page 129 undefined on input line 6621. LaTeX Warning: Reference `member/2' on page 129 undefined on input line 6644. LaTeX Warning: Reference `member/2' on page 129 undefined on input line 6644. [129] [130] [131] LaTeX Warning: Reference `Evaluation-of-an-arithmetic-expression' on page 132 u ndefined on input line 6810. LaTeX Warning: Reference `Evaluation-of-an-arithmetic-expression' on page 132 u ndefined on input line 6810. [132] LaTeX Warning: Reference `call/1' on page 133 undefined on input line 6842. LaTeX Warning: Reference `call/1' on page 133 undefined on input line 6842. LaTeX Warning: Reference `Standard-total-ordering-of-terms' on page 133 undefin ed on input line 6895. LaTeX Warning: Reference `Standard-total-ordering-of-terms' on page 133 undefin ed on input line 6895. [133] LaTeX Warning: Reference `op/3:(Term-input/output)' on page 134 undefined on in put line 6970. LaTeX Warning: Reference `op/3:(Term-input/output)' on page 134 undefined on in put line 6970. [134] LaTeX Warning: Reference `g-assign/2' on page 135 undefined on input line 7023. LaTeX Warning: Reference `g-assign/2' on page 135 undefined on input line 7023. LaTeX Warning: Reference `Examples' on page 135 undefined on input line 7082. LaTeX Warning: Reference `Examples' on page 135 undefined on input line 7082. [135] LaTeX Warning: Reference `Global-variables' on page 136 undefined on input line 7120. LaTeX Warning: Reference `Global-variables' on page 136 undefined on input line 7120. LaTeX Warning: Reference `Global-variables' on page 136 undefined on input line 7148. LaTeX Warning: Reference `Global-variables' on page 136 undefined on input line 7148. [136] LaTeX Warning: Reference `Global-variables' on page 137 undefined on input line 7169. LaTeX Warning: Reference `Global-variables' on page 137 undefined on input line 7169. LaTeX Warning: Reference `Global-variables' on page 137 undefined on input line 7222. LaTeX Warning: Reference `Global-variables' on page 137 undefined on input line 7222. [137] LaTeX Warning: Reference `Global-variables' on page 138 undefined on input line 7273. LaTeX Warning: Reference `Global-variables' on page 138 undefined on input line 7273. [138] [139] [140] LaTeX Warning: Reference `Evaluation-of-an-arithmetic-expression' on page 141 u ndefined on input line 7575. LaTeX Warning: Reference `Evaluation-of-an-arithmetic-expression' on page 141 u ndefined on input line 7575. [141] [142] LaTeX Warning: Reference `current-predicate/1' on page 143 undefined on input l ine 7835. LaTeX Warning: Reference `current-predicate/1' on page 143 undefined on input l ine 7835. LaTeX Warning: Reference `Evaluation-of-an-arithmetic-expression' on page 143 u ndefined on input line 7841. LaTeX Warning: Reference `Evaluation-of-an-arithmetic-expression' on page 143 u ndefined on input line 7841. [143] LaTeX Warning: Reference `General-format-and-error-context' on page 144 undefin ed on input line 7910. LaTeX Warning: Reference `General-format-and-error-context' on page 144 undefin ed on input line 7910. LaTeX Warning: Reference `General-format-and-error-context' on page 144 undefin ed on input line 7944. LaTeX Warning: Reference `General-format-and-error-context' on page 144 undefin ed on input line 7944. [144] LaTeX Warning: Reference `Term-input/output' on page 145 undefined on input lin e 7973. LaTeX Warning: Reference `Term-input/output' on page 145 undefined on input lin e 7973. LaTeX Warning: Reference `Using-the-compiler' on page 145 undefined on input li ne 7976. LaTeX Warning: Reference `Using-the-compiler' on page 145 undefined on input li ne 7976. LaTeX Warning: Reference `op/3:(Term-input/output)' on page 145 undefined on in put line 7981. LaTeX Warning: Reference `op/3:(Term-input/output)' on page 145 undefined on in put line 7981. LaTeX Warning: Reference `char-conversion/2' on page 145 undefined on input lin e 7983. LaTeX Warning: Reference `char-conversion/2' on page 145 undefined on input lin e 7983. LaTeX Warning: Reference `set-prolog-flag/2' on page 145 undefined on input lin e 7986. LaTeX Warning: Reference `set-prolog-flag/2' on page 145 undefined on input lin e 7986. Overfull \hbox (22.90268pt too wide) in paragraph at lines 7985--7987 []\OT1/cmr/m/n/10 the value of []\OT1/cmtt/m/n/10 char[]conversion\OT1/cmr/m/n/ 10 , []\OT1/cmtt/m/n/10 double[]quotes\OT1/cmr/m/n/10 , []\OT1/cmtt/m/n/10 back []quotes\OT1/cmr/m/n/10 , []\OT1/cmtt/m/n/10 singleton[]warning\OT1/cmr/m/n/10 , []\OT1/cmtt/m/n/10 suspicious[]warning LaTeX Warning: Reference `set-prolog-flag/2' on page 145 undefined on input lin e 8004. LaTeX Warning: Reference `set-prolog-flag/2' on page 145 undefined on input lin e 8004. [145] LaTeX Warning: Reference `The-GNU-Prolog-compiler' on page 146 undefined on inp ut line 8028. LaTeX Warning: Reference `The-GNU-Prolog-compiler' on page 146 undefined on inp ut line 8028. LaTeX Warning: Reference `load/1' on page 146 undefined on input line 8029. LaTeX Warning: Reference `load/1' on page 146 undefined on input line 8029. LaTeX Warning: Reference `Consulting-a-Prolog-program' on page 146 undefined on input line 8033. LaTeX Warning: Reference `Consulting-a-Prolog-program' on page 146 undefined on input line 8033. LaTeX Warning: Reference `prolog-file-name/2' on page 146 undefined on input li ne 8036. LaTeX Warning: Reference `prolog-file-name/2' on page 146 undefined on input li ne 8036. LaTeX Warning: Reference `absolute-file-name/2' on page 146 undefined on input line 8037. LaTeX Warning: Reference `absolute-file-name/2' on page 146 undefined on input line 8037. LaTeX Warning: Reference `Scripting-Prolog' on page 146 undefined on input line 8045. LaTeX Warning: Reference `Scripting-Prolog' on page 146 undefined on input line 8045. LaTeX Warning: Reference `call/1' on page 146 undefined on input line 8070. LaTeX Warning: Reference `call/1' on page 146 undefined on input line 8070. LaTeX Warning: Reference `The-GNU-Prolog-compiler' on page 146 undefined on inp ut line 8089. LaTeX Warning: Reference `The-GNU-Prolog-compiler' on page 146 undefined on inp ut line 8089. [146] LaTeX Warning: Reference `absolute-file-name/2' on page 147 undefined on input line 8093. LaTeX Warning: Reference `absolute-file-name/2' on page 147 undefined on input line 8093. LaTeX Warning: Reference `call/1' on page 147 undefined on input line 8118. LaTeX Warning: Reference `call/1' on page 147 undefined on input line 8118. LaTeX Warning: Reference `portray-clause/2' on page 147 undefined on input line 8142. LaTeX Warning: Reference `portray-clause/2' on page 147 undefined on input line 8142. [147] Overfull \hbox (33.27304pt too wide) in paragraph at lines 8180--8229 [][] [148] [149] [150] [151] LaTeX Warning: Reference `absolute-file-name/2' on page 152 undefined on input line 8497. LaTeX Warning: Reference `absolute-file-name/2' on page 152 undefined on input line 8497. [152] LaTeX Warning: Reference `absolute-file-name/2' on page 153 undefined on input line 8590. LaTeX Warning: Reference `absolute-file-name/2' on page 153 undefined on input line 8590. LaTeX Warning: Reference `The-GNU-Prolog-interactive-interpreter' on page 153 u ndefined on input line 8626. LaTeX Warning: Reference `The-GNU-Prolog-interactive-interpreter' on page 153 u ndefined on input line 8626. LaTeX Warning: Reference `argument-counter/1' on page 153 undefined on input li ne 8654. LaTeX Warning: Reference `argument-counter/1' on page 153 undefined on input li ne 8654. [153] [154] LaTeX Warning: Reference `absolute-file-name/2' on page 155 undefined on input line 8750. LaTeX Warning: Reference `absolute-file-name/2' on page 155 undefined on input line 8750. LaTeX Warning: Reference `set-prolog-flag/2' on page 155 undefined on input lin e 8765. LaTeX Warning: Reference `set-prolog-flag/2' on page 155 undefined on input lin e 8765. [155] LaTeX Warning: Reference `absolute-file-name/2' on page 156 undefined on input line 8810. LaTeX Warning: Reference `absolute-file-name/2' on page 156 undefined on input line 8810. LaTeX Warning: Reference `set-prolog-flag/2' on page 156 undefined on input lin e 8828. LaTeX Warning: Reference `set-prolog-flag/2' on page 156 undefined on input lin e 8828. LaTeX Warning: Reference `absolute-file-name/2' on page 156 undefined on input line 8849. LaTeX Warning: Reference `absolute-file-name/2' on page 156 undefined on input line 8849. LaTeX Warning: Reference `set-prolog-flag/2' on page 156 undefined on input lin e 8873. LaTeX Warning: Reference `set-prolog-flag/2' on page 156 undefined on input lin e 8873. [156] LaTeX Warning: Reference `absolute-file-name/2' on page 157 undefined on input line 8901. LaTeX Warning: Reference `absolute-file-name/2' on page 157 undefined on input line 8901. LaTeX Warning: Reference `set-prolog-flag/2' on page 157 undefined on input lin e 8916. LaTeX Warning: Reference `set-prolog-flag/2' on page 157 undefined on input lin e 8916. LaTeX Warning: Reference `absolute-file-name/2' on page 157 undefined on input line 8964. LaTeX Warning: Reference `absolute-file-name/2' on page 157 undefined on input line 8964. LaTeX Warning: Reference `set-prolog-flag/2' on page 157 undefined on input lin e 8994. LaTeX Warning: Reference `set-prolog-flag/2' on page 157 undefined on input lin e 8994. [157] LaTeX Warning: Reference `absolute-file-name/2' on page 158 undefined on input line 9023. LaTeX Warning: Reference `absolute-file-name/2' on page 158 undefined on input line 9023. LaTeX Warning: Reference `file-permission/2' on page 158 undefined on input lin e 9037. LaTeX Warning: Reference `file-permission/2' on page 158 undefined on input lin e 9037. LaTeX Warning: Reference `date-time/1' on page 158 undefined on input line 9040 . LaTeX Warning: Reference `date-time/1' on page 158 undefined on input line 9040 . LaTeX Warning: Reference `absolute-file-name/2' on page 158 undefined on input line 9045. LaTeX Warning: Reference `absolute-file-name/2' on page 158 undefined on input line 9045. LaTeX Warning: Reference `set-prolog-flag/2' on page 158 undefined on input lin e 9082. LaTeX Warning: Reference `set-prolog-flag/2' on page 158 undefined on input lin e 9082. [158] LaTeX Warning: Reference `absolute-file-name/2' on page 159 undefined on input line 9108. LaTeX Warning: Reference `absolute-file-name/2' on page 159 undefined on input line 9108. LaTeX Warning: Reference `set-prolog-flag/2' on page 159 undefined on input lin e 9126. LaTeX Warning: Reference `set-prolog-flag/2' on page 159 undefined on input lin e 9126. [159] LaTeX Warning: Reference `absolute-file-name/2' on page 160 undefined on input line 9152. LaTeX Warning: Reference `absolute-file-name/2' on page 160 undefined on input line 9152. LaTeX Warning: Reference `set-prolog-flag/2' on page 160 undefined on input lin e 9176. LaTeX Warning: Reference `set-prolog-flag/2' on page 160 undefined on input lin e 9176. [160] LaTeX Warning: Reference `Introduction:(Sockets-input/output)' on page 161 unde fined on input line 9229. LaTeX Warning: Reference `Introduction:(Sockets-input/output)' on page 161 unde fined on input line 9229. LaTeX Warning: Reference `set-prolog-flag/2' on page 161 undefined on input lin e 9241. LaTeX Warning: Reference `set-prolog-flag/2' on page 161 undefined on input lin e 9241. LaTeX Warning: Reference `set-prolog-flag/2' on page 161 undefined on input lin e 9270. LaTeX Warning: Reference `set-prolog-flag/2' on page 161 undefined on input lin e 9270. [161] LaTeX Warning: Reference `set-prolog-flag/2' on page 162 undefined on input lin e 9298. LaTeX Warning: Reference `set-prolog-flag/2' on page 162 undefined on input lin e 9298. [162] LaTeX Warning: Reference `set-prolog-flag/2' on page 163 undefined on input lin e 9427. LaTeX Warning: Reference `set-prolog-flag/2' on page 163 undefined on input lin e 9427. [163] LaTeX Warning: Reference `close/2' on page 164 undefined on input line 9452. LaTeX Warning: Reference `close/2' on page 164 undefined on input line 9452. LaTeX Warning: Reference `set-prolog-flag/2' on page 164 undefined on input lin e 9478. LaTeX Warning: Reference `set-prolog-flag/2' on page 164 undefined on input lin e 9478. LaTeX Warning: Reference `wait/2' on page 164 undefined on input line 9508. LaTeX Warning: Reference `wait/2' on page 164 undefined on input line 9508. LaTeX Warning: Reference `set-prolog-flag/2' on page 164 undefined on input lin e 9538. LaTeX Warning: Reference `set-prolog-flag/2' on page 164 undefined on input lin e 9538. [164] LaTeX Warning: Reference `wait/2' on page 165 undefined on input line 9560. LaTeX Warning: Reference `wait/2' on page 165 undefined on input line 9560. LaTeX Warning: Reference `set-prolog-flag/2' on page 165 undefined on input lin e 9572. LaTeX Warning: Reference `set-prolog-flag/2' on page 165 undefined on input lin e 9572. LaTeX Warning: Reference `set-prolog-flag/2' on page 165 undefined on input lin e 9606. LaTeX Warning: Reference `set-prolog-flag/2' on page 165 undefined on input lin e 9606. [165] LaTeX Warning: Reference `set-prolog-flag/2' on page 166 undefined on input lin e 9642. LaTeX Warning: Reference `set-prolog-flag/2' on page 166 undefined on input lin e 9642. [166] LaTeX Warning: Reference `set-prolog-flag/2' on page 167 undefined on input lin e 9707. LaTeX Warning: Reference `set-prolog-flag/2' on page 167 undefined on input lin e 9707. [167] LaTeX Warning: Reference `Sockets-input/output' on page 168 undefined on input line 9763. LaTeX Warning: Reference `Sockets-input/output' on page 168 undefined on input line 9763. LaTeX Warning: Reference `open/4' on page 168 undefined on input line 9765. LaTeX Warning: Reference `open/4' on page 168 undefined on input line 9765. LaTeX Warning: Reference `set-stream-buffering/2' on page 168 undefined on inpu t line 9766. LaTeX Warning: Reference `set-stream-buffering/2' on page 168 undefined on inpu t line 9766. LaTeX Warning: Reference `set-prolog-flag/2' on page 168 undefined on input lin e 9823. LaTeX Warning: Reference `set-prolog-flag/2' on page 168 undefined on input lin e 9823. [168] LaTeX Warning: Reference `set-stream-buffering/2' on page 169 undefined on inpu t line 9852. LaTeX Warning: Reference `set-stream-buffering/2' on page 169 undefined on inpu t line 9852. LaTeX Warning: Reference `set-stream-type/2' on page 169 undefined on input lin e 9854. LaTeX Warning: Reference `set-stream-type/2' on page 169 undefined on input lin e 9854. LaTeX Warning: Reference `Sockets-input/output' on page 169 undefined on input line 9867. LaTeX Warning: Reference `Sockets-input/output' on page 169 undefined on input line 9867. LaTeX Warning: Reference `set-prolog-flag/2' on page 169 undefined on input lin e 9887. LaTeX Warning: Reference `set-prolog-flag/2' on page 169 undefined on input lin e 9887. LaTeX Warning: Reference `socket-connect/4' on page 169 undefined on input line 9908. LaTeX Warning: Reference `socket-connect/4' on page 169 undefined on input line 9908. LaTeX Warning: Reference `close/2' on page 169 undefined on input line 9909. LaTeX Warning: Reference `close/2' on page 169 undefined on input line 9909. [169] LaTeX Warning: Reference `set-prolog-flag/2' on page 170 undefined on input lin e 9921. LaTeX Warning: Reference `set-prolog-flag/2' on page 170 undefined on input lin e 9921. LaTeX Warning: Reference `Sockets-input/output' on page 170 undefined on input line 9941. LaTeX Warning: Reference `Sockets-input/output' on page 170 undefined on input line 9941. LaTeX Warning: Reference `set-prolog-flag/2' on page 170 undefined on input lin e 9980. LaTeX Warning: Reference `set-prolog-flag/2' on page 170 undefined on input lin e 9980. [170] LaTeX Warning: Reference `Sockets-input/output' on page 171 undefined on input line 10000. LaTeX Warning: Reference `Sockets-input/output' on page 171 undefined on input line 10000. LaTeX Warning: Reference `select/5' on page 171 undefined on input line 10006. LaTeX Warning: Reference `select/5' on page 171 undefined on input line 10006. LaTeX Warning: Reference `set-prolog-flag/2' on page 171 undefined on input lin e 10048. LaTeX Warning: Reference `set-prolog-flag/2' on page 171 undefined on input lin e 10048. LaTeX Warning: Reference `set-prolog-flag/2' on page 171 undefined on input lin e 10087. LaTeX Warning: Reference `set-prolog-flag/2' on page 171 undefined on input lin e 10087. [171] LaTeX Warning: Reference `select/5' on page 172 undefined on input line 10116. LaTeX Warning: Reference `select/5' on page 172 undefined on input line 10116. LaTeX Warning: Reference `set-prolog-flag/2' on page 172 undefined on input lin e 10142. LaTeX Warning: Reference `set-prolog-flag/2' on page 172 undefined on input lin e 10142. [172] [173] LaTeX Warning: Reference `The-line-editor' on page 174 undefined on input line 10253. LaTeX Warning: Reference `The-line-editor' on page 174 undefined on input line 10253. LaTeX Warning: Reference `The-line-editor' on page 174 undefined on input line 10283. LaTeX Warning: Reference `The-line-editor' on page 174 undefined on input line 10283. ) [174] (./fd-cstr.tex LaTeX Warning: Citation `Jaffar-Lassez87' on page 175 undefined on input line 1 0. LaTeX Warning: Citation `pvh89' on page 175 undefined on input line 13. LaTeX Warning: Citation `long-clp-fd' on page 175 undefined on input line 14. LaTeX Warning: Reference `set-prolog-flag/2' on page 175 undefined on input lin e 26. LaTeX Warning: Reference `set-prolog-flag/2' on page 175 undefined on input lin e 26. LaTeX Warning: Reference `fd-set-vector-max/1' on page 175 undefined on input l ine 60. LaTeX Warning: Reference `fd-set-vector-max/1' on page 175 undefined on input l ine 60. LaTeX Warning: Reference `fd-max-integer/1' on page 175 undefined on input line 62. LaTeX Warning: Reference `fd-max-integer/1' on page 175 undefined on input line 62. [175] LaTeX Warning: Reference `Intro-FD' on page 176 undefined on input line 167. LaTeX Warning: Reference `Intro-FD' on page 176 undefined on input line 167. [176] LaTeX Warning: Reference `Intro-FD' on page 177 undefined on input line 190. LaTeX Warning: Reference `Intro-FD' on page 177 undefined on input line 190. LaTeX Warning: Reference `Intro-FD' on page 177 undefined on input line 213. LaTeX Warning: Reference `Intro-FD' on page 177 undefined on input line 213. [177] [178] [179] LaTeX Warning: Reference `Intro-FD' on page 180 undefined on input line 441. LaTeX Warning: Reference `Intro-FD' on page 180 undefined on input line 441. LaTeX Warning: Reference `Intro-FD' on page 180 undefined on input line 444. LaTeX Warning: Reference `Intro-FD' on page 180 undefined on input line 444. LaTeX Warning: Reference `Intro-FD' on page 180 undefined on input line 447. LaTeX Warning: Reference `Intro-FD' on page 180 undefined on input line 447. [180] LaTeX Warning: Reference `op/3:(Term-input/output)' on page 181 undefined on in put line 559. LaTeX Warning: Reference `op/3:(Term-input/output)' on page 181 undefined on in put line 559. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 581. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 581. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 581. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 581. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 581. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 581. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 581. [181] LaTeX Warning: Reference `FD-arithmetic-expressions' on page 182 undefined on i nput line 614. LaTeX Warning: Reference `FD-arithmetic-expressions' on page 182 undefined on i nput line 614. LaTeX Warning: Reference `op/3:(Term-input/output)' on page 182 undefined on in put line 618. LaTeX Warning: Reference `op/3:(Term-input/output)' on page 182 undefined on in put line 618. LaTeX Warning: Reference `Full-AC:-(:=:)/2' on page 182 undefined on input line 624. LaTeX Warning: Reference `Full-AC:-(:=:)/2' on page 182 undefined on input line 624. LaTeX Warning: Reference `Boolean-and-reified-constraints' on page 182 undefine d on input line 625. LaTeX Warning: Reference `Boolean-and-reified-constraints' on page 182 undefine d on input line 625. LaTeX Warning: Reference `FD-arithmetic-expressions' on page 182 undefined on i nput line 630. LaTeX Warning: Reference `FD-arithmetic-expressions' on page 182 undefined on i nput line 630. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 641. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 641. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 641. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 641. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 641. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 641. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 641. LaTeX Warning: Reference `FD-arithmetic-expressions' on page 182 undefined on i nput line 674. LaTeX Warning: Reference `FD-arithmetic-expressions' on page 182 undefined on i nput line 674. LaTeX Warning: Reference `op/3:(Term-input/output)' on page 182 undefined on in put line 678. LaTeX Warning: Reference `op/3:(Term-input/output)' on page 182 undefined on in put line 678. LaTeX Warning: Reference `FD-arithmetic-expressions' on page 182 undefined on i nput line 683. LaTeX Warning: Reference `FD-arithmetic-expressions' on page 182 undefined on i nput line 683. LaTeX Warning: Reference `Boolean-FD-expressions' on page 182 undefined on inpu t line 684. LaTeX Warning: Reference `Boolean-FD-expressions' on page 182 undefined on inpu t line 684. [182] LaTeX Warning: Reference `FD-arithmetic-expressions' on page 183 undefined on i nput line 689. LaTeX Warning: Reference `FD-arithmetic-expressions' on page 183 undefined on i nput line 689. LaTeX Warning: Reference `Intro-FD' on page 183 undefined on input line 709. LaTeX Warning: Reference `Intro-FD' on page 183 undefined on input line 709. LaTeX Warning: Reference `Intro-FD' on page 183 undefined on input line 713. LaTeX Warning: Reference `Intro-FD' on page 183 undefined on input line 713. LaTeX Warning: Reference `Partial-AC:-(:=)/2' on page 183 undefined on input li ne 734. LaTeX Warning: Reference `Partial-AC:-(:=)/2' on page 183 undefined on input li ne 734. LaTeX Warning: Reference `Full-AC:-(:=:)/2' on page 183 undefined on input line 735. LaTeX Warning: Reference `Full-AC:-(:=:)/2' on page 183 undefined on input line 735. [183] LaTeX Warning: Reference `op/3:(Term-input/output)' on page 184 undefined on in put line 816. LaTeX Warning: Reference `op/3:(Term-input/output)' on page 184 undefined on in put line 816. LaTeX Warning: Reference `FD-arithmetic-expressions' on page 184 undefined on i nput line 828. LaTeX Warning: Reference `FD-arithmetic-expressions' on page 184 undefined on i nput line 828. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 875. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 875. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 875. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 875. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 875. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 875. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 875. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 875. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 875. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 875. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 875. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 875. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 875. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 875. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 875. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 875. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 875. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 875. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 875. [184] LaTeX Warning: Reference `Boolean-FD-expressions' on page 185 undefined on inpu t line 924. LaTeX Warning: Reference `Boolean-FD-expressions' on page 185 undefined on inpu t line 924. LaTeX Warning: Reference `op/3:(Term-input/output)' on page 185 undefined on in put line 939. LaTeX Warning: Reference `op/3:(Term-input/output)' on page 185 undefined on in put line 939. LaTeX Warning: Reference `Boolean-FD-expressions' on page 185 undefined on inpu t line 944. LaTeX Warning: Reference `Boolean-FD-expressions' on page 185 undefined on inpu t line 944. [185] Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 954. LaTeX Warning: Reference `Boolean-FD-expressions' on page 186 undefined on inpu t line 973. LaTeX Warning: Reference `Boolean-FD-expressions' on page 186 undefined on inpu t line 973. LaTeX Warning: Reference `Boolean-FD-expressions' on page 186 undefined on inpu t line 1013. LaTeX Warning: Reference `Boolean-FD-expressions' on page 186 undefined on inpu t line 1013. [186] [187] LaTeX Warning: Reference `fd-element/3' on page 188 undefined on input line 110 4. LaTeX Warning: Reference `fd-element/3' on page 188 undefined on input line 110 4. LaTeX Warning: Reference `fd-cardinality/2' on page 188 undefined on input line 1154. LaTeX Warning: Reference `fd-cardinality/2' on page 188 undefined on input line 1154. [188] [189] [190] LaTeX Warning: Reference `fd-labeling/2' on page 191 undefined on input line 14 06. LaTeX Warning: Reference `fd-labeling/2' on page 191 undefined on input line 14 06. LaTeX Warning: Reference `set-prolog-flag/2' on page 191 undefined on input lin e 1428. LaTeX Warning: Reference `set-prolog-flag/2' on page 191 undefined on input lin e 1428. [191]) [192] (./c-interface.tex LaTeX Warning: Reference `Using-the-compiler' on page 193 undefined on input li ne 41. LaTeX Warning: Reference `Using-the-compiler' on page 193 undefined on input li ne 41. [193] LaTeX Warning: Reference `current-prolog-flag/2' on page 194 undefined on input line 123. LaTeX Warning: Reference `current-prolog-flag/2' on page 194 undefined on input line 123. LaTeX Warning: Reference `foreign/2' on page 194 undefined on input line 141. LaTeX Warning: Reference `foreign/2' on page 194 undefined on input line 141. Overfull \hbox (34.24472pt too wide) in paragraph at lines 141--146 \OT1/cmtt/m/n/10 foreign/2 \OT1/cmr/m/n/10 di-rec-tive (sec-tion [], page []) d e-clares a C func-tion in-ter-face. The gen-eral form is \OT1/cmtt/m/n/10 forei gn(Template, LaTeX Warning: Reference `General-format-and-error-context' on page 194 undefin ed on input line 180. LaTeX Warning: Reference `General-format-and-error-context' on page 194 undefin ed on input line 180. [194] LaTeX Warning: Reference `Writing-non-deterministic-C-code' on page 195 undefin ed on input line 188. LaTeX Warning: Reference `Writing-non-deterministic-C-code' on page 195 undefin ed on input line 188. LaTeX Warning: Reference `Manipulating-Prolog-terms' on page 195 undefined on i nput line 308. LaTeX Warning: Reference `Manipulating-Prolog-terms' on page 195 undefined on i nput line 308. LaTeX Warning: Reference `foreign/2-directive' on page 195 undefined on input l ine 317. LaTeX Warning: Reference `foreign/2-directive' on page 195 undefined on input l ine 317. [195] LaTeX Warning: Reference `foreign/2-directive' on page 196 undefined on input l ine 333. LaTeX Warning: Reference `foreign/2-directive' on page 196 undefined on input l ine 333. LaTeX Warning: Reference `foreign/2-directive' on page 196 undefined on input l ine 365. LaTeX Warning: Reference `foreign/2-directive' on page 196 undefined on input l ine 365. [196] LaTeX Warning: Reference `Input-arguments' on page 197 undefined on input line 424. LaTeX Warning: Reference `Input-arguments' on page 197 undefined on input line 424. LaTeX Warning: Reference `Output-arguments' on page 197 undefined on input line 427. LaTeX Warning: Reference `Output-arguments' on page 197 undefined on input line 427. LaTeX Warning: Reference `foreign/2-directive' on page 197 undefined on input l ine 466. LaTeX Warning: Reference `foreign/2-directive' on page 197 undefined on input l ine 466. [197] [198] [199] [200] LaTeX Warning: Reference `char-code/2' on page 201 undefined on input line 684. LaTeX Warning: Reference `char-code/2' on page 201 undefined on input line 684. LaTeX Warning: Reference `Input/output-arguments' on page 201 undefined on inpu t line 718. LaTeX Warning: Reference `Input/output-arguments' on page 201 undefined on inpu t line 718. LaTeX Warning: Reference `Raising-Prolog-errors' on page 201 undefined on input line 721. LaTeX Warning: Reference `Raising-Prolog-errors' on page 201 undefined on input line 721. [201] LaTeX Warning: Reference `foreign/2-directive' on page 202 undefined on input l ine 758. LaTeX Warning: Reference `foreign/2-directive' on page 202 undefined on input l ine 758. [202] LaTeX Warning: Reference `write-term/3' on page 203 undefined on input line 812 . LaTeX Warning: Reference `write-term/3' on page 203 undefined on input line 812 . LaTeX Warning: Reference `foreign/2-directive' on page 203 undefined on input l ine 845. LaTeX Warning: Reference `foreign/2-directive' on page 203 undefined on input l ine 845. [203] LaTeX Warning: Reference `Introduction:(Manipulating-Prolog-terms)' on page 204 undefined on input line 881. LaTeX Warning: Reference `Introduction:(Manipulating-Prolog-terms)' on page 204 undefined on input line 881. LaTeX Warning: Reference `foreign/2-directive' on page 204 undefined on input l ine 899. LaTeX Warning: Reference `foreign/2-directive' on page 204 undefined on input l ine 899. LaTeX Warning: Reference `Introduction:(Manipulating-Prolog-terms)' on page 204 undefined on input line 941. LaTeX Warning: Reference `Introduction:(Manipulating-Prolog-terms)' on page 204 undefined on input line 941. [204] LaTeX Warning: Reference `foreign/2-directive' on page 205 undefined on input l ine 968. LaTeX Warning: Reference `foreign/2-directive' on page 205 undefined on input l ine 968. LaTeX Warning: Reference `Testing-the-type-of-Prolog-terms' on page 205 undefin ed on input line 1008. LaTeX Warning: Reference `Testing-the-type-of-Prolog-terms' on page 205 undefin ed on input line 1008. LaTeX Warning: Reference `Raising-Prolog-errors' on page 205 undefined on input line 1008. LaTeX Warning: Reference `Raising-Prolog-errors' on page 205 undefined on input line 1008. [205] LaTeX Warning: Reference `foreign/2-directive' on page 206 undefined on input l ine 1027. LaTeX Warning: Reference `foreign/2-directive' on page 206 undefined on input l ine 1027. LaTeX Warning: Reference `Introduction:(Manipulating-Prolog-terms)' on page 206 undefined on input line 1058. LaTeX Warning: Reference `Introduction:(Manipulating-Prolog-terms)' on page 206 undefined on input line 1058. LaTeX Warning: Reference `var/1' on page 206 undefined on input line 1072. LaTeX Warning: Reference `var/1' on page 206 undefined on input line 1072. [206] LaTeX Warning: Reference `(==)/2' on page 207 undefined on input line 1128. LaTeX Warning: Reference `(==)/2' on page 207 undefined on input line 1128. LaTeX Warning: Reference `compare/3' on page 207 undefined on input line 1152. LaTeX Warning: Reference `compare/3' on page 207 undefined on input line 1152. LaTeX Warning: Reference `functor/3' on page 207 undefined on input line 1166. LaTeX Warning: Reference `functor/3' on page 207 undefined on input line 1166. LaTeX Warning: Reference `arg/3' on page 207 undefined on input line 1166. LaTeX Warning: Reference `arg/3' on page 207 undefined on input line 1166. LaTeX Warning: Reference `(=..)/2' on page 207 undefined on input line 1167. LaTeX Warning: Reference `(=..)/2' on page 207 undefined on input line 1167. [207] LaTeX Warning: Reference `write-term/3' on page 208 undefined on input line 120 0. LaTeX Warning: Reference `write-term/3' on page 208 undefined on input line 120 0. LaTeX Warning: Reference `write-term/3' on page 208 undefined on input line 121 2. LaTeX Warning: Reference `write-term/3' on page 208 undefined on input line 121 2. LaTeX Warning: Reference `read-term/3' on page 208 undefined on input line 1230 . LaTeX Warning: Reference `read-term/3' on page 208 undefined on input line 1230 . LaTeX Warning: Reference `(=:=)/2' on page 208 undefined on input line 1244. LaTeX Warning: Reference `(=:=)/2' on page 208 undefined on input line 1244. LaTeX Warning: Reference `Reading-Prolog-terms' on page 208 undefined on input line 1267. LaTeX Warning: Reference `Reading-Prolog-terms' on page 208 undefined on input line 1267. LaTeX Warning: Reference `Errors' on page 208 undefined on input line 1274. LaTeX Warning: Reference `Errors' on page 208 undefined on input line 1274. [208] LaTeX Warning: Reference `General-format-and-error-context' on page 209 undefin ed on input line 1278. LaTeX Warning: Reference `General-format-and-error-context' on page 209 undefin ed on input line 1278. LaTeX Warning: Reference `foreign/2-directive' on page 209 undefined on input l ine 1282. LaTeX Warning: Reference `foreign/2-directive' on page 209 undefined on input l ine 1282. LaTeX Warning: Reference `set-bip-name/2' on page 209 undefined on input line 1 297. LaTeX Warning: Reference `set-bip-name/2' on page 209 undefined on input line 1 297. LaTeX Warning: Reference `Instantiation-error' on page 209 undefined on input l ine 1302. LaTeX Warning: Reference `Instantiation-error' on page 209 undefined on input l ine 1302. LaTeX Warning: Reference `Uninstantiation-error' on page 209 undefined on input line 1307. LaTeX Warning: Reference `Uninstantiation-error' on page 209 undefined on input line 1307. LaTeX Warning: Reference `Type-error' on page 209 undefined on input line 1312. LaTeX Warning: Reference `Type-error' on page 209 undefined on input line 1312. LaTeX Warning: Reference `Domain-error' on page 209 undefined on input line 132 6. LaTeX Warning: Reference `Domain-error' on page 209 undefined on input line 132 6. [209] LaTeX Warning: Reference `Existence-error' on page 210 undefined on input line 1340. LaTeX Warning: Reference `Existence-error' on page 210 undefined on input line 1340. LaTeX Warning: Reference `Permission-error' on page 210 undefined on input line 1354. LaTeX Warning: Reference `Permission-error' on page 210 undefined on input line 1354. LaTeX Warning: Reference `Representation-error' on page 210 undefined on input line 1375. LaTeX Warning: Reference `Representation-error' on page 210 undefined on input line 1375. LaTeX Warning: Reference `Evaluation-error' on page 210 undefined on input line 1388. LaTeX Warning: Reference `Evaluation-error' on page 210 undefined on input line 1388. [210] LaTeX Warning: Reference `Resource-error' on page 211 undefined on input line 1 401. LaTeX Warning: Reference `Resource-error' on page 211 undefined on input line 1 401. LaTeX Warning: Reference `Syntax-error' on page 211 undefined on input line 141 4. LaTeX Warning: Reference `Syntax-error' on page 211 undefined on input line 141 4. LaTeX Warning: Reference `set-prolog-flag/2' on page 211 undefined on input lin e 1425. LaTeX Warning: Reference `set-prolog-flag/2' on page 211 undefined on input lin e 1425. LaTeX Warning: Reference `syntax-error-info/4' on page 211 undefined on input l ine 1432. LaTeX Warning: Reference `syntax-error-info/4' on page 211 undefined on input l ine 1432. LaTeX Warning: Reference `set-prolog-flag/2' on page 211 undefined on input lin e 1453. LaTeX Warning: Reference `set-prolog-flag/2' on page 211 undefined on input lin e 1453. [211] LaTeX Warning: Reference `Creating-Prolog-terms' on page 212 undefined on input line 1506. LaTeX Warning: Reference `Creating-Prolog-terms' on page 212 undefined on input line 1506. LaTeX Warning: Reference `Introduction:(Manipulating-Prolog-terms)' on page 212 undefined on input line 1514. LaTeX Warning: Reference `Introduction:(Manipulating-Prolog-terms)' on page 212 undefined on input line 1514. LaTeX Warning: Reference `catch/3' on page 212 undefined on input line 1527. LaTeX Warning: Reference `catch/3' on page 212 undefined on input line 1527. [212] LaTeX Warning: Reference `Introduction:(Manipulating-Prolog-terms)' on page 213 undefined on input line 1573. LaTeX Warning: Reference `Introduction:(Manipulating-Prolog-terms)' on page 213 undefined on input line 1573. LaTeX Warning: Reference `catch/3' on page 213 undefined on input line 1577. LaTeX Warning: Reference `catch/3' on page 213 undefined on input line 1577. [213] [214] [215] LaTeX Warning: Reference `op/3' on page 216 undefined on input line 1794. LaTeX Warning: Reference `op/3' on page 216 undefined on input line 1794. LaTeX Warning: Reference `initialization/1' on page 216 undefined on input line 1799. LaTeX Warning: Reference `initialization/1' on page 216 undefined on input line 1799. Overfull \hbox (9.4259pt too wide) in paragraph at lines 1787--1802 []\OT1/cmr/m/n/10 The func-tion \OT1/cmtt/m/n/10 Pl[]Start[]Prolog(argc, argv) \OT1/cmr/m/n/10 ini-tial-izes the Pro-log en-gine (\OT1/cmtt/m/n/10 argc \OT1/c mr/m/n/10 and \OT1/cmtt/m/n/10 argv \OT1/cmr/m/n/10 are the command- LaTeX Warning: Reference `Using-the-compiler' on page 216 undefined on input li ne 1810. LaTeX Warning: Reference `Using-the-compiler' on page 216 undefined on input li ne 1810. [216] [217] [218]) [219] [220] (./references.tex) [221] [222] (./the-index.tex No file gprolog.ind. ) (./gprolog.aux) kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 tctt1000 mkdir: cannot create directory ‘././sbuild-nonexistent’: Permission denied mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input tctt1000 This is METAFONT, Version 2.71828182 (TeX Live 2022/dev/Debian) (preloaded base=mf) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/tctt1000.mf (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exbase.mf) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/tctt.mf (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/txsymb.mf Ok (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exaccess.mf Ok) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/txpseudo.mf Ok) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/txaccent.mf Ok [0] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [27] [29]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/txgen.mf Ok [100] [109] [98] [99] [108]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/txsymbol.mf Ok [13] [18] [21] [22] [23] [24] [25] [26] [28] [31] [32] [36] [39] [44] [45] [46] [42] [47] [60] [61] [62] [77] [79] [87] [110] [91] [93] [94] [95] [96] [126] [127] [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139] [140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151] [152] [153] [154] [155] [156] [157] [158] [159] [160] [161] [162] [163] [164] [165] [166] [167] [168] [169] [171] [172] [173] [174] [175] [177] [176] [180] [181] [182] [183] [184] [187] [191] [214] [246]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/txromod.mf Ok [48] [49] [50] [51] [52] [53] [54] [55] [56] [57]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/txrsuper.mf Ok [185] [178] [179] [170] [186]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/txrfract.mf Ok [188] [189] [190]) ) ) ) Font metrics written on tctt1000.tfm. Output written on tctt1000.600gf (128 characters, 19540 bytes). Transcript written on tctt1000.log. mktexpk: /tmp/texfonts/pk/ljfour/jknappen/ec/tctt1000.600pk: successfully generated. LaTeX Warning: There were undefined references. LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. Package rerunfilecheck Warning: File `gprolog.out' has changed. (rerunfilecheck) Rerun to get outlines right (rerunfilecheck) or use package `bookmark'. ) ) (see the transcript file for additional information) kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 tcrm1000 mkdir: cannot create directory ‘././sbuild-nonexistent’: Permission denied mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input tcrm1000 This is METAFONT, Version 2.71828182 (TeX Live 2022/dev/Debian) (preloaded base=mf) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/tcrm1000.mf (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exbase.mf) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/tcrm.mf (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/txsymb.mf Ok (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/exaccess.mf Ok) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/txpseudo.mf Ok) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/txaccent.mf Ok [0] [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [27] [29]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/txgen.mf Ok [100] [109] [98] [99] [108]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/txsymbol.mf Ok [13] [18] [21] [22] [23] [24] [25] [26] [28] [31] [32] [36] [39] [44] [45] [46] [42] [47] [60] [61] [62] [77] [79] [87] [110] [91] [93] [94] [95] [96] [126] [127] [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139] [140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151] [152] [153] [154] [155] [156] [157] [158] [159] [160] [161] [162] [163] [164] [165] [166] [167] [168] [169] [171] [172] [173] [174] [175] [177] [176] [180] [181] [182] [183] [184] [187] [191] [214] [246]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/txromod.mf Ok [48] [49] [50] [51] [52] [53] [54] [55] [56] [57]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/txrsuper.mf Ok [185] [178] [179] [170] [186]) (/usr/share/texlive/texmf-dist/fonts/source/jknappen/ec/txrfract.mf Ok [188] [189] [190]) ) ) ) (some charht values had to be adjusted by as much as 0.06943pt) Font metrics written on tcrm1000.tfm. Output written on tcrm1000.600gf (128 characters, 23548 bytes). Transcript written on tcrm1000.log. mktexpk: /tmp/texfonts/pk/ljfour/jknappen/ec/tcrm1000.600pk: successfully generated. Output written on gprolog.pdf (224 pages, 819933 bytes). Transcript written on gprolog.log. This is makeindex, version 2.15 [TeX Live 2022/dev] (kpathsea + Thai support). Scanning input file ./gprolog.idx.....done (1051 entries accepted, 0 rejected). Sorting entries............done (12290 comparisons). Generating output file ./gprolog.ind.....done (1284 lines written, 3 warnings). Output written in ./gprolog.ind. Transcript written in ./gprolog.ilg. This is pdfTeX, Version 3.141592653-2.6-1.40.22 (TeX Live 2022/dev/Debian) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./gprolog.tex LaTeX2e <2021-06-01> patch level 1 L3 programming layer <2021-08-27> (./packages.tex (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2021/02/12 v1.4n Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo)) (./hevea.sty (/usr/share/texlive/texmf-dist/tex/latex/comment/comment.sty Excluding comment 'comment') Excluding comment 'rawhtml' Excluding comment 'htmlonly') (/usr/share/texlive/texmf-dist/tex/latex/ntgclass/a4.sty) (/usr/share/texlive/texmf-dist/tex/latex/tools/calc.sty) (/usr/share/texlive/texmf-dist/tex/latex/tools/multicol.sty) (/usr/share/texlive/texmf-dist/tex/latex/tools/tabularx.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/array.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/makeidx.sty) (/usr/share/texlive/texmf-dist/tex/latex/fancyhdr/fancyhdr.sty) (/usr/share/texlive/texmf-dist/tex/latex/supertabular/supertabular.sty) (/usr/share/texlive/texmf-dist/tex/generic/iftex/ifpdf.sty (/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty) (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty) (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg) (/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def))) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty (/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty)) (/usr/share/texlive/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty) (/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty) (/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty) (/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref-langpatches.def) (/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty) (/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def) Package hyperref Warning: Unexpected value for option `pdftex' (hyperref) is ignored on input line 4073. (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty) (/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty (/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def (/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty) (/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty (/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty)))) (./macros.tex) (./body.tex Writing index file gprolog.idx (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def) (./gprolog.aux) (/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] ) (/usr/share/texlive/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty (/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty) (/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty)) (./gprolog.out) (./gprolog.out) (./cover.tex (./version_no.tex) [1{/var/lib/tex mf/fonts/map/pdftex/updmap/pdftex.map} <./logo.pdf>] (./copyright.tex) [2]) (./tbl-contents.tex (./gprolog.tocpdfTeX warning (ext4): destination with the s ame identifier (name{page.1}) has been already used, duplicate ignored \relax l.49 ...1.1}Introduction}{39}{subsubsection.7.1.1} % [1]pdfTeX warning (ext4): d estination with the same identifier (name{page.2}) has been already used, dupli cate ignored \relax l.97 ...luate expression}{63}{subsubsection.8.6.2} % [2] [3] [4] Overfull \hbox (29.12148pt too wide) in paragraph at lines 193--193 [][] [][]\OT1/cmtt/m/n/10 false/0\OT1/cmr/m/n/10 , \OT1/cmtt/m/n/10 once/1\OT1 /cmr/m/n/10 , \OT1/cmtt/m/n/10 (\+)/1 \OT1/cmr/m/n/10 - not prov-able, \OT1/cmt t/m/n/10 call/2-11\OT1/cmr/m/n/10 , \OT1/cmtt/m/n/10 call[]with[]args/1-11\OT1/ cmr/m/n/10 , \OT1/cmtt/m/n/10 call[]det/2\OT1/cmr/m/n/10 , [5] [6] [7])) [8] (./acknow.tex [9]) [10] (./intro.tex [11]) [12] (./use.tex [13] [14] [15] (/usr/share/texlive/texmf-dist/tex/latex/base/ts1cmtt.fd) [16] [17] [18] [19] [20] [21] [22 <./compil-scheme.pdf>] [23] [24] [25] [26] [27] Overfull \hbox (2.77197pt too wide) in paragraph at lines 1363--1366 []\OT1/cmr/m/n/10 an hex-adec-i-mal rep-re-sen-ta-tion of each char-ac-ter of t he string oth-er-wise. For ex-am-ple: \OT1/cmr/m/it/10 E(\OT1/cmtt/m/n/10 x+y=z \OT1/cmr/m/it/10 ) [28] [29]) [30] (./debugger.tex [31 <./debug-box.pdf>] [32] [33] [34]) [35] [36] (./format-defs.tex [37] [38] Overfull \hbox (3.91423pt too wide) in paragraph at lines 333--338 \OT1/cmr/m/n/10 com-po-nent as vari-able is re-quired. \OT1/cmtt/m/it/10 ErrorT erm \OT1/cmr/m/n/10 has the fol-low-ing form: \OT1/cmtt/m/n/10 uninstantiation[ ]error(\OT1/cmtt/m/it/10 Culprit\OT1/cmtt/m/n/10 ) [39] [40] [41] [42]) [43] [44] (./direct-cc.tex [45] [46] [47] [48] [49] [50] Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 426. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 426. [51] [52]) [53] [54] (./pl-bips.tex Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 18. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 18. [55] Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 139. [56] Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 200. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 200. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 200. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 200. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 200. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 200. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 200. [57] [58] [59] [60] Underfull \hbox (badness 10000) in paragraph at lines 450--452 [61] [62] [63] [64] [65] [66] [67] [68] Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 1277. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 1277. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 1277. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 1277. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 1277. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 1277. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 1277. [69] [70] [71] [72] [73] [74] Overfull \hbox (10.78409pt too wide) in paragraph at lines 1684--1689 []\OT1/cmtt/m/n/10 predicate[]property(Head, Property) \OT1/cmr/m/n/10 suc-ceed s if \OT1/cmtt/m/n/10 Head \OT1/cmr/m/n/10 refers to a pred-i-cate that has a p rop-erty \OT1/cmtt/m/n/10 Property\OT1/cmr/m/n/10 . [75] [76] [77] [78] [79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [90] [91] [92] [93] Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 3207. [94] Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 3275. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 3323. [95] Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 3362. [96] [97] [98] [99] [100] [101] [102] [103] Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 4104. [104] [105] [106] Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 4334. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 4334. [107] [108] Overfull \hbox (30.17572pt too wide) in paragraph at lines 4508--4512 []\OT1/cmr/m/n/10 ISO pred-i-cates ex-cept \OT1/cmtt/m/n/10 display/1-2 \OT1/cm r/m/n/10 and \OT1/cmtt/m/n/10 print/1-2 \OT1/cmr/m/n/10 that are GNU Pro-log pr ed-i-cates. \OT1/cmtt/m/n/10 namevars\OT1/cmr/m/n/10 , \OT1/cmtt/m/n/10 variabl e[]names [109] [110] [111] [112] [113] [114] [115] [116] Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 5297. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 5297. [117] Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 5345. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 5345. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 5396. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 5396. [118] [119] [120] [121] [122] [123] [124] Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 5889. [125] Overfull \hbox (10.83276pt too wide) in paragraph at lines 5965--5968 []\OT1/cmtt/m/n/10 false/0\OT1/cmr/m/n/10 , \OT1/cmtt/m/n/10 call/2-8\OT1/cmr/m /n/10 , \OT1/cmtt/m/n/10 once/1 \OT1/cmr/m/n/10 and \OT1/cmtt/m/n/10 (\+)/1 \OT 1/cmr/m/n/10 are ISO pred-i-cates. \OT1/cmtt/m/n/10 call/9-11\OT1/cmr/m/n/10 , \OT1/cmtt/m/n/10 call[]with[]args/1-11\OT1/cmr/m/n/10 , \OT1/cmtt/m/n/10 call[] det/2 [126] [127] [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139] [140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] Overfull \hbox (22.90268pt too wide) in paragraph at lines 7985--7987 []\OT1/cmr/m/n/10 the value of []\OT1/cmtt/m/n/10 char[]conversion\OT1/cmr/m/n/ 10 , []\OT1/cmtt/m/n/10 double[]quotes\OT1/cmr/m/n/10 , []\OT1/cmtt/m/n/10 back []quotes\OT1/cmr/m/n/10 , []\OT1/cmtt/m/n/10 singleton[]warning\OT1/cmr/m/n/10 , []\OT1/cmtt/m/n/10 suspicious[]warning [151] [152] [153] Overfull \hbox (33.27304pt too wide) in paragraph at lines 8180--8229 [][] [154] [155] [156] [157] [158] [159] [160] [161] [162] [163] [164] [165] [166] [167] [168] [169] [170] [171] [172] [173] [174] [175] [176] [177] [178] [179]) [180] (./fd-cstr.tex [181] [182] [183] [184] [185] [186] Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 581. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 581. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 581. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 581. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 581. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 581. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 581. [187] Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 641. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 641. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 641. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 641. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 641. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 641. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 641. [188] [189] Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 875. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 875. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 875. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 875. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 875. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 875. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 875. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 875. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 875. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 875. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 875. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 875. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 875. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 875. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 875. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 875. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 875. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 875. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 875. [190] [191] Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 954. [192] [193] [194] [195] [196] [197]) [198] (./c-interface.tex [199] [200] [201] [202] [203] [204] [205] [206] [207] [208] [209] [210] [211] [212] [213] [214] [215] [216] [217] [218] [219] [220] [221] Overfull \hbox (9.4259pt too wide) in paragraph at lines 1787--1802 []\OT1/cmr/m/n/10 The func-tion \OT1/cmtt/m/n/10 Pl[]Start[]Prolog(argc, argv) \OT1/cmr/m/n/10 ini-tial-izes the Pro-log en-gine (\OT1/cmtt/m/n/10 argc \OT1/c mr/m/n/10 and \OT1/cmtt/m/n/10 argv \OT1/cmr/m/n/10 are the command- [222] [223] [224]) [225] [226] (./references.tex) [227] [228] (./the-index.tex (./gprolog.ind [229] [230] [231] [232] [233] [234] [235] [236])) (./gprolog.aux ) LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. Package rerunfilecheck Warning: File `gprolog.out' has changed. (rerunfilecheck) Rerun to get outlines right (rerunfilecheck) or use package `bookmark'. ) ) (see the transcript file for additional information) Output written on gprolog.pdf (238 pages, 957652 bytes). Transcript written on gprolog.log. This is makeindex, version 2.15 [TeX Live 2022/dev] (kpathsea + Thai support). Scanning input file ./gprolog.idx.....done (1051 entries accepted, 0 rejected). Sorting entries............done (12292 comparisons). Generating output file ./gprolog.ind.....done (1284 lines written, 4 warnings). Output written in ./gprolog.ind. Transcript written in ./gprolog.ilg. This is pdfTeX, Version 3.141592653-2.6-1.40.22 (TeX Live 2022/dev/Debian) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./gprolog.tex LaTeX2e <2021-06-01> patch level 1 L3 programming layer <2021-08-27> (./packages.tex (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2021/02/12 v1.4n Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo)) (./hevea.sty (/usr/share/texlive/texmf-dist/tex/latex/comment/comment.sty Excluding comment 'comment') Excluding comment 'rawhtml' Excluding comment 'htmlonly') (/usr/share/texlive/texmf-dist/tex/latex/ntgclass/a4.sty) (/usr/share/texlive/texmf-dist/tex/latex/tools/calc.sty) (/usr/share/texlive/texmf-dist/tex/latex/tools/multicol.sty) (/usr/share/texlive/texmf-dist/tex/latex/tools/tabularx.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/array.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/makeidx.sty) (/usr/share/texlive/texmf-dist/tex/latex/fancyhdr/fancyhdr.sty) (/usr/share/texlive/texmf-dist/tex/latex/supertabular/supertabular.sty) (/usr/share/texlive/texmf-dist/tex/generic/iftex/ifpdf.sty (/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty) (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty) (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg) (/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def))) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty (/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty)) (/usr/share/texlive/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty) (/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty) (/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty) (/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref-langpatches.def) (/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty) (/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def) Package hyperref Warning: Unexpected value for option `pdftex' (hyperref) is ignored on input line 4073. (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty) (/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty (/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def (/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty) (/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty (/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty)))) (./macros.tex) (./body.tex Writing index file gprolog.idx (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def) (./gprolog.aux) (/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] ) (/usr/share/texlive/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty (/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty) (/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty)) (./gprolog.out) (./gprolog.out) (./cover.tex (./version_no.tex) [1{/var/lib/tex mf/fonts/map/pdftex/updmap/pdftex.map} <./logo.pdf>] (./copyright.tex) [2]) (./tbl-contents.tex (./gprolog.tocpdfTeX warning (ext4): destination with the s ame identifier (name{page.1}) has been already used, duplicate ignored \relax l.49 ...1.1}Introduction}{45}{subsubsection.7.1.1} % [1]pdfTeX warning (ext4): d estination with the same identifier (name{page.2}) has been already used, dupli cate ignored \relax l.97 ...luate expression}{69}{subsubsection.8.6.2} % [2] [3] [4] Overfull \hbox (29.12148pt too wide) in paragraph at lines 193--193 [][] [][]\OT1/cmtt/m/n/10 false/0\OT1/cmr/m/n/10 , \OT1/cmtt/m/n/10 once/1\OT1 /cmr/m/n/10 , \OT1/cmtt/m/n/10 (\+)/1 \OT1/cmr/m/n/10 - not prov-able, \OT1/cmt t/m/n/10 call/2-11\OT1/cmr/m/n/10 , \OT1/cmtt/m/n/10 call[]with[]args/1-11\OT1/ cmr/m/n/10 , \OT1/cmtt/m/n/10 call[]det/2\OT1/cmr/m/n/10 , [5] [6] [7])) [8] (./acknow.tex [9]) [10] (./intro.tex [11]) [12] (./use.tex [13] [14] [15] (/usr/share/texlive/texmf-dist/tex/latex/base/ts1cmtt.fd) [16] [17] [18] [19] [20] [21] [22 <./compil-scheme.pdf>] [23] [24] [25] [26] [27] Overfull \hbox (2.77197pt too wide) in paragraph at lines 1363--1366 []\OT1/cmr/m/n/10 an hex-adec-i-mal rep-re-sen-ta-tion of each char-ac-ter of t he string oth-er-wise. For ex-am-ple: \OT1/cmr/m/it/10 E(\OT1/cmtt/m/n/10 x+y=z \OT1/cmr/m/it/10 ) [28] [29]) [30] (./debugger.tex [31 <./debug-box.pdf>] [32] [33] [34]) [35] [36] (./format-defs.tex [37] [38] Overfull \hbox (3.91423pt too wide) in paragraph at lines 333--338 \OT1/cmr/m/n/10 com-po-nent as vari-able is re-quired. \OT1/cmtt/m/it/10 ErrorT erm \OT1/cmr/m/n/10 has the fol-low-ing form: \OT1/cmtt/m/n/10 uninstantiation[ ]error(\OT1/cmtt/m/it/10 Culprit\OT1/cmtt/m/n/10 ) [39] [40] [41] [42]) [43] [44] (./direct-cc.tex [45] [46] [47] [48] [49] [50] Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 426. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 426. [51] [52]) [53] [54] (./pl-bips.tex Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 18. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 18. [55] Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 139. [56] Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 200. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 200. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 200. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 200. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 200. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 200. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 200. [57] [58] [59] [60] Underfull \hbox (badness 10000) in paragraph at lines 450--452 [61] [62] [63] [64] [65] [66] [67] [68] Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 1277. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 1277. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 1277. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 1277. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 1277. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 1277. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 1277. [69] [70] [71] [72] [73] [74] Overfull \hbox (10.78409pt too wide) in paragraph at lines 1684--1689 []\OT1/cmtt/m/n/10 predicate[]property(Head, Property) \OT1/cmr/m/n/10 suc-ceed s if \OT1/cmtt/m/n/10 Head \OT1/cmr/m/n/10 refers to a pred-i-cate that has a p rop-erty \OT1/cmtt/m/n/10 Property\OT1/cmr/m/n/10 . [75] [76] [77] [78] [79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [90] [91] [92] [93] Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 3207. [94] Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 3275. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 3323. [95] Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 3362. [96] [97] [98] [99] [100] [101] [102] [103] Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 4104. [104] [105] [106] Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 4334. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 4334. [107] [108] Overfull \hbox (30.17572pt too wide) in paragraph at lines 4508--4512 []\OT1/cmr/m/n/10 ISO pred-i-cates ex-cept \OT1/cmtt/m/n/10 display/1-2 \OT1/cm r/m/n/10 and \OT1/cmtt/m/n/10 print/1-2 \OT1/cmr/m/n/10 that are GNU Pro-log pr ed-i-cates. \OT1/cmtt/m/n/10 namevars\OT1/cmr/m/n/10 , \OT1/cmtt/m/n/10 variabl e[]names [109] [110] [111] [112] [113] [114] [115] [116] Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 5297. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 5297. [117] Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 5345. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 5345. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 5396. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 5396. [118] [119] [120] [121] [122] [123] [124] Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 5889. [125] Overfull \hbox (10.83276pt too wide) in paragraph at lines 5965--5968 []\OT1/cmtt/m/n/10 false/0\OT1/cmr/m/n/10 , \OT1/cmtt/m/n/10 call/2-8\OT1/cmr/m /n/10 , \OT1/cmtt/m/n/10 once/1 \OT1/cmr/m/n/10 and \OT1/cmtt/m/n/10 (\+)/1 \OT 1/cmr/m/n/10 are ISO pred-i-cates. \OT1/cmtt/m/n/10 call/9-11\OT1/cmr/m/n/10 , \OT1/cmtt/m/n/10 call[]with[]args/1-11\OT1/cmr/m/n/10 , \OT1/cmtt/m/n/10 call[] det/2 [126] [127] [128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139] [140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] Overfull \hbox (22.90268pt too wide) in paragraph at lines 7985--7987 []\OT1/cmr/m/n/10 the value of []\OT1/cmtt/m/n/10 char[]conversion\OT1/cmr/m/n/ 10 , []\OT1/cmtt/m/n/10 double[]quotes\OT1/cmr/m/n/10 , []\OT1/cmtt/m/n/10 back []quotes\OT1/cmr/m/n/10 , []\OT1/cmtt/m/n/10 singleton[]warning\OT1/cmr/m/n/10 , []\OT1/cmtt/m/n/10 suspicious[]warning [151] [152] [153] Overfull \hbox (33.27304pt too wide) in paragraph at lines 8180--8229 [][] [154] [155] [156] [157] [158] [159] [160] [161] [162] [163] [164] [165] [166] [167] [168] [169] [170] [171] [172] [173] [174] [175] [176] [177] [178] [179]) [180] (./fd-cstr.tex [181] [182] [183] [184] [185] [186] Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 581. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 581. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 581. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 581. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 581. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 581. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 581. [187] Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 641. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 641. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 641. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 641. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 641. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 641. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 641. [188] [189] Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 875. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 875. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 875. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 875. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 875. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 875. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 875. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 875. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 875. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 875. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 875. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 875. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 875. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 875. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 875. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 875. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 875. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 875. Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\char' on input line 875. [190] [191] Package hyperref Warning: Token not allowed in a PDF string (Unicode): (hyperref) removing `\\' on input line 954. [192] [193] [194] [195] [196] [197]) [198] (./c-interface.tex [199] [200] [201] [202] [203] [204] [205] [206] [207] [208] [209] [210] [211] [212] [213] [214] [215] [216] [217] [218] [219] [220] [221] Overfull \hbox (9.4259pt too wide) in paragraph at lines 1787--1802 []\OT1/cmr/m/n/10 The func-tion \OT1/cmtt/m/n/10 Pl[]Start[]Prolog(argc, argv) \OT1/cmr/m/n/10 ini-tial-izes the Pro-log en-gine (\OT1/cmtt/m/n/10 argc \OT1/c mr/m/n/10 and \OT1/cmtt/m/n/10 argv \OT1/cmr/m/n/10 are the command- [222] [223] [224]) [225] [226] (./references.tex) [227] [228] (./the-index.tex (./gprolog.ind [229] [230] [231] [232] [233] [234] [235] [236])) (./gprolog.aux ) ) ) (see the transcript file for additional information) Output written on gprolog.pdf (238 pages, 957855 bytes). Transcript written on gprolog.log. This is makeindex, version 2.15 [TeX Live 2022/dev] (kpathsea + Thai support). Scanning input file ./gprolog.idx.....done (1051 entries accepted, 0 rejected). Sorting entries............done (12292 comparisons). Generating output file ./gprolog.ind.....done (1284 lines written, 4 warnings). Output written in ./gprolog.ind. Transcript written in ./gprolog.ilg. hevea -O -s -exec xxdate.exe -fix custom.hva gprolog.tex -o gprolog.html Exclude comment 'comment' Exclude comment 'comment' Exclude comment 'comment' rm -f html_node/index.html html_node/gprolog*.html cp logo.png compil-scheme.png debug-box.png html_node/. (cd html_node && hacha -hrf -tocbis ../gprolog.html && ./hh_do_hhc_hhk gprolog) Exclude comment 'comment' Exclude comment 'comment' make[1]: Leaving directory '/<>/doc' touch stamp-build-indep dh_testdir ## fix up the time stamp on generated files in the Debian diff, ## which can't be regenerated during build w/o a tool that depends ## on them! if [ -f src/BipsPl/arith_inl.wam ]; then \ touch src/BipsPl/arith_inl.wam; \ fi PATH=/<>/src/TopComp:/<>/src/EnginePl:/<>/src/Pl2Wam:/<>/src/Wam2Ma:/<>/src/Ma2Asm:/<>/src/Fd2C:/<>/src/DevUtils::/usr/bin:/bin PL_PATH=/<>/src make -C src make[1]: Entering directory '/<>/src' cd EnginePl; make config make[2]: Entering directory '/<>/src/EnginePl' gcc -fno-strict-aliasing -g -O3 -fomit-frame-pointer -no-pie -fcommon -funsigned-char -Wall -DDEBIAN -o pl_config pl_config.c ./pl_config ------------------------------- --- GNU PROLOG INSTALLATION --- ------------------------------- GNU Prolog version: 1.4.5 (Oct 26 2021) Operating system : linux-gnu Processor : x86_64 Size of a WAM word: 64 bits C compiler : gcc C flags : -g -O3 -fomit-frame-pointer -no-pie -fcommon -funsigned-char -Wall -DDEBIAN C flags machine : -fno-strict-aliasing Assembler : as Assembler flags : --64 Loader flags : -no-pie Loader libraries : -lm Use line editor : Yes Use piped consult : Yes Use sockets : Yes Use FD solver : Yes Use machine regs. : Yes Used register(s) : r12 (pl_reg_bank) r13 (TR) r14 (B) r15 (H) ------------------------------ (cd ../TopComp; make gplc) make[3]: Entering directory '/<>/src/TopComp' gcc -fno-strict-aliasing -g -O3 -fomit-frame-pointer -no-pie -fcommon -funsigned-char -Wall -DDEBIAN -o gplc top_comp.c -lm make[3]: Leaving directory '/<>/src/TopComp' make[2]: Leaving directory '/<>/src/EnginePl' . ./SETVARS;for i in EnginePl TopComp Wam2Ma Ma2Asm Linedit BipsPl Pl2Wam Fd2C EngineFD BipsFD;do (cd $i; make) || exit 1; done;\ (cd TopComp; make top-level) || exit 1;\ (cd Pl2Wam; make stage2) make[2]: Entering directory '/<>/src/EnginePl' gcc -fno-strict-aliasing -g -O3 -fomit-frame-pointer -no-pie -fcommon -funsigned-char -Wall -DDEBIAN -o cpp_headers cpp_headers.c gplc -c -C '-g -O3 -fomit-frame-pointer -no-pie -fcommon -funsigned-char -Wall -DDEBIAN' machine.c clang: error: unknown argument '-ffixed-r12'; did you mean '-ffixed-r19'? clang: error: unknown argument '-ffixed-r13'; did you mean '-ffixed-r19'? clang: error: unknown argument '-ffixed-r14'; did you mean '-ffixed-r19'? clang: error: unknown argument '-ffixed-r15'; did you mean '-ffixed-r19'? compilation failed make[2]: *** [Makefile:30: machine.o] Error 1 make[2]: Leaving directory '/<>/src/EnginePl' make[1]: *** [Makefile:48: all] Error 1 make[1]: Leaving directory '/<>/src' make: *** [debian/rules:111: stamp-build-arch] Error 2 dpkg-buildpackage: error: debian/rules build subprocess returned exit status 2 -------------------------------------------------------------------------------- Build finished at 2021-10-26T22:33:34Z Finished -------- +------------------------------------------------------------------------------+ | Cleanup | +------------------------------------------------------------------------------+ Purging /<> Not cleaning session: cloned chroot in use E: Build failure (dpkg-buildpackage died) +------------------------------------------------------------------------------+ | Summary | +------------------------------------------------------------------------------+ Build Architecture: amd64 Build Type: binary Build-Space: 13360 Build-Time: 18 Distribution: unstable Fail-Stage: build Host Architecture: amd64 Install-Time: 37 Job: gprolog_1.4.5.0-3 Machine Architecture: amd64 Package: gprolog Package-Time: 76 Source-Version: 1.4.5.0-3 Space: 13360 Status: attempted Version: 1.4.5.0-3 -------------------------------------------------------------------------------- Finished at 2021-10-26T22:33:34Z Build needed 00:01:16, 13360k disk space E: Build failure (dpkg-buildpackage died) DC-Status: Failed 78.071230219s