DC-Build-Header: minisat+ 1.0-4 / 2020-10-29 20:13:55 +0000 DC-Task: type:rebuild-binarch-only source:minisat+ version:1.0-4 chroot:unstable esttime:23 logfile:/tmp/minisat+_1.0-4_unstable_clang11.log modes:clang11:binarch-only DC-Sbuild-call: su user42 -c 'sbuild -n --arch-any --apt-update -d unstable -v --no-run-lintian --chroot-setup-commands=/tmp/clang11 minisat+_1.0-4' sbuild (Debian sbuild) 0.78.1 (09 February 2019) on ip-172-31-7-68.eu-central-1.compute.internal +==============================================================================+ | minisat+ 1.0-4 (amd64) Thu, 29 Oct 2020 20:13:55 +0000 | +==============================================================================+ Package: minisat+ Version: 1.0-4 Source Version: 1.0-4 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-49c746ce-238f-4c10-9a97-a4959fc72351' with '<>' +------------------------------------------------------------------------------+ | Chroot Setup Commands | +------------------------------------------------------------------------------+ /tmp/clang11 ------------ + echo 'Entering customization script...' Entering customization script... + CLANG_VERSION=10 + echo 'Install of clang-10' Install of clang-10 + apt-get update Get:1 http://127.0.0.1:12990/debian sid InRelease [146 kB] Get:2 http://127.0.0.1:12990/debian sid/main Sources.diff/Index [734 B] Ign:2 http://127.0.0.1:12990/debian sid/main Sources.diff/Index Get:3 http://127.0.0.1:12990/debian sid/main amd64 Packages.diff/Index [734 B] Ign:3 http://127.0.0.1:12990/debian sid/main amd64 Packages.diff/Index Get:4 http://127.0.0.1:12990/debian sid/main Translation-en [6391 kB] Get:5 http://127.0.0.1:12990/debian sid/main Sources [8989 kB] Get:6 http://127.0.0.1:12990/debian sid/main amd64 Packages [8492 kB] Fetched 24.0 MB in 3s (6946 kB/s) Reading package lists... + apt-get install --yes --no-install-recommends --force-yes clang-10 libomp-10-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-10-dev libclang-cpp10 libclang1-10 libedit2 libgc1 libgcc-9-dev libllvm10 libobjc-10-dev libobjc4 libomp5-10 libz3-4 Suggested packages: clang-10-doc libomp-10-doc Recommended packages: llvm-10-dev python3 The following NEW packages will be installed: clang-10 lib32gcc-s1 lib32stdc++6 libasan5 libbsd0 libc6-i386 libclang-common-10-dev libclang-cpp10 libclang1-10 libedit2 libgc1 libgcc-9-dev libllvm10 libobjc-10-dev libobjc-9-dev libobjc4 libomp-10-dev libomp5-10 libz3-4 0 upgraded, 19 newly installed, 0 to remove and 1 not upgraded. Need to get 52.3 MB of archives. After this operation, 274 MB of additional disk space will be used. Get:1 http://127.0.0.1:12990/debian sid/main amd64 libbsd0 amd64 0.10.0-1 [107 kB] Get:2 http://127.0.0.1:12990/debian sid/main amd64 libedit2 amd64 3.1-20191231-1 [95.4 kB] Get:3 http://127.0.0.1:12990/debian sid/main amd64 libz3-4 amd64 4.8.9-1 [6783 kB] Get:4 http://127.0.0.1:12990/debian sid/main amd64 libllvm10 amd64 1:10.0.1-7 [16.6 MB] Get:5 http://127.0.0.1:12990/debian sid/main amd64 libclang-cpp10 amd64 1:10.0.1-7 [9069 kB] Get:6 http://127.0.0.1:12990/debian sid/main amd64 libgc1 amd64 1:8.0.4-2.1 [239 kB] Get:7 http://127.0.0.1:12990/debian sid/main amd64 libobjc4 amd64 10.2.0-15 [41.6 kB] Get:8 http://127.0.0.1:12990/debian sid/main amd64 libobjc-10-dev amd64 10.2.0-15 [170 kB] Get:9 http://127.0.0.1:12990/debian sid/main amd64 libc6-i386 amd64 2.31-4 [2815 kB] Get:10 http://127.0.0.1:12990/debian sid/main amd64 lib32gcc-s1 amd64 10.2.0-15 [49.4 kB] Get:11 http://127.0.0.1:12990/debian sid/main amd64 lib32stdc++6 amd64 10.2.0-15 [511 kB] Get:12 http://127.0.0.1:12990/debian sid/main amd64 libclang-common-10-dev amd64 1:10.0.1-7 [5062 kB] Get:13 http://127.0.0.1:12990/debian sid/main amd64 libclang1-10 amd64 1:10.0.1-7 [7293 kB] Get:14 http://127.0.0.1:12990/debian sid/main amd64 clang-10 amd64 1:10.0.1-7 [106 kB] Get:15 http://127.0.0.1:12990/debian sid/main amd64 libasan5 amd64 9.3.0-18 [390 kB] Get:16 http://127.0.0.1:12990/debian sid/main amd64 libgcc-9-dev amd64 9.3.0-18 [2347 kB] Get:17 http://127.0.0.1:12990/debian sid/main amd64 libobjc-9-dev amd64 9.3.0-18 [220 kB] Get:18 http://127.0.0.1:12990/debian sid/main amd64 libomp5-10 amd64 1:10.0.1-7 [339 kB] Get:19 http://127.0.0.1:12990/debian sid/main amd64 libomp-10-dev amd64 1:10.0.1-7 [86.6 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 52.3 MB in 0s (145 MB/s) Selecting previously unselected package libbsd0: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 ... 12312 files and directories currently installed.) Preparing to unpack .../00-libbsd0_0.10.0-1_amd64.deb ... Unpacking libbsd0:amd64 (0.10.0-1) ... Selecting previously unselected package libedit2:amd64. Preparing to unpack .../01-libedit2_3.1-20191231-1_amd64.deb ... Unpacking libedit2:amd64 (3.1-20191231-1) ... Selecting previously unselected package libz3-4:amd64. Preparing to unpack .../02-libz3-4_4.8.9-1_amd64.deb ... Unpacking libz3-4:amd64 (4.8.9-1) ... Selecting previously unselected package libllvm10:amd64. Preparing to unpack .../03-libllvm10_1%3a10.0.1-7_amd64.deb ... Unpacking libllvm10:amd64 (1:10.0.1-7) ... Selecting previously unselected package libclang-cpp10. Preparing to unpack .../04-libclang-cpp10_1%3a10.0.1-7_amd64.deb ... Unpacking libclang-cpp10 (1:10.0.1-7) ... Selecting previously unselected package libgc1:amd64. Preparing to unpack .../05-libgc1_1%3a8.0.4-2.1_amd64.deb ... Unpacking libgc1:amd64 (1:8.0.4-2.1) ... Selecting previously unselected package libobjc4:amd64. Preparing to unpack .../06-libobjc4_10.2.0-15_amd64.deb ... Unpacking libobjc4:amd64 (10.2.0-15) ... Selecting previously unselected package libobjc-10-dev:amd64. Preparing to unpack .../07-libobjc-10-dev_10.2.0-15_amd64.deb ... Unpacking libobjc-10-dev:amd64 (10.2.0-15) ... Selecting previously unselected package libc6-i386. Preparing to unpack .../08-libc6-i386_2.31-4_amd64.deb ... Unpacking libc6-i386 (2.31-4) ... Selecting previously unselected package lib32gcc-s1. Preparing to unpack .../09-lib32gcc-s1_10.2.0-15_amd64.deb ... Unpacking lib32gcc-s1 (10.2.0-15) ... Selecting previously unselected package lib32stdc++6. Preparing to unpack .../10-lib32stdc++6_10.2.0-15_amd64.deb ... Unpacking lib32stdc++6 (10.2.0-15) ... Selecting previously unselected package libclang-common-10-dev. Preparing to unpack .../11-libclang-common-10-dev_1%3a10.0.1-7_amd64.deb ... Unpacking libclang-common-10-dev (1:10.0.1-7) ... Selecting previously unselected package libclang1-10. Preparing to unpack .../12-libclang1-10_1%3a10.0.1-7_amd64.deb ... Unpacking libclang1-10 (1:10.0.1-7) ... Selecting previously unselected package clang-10. Preparing to unpack .../13-clang-10_1%3a10.0.1-7_amd64.deb ... Unpacking clang-10 (1:10.0.1-7) ... Selecting previously unselected package libasan5:amd64. Preparing to unpack .../14-libasan5_9.3.0-18_amd64.deb ... Unpacking libasan5:amd64 (9.3.0-18) ... Selecting previously unselected package libgcc-9-dev:amd64. Preparing to unpack .../15-libgcc-9-dev_9.3.0-18_amd64.deb ... Unpacking libgcc-9-dev:amd64 (9.3.0-18) ... Selecting previously unselected package libobjc-9-dev:amd64. Preparing to unpack .../16-libobjc-9-dev_9.3.0-18_amd64.deb ... Unpacking libobjc-9-dev:amd64 (9.3.0-18) ... Selecting previously unselected package libomp5-10:amd64. Preparing to unpack .../17-libomp5-10_1%3a10.0.1-7_amd64.deb ... Unpacking libomp5-10:amd64 (1:10.0.1-7) ... Selecting previously unselected package libomp-10-dev. Preparing to unpack .../18-libomp-10-dev_1%3a10.0.1-7_amd64.deb ... Unpacking libomp-10-dev (1:10.0.1-7) ... Setting up libasan5:amd64 (9.3.0-18) ... Setting up libz3-4:amd64 (4.8.9-1) ... Setting up libgc1:amd64 (1:8.0.4-2.1) ... Setting up libomp5-10:amd64 (1:10.0.1-7) ... Setting up libc6-i386 (2.31-4) ... Setting up libbsd0:amd64 (0.10.0-1) ... Setting up libomp-10-dev (1:10.0.1-7) ... Setting up libedit2:amd64 (3.1-20191231-1) ... Setting up libobjc4:amd64 (10.2.0-15) ... Setting up libllvm10:amd64 (1:10.0.1-7) ... Setting up libgcc-9-dev:amd64 (9.3.0-18) ... Setting up lib32gcc-s1 (10.2.0-15) ... Setting up lib32stdc++6 (10.2.0-15) ... Setting up libclang1-10 (1:10.0.1-7) ... Setting up libobjc-9-dev:amd64 (9.3.0-18) ... Setting up libobjc-10-dev:amd64 (10.2.0-15) ... Setting up libclang-common-10-dev (1:10.0.1-7) ... Setting up libclang-cpp10 (1:10.0.1-7) ... Setting up clang-10 (1:10.0.1-7) ... Processing triggers for libc-bin (2.31-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' + cd /usr/bin + for VERSION in $VERSIONS + rm -f g++-4.6 gcc-4.6 cpp-4.6 gcc + ln -s clang++-10 g++-4.6 + ln -s clang-10 gcc-4.6 + ln -s clang-10 cpp-4.6 + ln -s clang-10 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++-10 g++-4.7 + ln -s clang-10 gcc-4.7 + ln -s clang-10 cpp-4.7 + ln -s clang-10 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++-10 g++-4.8 + ln -s clang-10 gcc-4.8 + ln -s clang-10 cpp-4.8 + ln -s clang-10 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++-10 g++-4.9 + ln -s clang-10 gcc-4.9 + ln -s clang-10 cpp-4.9 + ln -s clang-10 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++-10 g++-5 + ln -s clang-10 gcc-5 + ln -s clang-10 cpp-5 + ln -s clang-10 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++-10 g++-6 + ln -s clang-10 gcc-6 + ln -s clang-10 cpp-6 + ln -s clang-10 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++-10 g++-7 + ln -s clang-10 gcc-7 + ln -s clang-10 cpp-7 + ln -s clang-10 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++-10 g++-8 + ln -s clang-10 gcc-8 + ln -s clang-10 cpp-8 + ln -s clang-10 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++-10 g++-9 + ln -s clang-10 gcc-9 + ln -s clang-10 cpp-9 + ln -s clang-10 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++-10 g++-10 + ln -s clang-10 gcc-10 + ln -s clang-10 cpp-10 + ln -s clang-10 gcc + echo 'gcc-10 hold' + dpkg --set-selections + echo 'g++-10 hold' + dpkg --set-selections + cd - /build/minisat+-jHhi6k + 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-10 clang++ + ln -s clang-10 clang + clang++ --version Debian clang version 10.0.1-7 Target: x86_64-pc-linux-gnu Thread model: posix InstalledDir: /usr/bin + clang --version Debian clang version 10.0.1-7 Target: x86_64-pc-linux-gnu Thread model: posix InstalledDir: /usr/bin + cd - /build/minisat+-jHhi6k + 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 1 not upgraded. Need to get 1304 kB of archives. After this operation, 4865 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.14.2+dfsg-6 [1035 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.14.2+dfsg-6 [242 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 1304 kB in 0s (57.3 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 ... 13315 files and directories currently installed.) Preparing to unpack .../qt5-qmake-bin_5.14.2+dfsg-6_amd64.deb ... Unpacking qt5-qmake-bin (5.14.2+dfsg-6) ... 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.14.2+dfsg-6_amd64.deb ... Unpacking qt5-qmake:amd64 (5.14.2+dfsg-6) ... Setting up qt5-qmake-bin (5.14.2+dfsg-6) ... Setting up qtchooser (66-2) ... Setting up qt5-qmake:amd64 (5.14.2+dfsg-6) ... 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 29 20:14 . drwxr-xr-x 76 root root 4096 Oct 29 20:14 .. -rw-r--r-- 1 root root 276 Oct 29 20:14 qmake.conf -rw-r--r-- 1 root root 3218 Oct 29 20:14 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/clang11'. Finished processing commands. -------------------------------------------------------------------------------- I: NOTICE: Log filtering will replace 'build/minisat+-jHhi6k/resolver-nQCKTc' 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... The following packages will be upgraded: libdebconfclient0 1 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 49.6 kB of archives. After this operation, 0 B of additional disk space will be used. Get:1 http://127.0.0.1:12990/debian sid/main amd64 libdebconfclient0 amd64 0.255 [49.6 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 49.6 kB in 0s (3544 kB/s) (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 ... 14056 files and directories currently installed.) Preparing to unpack .../libdebconfclient0_0.255_amd64.deb ... Unpacking libdebconfclient0:amd64 (0.255) over (0.254) ... Setting up libdebconfclient0:amd64 (0.255) ... Processing triggers for libc-bin (2.31-4) ... +------------------------------------------------------------------------------+ | Fetch source files | +------------------------------------------------------------------------------+ Check APT --------- Checking available source versions... Download source files with APT ------------------------------ Reading package lists... NOTICE: 'minisat+' packaging is maintained in the 'Git' version control system at: https://anonscm.debian.org/git/debian-science/packages/minisat+.git Please use: git clone https://anonscm.debian.org/git/debian-science/packages/minisat+.git to retrieve the latest (possibly unreleased) updates to the package. Need to get 86.2 kB of source archives. Get:1 http://127.0.0.1:12990/debian sid/main minisat+ 1.0-4 (dsc) [1984 B] Get:2 http://127.0.0.1:12990/debian sid/main minisat+ 1.0-4 (tar) [80.0 kB] Get:3 http://127.0.0.1:12990/debian sid/main minisat+ 1.0-4 (diff) [4176 B] Fetched 86.2 kB in 0s (1085 kB/s) Download complete and in download only mode I: NOTICE: Log filtering will replace 'build/minisat+-jHhi6k/minisat+-1.0' with '<>' I: NOTICE: Log filtering will replace 'build/minisat+-jHhi6k' with '<>' +------------------------------------------------------------------------------+ | Install package build dependencies | +------------------------------------------------------------------------------+ Setup apt archive ----------------- Merged Build-Depends: debhelper (>= 10), libgmp-dev, zlib1g-dev, build-essential, fakeroot Filtered Build-Depends: debhelper (>= 10), libgmp-dev, zlib1g-dev, build-essential, fakeroot 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 [381 B] Get:5 copy:/<>/apt_archive ./ Packages [463 B] Fetched 1801 B in 0s (0 B/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 gettext gettext-base groff-base intltool-debian libarchive-zip-perl libcroco3 libdebhelper-perl libelf1 libfile-stripnondeterminism-perl libglib2.0-0 libgmp-dev libgmpxx4ldbl libicu67 libmagic-mgc libmagic1 libpipeline1 libsigsegv2 libsub-override-perl libtool libuchardet0 libxml2 m4 man-db po-debconf sensible-utils zlib1g-dev Suggested packages: autoconf-archive gnu-standards autoconf-doc dh-make gettext-doc libasprintf-dev libgettextpo-dev groff gmp-doc libgmp10-doc libmpfr-dev libtool-doc gfortran | fortran95-compiler gcj-jdk m4-doc apparmor less www-browser libmail-box-perl Recommended packages: curl | wget | lynx libarchive-cpio-perl libglib2.0-data shared-mime-info xdg-user-dirs libltdl-dev libmail-sendmail-perl The following NEW packages will be installed: autoconf automake autopoint autotools-dev bsdextrautils debhelper dh-autoreconf dh-strip-nondeterminism dwz file gettext gettext-base groff-base intltool-debian libarchive-zip-perl libcroco3 libdebhelper-perl libelf1 libfile-stripnondeterminism-perl libglib2.0-0 libgmp-dev libgmpxx4ldbl libicu67 libmagic-mgc libmagic1 libpipeline1 libsigsegv2 libsub-override-perl libtool libuchardet0 libxml2 m4 man-db po-debconf sbuild-build-depends-main-dummy sensible-utils zlib1g-dev 0 upgraded, 37 newly installed, 0 to remove and 0 not upgraded. Need to get 20.4 MB of archives. After this operation, 74.4 MB of additional disk space will be used. Get:1 copy:/<>/apt_archive ./ sbuild-build-depends-main-dummy 0.invalid.0 [888 B] Get:2 http://127.0.0.1:12990/debian sid/main amd64 bsdextrautils amd64 2.36-3+b1 [140 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-5 [920 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.3-2 [1314 kB] Get:7 http://127.0.0.1:12990/debian sid/main amd64 sensible-utils all 0.0.12+nmu1 [16.0 kB] Get:8 http://127.0.0.1:12990/debian sid/main amd64 libmagic-mgc amd64 1:5.38-5 [262 kB] Get:9 http://127.0.0.1:12990/debian sid/main amd64 libmagic1 amd64 1:5.38-5 [120 kB] Get:10 http://127.0.0.1:12990/debian sid/main amd64 file amd64 1:5.38-5 [67.9 kB] Get:11 http://127.0.0.1:12990/debian sid/main amd64 gettext-base amd64 0.19.8.1-10 [123 kB] Get:12 http://127.0.0.1:12990/debian sid/main amd64 libsigsegv2 amd64 2.12-2 [32.8 kB] Get:13 http://127.0.0.1:12990/debian sid/main amd64 m4 amd64 1.4.18-4 [203 kB] Get:14 http://127.0.0.1:12990/debian sid/main amd64 autoconf all 2.69-11.1 [341 kB] Get:15 http://127.0.0.1:12990/debian sid/main amd64 autotools-dev all 20180224.1 [77.0 kB] Get:16 http://127.0.0.1:12990/debian sid/main amd64 automake all 1:1.16.2-4 [801 kB] Get:17 http://127.0.0.1:12990/debian sid/main amd64 autopoint all 0.19.8.1-10 [435 kB] Get:18 http://127.0.0.1:12990/debian sid/main amd64 libtool all 2.4.6-14 [513 kB] Get:19 http://127.0.0.1:12990/debian sid/main amd64 dh-autoreconf all 19 [16.9 kB] Get:20 http://127.0.0.1:12990/debian sid/main amd64 libdebhelper-perl all 13.2.1 [188 kB] Get:21 http://127.0.0.1:12990/debian sid/main amd64 libarchive-zip-perl all 1.68-1 [104 kB] Get:22 http://127.0.0.1:12990/debian sid/main amd64 libsub-override-perl all 0.09-2 [10.2 kB] Get:23 http://127.0.0.1:12990/debian sid/main amd64 libfile-stripnondeterminism-perl all 1.9.0-1 [25.5 kB] Get:24 http://127.0.0.1:12990/debian sid/main amd64 dh-strip-nondeterminism all 1.9.0-1 [15.2 kB] Get:25 http://127.0.0.1:12990/debian sid/main amd64 libelf1 amd64 0.181-1 [164 kB] Get:26 http://127.0.0.1:12990/debian sid/main amd64 dwz amd64 0.13-5 [151 kB] Get:27 http://127.0.0.1:12990/debian sid/main amd64 libglib2.0-0 amd64 2.66.1-2 [1362 kB] Get:28 http://127.0.0.1:12990/debian sid/main amd64 libicu67 amd64 67.1-4 [8624 kB] Get:29 http://127.0.0.1:12990/debian sid/main amd64 libxml2 amd64 2.9.10+dfsg-6.1 [692 kB] Get:30 http://127.0.0.1:12990/debian sid/main amd64 libcroco3 amd64 0.6.13-1 [146 kB] Get:31 http://127.0.0.1:12990/debian sid/main amd64 gettext amd64 0.19.8.1-10 [1303 kB] Get:32 http://127.0.0.1:12990/debian sid/main amd64 intltool-debian all 0.35.0+20060710.5 [26.8 kB] Get:33 http://127.0.0.1:12990/debian sid/main amd64 po-debconf all 1.0.21 [248 kB] Get:34 http://127.0.0.1:12990/debian sid/main amd64 debhelper all 13.2.1 [1007 kB] Get:35 http://127.0.0.1:12990/debian sid/main amd64 libgmpxx4ldbl amd64 2:6.2.0+dfsg-6 [23.1 kB] Get:36 http://127.0.0.1:12990/debian sid/main amd64 libgmp-dev amd64 2:6.2.0+dfsg-6 [643 kB] Get:37 http://127.0.0.1:12990/debian sid/main amd64 zlib1g-dev amd64 1:1.2.11.dfsg-2 [190 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 20.4 MB in 0s (141 MB/s) Selecting previously unselected package bsdextrautils. (Reading database ... 14056 files and directories currently installed.) Preparing to unpack .../00-bsdextrautils_2.36-3+b1_amd64.deb ... Unpacking bsdextrautils (2.36-3+b1) ... 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-5_amd64.deb ... Unpacking groff-base (1.22.4-5) ... 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.3-2_amd64.deb ... Unpacking man-db (2.9.3-2) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../05-sensible-utils_0.0.12+nmu1_all.deb ... Unpacking sensible-utils (0.0.12+nmu1) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../06-libmagic-mgc_1%3a5.38-5_amd64.deb ... Unpacking libmagic-mgc (1:5.38-5) ... Selecting previously unselected package libmagic1:amd64. Preparing to unpack .../07-libmagic1_1%3a5.38-5_amd64.deb ... Unpacking libmagic1:amd64 (1:5.38-5) ... Selecting previously unselected package file. Preparing to unpack .../08-file_1%3a5.38-5_amd64.deb ... Unpacking file (1:5.38-5) ... Selecting previously unselected package gettext-base. Preparing to unpack .../09-gettext-base_0.19.8.1-10_amd64.deb ... Unpacking gettext-base (0.19.8.1-10) ... Selecting previously unselected package libsigsegv2:amd64. Preparing to unpack .../10-libsigsegv2_2.12-2_amd64.deb ... Unpacking libsigsegv2:amd64 (2.12-2) ... Selecting previously unselected package m4. Preparing to unpack .../11-m4_1.4.18-4_amd64.deb ... Unpacking m4 (1.4.18-4) ... Selecting previously unselected package autoconf. Preparing to unpack .../12-autoconf_2.69-11.1_all.deb ... Unpacking autoconf (2.69-11.1) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../13-autotools-dev_20180224.1_all.deb ... Unpacking autotools-dev (20180224.1) ... Selecting previously unselected package automake. Preparing to unpack .../14-automake_1%3a1.16.2-4_all.deb ... Unpacking automake (1:1.16.2-4) ... Selecting previously unselected package autopoint. Preparing to unpack .../15-autopoint_0.19.8.1-10_all.deb ... Unpacking autopoint (0.19.8.1-10) ... Selecting previously unselected package libtool. Preparing to unpack .../16-libtool_2.4.6-14_all.deb ... Unpacking libtool (2.4.6-14) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../17-dh-autoreconf_19_all.deb ... Unpacking dh-autoreconf (19) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../18-libdebhelper-perl_13.2.1_all.deb ... Unpacking libdebhelper-perl (13.2.1) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../19-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 .../20-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 .../21-libfile-stripnondeterminism-perl_1.9.0-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.9.0-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../22-dh-strip-nondeterminism_1.9.0-1_all.deb ... Unpacking dh-strip-nondeterminism (1.9.0-1) ... Selecting previously unselected package libelf1:amd64. Preparing to unpack .../23-libelf1_0.181-1_amd64.deb ... Unpacking libelf1:amd64 (0.181-1) ... Selecting previously unselected package dwz. Preparing to unpack .../24-dwz_0.13-5_amd64.deb ... Unpacking dwz (0.13-5) ... Selecting previously unselected package libglib2.0-0:amd64. Preparing to unpack .../25-libglib2.0-0_2.66.1-2_amd64.deb ... Unpacking libglib2.0-0:amd64 (2.66.1-2) ... Selecting previously unselected package libicu67:amd64. Preparing to unpack .../26-libicu67_67.1-4_amd64.deb ... Unpacking libicu67:amd64 (67.1-4) ... Selecting previously unselected package libxml2:amd64. Preparing to unpack .../27-libxml2_2.9.10+dfsg-6.1_amd64.deb ... Unpacking libxml2:amd64 (2.9.10+dfsg-6.1) ... Selecting previously unselected package libcroco3:amd64. Preparing to unpack .../28-libcroco3_0.6.13-1_amd64.deb ... Unpacking libcroco3:amd64 (0.6.13-1) ... Selecting previously unselected package gettext. Preparing to unpack .../29-gettext_0.19.8.1-10_amd64.deb ... Unpacking gettext (0.19.8.1-10) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../30-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 .../31-po-debconf_1.0.21_all.deb ... Unpacking po-debconf (1.0.21) ... Selecting previously unselected package debhelper. Preparing to unpack .../32-debhelper_13.2.1_all.deb ... Unpacking debhelper (13.2.1) ... Selecting previously unselected package libgmpxx4ldbl:amd64. Preparing to unpack .../33-libgmpxx4ldbl_2%3a6.2.0+dfsg-6_amd64.deb ... Unpacking libgmpxx4ldbl:amd64 (2:6.2.0+dfsg-6) ... Selecting previously unselected package libgmp-dev:amd64. Preparing to unpack .../34-libgmp-dev_2%3a6.2.0+dfsg-6_amd64.deb ... Unpacking libgmp-dev:amd64 (2:6.2.0+dfsg-6) ... Selecting previously unselected package zlib1g-dev:amd64. Preparing to unpack .../35-zlib1g-dev_1%3a1.2.11.dfsg-2_amd64.deb ... Unpacking zlib1g-dev:amd64 (1:1.2.11.dfsg-2) ... Selecting previously unselected package sbuild-build-depends-main-dummy. Preparing to unpack .../36-sbuild-build-depends-main-dummy_0.invalid.0_amd64.deb ... Unpacking sbuild-build-depends-main-dummy (0.invalid.0) ... Setting up libpipeline1:amd64 (1.5.3-1) ... Setting up bsdextrautils (2.36-3+b1) ... update-alternatives: using /usr/bin/write.ul to provide /usr/bin/write (write) in auto mode Setting up libicu67:amd64 (67.1-4) ... Setting up libmagic-mgc (1:5.38-5) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libglib2.0-0:amd64 (2.66.1-2) ... No schema files found: doing nothing. Setting up libdebhelper-perl (13.2.1) ... Setting up libmagic1:amd64 (1:5.38-5) ... Setting up gettext-base (0.19.8.1-10) ... Setting up file (1:5.38-5) ... Setting up autotools-dev (20180224.1) ... Setting up libgmpxx4ldbl:amd64 (2:6.2.0+dfsg-6) ... Setting up libsigsegv2:amd64 (2.12-2) ... Setting up autopoint (0.19.8.1-10) ... Setting up zlib1g-dev:amd64 (1:1.2.11.dfsg-2) ... Setting up sensible-utils (0.0.12+nmu1) ... Setting up libuchardet0:amd64 (0.0.7-1) ... Setting up libsub-override-perl (0.09-2) ... Setting up libelf1:amd64 (0.181-1) ... Setting up libxml2:amd64 (2.9.10+dfsg-6.1) ... Setting up libfile-stripnondeterminism-perl (1.9.0-1) ... Setting up libgmp-dev:amd64 (2:6.2.0+dfsg-6) ... Setting up libtool (2.4.6-14) ... Setting up m4 (1.4.18-4) ... Setting up libcroco3:amd64 (0.6.13-1) ... Setting up autoconf (2.69-11.1) ... Setting up dh-strip-nondeterminism (1.9.0-1) ... Setting up dwz (0.13-5) ... Setting up groff-base (1.22.4-5) ... Setting up automake (1:1.16.2-4) ... update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode Setting up gettext (0.19.8.1-10) ... Setting up man-db (2.9.3-2) ... Not building database; man-db/auto-update is not 'true'. Setting up intltool-debian (0.35.0+20060710.5) ... Setting up po-debconf (1.0.21) ... Setting up debhelper (13.2.1) ... Setting up dh-autoreconf (19) ... Setting up sbuild-build-depends-main-dummy (0.invalid.0) ... Processing triggers for libc-bin (2.31-4) ... +------------------------------------------------------------------------------+ | Check architectures | +------------------------------------------------------------------------------+ Arch check ok (amd64 included in any) +------------------------------------------------------------------------------+ | 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.35.1-2 dpkg-dev_1.20.5 g++-10_10.2.0-15 gcc-10_10.2.0-15 libc6-dev_2.31-4 libstdc++-10-dev_10.2.0-15 libstdc++6_10.2.0-15 linux-libc-dev_5.9.1-1 Package versions: adduser_3.118 apt_2.1.11 autoconf_2.69-11.1 automake_1:1.16.2-4 autopoint_0.19.8.1-10 autotools-dev_20180224.1 base-files_11 base-passwd_3.5.48 bash_5.1~rc1-2 binutils_2.35.1-2 binutils-common_2.35.1-2 binutils-x86-64-linux-gnu_2.35.1-2 bsdextrautils_2.36-3+b1 bsdutils_1:2.36-3+b1 build-essential_12.8 bzip2_1.0.8-4 clang-10_1:10.0.1-7 coreutils_8.32-4+b1 cpp_4:10.2.0-1 cpp-10_10.2.0-15 dash_0.5.10.2-7 debconf_1.5.74 debhelper_13.2.1 debian-archive-keyring_2019.1 debianutils_4.11.2 dh-autoreconf_19 dh-strip-nondeterminism_1.9.0-1 diffutils_1:3.7-3 dpkg_1.20.5 dpkg-dev_1.20.5 dwz_0.13-5 e2fsprogs_1.45.6-1 fakeroot_1.25.3-1 file_1:5.38-5 findutils_4.7.0+git20201010-2 g++_4:10.2.0-1 g++-10_10.2.0-15 gcc_4:10.2.0-1 gcc-10_10.2.0-15 gcc-10-base_10.2.0-15 gcc-9-base_9.3.0-18 gettext_0.19.8.1-10 gettext-base_0.19.8.1-10 gpgv_2.2.20-1 grep_3.4-1 groff-base_1.22.4-5 gzip_1.10-2 hostname_3.23 init-system-helpers_1.58 intltool-debian_0.35.0+20060710.5 lib32gcc-s1_10.2.0-15 lib32stdc++6_10.2.0-15 libacl1_2.2.53-8 libapt-pkg6.0_2.1.11 libarchive-zip-perl_1.68-1 libasan5_9.3.0-18 libasan6_10.2.0-15 libatomic1_10.2.0-15 libattr1_1:2.4.48-5 libaudit-common_1:2.8.5-3.1 libaudit1_1:2.8.5-3.1 libbinutils_2.35.1-2 libblkid1_2.36-3+b1 libbsd0_0.10.0-1 libbz2-1.0_1.0.8-4 libc-bin_2.31-4 libc-dev-bin_2.31-4 libc6_2.31-4 libc6-dev_2.31-4 libc6-i386_2.31-4 libcap-ng0_0.7.9-2.2 libcc1-0_10.2.0-15 libclang-common-10-dev_1:10.0.1-7 libclang-cpp10_1:10.0.1-7 libclang1-10_1:10.0.1-7 libcom-err2_1.45.6-1 libcroco3_0.6.13-1 libcrypt-dev_1:4.4.17-1 libcrypt1_1:4.4.17-1 libctf-nobfd0_2.35.1-2 libctf0_2.35.1-2 libdb5.3_5.3.28+dfsg1-0.6 libdebconfclient0_0.255 libdebhelper-perl_13.2.1 libdpkg-perl_1.20.5 libedit2_3.1-20191231-1 libelf1_0.181-1 libext2fs2_1.45.6-1 libfakeroot_1.25.3-1 libffi7_3.3-4 libfile-stripnondeterminism-perl_1.9.0-1 libgc1_1:8.0.4-2.1 libgcc-10-dev_10.2.0-15 libgcc-9-dev_9.3.0-18 libgcc-s1_10.2.0-15 libgcrypt20_1.8.7-2 libgdbm-compat4_1.18.1-5.1 libgdbm6_1.18.1-5.1 libglib2.0-0_2.66.1-2 libgmp-dev_2:6.2.0+dfsg-6 libgmp10_2:6.2.0+dfsg-6 libgmpxx4ldbl_2:6.2.0+dfsg-6 libgnutls30_3.6.15-4 libgomp1_10.2.0-15 libgpg-error0_1.38-2 libgssapi-krb5-2_1.17-10 libhogweed6_3.6-2 libicu67_67.1-4 libidn2-0_2.3.0-1 libisl22_0.22.1-1 libitm1_10.2.0-15 libk5crypto3_1.17-10 libkeyutils1_1.6.1-2 libkrb5-3_1.17-10 libkrb5support0_1.17-10 libllvm10_1:10.0.1-7 liblsan0_10.2.0-15 liblz4-1_1.9.2-2 liblzma5_5.2.4-1+b1 libmagic-mgc_1:5.38-5 libmagic1_1:5.38-5 libmount1_2.36-3+b1 libmpc3_1.2.0-1 libmpfr6_4.1.0-3 libnettle8_3.6-2 libnsl-dev_1.3.0-2 libnsl2_1.3.0-2 libnss-nis_3.1-4 libnss-nisplus_1.3-4 libobjc-10-dev_10.2.0-15 libobjc-9-dev_9.3.0-18 libobjc4_10.2.0-15 libomp-10-dev_1:10.0.1-7 libomp5-10_1:10.0.1-7 libp11-kit0_0.23.21-2 libpam-modules_1.3.1-5 libpam-modules-bin_1.3.1-5 libpam-runtime_1.3.1-5 libpam0g_1.3.1-5 libpcre2-8-0_10.34-7 libpcre3_2:8.39-13 libperl5.30_5.30.3-4 libpipeline1_1.5.3-1 libquadmath0_10.2.0-15 libseccomp2_2.4.4-1+b1 libselinux1_3.1-2+b1 libsemanage-common_3.1-1 libsemanage1_3.1-1+b1 libsepol1_3.1-1 libsigsegv2_2.12-2 libsmartcols1_2.36-3+b1 libss2_1.45.6-1 libssl1.1_1.1.1h-1 libstdc++-10-dev_10.2.0-15 libstdc++6_10.2.0-15 libsub-override-perl_0.09-2 libsystemd0_246.6-2 libtasn1-6_4.16.0-2 libtinfo6_6.2+20200918-1 libtirpc-common_1.2.6-3 libtirpc-dev_1.2.6-3 libtirpc3_1.2.6-3 libtool_2.4.6-14 libtsan0_10.2.0-15 libubsan1_10.2.0-15 libuchardet0_0.0.7-1 libudev1_246.6-2 libunistring2_0.9.10-4 libuuid1_2.36-3+b1 libxml2_2.9.10+dfsg-6.1 libz3-4_4.8.9-1 libzstd1_1.4.5+dfsg-4 linux-libc-dev_5.9.1-1 login_1:4.8.1-1 logsave_1.45.6-1 lsb-base_11.1.0 m4_1.4.18-4 make_4.3-4 man-db_2.9.3-2 mawk_1.3.4.20200120-2 mount_2.36-3+b1 ncurses-base_6.2+20200918-1 ncurses-bin_6.2+20200918-1 passwd_1:4.8.1-1 patch_2.7.6-6 perl_5.30.3-4 perl-base_5.30.3-4 perl-modules-5.30_5.30.3-4 po-debconf_1.0.21 qt5-qmake_5.14.2+dfsg-6 qt5-qmake-bin_5.14.2+dfsg-6 qtchooser_66-2 sbuild-build-depends-main-dummy_0.invalid.0 sed_4.7-1 sensible-utils_0.0.12+nmu1 sysvinit-utils_2.96-5 tar_1.30+dfsg-7 tzdata_2020d-1 util-linux_2.36-3+b1 xz-utils_5.2.4-1+b1 zlib1g_1:1.2.11.dfsg-2 zlib1g-dev_1:1.2.11.dfsg-2 +------------------------------------------------------------------------------+ | Build | +------------------------------------------------------------------------------+ Unpack source ------------- -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (quilt) Source: minisat+ Binary: minisat+ Architecture: any Version: 1.0-4 Maintainer: Debian Science Maintainers Uploaders: Ralf Treinen Homepage: http://minisat.se/MiniSat+.html Standards-Version: 3.9.8 Vcs-Browser: https://anonscm.debian.org/cgit/debian-science/packages/minisat+.git Vcs-Git: https://anonscm.debian.org/git/debian-science/packages/minisat+.git Testsuite: autopkgtest Build-Depends: debhelper (>= 10), libgmp-dev, zlib1g-dev Package-List: minisat+ deb science extra arch=any Checksums-Sha1: 64205f7144157469839994295b95ec9761466f85 79990 minisat+_1.0.orig.tar.gz 4baba450eee1a843bcacfab3677399e8d07eae56 4176 minisat+_1.0-4.debian.tar.xz Checksums-Sha256: f81e8dd76de9d2219e4b555f65354be2f8582f4575b5cc5b5bf34b71f1bd7f4b 79990 minisat+_1.0.orig.tar.gz bd91de9376032c4044a42dfcf777edf482e2eeb64065a8d60df11ed8b6df70ea 4176 minisat+_1.0-4.debian.tar.xz Files: a5910ef8bea269632eff74b54f07010d 79990 minisat+_1.0.orig.tar.gz 6e588cb5c64209f6e5720282ecdbdea6 4176 minisat+_1.0-4.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlit74cACgkQdFxHZtTK zf8yJhAAp2RsqgMDD10JHV6EL/e7W7BnUP+jt0aLaGI1U7NNYQeoSL3H2JPOohQL 8lkiOPzT4iYdI5tbwSiJk9Hsv5Zc8o2exoyFJTn3wnO30uo0ieprhupAfsw2ZjLh 02U6P1nhuiZwHOG+gJPgsTvqVnXcLFa4DLGVbouCNQEvLR7YDZuQutWgcv140zHM 6EE52/wXGa0mYmqP92XbAs6KlHhBter40896EaUBU5UiqcJU5kAr3PRd5+ZutSIr +tO9oKQpm2cH4zaaoOPw5JkBhkKsfmzjaNZ+uNPiQAX9IHZl1qVPDDjrF7M+2an5 eaUSfA2K/lhNbZfpgfdyNWHE7raGDPwaKBAshdPGc26BeSZN/h2Bo6olMCdirrLV Vd164aD0kU+BvdG2oF+bM/b5qoZSH1njfhAw65YS0XnLpQI887P4aThdojZFM1F+ J2BJdkcl9wrihwsb0//vAR0e62zEhuUoP2rl+6pCuql1nboFhM3GpUrgGObWfbBX l5KQC3pOJNP/G4+LlnElUp8p+mwZUyPePje00ppZgSX6xq5UUjkioVC3m5tW8SXk 4WK+YWXvfjdBP6pi8k4KZr+NX0jsH9nFBIX7XLjwaq3uaGNpfFV8U+DPxg/5fGb4 x0MASZXdM4578IYGwhEpQalQ+aa9be+ke983bDRYdudOxwCRY5c= =f3iV -----END PGP SIGNATURE----- gpgv: unknown type of key resource 'trustedkeys.kbx' gpgv: keyblock resource '/tmp/dpkg-verify-sig.1YYCYOHR/trustedkeys.kbx': General error gpgv: Signature made Wed Feb 22 20:07:35 2017 UTC gpgv: using RSA key 02054829E12D0F2A8E648E62745C4766D4CACDFF gpgv: Can't check signature: No public key dpkg-source: warning: failed to verify signature on ./minisat+_1.0-4.dsc dpkg-source: info: extracting minisat+ in /<> dpkg-source: info: unpacking minisat+_1.0.orig.tar.gz dpkg-source: info: unpacking minisat+_1.0-4.debian.tar.xz dpkg-source: info: using patch list from debian/patches/series dpkg-source: info: applying spelling dpkg-source: info: applying exitcode 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-49c746ce-238f-4c10-9a97-a4959fc72351 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 minisat+ dpkg-buildpackage: info: source version 1.0-4 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Ralf Treinen dpkg-source --before-build . dpkg-buildpackage: info: host architecture amd64 fakeroot debian/rules clean dh clean debian/rules override_dh_auto_clean make[1]: Entering directory '/<>' make clean make[2]: Entering directory '/<>' Making dependencies... clang: warning: optimization flag '-ffloat-store' is not supported [-Wignored-optimization-argument] clang: warning: optimization flag '-ffloat-store' is not supported [-Wignored-optimization-argument] clang: warning: optimization flag '-ffloat-store' is not supported [-Wignored-optimization-argument] clang: warning: optimization flag '-ffloat-store' is not supported [-Wignored-optimization-argument] clang: warning: optimization flag '-ffloat-store' is not supported [-Wignored-optimization-argument] clang: warning: optimization flag '-ffloat-store' is not supported [-Wignored-optimization-argument] clang: warning: optimization flag '-ffloat-store' is not supported [-Wignored-optimization-argument] clang: warning: optimization flag '-ffloat-store' is not supported [-Wignored-optimization-argument] clang: warning: optimization flag '-ffloat-store' is not supported [-Wignored-optimization-argument] clang: warning: optimization flag '-ffloat-store' is not supported [-Wignored-optimization-argument] clang: warning: optimization flag '-ffloat-store' is not supported [-Wignored-optimization-argument] clang: warning: optimization flag '-ffloat-store' is not supported [-Wignored-optimization-argument] clang: warning: optimization flag '-ffloat-store' is not supported [-Wignored-optimization-argument] In file included from Debug.C:20: In file included from ./Debug.h:24: In file included from ./PbSolver.h:23: In file included from ./Solver.h:24: ./SatELite.h:509:56: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT, L_lit(c[i])); ^ ./SatELite.h:515:56: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT":%c", L_lit(c[i]), name(S.value(c[i]))); ^ ./SatELite.h:522:56: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT, L_lit(c[i])); ^ ./SatELite.h:528:56: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT":%c", L_lit(c[i]), name(S.value(c[i]))); ^ 4 errors generated. In file included from Hardware_adders.C:20: In file included from ./Hardware.h:24: In file included from ./PbSolver.h:23: In file included from ./Solver.h:24: ./SatELite.h:509:56: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT, L_lit(c[i])); ^ ./SatELite.h:515:56: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT":%c", L_lit(c[i]), name(S.value(c[i]))); ^ ./SatELite.h:522:56: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT, L_lit(c[i])); ^ ./SatELite.h:528:56: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT":%c", L_lit(c[i]), name(S.value(c[i]))); ^ 4 errors generated. In file included from Hardware_clausify.C:20: In file included from ./Hardware.h:24: In file included from ./PbSolver.h:23: In file included from ./Solver.h:24: ./SatELite.h:509:56: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT, L_lit(c[i])); ^ ./SatELite.h:515:56: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT":%c", L_lit(c[i]), name(S.value(c[i]))); ^ ./SatELite.h:522:56: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT, L_lit(c[i])); ^ ./SatELite.h:528:56: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT":%c", L_lit(c[i]), name(S.value(c[i]))); ^ 4 errors generated. In file included from Hardware_sorters.C:20: In file included from ./Hardware.h:24: In file included from ./PbSolver.h:23: In file included from ./Solver.h:24: ./SatELite.h:509:56: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT, L_lit(c[i])); ^ ./SatELite.h:515:56: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT":%c", L_lit(c[i]), name(S.value(c[i]))); ^ ./SatELite.h:522:56: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT, L_lit(c[i])); ^ ./SatELite.h:528:56: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT":%c", L_lit(c[i]), name(S.value(c[i]))); ^ 4 errors generated. In file included from Main.C:31: In file included from ./PbSolver.h:23: In file included from ./Solver.h:24: ./SatELite.h:509:56: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT, L_lit(c[i])); ^ ./SatELite.h:515:56: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT":%c", L_lit(c[i]), name(S.value(c[i]))); ^ ./SatELite.h:522:56: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT, L_lit(c[i])); ^ ./SatELite.h:528:56: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT":%c", L_lit(c[i]), name(S.value(c[i]))); ^ Main.C:269:40: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] reportf("restarts : %"I64_fmt"\n", stats.starts); ^ Main.C:270:43: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] reportf("conflicts : %-12"I64_fmt" (%.0f /sec)\n", stats.conflicts , stats.conflicts /cpu_time); ^ Main.C:271:43: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] reportf("decisions : %-12"I64_fmt" (%.0f /sec)\n", stats.decisions , stats.decisions /cpu_time); ^ Main.C:272:43: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] reportf("propagations : %-12"I64_fmt" (%.0f /sec)\n", stats.propagations, stats.propagations/cpu_time); ^ Main.C:273:43: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] reportf("inspects : %-12"I64_fmt" (%.0f /sec)\n", stats.inspects , stats.inspects /cpu_time); ^ 9 errors generated. In file included from PbParser.C:20: In file included from ./PbParser.h:23: In file included from ./PbSolver.h:23: In file included from ./Solver.h:24: ./SatELite.h:509:56: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT, L_lit(c[i])); ^ ./SatELite.h:515:56: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT":%c", L_lit(c[i]), name(S.value(c[i]))); ^ ./SatELite.h:522:56: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT, L_lit(c[i])); ^ ./SatELite.h:528:56: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT":%c", L_lit(c[i]), name(S.value(c[i]))); ^ 4 errors generated. In file included from PbSolver.C:22: In file included from ./Debug.h:24: In file included from ./PbSolver.h:23: In file included from ./Solver.h:24: ./SatELite.h:509:56: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT, L_lit(c[i])); ^ ./SatELite.h:515:56: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT":%c", L_lit(c[i]), name(S.value(c[i]))); ^ ./SatELite.h:522:56: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT, L_lit(c[i])); ^ ./SatELite.h:528:56: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT":%c", L_lit(c[i]), name(S.value(c[i]))); ^ 4 errors generated. In file included from PbSolver_convert.C:20: In file included from ./PbSolver.h:23: In file included from ./Solver.h:24: ./SatELite.h:509:56: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT, L_lit(c[i])); ^ ./SatELite.h:515:56: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT":%c", L_lit(c[i]), name(S.value(c[i]))); ^ ./SatELite.h:522:56: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT, L_lit(c[i])); ^ ./SatELite.h:528:56: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT":%c", L_lit(c[i]), name(S.value(c[i]))); ^ 4 errors generated. In file included from PbSolver_convertAdd.C:20: In file included from ./PbSolver.h:23: In file included from ./Solver.h:24: ./SatELite.h:509:56: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT, L_lit(c[i])); ^ ./SatELite.h:515:56: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT":%c", L_lit(c[i]), name(S.value(c[i]))); ^ ./SatELite.h:522:56: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT, L_lit(c[i])); ^ ./SatELite.h:528:56: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT":%c", L_lit(c[i]), name(S.value(c[i]))); ^ 4 errors generated. In file included from PbSolver_convertBdd.C:20: In file included from ./PbSolver.h:23: In file included from ./Solver.h:24: ./SatELite.h:509:56: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT, L_lit(c[i])); ^ ./SatELite.h:515:56: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT":%c", L_lit(c[i]), name(S.value(c[i]))); ^ ./SatELite.h:522:56: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT, L_lit(c[i])); ^ ./SatELite.h:528:56: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT":%c", L_lit(c[i]), name(S.value(c[i]))); ^ 4 errors generated. In file included from PbSolver_convertSort.C:20: In file included from ./PbSolver.h:23: In file included from ./Solver.h:24: ./SatELite.h:509:56: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT, L_lit(c[i])); ^ ./SatELite.h:515:56: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT":%c", L_lit(c[i]), name(S.value(c[i]))); ^ ./SatELite.h:522:56: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT, L_lit(c[i])); ^ ./SatELite.h:528:56: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT":%c", L_lit(c[i]), name(S.value(c[i]))); ^ 4 errors generated. In file included from SatELite.C:26: ./SatELite.h:509:56: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT, L_lit(c[i])); ^ ./SatELite.h:515:56: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT":%c", L_lit(c[i]), name(S.value(c[i]))); ^ ./SatELite.h:522:56: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT, L_lit(c[i])); ^ ./SatELite.h:528:56: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] for (int i = 0; i < c.size(); i++) fprintf(out, " "L_LIT":%c", L_lit(c[i]), name(S.value(c[i]))); ^ SatELite.C:639:47: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] if (verbosity >= 2) reportf(L_IND"assume("L_LIT")\n", L_ind, L_lit(p)); ^ SatELite.C:648:70: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] if (verbosity >= 2){ Lit p = trail.last(); reportf(L_IND"unbind("L_LIT")\n", L_ind, L_lit(p)); } ^ SatELite.C:663:120: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] if (verbosity >= 2){ if (trail.size() != trail_lim.last()){ Lit p = trail[trail_lim.last()]; reportf(L_IND"cancel("L_LIT")\n", L_ind, L_lit(p)); } } ^ SatELite.C:895:64: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] for (int i = 0; i < out_learnt.size(); i++) reportf(" "L_LIT, L_lit(out_learnt[i])); ^ SatELite.C:938:49: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] if (verbosity >= 2) reportf(L_IND"bind("L_LIT")\n", L_ind, L_lit(p)); ^ SatELite.C:2373:46: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] printf("asymmetricBranching("L_LIT" @ %d)\n", L_lit(p), level[var(p)]); ^ 10 errors generated. Makefile:96: depend.mak: No such file or directory make[2]: *** [Makefile:88: depend.mak] Error 1 make[2]: Leaving directory '/<>' make[1]: *** [debian/rules:10: override_dh_auto_clean] Error 2 make[1]: Leaving directory '/<>' make: *** [debian/rules:4: clean] Error 2 dpkg-buildpackage: error: fakeroot debian/rules clean subprocess returned exit status 2 -------------------------------------------------------------------------------- Build finished at 2020-10-29T20:14:19Z 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: 632 Build-Time: 1 Distribution: unstable Fail-Stage: build Host Architecture: amd64 Install-Time: 5 Job: minisat+_1.0-4 Machine Architecture: amd64 Package: minisat+ Package-Time: 24 Source-Version: 1.0-4 Space: 632 Status: attempted Version: 1.0-4 -------------------------------------------------------------------------------- Finished at 2020-10-29T20:14:19Z Build needed 00:00:24, 632k disk space E: Build failure (dpkg-buildpackage died) DC-Status: Failed 24.817753751s