DC-Build-Header: minisat+ 1.0-4 / 2017-08-20 19:16:41 +0000 DC-Task: type:rebuild-binarch-only source:minisat+ version:1.0-4 chroot:unstable esttime:26 logfile:/tmp/minisat+_1.0-4_unstable_clang5.0.log modes:clang50:binarch-only DC-Sbuild-call: su user42 -c 'sbuild -n --arch-any --apt-update -d unstable -v --chroot-setup-commands=/tmp/clang50 minisat+_1.0-4' sbuild (Debian sbuild) 0.73.0 (23 Dec 2016) on ip-172-31-39-108.eu-central-1.compute.internal +==============================================================================+ | minisat+ 1.0-4 (amd64) Sun, 20 Aug 2017 19:16:41 +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: any I: NOTICE: Log filtering will replace 'var/run/schroot/mount/unstable-amd64-sbuild-4ea0c956-3597-4f55-8216-eff87707a240' with '<>' +------------------------------------------------------------------------------+ | Chroot Setup Commands | +------------------------------------------------------------------------------+ /tmp/clang50 ------------ + echo 'Entering customization script...' Entering customization script... + CLANG_VERSION=5.0 + echo 'Install of clang-5.0' Install of clang-5.0 + apt-get update Hit:1 http://127.0.0.1:9999/debian unstable InRelease Get:2 http://127.0.0.1:9999/debian unstable/main Translation-en [5785 kB] Fetched 5785 kB in 1s (3971 kB/s) Reading package lists... + apt-get install --yes --no-install-recommends --force-yes clang-5.0 Reading package lists... Building dependency tree... Reading state information... The following additional packages will be installed: libasan3 libbsd0 libclang-common-5.0-dev libclang1-5.0 libedit2 libgcc-6-dev libjsoncpp1 libllvm5.0 libncurses5 libobjc-6-dev libobjc4 libstdc++-6-dev Suggested packages: gnustep gnustep-devel clang-5.0-doc libomp-dev libstdc++-6-doc Recommended packages: llvm-5.0-dev python libgpm2 The following NEW packages will be installed: clang-5.0 libasan3 libbsd0 libclang-common-5.0-dev libclang1-5.0 libedit2 libgcc-6-dev libjsoncpp1 libllvm5.0 libncurses5 libobjc-6-dev libobjc4 libstdc++-6-dev 0 upgraded, 13 newly installed, 0 to remove and 0 not upgraded. Need to get 88.4 MB of archives. After this operation, 376 MB of additional disk space will be used. Get:1 http://127.0.0.1:9999/debian unstable/main amd64 libbsd0 amd64 0.8.6-1 [90.3 kB] Get:2 http://127.0.0.1:9999/debian unstable/main amd64 libncurses5 amd64 6.0+20170715-2 [93.8 kB] Get:3 http://127.0.0.1:9999/debian unstable/main amd64 libedit2 amd64 3.1-20170329-1 [85.2 kB] Get:4 http://127.0.0.1:9999/debian unstable/main amd64 libllvm5.0 amd64 1:5.0~+rc2-1 [13.5 MB] Get:5 http://127.0.0.1:9999/debian unstable/main amd64 libclang1-5.0 amd64 1:5.0~+rc2-1 [6729 kB] Get:6 http://127.0.0.1:9999/debian unstable/main amd64 libjsoncpp1 amd64 1.7.4-3 [75.6 kB] Get:7 http://127.0.0.1:9999/debian unstable/main amd64 libasan3 amd64 6.4.0-3 [311 kB] Get:8 http://127.0.0.1:9999/debian unstable/main amd64 libgcc-6-dev amd64 6.4.0-3 [2296 kB] Get:9 http://127.0.0.1:9999/debian unstable/main amd64 libstdc++-6-dev amd64 6.4.0-3 [1421 kB] Get:10 http://127.0.0.1:9999/debian unstable/main amd64 libobjc4 amd64 7.2.0-1 [51.0 kB] Get:11 http://127.0.0.1:9999/debian unstable/main amd64 libobjc-6-dev amd64 6.4.0-3 [197 kB] Get:12 http://127.0.0.1:9999/debian unstable/main amd64 libclang-common-5.0-dev amd64 1:5.0~+rc2-1 [1989 kB] Get:13 http://127.0.0.1:9999/debian unstable/main amd64 clang-5.0 amd64 1:5.0~+rc2-1 [61.6 MB] debconf: delaying package configuration, since apt-utils is not installed Fetched 88.4 MB in 0s (98.8 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 ... 9822 files and directories currently installed.) Preparing to unpack .../00-libbsd0_0.8.6-1_amd64.deb ... Unpacking libbsd0:amd64 (0.8.6-1) ... Selecting previously unselected package libncurses5:amd64. Preparing to unpack .../01-libncurses5_6.0+20170715-2_amd64.deb ... Unpacking libncurses5:amd64 (6.0+20170715-2) ... Selecting previously unselected package libedit2:amd64. Preparing to unpack .../02-libedit2_3.1-20170329-1_amd64.deb ... Unpacking libedit2:amd64 (3.1-20170329-1) ... Selecting previously unselected package libllvm5.0:amd64. Preparing to unpack .../03-libllvm5.0_1%3a5.0~+rc2-1_amd64.deb ... Unpacking libllvm5.0:amd64 (1:5.0~+rc2-1) ... Selecting previously unselected package libclang1-5.0:amd64. Preparing to unpack .../04-libclang1-5.0_1%3a5.0~+rc2-1_amd64.deb ... Unpacking libclang1-5.0:amd64 (1:5.0~+rc2-1) ... Selecting previously unselected package libjsoncpp1:amd64. Preparing to unpack .../05-libjsoncpp1_1.7.4-3_amd64.deb ... Unpacking libjsoncpp1:amd64 (1.7.4-3) ... Selecting previously unselected package libasan3:amd64. Preparing to unpack .../06-libasan3_6.4.0-3_amd64.deb ... Unpacking libasan3:amd64 (6.4.0-3) ... Selecting previously unselected package libgcc-6-dev:amd64. Preparing to unpack .../07-libgcc-6-dev_6.4.0-3_amd64.deb ... Unpacking libgcc-6-dev:amd64 (6.4.0-3) ... Selecting previously unselected package libstdc++-6-dev:amd64. Preparing to unpack .../08-libstdc++-6-dev_6.4.0-3_amd64.deb ... Unpacking libstdc++-6-dev:amd64 (6.4.0-3) ... Selecting previously unselected package libobjc4:amd64. Preparing to unpack .../09-libobjc4_7.2.0-1_amd64.deb ... Unpacking libobjc4:amd64 (7.2.0-1) ... Selecting previously unselected package libobjc-6-dev:amd64. Preparing to unpack .../10-libobjc-6-dev_6.4.0-3_amd64.deb ... Unpacking libobjc-6-dev:amd64 (6.4.0-3) ... Selecting previously unselected package libclang-common-5.0-dev. Preparing to unpack .../11-libclang-common-5.0-dev_1%3a5.0~+rc2-1_amd64.deb ... Unpacking libclang-common-5.0-dev (1:5.0~+rc2-1) ... Selecting previously unselected package clang-5.0. Preparing to unpack .../12-clang-5.0_1%3a5.0~+rc2-1_amd64.deb ... Unpacking clang-5.0 (1:5.0~+rc2-1) ... Setting up libncurses5:amd64 (6.0+20170715-2) ... Setting up libobjc4:amd64 (7.2.0-1) ... Setting up libasan3:amd64 (6.4.0-3) ... Setting up libgcc-6-dev:amd64 (6.4.0-3) ... Setting up libstdc++-6-dev:amd64 (6.4.0-3) ... Setting up libbsd0:amd64 (0.8.6-1) ... Processing triggers for libc-bin (2.24-14) ... Setting up libobjc-6-dev:amd64 (6.4.0-3) ... Setting up libjsoncpp1:amd64 (1.7.4-3) ... Setting up libedit2:amd64 (3.1-20170329-1) ... Setting up libllvm5.0:amd64 (1:5.0~+rc2-1) ... Setting up libclang1-5.0:amd64 (1:5.0~+rc2-1) ... Setting up libclang-common-5.0-dev (1:5.0~+rc2-1) ... Setting up clang-5.0 (1:5.0~+rc2-1) ... Processing triggers for libc-bin (2.24-14) ... 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' + cd /usr/bin + for VERSION in $VERSIONS + rm -f g++-4.6 gcc-4.6 cpp-4.6 gcc + ln -s clang++-5.0 g++-4.6 + ln -s clang-5.0 gcc-4.6 + ln -s clang-5.0 cpp-4.6 + ln -s clang-5.0 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++-5.0 g++-4.7 + ln -s clang-5.0 gcc-4.7 + ln -s clang-5.0 cpp-4.7 + ln -s clang-5.0 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++-5.0 g++-4.8 + ln -s clang-5.0 gcc-4.8 + ln -s clang-5.0 cpp-4.8 + ln -s clang-5.0 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++-5.0 g++-4.9 + ln -s clang-5.0 gcc-4.9 + ln -s clang-5.0 cpp-4.9 + ln -s clang-5.0 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++-5.0 g++-5 + ln -s clang-5.0 gcc-5 + ln -s clang-5.0 cpp-5 + ln -s clang-5.0 gcc + echo 'gcc-5 hold' + dpkg --set-selections + echo 'g++-5 hold' + dpkg --set-selections + for VERSION in $VERSIONS + rm -f g++-6 gcc-6 cpp-6 gcc + ln -s clang++-5.0 g++-6 + ln -s clang-5.0 gcc-6 + ln -s clang-5.0 cpp-6 + ln -s clang-5.0 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++-5.0 g++-7 + ln -s clang-5.0 gcc-7 + ln -s clang-5.0 cpp-7 + ln -s clang-5.0 gcc + echo 'gcc-7 hold' + dpkg --set-selections + echo 'g++-7 hold' + dpkg --set-selections + cd - /build/minisat+-bSwp2F + 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 I: Finished running '/tmp/clang50'. Finished processing commands. -------------------------------------------------------------------------------- +------------------------------------------------------------------------------+ | Update chroot | +------------------------------------------------------------------------------+ Hit:1 http://127.0.0.1:9999/debian unstable 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... 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:9999/debian unstable/main minisat+ 1.0-4 (dsc) [1984 B] Get:2 http://127.0.0.1:9999/debian unstable/main minisat+ 1.0-4 (tar) [80.0 kB] Get:3 http://127.0.0.1:9999/debian unstable/main minisat+ 1.0-4 (diff) [4176 B] Fetched 86.2 kB in 0s (588 kB/s) Download complete and in download only mode I: NOTICE: Log filtering will replace 'build/minisat+-bSwp2F/minisat+-1.0' with '<>' I: NOTICE: Log filtering will replace 'build/minisat+-bSwp2F' with '<>' +------------------------------------------------------------------------------+ | Install build-essential | +------------------------------------------------------------------------------+ Setup apt archive ----------------- Merged Build-Depends: build-essential, fakeroot Filtered Build-Depends: build-essential, fakeroot dpkg-deb: building package 'sbuild-build-depends-core-dummy' in '/build/minisat+-bSwp2F/resolver-psTBDY/apt_archive/sbuild-build-depends-core-dummy.deb'. dpkg-scanpackages: warning: Packages in archive but missing from override file: dpkg-scanpackages: warning: sbuild-build-depends-core-dummy dpkg-scanpackages: info: Wrote 1 entries to output Packages file. Ign:1 copy:/build/minisat+-bSwp2F/resolver-psTBDY/apt_archive ./ InRelease Get:2 copy:/build/minisat+-bSwp2F/resolver-psTBDY/apt_archive ./ Release [957 B] Ign:3 copy:/build/minisat+-bSwp2F/resolver-psTBDY/apt_archive ./ Release.gpg Get:4 copy:/build/minisat+-bSwp2F/resolver-psTBDY/apt_archive ./ Sources [349 B] Get:5 copy:/build/minisat+-bSwp2F/resolver-psTBDY/apt_archive ./ Packages [432 B] Fetched 1738 B in 0s (0 B/s) Reading package lists... Reading package lists... Install core build dependencies (apt-based resolver) ---------------------------------------------------- Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following NEW packages will be installed: sbuild-build-depends-core-dummy 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. Need to get 782 B of archives. After this operation, 0 B of additional disk space will be used. Get:1 copy:/build/minisat+-bSwp2F/resolver-psTBDY/apt_archive ./ sbuild-build-depends-core-dummy 0.invalid.0 [782 B] debconf: delaying package configuration, since apt-utils is not installed Fetched 782 B in 0s (0 B/s) Selecting previously unselected package sbuild-build-depends-core-dummy. (Reading database ... 11331 files and directories currently installed.) Preparing to unpack .../sbuild-build-depends-core-dummy_0.invalid.0_amd64.deb ... Unpacking sbuild-build-depends-core-dummy (0.invalid.0) ... Setting up sbuild-build-depends-core-dummy (0.invalid.0) ... +------------------------------------------------------------------------------+ | Check architectures | +------------------------------------------------------------------------------+ Arch check ok (amd64 included in any) +------------------------------------------------------------------------------+ | Install package build dependencies | +------------------------------------------------------------------------------+ Setup apt archive ----------------- Merged Build-Depends: debhelper (>= 10), libgmp-dev, zlib1g-dev Filtered Build-Depends: debhelper (>= 10), libgmp-dev, zlib1g-dev dpkg-deb: building package 'sbuild-build-depends-minisat+-dummy' in '/build/minisat+-bSwp2F/resolver-psTBDY/apt_archive/sbuild-build-depends-minisat+-dummy.deb'. dpkg-scanpackages: warning: Packages in archive but missing from override file: dpkg-scanpackages: warning: sbuild-build-depends-core-dummy sbuild-build-depends-minisat+-dummy dpkg-scanpackages: info: Wrote 2 entries to output Packages file. Ign:1 copy:/build/minisat+-bSwp2F/resolver-psTBDY/apt_archive ./ InRelease Get:2 copy:/build/minisat+-bSwp2F/resolver-psTBDY/apt_archive ./ Release [963 B] Ign:3 copy:/build/minisat+-bSwp2F/resolver-psTBDY/apt_archive ./ Release.gpg Get:4 copy:/build/minisat+-bSwp2F/resolver-psTBDY/apt_archive ./ Sources [507 B] Get:5 copy:/build/minisat+-bSwp2F/resolver-psTBDY/apt_archive ./ Packages [584 B] Fetched 2054 B in 0s (0 B/s) Reading package lists... Reading package lists... Install minisat+ 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 bsdmainutils debhelper dh-autoreconf dh-strip-nondeterminism file gettext gettext-base groff-base intltool-debian libarchive-zip-perl libcroco3 libfile-stripnondeterminism-perl libglib2.0-0 libgmp-dev libgmpxx4ldbl libicu57 libmagic-mgc libmagic1 libpipeline1 libsigsegv2 libtimedate-perl libtool libxml2 m4 man-db po-debconf zlib1g-dev Suggested packages: autoconf-archive gnu-standards autoconf-doc wamerican | wordlist whois vacation dh-make gettext-doc libasprintf-dev libgettextpo-dev groff gmp-doc libgmp10-doc libmpfr-dev libtool-doc gfortran | fortran95-compiler gcj-jdk m4-doc less www-browser libmail-box-perl Recommended packages: curl | wget | lynx-cur libarchive-cpio-perl libglib2.0-data shared-mime-info xdg-user-dirs libltdl-dev xml-core libmail-sendmail-perl The following NEW packages will be installed: autoconf automake autopoint autotools-dev bsdmainutils debhelper dh-autoreconf dh-strip-nondeterminism file gettext gettext-base groff-base intltool-debian libarchive-zip-perl libcroco3 libfile-stripnondeterminism-perl libglib2.0-0 libgmp-dev libgmpxx4ldbl libicu57 libmagic-mgc libmagic1 libpipeline1 libsigsegv2 libtimedate-perl libtool libxml2 m4 man-db po-debconf sbuild-build-depends-minisat+-dummy zlib1g-dev 0 upgraded, 32 newly installed, 0 to remove and 0 not upgraded. Need to get 20.2 MB of archives. After this operation, 68.2 MB of additional disk space will be used. Get:1 copy:/build/minisat+-bSwp2F/resolver-psTBDY/apt_archive ./ sbuild-build-depends-minisat+-dummy 0.invalid.0 [796 B] Get:2 http://127.0.0.1:9999/debian unstable/main amd64 groff-base amd64 1.22.3-9 [1160 kB] Get:3 http://127.0.0.1:9999/debian unstable/main amd64 bsdmainutils amd64 9.0.12+nmu1 [186 kB] Get:4 http://127.0.0.1:9999/debian unstable/main amd64 libpipeline1 amd64 1.4.2-1 [28.3 kB] Get:5 http://127.0.0.1:9999/debian unstable/main amd64 man-db amd64 2.7.6.1-2 [1044 kB] Get:6 http://127.0.0.1:9999/debian unstable/main amd64 libmagic-mgc amd64 1:5.31-1 [223 kB] Get:7 http://127.0.0.1:9999/debian unstable/main amd64 libmagic1 amd64 1:5.31-1 [112 kB] Get:8 http://127.0.0.1:9999/debian unstable/main amd64 file amd64 1:5.31-1 [64.2 kB] Get:9 http://127.0.0.1:9999/debian unstable/main amd64 gettext-base amd64 0.19.8.1-2+b1 [122 kB] Get:10 http://127.0.0.1:9999/debian unstable/main amd64 libicu57 amd64 57.1-6 [7701 kB] Get:11 http://127.0.0.1:9999/debian unstable/main amd64 libxml2 amd64 2.9.4+dfsg1-3 [715 kB] Get:12 http://127.0.0.1:9999/debian unstable/main amd64 libsigsegv2 amd64 2.11-1 [29.9 kB] Get:13 http://127.0.0.1:9999/debian unstable/main amd64 m4 amd64 1.4.18-1 [202 kB] Get:14 http://127.0.0.1:9999/debian unstable/main amd64 autoconf all 2.69-10 [338 kB] Get:15 http://127.0.0.1:9999/debian unstable/main amd64 autotools-dev all 20161112.1 [73.4 kB] Get:16 http://127.0.0.1:9999/debian unstable/main amd64 automake all 1:1.15.1-2 [736 kB] Get:17 http://127.0.0.1:9999/debian unstable/main amd64 autopoint all 0.19.8.1-2 [433 kB] Get:18 http://127.0.0.1:9999/debian unstable/main amd64 libtool all 2.4.6-2 [545 kB] Get:19 http://127.0.0.1:9999/debian unstable/main amd64 dh-autoreconf all 14 [15.9 kB] Get:20 http://127.0.0.1:9999/debian unstable/main amd64 libarchive-zip-perl all 1.59-1 [95.5 kB] Get:21 http://127.0.0.1:9999/debian unstable/main amd64 libfile-stripnondeterminism-perl all 0.038-1 [17.6 kB] Get:22 http://127.0.0.1:9999/debian unstable/main amd64 libtimedate-perl all 2.3000-2 [42.2 kB] Get:23 http://127.0.0.1:9999/debian unstable/main amd64 dh-strip-nondeterminism all 0.038-1 [11.1 kB] Get:24 http://127.0.0.1:9999/debian unstable/main amd64 libglib2.0-0 amd64 2.53.4-3 [2796 kB] Get:25 http://127.0.0.1:9999/debian unstable/main amd64 libcroco3 amd64 0.6.12-1 [144 kB] Get:26 http://127.0.0.1:9999/debian unstable/main amd64 gettext amd64 0.19.8.1-2+b1 [1301 kB] Get:27 http://127.0.0.1:9999/debian unstable/main amd64 intltool-debian all 0.35.0+20060710.4 [26.3 kB] Get:28 http://127.0.0.1:9999/debian unstable/main amd64 po-debconf all 1.0.20 [247 kB] Get:29 http://127.0.0.1:9999/debian unstable/main amd64 debhelper all 10.7.2 [975 kB] Get:30 http://127.0.0.1:9999/debian unstable/main amd64 libgmpxx4ldbl amd64 2:6.1.2+dfsg-1 [22.2 kB] Get:31 http://127.0.0.1:9999/debian unstable/main amd64 libgmp-dev amd64 2:6.1.2+dfsg-1 [631 kB] Get:32 http://127.0.0.1:9999/debian unstable/main amd64 zlib1g-dev amd64 1:1.2.8.dfsg-5 [205 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 20.2 MB in 0s (98.4 MB/s) Selecting previously unselected package groff-base. (Reading database ... 11331 files and directories currently installed.) Preparing to unpack .../00-groff-base_1.22.3-9_amd64.deb ... Unpacking groff-base (1.22.3-9) ... Selecting previously unselected package bsdmainutils. Preparing to unpack .../01-bsdmainutils_9.0.12+nmu1_amd64.deb ... Unpacking bsdmainutils (9.0.12+nmu1) ... Selecting previously unselected package libpipeline1:amd64. Preparing to unpack .../02-libpipeline1_1.4.2-1_amd64.deb ... Unpacking libpipeline1:amd64 (1.4.2-1) ... Selecting previously unselected package man-db. Preparing to unpack .../03-man-db_2.7.6.1-2_amd64.deb ... Unpacking man-db (2.7.6.1-2) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../04-libmagic-mgc_1%3a5.31-1_amd64.deb ... Unpacking libmagic-mgc (1:5.31-1) ... Selecting previously unselected package libmagic1:amd64. Preparing to unpack .../05-libmagic1_1%3a5.31-1_amd64.deb ... Unpacking libmagic1:amd64 (1:5.31-1) ... Selecting previously unselected package file. Preparing to unpack .../06-file_1%3a5.31-1_amd64.deb ... Unpacking file (1:5.31-1) ... Selecting previously unselected package gettext-base. Preparing to unpack .../07-gettext-base_0.19.8.1-2+b1_amd64.deb ... Unpacking gettext-base (0.19.8.1-2+b1) ... Selecting previously unselected package libicu57:amd64. Preparing to unpack .../08-libicu57_57.1-6_amd64.deb ... Unpacking libicu57:amd64 (57.1-6) ... Selecting previously unselected package libxml2:amd64. Preparing to unpack .../09-libxml2_2.9.4+dfsg1-3_amd64.deb ... Unpacking libxml2:amd64 (2.9.4+dfsg1-3) ... Selecting previously unselected package libsigsegv2:amd64. Preparing to unpack .../10-libsigsegv2_2.11-1_amd64.deb ... Unpacking libsigsegv2:amd64 (2.11-1) ... Selecting previously unselected package m4. Preparing to unpack .../11-m4_1.4.18-1_amd64.deb ... Unpacking m4 (1.4.18-1) ... Selecting previously unselected package autoconf. Preparing to unpack .../12-autoconf_2.69-10_all.deb ... Unpacking autoconf (2.69-10) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../13-autotools-dev_20161112.1_all.deb ... Unpacking autotools-dev (20161112.1) ... Selecting previously unselected package automake. Preparing to unpack .../14-automake_1%3a1.15.1-2_all.deb ... Unpacking automake (1:1.15.1-2) ... Selecting previously unselected package autopoint. Preparing to unpack .../15-autopoint_0.19.8.1-2_all.deb ... Unpacking autopoint (0.19.8.1-2) ... Selecting previously unselected package libtool. Preparing to unpack .../16-libtool_2.4.6-2_all.deb ... Unpacking libtool (2.4.6-2) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../17-dh-autoreconf_14_all.deb ... Unpacking dh-autoreconf (14) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../18-libarchive-zip-perl_1.59-1_all.deb ... Unpacking libarchive-zip-perl (1.59-1) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../19-libfile-stripnondeterminism-perl_0.038-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (0.038-1) ... Selecting previously unselected package libtimedate-perl. Preparing to unpack .../20-libtimedate-perl_2.3000-2_all.deb ... Unpacking libtimedate-perl (2.3000-2) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../21-dh-strip-nondeterminism_0.038-1_all.deb ... Unpacking dh-strip-nondeterminism (0.038-1) ... Selecting previously unselected package libglib2.0-0:amd64. Preparing to unpack .../22-libglib2.0-0_2.53.4-3_amd64.deb ... Unpacking libglib2.0-0:amd64 (2.53.4-3) ... Selecting previously unselected package libcroco3:amd64. Preparing to unpack .../23-libcroco3_0.6.12-1_amd64.deb ... Unpacking libcroco3:amd64 (0.6.12-1) ... Selecting previously unselected package gettext. Preparing to unpack .../24-gettext_0.19.8.1-2+b1_amd64.deb ... Unpacking gettext (0.19.8.1-2+b1) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../25-intltool-debian_0.35.0+20060710.4_all.deb ... Unpacking intltool-debian (0.35.0+20060710.4) ... Selecting previously unselected package po-debconf. Preparing to unpack .../26-po-debconf_1.0.20_all.deb ... Unpacking po-debconf (1.0.20) ... Selecting previously unselected package debhelper. Preparing to unpack .../27-debhelper_10.7.2_all.deb ... Unpacking debhelper (10.7.2) ... Selecting previously unselected package libgmpxx4ldbl:amd64. Preparing to unpack .../28-libgmpxx4ldbl_2%3a6.1.2+dfsg-1_amd64.deb ... Unpacking libgmpxx4ldbl:amd64 (2:6.1.2+dfsg-1) ... Selecting previously unselected package libgmp-dev:amd64. Preparing to unpack .../29-libgmp-dev_2%3a6.1.2+dfsg-1_amd64.deb ... Unpacking libgmp-dev:amd64 (2:6.1.2+dfsg-1) ... Selecting previously unselected package zlib1g-dev:amd64. Preparing to unpack .../30-zlib1g-dev_1%3a1.2.8.dfsg-5_amd64.deb ... Unpacking zlib1g-dev:amd64 (1:1.2.8.dfsg-5) ... Selecting previously unselected package sbuild-build-depends-minisat+-dummy. Preparing to unpack .../31-sbuild-build-depends-minisat+-dummy_0.invalid.0_amd64.deb ... Unpacking sbuild-build-depends-minisat+-dummy (0.invalid.0) ... Setting up libarchive-zip-perl (1.59-1) ... Setting up libtimedate-perl (2.3000-2) ... Setting up libsigsegv2:amd64 (2.11-1) ... Setting up groff-base (1.22.3-9) ... Setting up libglib2.0-0:amd64 (2.53.4-3) ... No schema files found: doing nothing. Setting up gettext-base (0.19.8.1-2+b1) ... Setting up libpipeline1:amd64 (1.4.2-1) ... Setting up m4 (1.4.18-1) ... Setting up libicu57:amd64 (57.1-6) ... Setting up libxml2:amd64 (2.9.4+dfsg1-3) ... Setting up libmagic-mgc (1:5.31-1) ... Setting up libmagic1:amd64 (1:5.31-1) ... Setting up libcroco3:amd64 (0.6.12-1) ... Processing triggers for libc-bin (2.24-14) ... Setting up autotools-dev (20161112.1) ... Setting up bsdmainutils (9.0.12+nmu1) ... update-alternatives: using /usr/bin/bsd-write to provide /usr/bin/write (write) in auto mode update-alternatives: using /usr/bin/bsd-from to provide /usr/bin/from (from) in auto mode Setting up libgmpxx4ldbl:amd64 (2:6.1.2+dfsg-1) ... Setting up autopoint (0.19.8.1-2) ... Setting up zlib1g-dev:amd64 (1:1.2.8.dfsg-5) ... Setting up libfile-stripnondeterminism-perl (0.038-1) ... Setting up libgmp-dev:amd64 (2:6.1.2+dfsg-1) ... Setting up gettext (0.19.8.1-2+b1) ... Setting up autoconf (2.69-10) ... Setting up file (1:5.31-1) ... Setting up intltool-debian (0.35.0+20060710.4) ... Setting up automake (1:1.15.1-2) ... update-alternatives: using /usr/bin/automake-1.15 to provide /usr/bin/automake (automake) in auto mode Setting up man-db (2.7.6.1-2) ... Not building database; man-db/auto-update is not 'true'. Setting up libtool (2.4.6-2) ... Setting up po-debconf (1.0.20) ... Setting up dh-autoreconf (14) ... Setting up dh-strip-nondeterminism (0.038-1) ... Setting up debhelper (10.7.2) ... Setting up sbuild-build-depends-minisat+-dummy (0.invalid.0) ... Processing triggers for libc-bin (2.24-14) ... +------------------------------------------------------------------------------+ | Build environment | +------------------------------------------------------------------------------+ Kernel: Linux 4.9.0-2-amd64 amd64 (x86_64) Toolchain package versions: binutils_2.29-4 dpkg-dev_1.18.24 g++-7_7.2.0-1 gcc-7_7.2.0-1 libc6-dev_2.24-14 libstdc++-6-dev_6.4.0-3 libstdc++-7-dev_7.2.0-1 libstdc++6_7.2.0-1 linux-libc-dev_4.12.6-1 Package versions: adduser_3.116 apt_1.5~beta2 autoconf_2.69-10 automake_1:1.15.1-2 autopoint_0.19.8.1-2 autotools-dev_20161112.1 base-files_10 base-passwd_3.5.43 bash_4.4-5 binutils_2.29-4 bsdmainutils_9.0.12+nmu1 bsdutils_1:2.29.2-4 build-essential_12.3 bzip2_1.0.6-8.1 clang-5.0_1:5.0~+rc2-1 coreutils_8.26-3 cpp_4:7.1.0-2 cpp-7_7.2.0-1 dash_0.5.8-2.5 debconf_1.5.63 debfoster_2.7-2.1+b1 debhelper_10.7.2 debian-archive-keyring_2017.5 debianutils_4.8.2 dh-autoreconf_14 dh-strip-nondeterminism_0.038-1 diffutils_1:3.6-1 dpkg_1.18.24 dpkg-dev_1.18.24 e2fslibs_1.43.5-1 e2fsprogs_1.43.5-1 eatmydata_105-5 fakeroot_1.22-1 fdisk_2.29.2-4 file_1:5.31-1 findutils_4.6.0+git+20170729-2 g++_4:7.1.0-2 g++-7_7.2.0-1 gcc_4:7.1.0-2 gcc-6-base_6.4.0-3 gcc-7_7.2.0-1 gcc-7-base_7.2.0-1 gettext_0.19.8.1-2+b1 gettext-base_0.19.8.1-2+b1 gpgv_2.1.23-2 grep_3.1-2 groff-base_1.22.3-9 gzip_1.6-5+b1 hostname_3.18+b1 init-system-helpers_1.49 intltool-debian_0.35.0+20060710.4 libacl1_2.2.52-3+b1 libapt-pkg5.0_1.5~beta2 libarchive-zip-perl_1.59-1 libasan3_6.4.0-3 libasan4_7.2.0-1 libatomic1_7.2.0-1 libattr1_1:2.4.47-2+b2 libaudit-common_1:2.7.7-1 libaudit1_1:2.7.7-1+b2 libblkid1_2.29.2-4 libbsd0_0.8.6-1 libbz2-1.0_1.0.6-8.1 libc-bin_2.24-14 libc-dev-bin_2.24-14 libc6_2.24-14 libc6-dev_2.24-14 libcap-ng0_0.7.7-3+b1 libcc1-0_7.2.0-1 libcilkrts5_7.2.0-1 libclang-common-5.0-dev_1:5.0~+rc2-1 libclang1-5.0_1:5.0~+rc2-1 libcomerr2_1.43.5-1 libcroco3_0.6.12-1 libdb5.3_5.3.28-13 libdebconfclient0_0.229 libdpkg-perl_1.18.24 libeatmydata1_105-5 libedit2_3.1-20170329-1 libfakeroot_1.22-1 libfdisk1_2.29.2-4 libffi6_3.2.1-6 libfile-stripnondeterminism-perl_0.038-1 libgc1c2_1:7.4.2-8 libgcc-6-dev_6.4.0-3 libgcc-7-dev_7.2.0-1 libgcc1_1:7.2.0-1 libgcrypt20_1.7.8-2 libgdbm3_1.8.3-14 libglib2.0-0_2.53.4-3 libgmp-dev_2:6.1.2+dfsg-1 libgmp10_2:6.1.2+dfsg-1 libgmpxx4ldbl_2:6.1.2+dfsg-1 libgnutls30_3.5.14-3 libgomp1_7.2.0-1 libgpg-error0_1.27-3 libhogweed4_3.3-1+b1 libicu57_57.1-6 libidn2-0_2.0.2-3 libisl15_0.18-1 libitm1_7.2.0-1 libjsoncpp1_1.7.4-3 libllvm5.0_1:5.0~+rc2-1 liblsan0_7.2.0-1 liblz4-1_0.0~r131-2+b1 liblzma5_5.2.2-1.3 libmagic-mgc_1:5.31-1 libmagic1_1:5.31-1 libmount1_2.29.2-4 libmpc3_1.0.3-1+b2 libmpfr4_3.1.5-1 libmpx2_7.2.0-1 libncurses5_6.0+20170715-2 libncursesw5_6.0+20170715-2 libnettle6_3.3-1+b1 libobjc-6-dev_6.4.0-3 libobjc4_7.2.0-1 libp11-kit0_0.23.7-3 libpam-modules_1.1.8-3.6 libpam-modules-bin_1.1.8-3.6 libpam-runtime_1.1.8-3.6 libpam0g_1.1.8-3.6 libpcre3_2:8.39-4 libperl5.26_5.26.0-5 libpipeline1_1.4.2-1 libquadmath0_7.2.0-1 libselinux1_2.6-3+b2 libsemanage-common_2.6-2 libsemanage1_2.6-2+b1 libsepol1_2.6-2 libsigsegv2_2.11-1 libsmartcols1_2.29.2-4 libss2_1.43.5-1 libstdc++-6-dev_6.4.0-3 libstdc++-7-dev_7.2.0-1 libstdc++6_7.2.0-1 libsystemd0_234-2 libtasn1-6_4.12-2.1 libtimedate-perl_2.3000-2 libtinfo5_6.0+20170715-2 libtool_2.4.6-2 libtsan0_7.2.0-1 libubsan0_7.2.0-1 libudev1_234-2 libunistring2_0.9.7-2 libustr-1.0-1_1.0.4-6 libuuid1_2.29.2-4 libxml2_2.9.4+dfsg1-3 linux-libc-dev_4.12.6-1 login_1:4.4-4.1 m4_1.4.18-1 make_4.1-9.1 man-db_2.7.6.1-2 mawk_1.3.3-17+b3 mount_2.29.2-4 multiarch-support_2.24-14 ncurses-base_6.0+20170715-2 ncurses-bin_6.0+20170715-2 passwd_1:4.4-4.1 patch_2.7.5-1+b2 perl_5.26.0-5 perl-base_5.26.0-5 perl-modules-5.26_5.26.0-5 po-debconf_1.0.20 sbuild-build-depends-core-dummy_0.invalid.0 sbuild-build-depends-minisat+-dummy_0.invalid.0 sed_4.4-1 sensible-utils_0.0.10 sysvinit-utils_2.88dsf-59.9 tar_1.29b-2 util-linux_2.29.2-4 xz-utils_5.2.2-1.3 zlib1g_1:1.2.8.dfsg-5 zlib1g-dev_1:1.2.8.dfsg-5 +------------------------------------------------------------------------------+ | Build | +------------------------------------------------------------------------------+ Unpack source ------------- gpgv: unknown type of key resource 'trustedkeys.kbx' gpgv: keyblock resource '/sbuild-nonexistent/.gnupg/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 /build/minisat+-bSwp2F/minisat+-1.0 dpkg-source: info: unpacking minisat+_1.0.orig.tar.gz dpkg-source: info: unpacking minisat+_1.0-4.debian.tar.xz 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=en_US.UTF-8 LC_ALL=POSIX LOGNAME=user42 PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games SCHROOT_ALIAS_NAME=unstable-amd64-sbuild SCHROOT_CHROOT_NAME=unstable-amd64-sbuild SCHROOT_COMMAND=env SCHROOT_GID=1001 SCHROOT_GROUP=user42 SCHROOT_SESSION_ID=unstable-amd64-sbuild-4ea0c956-3597-4f55-8216-eff87707a240 SCHROOT_UID=1001 SCHROOT_USER=user42 SHELL=/bin/sh USER=user42 dpkg-buildpackage ----------------- 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 minisat+-1.0 dpkg-buildpackage: info: host architecture amd64 fakeroot debian/rules clean dh clean debian/rules override_dh_auto_clean make[1]: Entering directory '/build/minisat+-bSwp2F/minisat+-1.0' make clean make[2]: Entering directory '/build/minisat+-bSwp2F/minisat+-1.0' Makefile:96: depend.mak: No such file or 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] make[2]: Leaving directory '/build/minisat+-bSwp2F/minisat+-1.0' make[1]: Leaving directory '/build/minisat+-bSwp2F/minisat+-1.0' dh_autoreconf_clean dh_clean debian/rules build-arch dh build-arch dh_update_autotools_config -a dh_autoreconf -a dh_auto_configure -a dh_auto_build -a make -j16 make[1]: Entering directory '/build/minisat+-bSwp2F/minisat+-1.0' Makefile:96: depend.mak: No such file or 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] Building minisat+ (standard) Compiling: PbParser.C Compiling: PbSolver_convertAdd.C Compiling: SatELite.C Compiling: PbSolver_convertBdd.C Compiling: Hardware_clausify.C Compiling: Hardware_sorters.C Compiling: Main.C Compiling: PbSolver.C Compiling: Hardware_adders.C Compiling: PbSolver_convert.C Compiling: Debug.C Compiling: ADTs/Global.C Compiling: ADTs/File.C Compiling: ADTs/FEnv.C clangclang: : warning: optimization flag '-ffloat-store' is not supported [-Wignored-optimization-argument]warning : optimization flag '-ffloat-store' is not supported [-Wignored-optimization-argument] clang: warning: optimization flag '-ffloat-store' is not supported [-Wignored-optimization-argument] Compiling: PbSolver_convertSort.C Compiling: MiniSat.C clangclang: warning: optimization flag '-ffloat-store' is not supported [-Wignored-optimization-argument] : 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] clangclang: warning: optimization flag '-ffloat-store' is not supported [-Wignored-optimization-argument] : warning: optimization flag '-ffloat-store' is not supported [-Wignored-optimization-argument] In file included from :1: ADTs/Global.h:281:43: error: implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE' vec& operator = (vec& other) { TEMPLATE_FAIL; return *this; } ^ ADTs/Global.h:78:23: note: expanded from macro 'TEMPLATE_FAIL' #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^ ADTs/Global.h:76:24: note: template is declared here template struct STATIC_ASSERTION_FAILURE; ^ clang: warning: optimization flag '-ffloat-store' is not supported [-Wignored-optimization-argument] ADTs/Global.h:282:43: error: implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE' vec (vec& other) { TEMPLATE_FAIL; } ^ ADTs/Global.h:78:23: note: expanded from macro 'TEMPLATE_FAIL' #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^ ADTs/Global.h:76:24: note: template is declared here template struct STATIC_ASSERTION_FAILURE; ^ In file included from In file included from ::11: : ADTs/Global.hADTs/Global.h::281281::4343:: error: error: implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE' implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE' vec& operator = (vec& other) { TEMPLATE_FAIL; return *this; } vec& operator = (vec& other) { TEMPLATE_FAIL; return *this; } ^ ^ ADTs/Global.hADTs/Global.h:78::7823:: 23note: : noteexpanded from macro 'TEMPLATE_FAIL': expanded from macro 'TEMPLATE_FAIL' #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE()#define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^ ^ ADTs/Global.hADTs/Global.h::76:7624::24: note: notetemplate is declared here: template is declared here template struct STATIC_ASSERTION_FAILURE;template struct STATIC_ASSERTION_FAILURE; ^ ^ ADTs/Global.h:282:43: error: ADTs/Global.himplicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE' :282:43: error: implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE' vec (vec& other) { TEMPLATE_FAIL; } ^ vec (vec& other) { TEMPLATE_FAIL; }ADTs/Global.h: 78 ^: 23: note: expanded from macro 'TEMPLATE_FAIL' ADTs/Global.h:78:23: note: expanded from macro 'TEMPLATE_FAIL' #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^ ADTs/Global.h:76:24:#define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() note : ^template is declared here ADTs/Global.h:76:24: note: template is declared here template struct STATIC_ASSERTION_FAILURE; ^ template struct STATIC_ASSERTION_FAILURE; ^ In file included from :1: ADTs/Global.h:281:43: error: implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE' vec& operator = (vec& other) { TEMPLATE_FAIL; return *this; } ^ ADTs/Global.h:78:23: note: expanded from macro 'TEMPLATE_FAIL' #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^ ADTs/Global.h:76:24: note: template is declared here template struct STATIC_ASSERTION_FAILURE; ^ ADTs/Global.h:282:43: error: implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE' vec (vec& other) { TEMPLATE_FAIL; } ^ ADTs/Global.h:78:23: note: expanded from macro 'TEMPLATE_FAIL' #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^ ADTs/Global.h:76:24: note: template is declared here template struct STATIC_ASSERTION_FAILURE; ^ In file included from :1: In file included from :1: ADTs/Global.h:281:43: error: implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE' ADTs/Global.h:281 vec& operator = (vec& other) { TEMPLATE_FAIL; return *this; } ^ ADTs/Global.h:78:23: note: expanded from macro 'TEMPLATE_FAIL' :In file included from :1: #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE()ADTs/Global.h : ^281 :43: error: ADTs/Global.himplicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE': 76:24: note: template is declared here template struct STATIC_ASSERTION_FAILURE;43: error: implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE' vec& operator = (vec& other) { TEMPLATE_FAIL; return *this; } ^ ADTs/Global.h:78:23: note: expanded from macro 'TEMPLATE_FAIL' #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^ ADTs/Global.h:76:24: note: template is declared here vec& operator = (vec& other) { TEMPLATE_FAIL; return *this; } ^ ADTs/Global.h:78:23: note: expanded from macro 'TEMPLATE_FAIL' template struct STATIC_ASSERTION_FAILURE; ^ #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^ ADTs/Global.h:76:24: note: template is declared here template struct STATIC_ASSERTION_FAILURE; ^ ADTs/Global.h:282:43: error: implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE' ^ vec (vec& other) { TEMPLATE_FAIL; } ^ ADTs/Global.h:78:23: note: expanded from macro 'TEMPLATE_FAIL' ADTs/Global.h:282:43: error: implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE' #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() vec (vec& other) { TEMPLATE_FAIL; } ^ ADTs/Global.h:78:23: note: expanded from macro 'TEMPLATE_FAIL' #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^ ADTs/Global.h:76:24: note: template is declared here ADTs/Global.h:282:43: error: implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE' template struct STATIC_ASSERTION_FAILURE;In file included from In file included from ^ ::11: : ADTs/Global.hADTs/Global.h::281281::4343:: errorerror: : implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE'implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE' vec (vec& other) { TEMPLATE_FAIL; } ^ ADTs/Global.h:78:23: note: expanded from macro 'TEMPLATE_FAIL' ^#define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^ vec& operator = (vec& other) { TEMPLATE_FAIL; return *this; } vec& operator = (vec& other) { TEMPLATE_FAIL; return *this; } ADTs/Global.h ^: ^76 :24: note: ADTs/Global.htemplate is declared here:ADTs/Global.h 78::7823::23 :note : note: expanded from macro 'TEMPLATE_FAIL' expanded from macro 'TEMPLATE_FAIL' template struct STATIC_ASSERTION_FAILURE; ^ #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE()#define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^ ^ ADTs/Global.hADTs/Global.h::7676::2424:: notenote: : template is declared heretemplate is declared here template struct STATIC_ASSERTION_FAILURE;template struct STATIC_ASSERTION_FAILURE; ^ ^ ADTs/Global.hADTs/Global.hADTs/Global.h::282:28243::43 : error: error: implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE'implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE' : vec (vec& other) { TEMPLATE_FAIL; } ^ vec (vec& other) { TEMPLATE_FAIL; } ^ ADTs/Global.h:78:23ADTs/Global.h:: 78note:: 23expanded from macro 'TEMPLATE_FAIL': note: expanded from macro 'TEMPLATE_FAIL' #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE()#define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE()76 ^ ^ ADTs/Global.hADTs/Global.h::7676::2424:: note: notetemplate is declared here: template is declared here template struct STATIC_ASSERTION_FAILURE; template struct STATIC_ASSERTION_FAILURE; ^ ^ :24: note: template is declared here template struct STATIC_ASSERTION_FAILURE; ^ In file included from :1: ADTs/Global.h:281:43: error: implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE' vec& operator = (vec& other) { TEMPLATE_FAIL; return *this; } ^ ADTs/Global.h:78:23: note: expanded from macro 'TEMPLATE_FAIL' #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^ ADTs/Global.h:76:24: note: template is declared here template struct STATIC_ASSERTION_FAILURE; ^ ADTs/Global.h:282:43: error: implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE' vec (vec& other) { TEMPLATE_FAIL; } ^ ADTs/Global.h:78:23: note: expanded from macro 'TEMPLATE_FAIL' #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^ ADTs/Global.h:76:24: note: template is declared here template struct STATIC_ASSERTION_FAILURE; ^ In file included from PbSolver_convertBdd.C:20: In file included from ./PbSolver.h:23: In file included from ./Solver.h:24: ./SatELite.h:76:67: warning: binding dereferenced null pointer to reference has undefined behavior [-Wnull-dereference] FILE* createTmpFile(cchar* prefix, cchar* mode, char*& out_name = *(char**)NULL); ^~~~~~~~~~~~~ ./SatELite.h:260:1: warning: 'Solver' defined as a struct here but previously declared as a class [-Wmismatched-tags] struct Solver { ^ ./SatELite.h:89:1: note: did you mean struct here? class Solver; ^~~~~ struct ./SatELite.h:471:45: warning: binding dereferenced null pointer to reference has undefined behavior [-Wnull-dereference] void subsume0(Clause ps, int& counter = *(int*)NULL); ^~~~~~~~~~~ ./SatELite.h:472:45: warning: binding dereferenced null pointer to reference has undefined behavior [-Wnull-dereference] void subsume1(Clause ps, int& counter = *(int*)NULL); ^~~~~~~~~~~ ADTs/Global.C:40:26: warning: implicit conversion from 'int' to 'char' changes value from 255 to -1 [-Wconstant-conversion] ret[chars_written] = 255; ~ ^~~ 1 warning and 2 errors generated. In file included from PbSolver_convertBdd.C:20: In file included from ./PbSolver.h:24: ADTs/Map.h:129:54: error: implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE' Map& operator = (Map& other) { TEMPLATE_FAIL; return *this; } ^ ADTs/Global.h:78:23: note: In file included from Hardware_clausify.C:20: In file included from ./Hardware.h:23: In file included from ADTs/FEnv.h:30: ADTs/Map.h:129:54: error: implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE' expanded from macro 'TEMPLATE_FAIL' Map& operator = (Map& other) { TEMPLATE_FAIL; return *this; } ^ ADTs/Global.h:78:23: note: expanded from macro 'TEMPLATE_FAIL' #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^ ADTs/Global.h:76:24: note: template is declared here template struct STATIC_ASSERTION_FAILURE;#define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^ ADTs/Global.h:76:24: note: template is declared here template struct STATIC_ASSERTION_FAILURE; ^ ^In file included from PbSolver_convertBdd.C:20: In file included from ./PbSolver.h:24: ADTs/Map.h:130:54: error: implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE' Map (Map& other) { TEMPLATE_FAIL; } ^ ADTs/Global.h:78:23: note: expanded from macro 'TEMPLATE_FAIL' #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^In file included from Hardware_clausify.C:20: In file included from ./Hardware.h:23: In file included from ADTs/FEnv.h:30: ADTs/Map.h:130:54: error: implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE' Map (Map& other) { TEMPLATE_FAIL; } ^ ADTs/Global.h:78:23: note: expanded from macro 'TEMPLATE_FAIL' ADTs/Global.h#define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^ ADTs/Global.h:76:24: note: template is declared here template struct STATIC_ASSERTION_FAILURE;:76:24: note: template is declared here template struct STATIC_ASSERTION_FAILURE; ^ ^ Makefile:55: recipe for target 'ADTs/Global.o' failed make[1]: *** [ADTs/Global.o] Error 1 make[1]: *** Waiting for unfinished jobs.... In file included from :1: ADTs/Global.h:281:43: error: implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE' vec& operator = (vec& other) { TEMPLATE_FAIL; return *this; } ^ ADTs/Global.h:78:23: note: expanded from macro 'TEMPLATE_FAIL' #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^ ADTs/Global.h:76:24: note: template is declared here template struct STATIC_ASSERTION_FAILURE; ^ ADTs/Global.h:282:43: error: implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE' vec (vec& other) { TEMPLATE_FAIL; } ^ ADTs/Global.h:78:23: note: expanded from macro 'TEMPLATE_FAIL' #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^ ADTs/Global.h:76:24: note: template is declared here template struct STATIC_ASSERTION_FAILURE; ^ In file included from PbSolver_convertSort.C:20: In file included from ./PbSolver.h:23: In file included from ./Solver.h:24: ./SatELite.h:76:67: warning: binding dereferenced null pointer to reference has undefined behavior [-Wnull-dereference] FILE* createTmpFile(cchar* prefix, cchar* mode, char*& out_name = *(char**)NULL); ^~~~~~~~~~~~~ In file included from SatELite.C:26: ./SatELite.h:76:67: warning: binding dereferenced null pointer to reference has undefined behavior [-Wnull-dereference] FILE* createTmpFile(cchar* prefix, cchar* mode, char*& out_name = *(char**)NULL); ^~~~~~~~~~~~~ In file included from :1: ADTs/Global.h:281:43: error: implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE' vec& operator = (vec& other) { TEMPLATE_FAIL; return *this; } ^ ADTs/Global.h:78:23: note: expanded from macro 'TEMPLATE_FAIL' #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^ ADTs/Global.h:76:24: note: template is declared here template struct STATIC_ASSERTION_FAILURE; ^ In file included from ADTs/Global.h:282::43:1 : error: ADTs/Global.himplicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE': 281:43: error: implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE' vec (vec& other) { TEMPLATE_FAIL; } ^ ADTs/Global.h:78:23: note: expanded from macro 'TEMPLATE_FAIL' vec& operator = (vec& other) { TEMPLATE_FAIL; return *this; } ^ #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^ ADTs/Global.hADTs/Global.h::76:7824::23 :note : notetemplate is declared here: expanded from macro 'TEMPLATE_FAIL' template struct STATIC_ASSERTION_FAILURE;#define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^ ^ ADTs/Global.h:76:24: note: template is declared here template struct STATIC_ASSERTION_FAILURE; ^ ADTs/Global.h:282:43: error: implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE' vec (vec& other) { TEMPLATE_FAIL; } ^ ADTs/Global.h:78:23: note: expanded from macro 'TEMPLATE_FAIL' #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^ ADTs/Global.h:76:24: note: template is declared here template struct STATIC_ASSERTION_FAILURE; ^ ./SatELite.h:260:1: warning: 'Solver' defined as a struct here but previously declared as a class [-Wmismatched-tags] struct Solver { ^ ./SatELite.h:89:1: note: did you mean struct here? class Solver; ^~~~~ struct 2 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:76:67: warning: binding dereferenced null pointer to reference has undefined behavior [-Wnull-dereference] FILE* createTmpFile(cchar* prefix, cchar* mode, char*& out_name = *(char**)NULL); ^~~~~~~~~~~~~ ./SatELite.h:471:45: warning: binding dereferenced null pointer to reference has undefined behavior [-Wnull-dereference] void subsume0(Clause ps, int& counter = *(int*)NULL); ^~~~~~~~~~~ ./SatELite.h:472:45: warning: binding dereferenced null pointer to reference has undefined behavior [-Wnull-dereference] void subsume1(Clause ps, int& counter = *(int*)NULL); ^~~~~~~~~~~ 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:76:67: warning: binding dereferenced null pointer to reference has undefined behavior [-Wnull-dereference] FILE* createTmpFile(cchar* prefix, cchar* mode, char*& out_name = *(char**)NULL); ^~~~~~~~~~~~~ ./SatELite.h:260:1: warning: 'Solver' defined as a struct here but previously declared as a class [-Wmismatched-tags] struct Solver { ^ ./SatELite.h:89:1: note: did you mean struct here? class Solver; ^~~~~ struct Makefile:55: recipe for target 'ADTs/File.o' failed make[1]: *** [ADTs/File.o] Error 1 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:76:67: warning: binding dereferenced null pointer to reference has undefined behavior [-Wnull-dereference] ./SatELite.h:260:1: warning: 'Solver' defined as a struct here but previously declared as a class [-Wmismatched-tags] struct Solver { ^ FILE* createTmpFile(cchar* prefix, cchar* mode, char*& out_name = *(char**)NULL); ^~~~~~~~~~~~~ ./SatELite.h:89:1: note: did you mean struct here? class Solver; ^~~~~ struct In file included from :1: ADTs/Global.h:281:43: error: implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE' vec& operator = (vec& other) { TEMPLATE_FAIL; return *this; } ^ ADTs/Global.h:78:23: note: expanded from macro 'TEMPLATE_FAIL' #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^ ADTs/Global.h:76:24: note: template is declared here template struct STATIC_ASSERTION_FAILURE; ^ ADTs/Global.h:282:43: error: implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE' vec (vec& other) { TEMPLATE_FAIL; } ^ ADTs/Global.h:78:23: note: expanded from macro 'TEMPLATE_FAIL' #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^ ADTs/Global.h:76:24: note: template is declared here template struct STATIC_ASSERTION_FAILURE; ^ ./SatELite.h:471:45: warning: binding dereferenced null pointer to reference has undefined behavior [-Wnull-dereference] void subsume0(Clause ps, int& counter = *(int*)NULL); ^~~~~~~~~~~ ./SatELite.h:472:45: warning: binding dereferenced null pointer to reference has undefined behavior [-Wnull-dereference] void subsume1(Clause ps, int& counter = *(int*)NULL); ^~~~~~~~~~~ ./SatELite.h:471:45: warning: binding dereferenced null pointer to reference has undefined behavior [-Wnull-dereference] void subsume0(Clause ps, int& counter = *(int*)NULL); ^~~~~~~~~~~ ./SatELite.h:472:45: warning: binding dereferenced null pointer to reference has undefined behavior [-Wnull-dereference] void subsume1(Clause ps, int& counter = *(int*)NULL); ^~~~~~~~~~~ ./SatELite.h:260:1: warning: 'Solver' defined as a struct here but previously declared as a class [-Wmismatched-tags] struct Solver { ^ ./SatELite.h:89:1: note: did you mean struct here? class Solver; ^~~~~ struct ./SatELite.h:260:1: warning: 'Solver' defined as a struct here but previously declared as a class [-Wmismatched-tags] struct Solver { ^ ./SatELite.h:89:1: note: did you mean struct here? class Solver; ^~~~~ struct ./SatELite.h:471:45: warning: binding dereferenced null pointer to reference has undefined behavior [-Wnull-dereference] void subsume0(Clause ps, int& counter = *(int*)NULL); ^~~~~~~~~~~ ./SatELite.h:472:45: warning: binding dereferenced null pointer to reference has undefined behavior [-Wnull-dereference] void subsume1(Clause ps, int& counter = *(int*)NULL); ^~~~~~~~~~~ ./SatELite.h:471:45: warning: binding dereferenced null pointer to reference has undefined behavior [-Wnull-dereference] void subsume0(Clause ps, int& counter = *(int*)NULL); ^~~~~~~~~~~ ./SatELite.h:472:45: warning: binding dereferenced null pointer to reference has undefined behavior [-Wnull-dereference] void subsume1(Clause ps, int& counter = *(int*)NULL); ^~~~~~~~~~~ In file included from PbSolver_convert.C:20: In file included from ./PbSolver.h:24: ADTs/Map.h:129:54: error: implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE' Map& operator = (Map& other) { TEMPLATE_FAIL; return *this; } ^ ADTs/Global.h:78:23: note: expanded from macro 'TEMPLATE_FAIL' #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^ ADTs/Global.h:76:24: note: template is declared here template struct STATIC_ASSERTION_FAILURE; ^ In file included from PbSolver_convert.C:20: In file included from ./PbSolver.h:24: ADTs/Map.h:130:54: error: implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE' Map (Map& other) { TEMPLATE_FAIL; } ^ ADTs/Global.h:78:23: note: expanded from macro 'TEMPLATE_FAIL' #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^ ADTs/Global.h:76:24: note: template is declared here template struct STATIC_ASSERTION_FAILURE; ^ In file included from PbSolver_convertSort.C:20: In file included from ./PbSolver.h:24: ADTs/Map.h:129:54: error: implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE' Map& operator = (Map& other) { TEMPLATE_FAIL; return *this; } ^ ADTs/Global.h:78:23: note: expanded from macro 'TEMPLATE_FAIL' #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^ ADTs/Global.h:76:24: note: template is declared here template struct STATIC_ASSERTION_FAILURE; ^ In file included from PbSolver_convertSort.C:20: In file included from ./PbSolver.h:24: ADTs/Map.h:130:54: error: implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE' Map (Map& other) { TEMPLATE_FAIL; } ^ ADTs/Global.h:78:23: note: expanded from macro 'TEMPLATE_FAIL' #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^ ADTs/Global.h:76:24: note: template is declared here template struct STATIC_ASSERTION_FAILURE; ^ In file included from :1: ADTs/Global.h:281:43: error: implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE' vec& operator = (vec& other) { TEMPLATE_FAIL; return *this; } ^ ADTs/Global.h:78:23: note: expanded from macro 'TEMPLATE_FAIL' #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^ ADTs/Global.h:76:24: note: template is declared here template struct STATIC_ASSERTION_FAILURE; ^ ADTs/Global.h:282:43: error: implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE' vec (vec& other) { TEMPLATE_FAIL; } ^ ADTs/Global.h:78:23: note: expanded from macro 'TEMPLATE_FAIL' #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^ ADTs/Global.h:76:24: note: template is declared here template struct STATIC_ASSERTION_FAILURE; ^ In file included from Main.C:31: In file included from ./PbSolver.h:23: In file included from ./Solver.h:24: ./SatELite.h:76:67: warning: binding dereferenced null pointer to reference has undefined behavior [-Wnull-dereference] FILE* createTmpFile(cchar* prefix, cchar* mode, char*& out_name = *(char**)NULL); ^~~~~~~~~~~~~ ./SatELite.h:260:1: warning: 'Solver' defined as a struct here but previously declared as a class [-Wmismatched-tags] struct Solver { ^ ./SatELite.h:89:1: note: did you mean struct here? class Solver; ^~~~~ struct In file included from ADTs/FEnv.C:20: In file included from ADTs/FEnv.h:30: ADTs/Map.h:129:54: error: implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE' Map& operator = (Map& other) { TEMPLATE_FAIL; return *this; } ^ ADTs/Global.h:78:23: note: expanded from macro 'TEMPLATE_FAIL' #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^ ADTs/Global.h:76:24: note: template is declared here template struct STATIC_ASSERTION_FAILURE; ^ In file included from ADTs/FEnv.C:20: In file included from ADTs/FEnv.h:30: ADTs/Map.h:130:54: error: implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE' Map (Map& other) { TEMPLATE_FAIL; } ^ ADTs/Global.h:78:23: note: expanded from macro 'TEMPLATE_FAIL' #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^ ADTs/Global.h:76:24: note: template is declared here template struct STATIC_ASSERTION_FAILURE; ^ In file included from PbParser.C:20: In file included from ./PbParser.h:23: In file included from ./PbSolver.h:24: ADTs/Map.h:129:54: error: implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE' Map& operator = (Map& other) { TEMPLATE_FAIL; return *this; } ^ ADTs/Global.h:78:23: note: expanded from macro 'TEMPLATE_FAIL' #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^ ADTs/Global.h:76:24: note: template is declared here template struct STATIC_ASSERTION_FAILURE; ^ In file included from PbParser.C:20: In file included from ./PbParser.h:23: In file included from ./PbSolver.h:24: ADTs/Map.h:130:54: error: implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE' Map (Map& other) { TEMPLATE_FAIL; } ^ ADTs/Global.h:78:23: note: expanded from macro 'TEMPLATE_FAIL' #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^ ADTs/Global.h:76:24: note: template is declared here template struct STATIC_ASSERTION_FAILURE; ^ ./SatELite.h:471:45: warning: binding dereferenced null pointer to reference has undefined behavior [-Wnull-dereference] void subsume0(Clause ps, int& counter = *(int*)NULL); ^~~~~~~~~~~ ./SatELite.h:472:45: warning: binding dereferenced null pointer to reference has undefined behavior [-Wnull-dereference] void subsume1(Clause ps, int& counter = *(int*)NULL); ^~~~~~~~~~~ In file included from :1: ADTs/Global.h:281:43: error: implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE' vec& operator = (vec& other) { TEMPLATE_FAIL; return *this; } ^ ADTs/Global.h:78:23: note: expanded from macro 'TEMPLATE_FAIL' In file included from #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE()Debug.C:20: In file included from ./Debug.h:24: In file included from ./PbSolver.h:24: ADTs/Map.h:129:54: error: implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE' Map& operator = (Map& other) { TEMPLATE_FAIL; return *this; } ^ ADTs/Global.h:78:23: note: expanded from macro 'TEMPLATE_FAIL' #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^ ADTs/Global.h:76:24: note: template is declared here ^template struct STATIC_ASSERTION_FAILURE; ^ ADTs/Global.hIn file included from Debug.C:20: In file included from ./Debug.h:24: In file included from ./PbSolver.h:24: ADTs/Map.h:130:54: error: implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE' : Map (Map& other) { TEMPLATE_FAIL; } ^ ADTs/Global.h:78:23: note: expanded from macro 'TEMPLATE_FAIL' 76#define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE(): ^ ADTs/Global.h:76:24: note: template is declared here template struct STATIC_ASSERTION_FAILURE; ^ 24: note: template is declared here template struct STATIC_ASSERTION_FAILURE; ^ ADTs/Global.h:282:43: error: implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE' vec (vec& other) { TEMPLATE_FAIL; } ^ ADTs/Global.h:78:23: note: expanded from macro 'TEMPLATE_FAIL' #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^ ADTs/Global.h:76:24: note: template is declared here template struct STATIC_ASSERTION_FAILURE; ^ In file included from Hardware_adders.C:20: In file included from ./Hardware.h:23: In file included from ADTs/FEnv.h:30: ADTs/Map.h:129:54: error: implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE' Map& operator = (Map& other) { TEMPLATE_FAIL; return *this; } ^ ADTs/Global.h:78:23: note: expanded from macro 'TEMPLATE_FAIL' #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^ ADTs/Global.h:76:24: note: template is declared here template struct STATIC_ASSERTION_FAILURE; ^ In file included from Hardware_adders.C:20: In file included from ./Hardware.h:23: In file included from ADTs/FEnv.h:30: ADTs/Map.h:130:54: error: implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE' Map (Map& other) { TEMPLATE_FAIL; } ^ ADTs/Global.h:78:23: note: expanded from macro 'TEMPLATE_FAIL' #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^ ADTs/Global.h:76:24: note: template is declared here template struct STATIC_ASSERTION_FAILURE; ^ In file included from Main.C:31: In file included from ./PbSolver.h:24: ADTs/Map.h:129:54: error: implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE' Map& operator = (Map& other) { TEMPLATE_FAIL; return *this; } ^ ADTs/Global.h:78:23: note: expanded from macro 'TEMPLATE_FAIL' #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^ ADTs/Global.h:76:24: note: template is declared here template struct STATIC_ASSERTION_FAILURE; ^ In file included from Main.C:31: In file included from ./PbSolver.h:24: ADTs/Map.h:130:54: error: implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE' Map (Map& other) { TEMPLATE_FAIL; } ^ ADTs/Global.h:78:23: note: expanded from macro 'TEMPLATE_FAIL' #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^ ADTs/Global.h:76:24: note: template is declared here template struct STATIC_ASSERTION_FAILURE; ^ 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:76:67: warning: binding dereferenced null pointer to reference has undefined behavior [-Wnull-dereference] FILE* createTmpFile(cchar* prefix, cchar* mode, char*& out_name = *(char**)NULL); ^~~~~~~~~~~~~ In file included from Hardware_sorters.C:20: In file included from ./Hardware.h:23: In file included from ADTs/FEnv.h:30: ADTs/Map.h:129:54: error: implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE' Map& operator = (Map& other) { TEMPLATE_FAIL; return *this; } ^ ADTs/Global.h:78:23: note: expanded from macro 'TEMPLATE_FAIL' #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^ ADTs/Global.h:76:24: note: template is declared here template struct STATIC_ASSERTION_FAILURE; ^ In file included from Hardware_sorters.C:20: In file included from ./Hardware.h:23: In file included from ADTs/FEnv.h:30: ADTs/Map.h:130:54: error: implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE' Map (Map& other) { TEMPLATE_FAIL; } ^ ADTs/Global.h:78:23: note: expanded from macro 'TEMPLATE_FAIL' #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^ ADTs/Global.h:76:24: note: template is declared here template struct STATIC_ASSERTION_FAILURE; ^ SatELite.C:172:10: warning: reference cannot be bound to dereferenced null pointer in well-defined C++ code; comparison may be assumed to always evaluate to true [-Wtautological-undefined-compare] if (&out_name != NULL) out_name = name; ^~~~~~~~ ~~~~ SatELite.C:182:20: warning: '&&' within '||' [-Wlogical-op-parentheses] if (!exact && (strlen(tmp_files[i]) == len + 6 && strncmp(tmp_files[i], prefix, len) == 0) ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ SatELite.C:182:20: note: place parentheses around the '&&' expression to silence this warning if (!exact && (strlen(tmp_files[i]) == len + 6 && strncmp(tmp_files[i], prefix, len) == 0) ^ ( ) SatELite.C:183:20: warning: '&&' within '||' [-Wlogical-op-parentheses] || exact && (strcmp(tmp_files[i], prefix) == 0)) ~~ ~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ SatELite.C:183:20: note: place parentheses around the '&&' expression to silence this warning || exact && (strcmp(tmp_files[i], prefix) == 0)) ^ ( ) ./SatELite.h:260:1: warning: 'Solver' defined as a struct here but previously declared as a class [-Wmismatched-tags] struct Solver { ^ ./SatELite.h:89:1: note: did you mean struct here? class Solver; ^~~~~ struct 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:76:67: warning: binding dereferenced null pointer to reference has undefined behavior [-Wnull-dereference] FILE* createTmpFile(cchar* prefix, cchar* mode, char*& out_name = *(char**)NULL); ^~~~~~~~~~~~~ ./SatELite.h:471:45: warning: binding dereferenced null pointer to reference has undefined behavior [-Wnull-dereference] void subsume0(Clause ps, int& counter = *(int*)NULL); ^~~~~~~~~~~ ./SatELite.h:472:45: warning: binding dereferenced null pointer to reference has undefined behavior [-Wnull-dereference] void subsume1(Clause ps, int& counter = *(int*)NULL); ^~~~~~~~~~~ In file included from PbSolver_convert.C:20: In file included from ./PbSolver.h:24: In file included from ADTs/Map.h:29: ADTs/VecAlloc.h:41:115: warning: format specifies type 'int' but the argument has type 'unsigned long' [-Wformat] if (nallocs != 0) fprintf(stderr, "WARNING! VecAlloc detected leak of %d unit(s) of size %d.\n", nallocs, sizeof(T)); ~~ ^~~~~~~~~ %lu ADTs/Map.h:119:5: note: in instantiation of member function 'VecAlloc >::Cell, 100>::~VecAlloc' requested here Map(void) : D_null() { init(1); } ^ ./PbSolver.h:90:5: note: in instantiation of member function 'Map >::Map' requested here PbSolver() : sat_solver(opt_solver == st_MiniSat) ^ ./SatELite.h:260:1: warning: 'Solver' defined as a struct here but previously declared as a class [-Wmismatched-tags] struct Solver { ^ ./SatELite.h:89:1: note: did you mean struct here? class Solver; ^~~~~ struct ./SatELite.h:471:45: warning: binding dereferenced null pointer to reference has undefined behavior [-Wnull-dereference] void subsume0(Clause ps, int& counter = *(int*)NULL); ^~~~~~~~~~~ ./SatELite.h:472:45: warning: binding dereferenced null pointer to reference has undefined behavior [-Wnull-dereference] void subsume1(Clause ps, int& counter = *(int*)NULL); ^~~~~~~~~~~ In file included from PbSolver_convertBdd.C:20: In file included from ./PbSolver.h:24: In file included from ADTs/Map.h:29: ADTs/VecAlloc.h:41:115: warning: format specifies type 'int' but the argument has type 'unsigned long' [-Wformat] if (nallocs != 0) fprintf(stderr, "WARNING! VecAlloc detected leak of %d unit(s) of size %d.\n", nallocs, sizeof(T)); ~~ ^~~~~~~~~ %lu ADTs/Map.h:119:5: note: in instantiation of member function 'VecAlloc >::Cell, 100>::~VecAlloc' requested here Map(void) : D_null() { init(1); } ^ ./PbSolver.h:90:5: note: in instantiation of member function 'Map >::Map' requested here PbSolver() : sat_solver(opt_solver == st_MiniSat) ^ In file included from PbSolver_convert.C:20: In file included from ./PbSolver.h:25: ADTs/StackAlloc.h:83:26: warning: delete called on non-final 'StackAlloc' that has virtual functions but non-virtual destructor [-Wdelete-non-virtual-dtor] tmp = ptr->prev, delete ptr, ptr = tmp; ^ ADTs/StackAlloc.h:55:26: note: in instantiation of member function 'StackAlloc::freeAll' requested here void clear (void) { freeAll(); init(); } ^ PbSolver_convert.C:71:9: note: in instantiation of member function 'StackAlloc::clear' requested here mem.clear(); ^ In file included from PbSolver_convert.C:20: In file included from ./PbSolver.h:23: In file included from ./Solver.h:23: In file included from ./MiniSat.h:30: ./VarOrder.h:44:25: warning: private field 'activity' is not used [-Wunused-private-field] const vec& activity; // var->act. Pointer to external activity table. ^ 7 warnings and 4 errors generated. In file included from PbParser.C:20: In file included from ./PbParser.h:23: In file included from ./PbSolver.h:24: In file included from ADTs/Map.h:29: ADTs/VecAlloc.h:41:115: warning: format specifies type 'int' but the argument has type 'unsigned long' [-Wformat] if (nallocs != 0) fprintf(stderr, "WARNING! VecAlloc detected leak of %d unit(s) of size %d.\n", nallocs, sizeof(T)); ~~ ^~~~~~~~~ %lu ADTs/Map.h:119:5: note: in instantiation of member function 'VecAlloc >::Cell, 100>::~VecAlloc' requested here Map(void) : D_null() { init(1); } ^ ./PbSolver.h:90:5: note: in instantiation of member function 'Map >::Map' requested here PbSolver() : sat_solver(opt_solver == st_MiniSat) ^ In file included from PbSolver_convertAdd.C:20: In file included from ./PbSolver.h:23: In file included from ./Solver.h:24: ./SatELite.h:76:67: warning: binding dereferenced null pointer to reference has undefined behavior [-Wnull-dereference] FILE* createTmpFile(cchar* prefix, cchar* mode, char*& out_name = *(char**)NULL); ^~~~~~~~~~~~~ In file included from PbSolver.C:22: In file included from ./Debug.h:24: In file included from ./PbSolver.h:24: ADTs/Map.h:129:54: error: implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE' Map& operator = (Map& other) { TEMPLATE_FAIL; return *this; } ^ ADTs/Global.h:78:23: note: expanded from macro 'TEMPLATE_FAIL' #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^ ADTs/Global.h:76:24: note: template is declared here template struct STATIC_ASSERTION_FAILURE; ^ Makefile:55: recipe for target 'PbSolver_convert.o' failed make[1]: *** [PbSolver_convert.o] Error 1 In file included from PbSolver.C:22: In file included from ./Debug.h:24: In file included from ./PbSolver.h:24: ADTs/Map.h:130:54: error: implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE' Map (Map& other) { TEMPLATE_FAIL; } ^ ADTs/Global.h:78:23: note: expanded from macro 'TEMPLATE_FAIL' #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^ ADTs/Global.h:76:24: note: template is declared here template struct STATIC_ASSERTION_FAILURE; ^ ./SatELite.h:260:1: warning: 'Solver' defined as a struct here but previously declared as a class [-Wmismatched-tags] struct Solver { ^ ./SatELite.h:89:1: note: did you mean struct here? class Solver; ^~~~~ struct 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:23: In file included from ./MiniSat.h:30: ./VarOrder.h:44:25: warning: private field 'activity' is not used [-Wunused-private-field] const vec& activity; // var->act. Pointer to external activity table. ^ 6 warnings and 4 errors generated. In file included from PbSolver_convertBdd.C:20: In file included from ./PbSolver.h:24: In file included from ADTs/Map.h:29: ADTs/VecAlloc.h:41:115: warning: format specifies type 'int' but the argument has type 'unsigned long' [-Wformat] if (nallocs != 0) fprintf(stderr, "WARNING! VecAlloc detected leak of %d unit(s) of size %d.\n", nallocs, sizeof(T)); ~~ ^~~~~~~~~ %lu ADTs/Map.h:119:5: note: in instantiation of member function 'VecAlloc, Formula, Hash_params > >::Cell, 100>::~VecAlloc' requested here Map(void) : D_null() { init(1); } ^ PbSolver_convertBdd.C:66:33: note: in instantiation of member function 'Map, Formula, Hash_params > >::Map' requested here Map, Formula> memo; ^ ./SatELite.h:471:45: warning: binding dereferenced null pointer to reference has undefined behavior [-Wnull-dereference] void subsume0(Clause ps, int& counter = *(int*)NULL); ^~~~~~~~~~~ ./SatELite.h:472:45: warning: binding dereferenced null pointer to reference has undefined behavior [-Wnull-dereference] void subsume1(Clause ps, int& counter = *(int*)NULL); ^~~~~~~~~~~ In file included from PbSolver_convertBdd.C:20: In file included from ./PbSolver.h:23: In file included from ./Solver.h:23: In file included from ./MiniSat.h:30: ./VarOrder.h:44:25: warning: private field 'activity' is not used [-Wunused-private-field] const vec& activity; // var->act. Pointer to external activity table. ^ 7 warnings and 4 errors generated. Makefile:55: recipe for target 'PbParser.o' failed make[1]: *** [PbParser.o] Error 1 In file included from ADTs/FEnv.C:20: In file included from ADTs/FEnv.h:30: In file included from ADTs/Map.h:29: ADTs/VecAlloc.h:41:115: warning: format specifies type 'int' but the argument has type 'unsigned long' [-Wformat] if (nallocs != 0) fprintf(stderr, "WARNING! VecAlloc detected leak of %d unit(s) of size %d.\n", nallocs, sizeof(T)); ~~ ^~~~~~~~~ %lu ADTs/Map.h:119:5: note: in instantiation of member function 'VecAlloc >::Cell, 100>::~VecAlloc' requested here Map(void) : D_null() { init(1); } ^ ADTs/FEnv.C:24:25: note: in instantiation of member function 'Map >::Map' requested here Map uniqueness_table; ^ Makefile:55: recipe for target 'PbSolver_convertBdd.o' failed make[1]: *** [PbSolver_convertBdd.o] Error 1 1 warning and 4 errors generated. In file included from PbSolver_convertAdd.C:20: In file included from ./PbSolver.h:24: ADTs/Map.h:129:54: error: implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE' Map& operator = (Map& other) { TEMPLATE_FAIL; return *this; } ^ ADTs/Global.h:78:23: note: expanded from macro 'TEMPLATE_FAIL' #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^ ADTs/Global.h:76:24: note: template is declared here template struct STATIC_ASSERTION_FAILURE; ^ In file included from PbSolver_convertAdd.C:20: In file included from ./PbSolver.h:24: ADTs/Map.h:130:54: error: implicit instantiation of undefined template 'STATIC_ASSERTION_FAILURE' Map (Map& other) { TEMPLATE_FAIL; } ^ ADTs/Global.h:78:23: note: expanded from macro 'TEMPLATE_FAIL' #define TEMPLATE_FAIL STATIC_ASSERTION_FAILURE() ^ ADTs/Global.h:76:24: note: template is declared here template struct STATIC_ASSERTION_FAILURE; ^ Makefile:55: recipe for target 'ADTs/FEnv.o' failed make[1]: *** [ADTs/FEnv.o] Error 1 SatELite.C:1694:14: warning: reference cannot be bound to dereferenced null pointer in well-defined C++ code; comparison may be assumed to always evaluate to true [-Wtautological-undefined-compare] if (&counter != NULL) counter++; ^~~~~~~ ~~~~ MiniSat.C:65:10: warning: reference cannot be bound to dereferenced null pointer in well-defined C++ code; comparison may be assumed to always evaluate to true [-Wtautological-undefined-compare] if (&out_clause != NULL) out_clause = NULL; ^~~~~~~~~~ ~~~~ SatELite.C:1728:22: warning: reference cannot be bound to dereferenced null pointer in well-defined C++ code; comparison may be assumed to always evaluate to true [-Wtautological-undefined-compare] if (&counter != NULL && counter == -1){ ^~~~~~~ ~~~~ SatELite.C:1738:22: warning: reference cannot be bound to dereferenced null pointer in well-defined C++ code; comparison may be assumed to always evaluate to true [-Wtautological-undefined-compare] if (&counter != NULL) counter++; ^~~~~~~ ~~~~ MiniSat.C:135:14: warning: reference cannot be bound to dereferenced null pointer in well-defined C++ code; comparison may be assumed to always evaluate to true [-Wtautological-undefined-compare] if (&out_clause != NULL) out_clause = c; ^~~~~~~~~~ ~~~~ MiniSat.C:148:10: warning: add explicit braces to avoid dangling else [-Wdangling-else] }else{ ^ MiniSat.C:384:13: warning: add explicit braces to avoid dangling else [-Wdangling-else] REMOVABLE_LIT(q); ^ MiniSat.C:367:18: note: expanded from macro 'REMOVABLE_LIT' }else{ \ ^ MiniSat.C:388:17: warning: add explicit braces to avoid dangling else [-Wdangling-else] REMOVABLE_LIT(c[i]); ^ MiniSat.C:367:18: note: expanded from macro 'REMOVABLE_LIT' }else{ \ ^ 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:76:67: warning: binding dereferenced null pointer to reference has undefined behavior [-Wnull-dereference] FILE* createTmpFile(cchar* prefix, cchar* mode, char*& out_name = *(char**)NULL); ^~~~~~~~~~~~~ SatELite.C:2205:108: warning: binding dereferenced null pointer to reference has undefined behavior [-Wnull-dereference] int Solver::substitute(Lit x, Clause def, vec& poss, vec& negs, vec& new_clauses = *(vec*)NULL) ^~~~~~~~~~~~~~~~~~~ SatELite.C:2230:18: warning: reference cannot be bound to dereferenced null pointer in well-defined C++ code; comparison may be assumed to always evaluate to true [-Wtautological-undefined-compare] if (&new_clauses != NULL){ ^~~~~~~~~~~ ~~~~ SatELite.C:2267:14: warning: reference cannot be bound to dereferenced null pointer in well-defined C++ code; comparison may be assumed to always evaluate to true [-Wtautological-undefined-compare] if (&new_clauses != NULL){ ^~~~~~~~~~~ ~~~~ In file included from PbSolver_convertSort.C:20: In file included from ./PbSolver.h:24: In file included from ADTs/Map.h:29: ADTs/VecAlloc.h:41:115: warning: format specifies type 'int' but the argument has type 'unsigned long' [-Wformat] if (nallocs != 0) fprintf(stderr, "WARNING! VecAlloc detected leak of %d unit(s) of size %d.\n", nallocs, sizeof(T)); ~~ ^~~~~~~~~ %lu ADTs/Map.h:119:5: note: in instantiation of member function 'VecAlloc >::Cell, 100>::~VecAlloc' requested here Map(void) : D_null() { init(1); } ^ ./PbSolver.h:90:5: note: in instantiation of member function 'Map >::Map' requested here PbSolver() : sat_solver(opt_solver == st_MiniSat) ^ 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:76:67: warning: binding dereferenced null pointer to reference has undefined behavior [-Wnull-dereference] FILE* createTmpFile(cchar* prefix, cchar* mode, char*& out_name = *(char**)NULL); ^~~~~~~~~~~~~ ./SatELite.h:260:1: warning: 'Solver' defined as a struct here but previously declared as a class [-Wmismatched-tags] struct Solver { ^ ./SatELite.h:89:1: note: did you mean struct here? class Solver; ^~~~~ struct In file included from Debug.C:20: In file included from ./Debug.h:24: In file included from ./PbSolver.h:24: In file included from ADTs/Map.h:29: ADTs/VecAlloc.h:41:115: warning: format specifies type 'int' but the argument has type 'unsigned long' [-Wformat] if (nallocs != 0) fprintf(stderr, "WARNING! VecAlloc detected leak of %d unit(s) of size %d.\n", nallocs, sizeof(T)); ~~ ^~~~~~~~~ %lu ADTs/Map.h:119:5: note: in instantiation of member function 'VecAlloc >::Cell, 100>::~VecAlloc' requested here Map(void) : D_null() { init(1); } ^ ./PbSolver.h:90:5: note: in instantiation of member function 'Map >::Map' requested here PbSolver() : sat_solver(opt_solver == st_MiniSat) ^ ./SatELite.h:471:45: warning: binding dereferenced null pointer to reference has undefined behavior [-Wnull-dereference] void subsume0(Clause ps, int& counter = *(int*)NULL); ^~~~~~~~~~~ ./SatELite.h:472:45: warning: binding dereferenced null pointer to reference has undefined behavior [-Wnull-dereference] void subsume1(Clause ps, int& counter = *(int*)NULL); ^~~~~~~~~~~ In file included from PbSolver_convertSort.C:20: In file included from ./PbSolver.h:23: In file included from ./Solver.h:23: In file included from ./MiniSat.h:30: ./VarOrder.h:44:25: warning: private field 'activity' is not used [-Wunused-private-field] const vec& activity; // var->act. Pointer to external activity table. ^ 6 warnings and 4 errors generated. ./SatELite.h:260:1: warning: 'Solver' defined as a struct here but previously declared as a class [-Wmismatched-tags] struct Solver { ^ ./SatELite.h:89:1: note: did you mean struct here? class Solver; ^~~~~ struct In file included from Hardware_clausify.C:20: In file included from ./Hardware.h:23: In file included from ADTs/FEnv.h:30: In file included from ADTs/Map.h:29: ADTs/VecAlloc.h:41:115: warning: format specifies type 'int' but the argument has type 'unsigned long' [-Wformat] if (nallocs != 0) fprintf(stderr, "WARNING! VecAlloc detected leak of %d unit(s) of size %d.\n", nallocs, sizeof(T)); ~~ ^~~~~~~~~ %lu ADTs/Map.h:119:5: note: in instantiation of member function 'VecAlloc >::Cell, 100>::~VecAlloc' requested here Map(void) : D_null() { init(1); } ^ ./PbSolver.h:90:5: note: in instantiation of member function 'Map >::Map' requested here PbSolver() : sat_solver(opt_solver == st_MiniSat) ^ In file included from MiniSat.C:20: In file included from ./MiniSat.h:30: ./VarOrder.h:44:25: warning: private field 'activity' is not used [-Wunused-private-field] const vec& activity; // var->act. Pointer to external activity table. ^ 6 warnings and 2 errors generated. In file included from Main.C:31: In file included from ./PbSolver.h:24: In file included from ADTs/Map.h:29: ADTs/VecAlloc.h:41:115: warning: format specifies type 'int' but the argument has type 'unsigned long' [-Wformat] if (nallocs != 0) fprintf(stderr, "WARNING! VecAlloc detected leak of %d unit(s) of size %d.\n", nallocs, sizeof(T)); ~~ ^~~~~~~~~ %lu In file included from ADTs/Map.hDebug.C::11920:: 5:In file included from ./Debug.hnote:: 24: in instantiation of member function 'VecAlloc >::Cell, 100>::~VecAlloc' requested hereIn file included from ./PbSolver.h:23: In file included from ./Solver.h:23: In file included from ./MiniSat.h:30: ./VarOrder.h:44:25: warning: private field 'activity' is not used [-Wunused-private-field] Makefile:55: recipe for target 'PbSolver_convertSort.o' failed make[1]: *** [PbSolver_convertSort.o] Error 1 Map(void) : D_null() { init(1); } ^ ./PbSolver.h:90:5: note: in instantiation of member function 'Map >::Map' requested here const vec& activity; // var->act. Pointer to external activity table. ^ PbSolver() : sat_solver(opt_solver == st_MiniSat) ^ 6 warnings and 4 errors generated. ./SatELite.h:471:45: warning: binding dereferenced null pointer to reference has undefined behavior [-Wnull-dereference] void subsume0(Clause ps, int& counter = *(int*)NULL); ^~~~~~~~~~~ ./SatELite.h:472:45: warning: binding dereferenced null pointer to reference has undefined behavior [-Wnull-dereference] void subsume1(Clause ps, int& counter = *(int*)NULL); ^~~~~~~~~~~ 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:23: In file included from ./MiniSat.h:30: ./VarOrder.h:44:25: warning: private field 'activity' is not used [-Wunused-private-field] const vec& activity; // var->act. Pointer to external activity table. ^ 6 warnings and 4 errors generated. Makefile:55: recipe for target 'MiniSat.o' failed make[1]: *** [MiniSat.o] Error 1 Makefile:55: recipe for target 'Debug.o' failed make[1]: *** [Debug.o] Error 1 Makefile:55: recipe for target 'Hardware_clausify.o' failed make[1]: *** [Hardware_clausify.o] Error 1 In file included from Main.C:30: In file included from ./MiniSat.h:30: ./VarOrder.h:44:25: warning: private field 'activity' is not used [-Wunused-private-field] const vec& activity; // var->act. Pointer to external activity table. ^ 6 warnings and 4 errors generated. In file included from SatELite.C:26: In file included from ./SatELite.h:30: ./VarOrder.h:44:25: warning: private field 'activity' is not used [-Wunused-private-field] const vec& activity; // var->act. Pointer to external activity table. ^ 14 warnings and 2 errors generated. Makefile:55: recipe for target 'Main.o' failed make[1]: *** [Main.o] Error 1 Makefile:55: recipe for target 'SatELite.o' failed make[1]: *** [SatELite.o] Error 1 In file included from PbSolver_convertAdd.C:20: In file included from ./PbSolver.h:24: In file included from ADTs/Map.h:29: ADTs/VecAlloc.h:41:115: warning: format specifies type 'int' but the argument has type 'unsigned long' [-Wformat] if (nallocs != 0) fprintf(stderr, "WARNING! VecAlloc detected leak of %d unit(s) of size %d.\n", nallocs, sizeof(T)); ~~ ^~~~~~~~~ %lu ADTs/Map.h:119:5: note: in instantiation of member function 'VecAlloc >::Cell, 100>::~VecAlloc' requested here Map(void) : D_null() { init(1); } ^ ./PbSolver.h:90:5: note: in instantiation of member function 'Map >::Map' requested here PbSolver() : sat_solver(opt_solver == st_MiniSat) ^ In file included from PbSolver_convertAdd.C:20: In file included from ./PbSolver.h:23: In file included from ./Solver.h:23: In file included from ./MiniSat.h:30: ./VarOrder.h:44:25: warning: private field 'activity' is not used [-Wunused-private-field] const vec& activity; // var->act. Pointer to external activity table. ^ 6 warnings and 4 errors generated. In file included from Hardware_sorters.C:20: In file included from ./Hardware.h:23: In file included from ADTs/FEnv.h:30: In file included from ADTs/Map.h:29: ADTs/VecAlloc.h:41:115: warning: format specifies type 'int' but the argument has type 'unsigned long' [-Wformat] if (nallocs != 0) fprintf(stderr, "WARNING! VecAlloc detected leak of %d unit(s) of size %d.\n", nallocs, sizeof(T)); ~~ ^~~~~~~~~ %lu ADTs/Map.h:119:5: note: in instantiation of member function 'VecAlloc >::Cell, 100>::~VecAlloc' requested here Map(void) : D_null() { init(1); } ^ ./PbSolver.h:90:5: note: in instantiation of member function 'Map >::Map' requested here PbSolver() : sat_solver(opt_solver == st_MiniSat) ^ Makefile:55: recipe for target 'PbSolver_convertAdd.o' failed make[1]: *** [PbSolver_convertAdd.o] Error 1 In file included from Hardware_adders.C:20: In file included from ./Hardware.h:23: In file included from ADTs/FEnv.h:30: In file included from ADTs/Map.h:29: ADTs/VecAlloc.h:41:115: warning: format specifies type 'int' but the argument has type 'unsigned long' [-Wformat] In file included from Hardware_sorters.C if (nallocs != 0) fprintf(stderr, "WARNING! VecAlloc detected leak of %d unit(s) of size %d.\n", nallocs, sizeof(T));: 20 ~~ ^~~~~~~~~: In file included from %lu./Hardware.h :24: In file included from ./PbSolver.h:23: In file included from ./Solver.h:23: In file included from ./MiniSat.h:30: ./VarOrder.h:44:25: warning: ADTs/Map.hprivate field 'activity' is not used [-Wunused-private-field]: 119:5: note: in instantiation of member function 'VecAlloc >::Cell, 100>::~VecAlloc' requested here Map(void) : D_null() { init(1); } ^ const vec& activity; // var->act. Pointer to external activity table. ^ ./PbSolver.h:90:5: note: in instantiation of member function 'Map >::Map' requested here PbSolver() : sat_solver(opt_solver == st_MiniSat) ^ 6 warnings and 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:23: In file included from ./MiniSat.h:30: ./VarOrder.h:44:25: warning: private field 'activity' is not used [-Wunused-private-field] const vec& activity; // var->act. Pointer to external activity table. ^ 6 warnings and 4 errors generated. Makefile:55: recipe for target 'Hardware_sorters.o' failed make[1]: *** [Hardware_sorters.o] Error 1 Makefile:55: recipe for target 'Hardware_adders.o' failed make[1]: *** [Hardware_adders.o] Error 1 In file included from PbSolver.C:22: In file included from ./Debug.h:24: In file included from ./PbSolver.h:24: In file included from ADTs/Map.h:29: ADTs/VecAlloc.h:41:115: warning: format specifies type 'int' but the argument has type 'unsigned long' [-Wformat] if (nallocs != 0) fprintf(stderr, "WARNING! VecAlloc detected leak of %d unit(s) of size %d.\n", nallocs, sizeof(T)); ~~ ^~~~~~~~~ %lu ADTs/Map.h:119:5: note: in instantiation of member function 'VecAlloc >::Cell, 100>::~VecAlloc' requested here Map(void) : D_null() { init(1); } ^ ./PbSolver.h:90:5: note: in instantiation of member function 'Map >::Map' requested here PbSolver() : sat_solver(opt_solver == st_MiniSat) ^ In file included from PbSolver.C:22: In file included from ./Debug.h:24: In file included from ./PbSolver.h:24: In file included from ADTs/Map.h:29: ADTs/VecAlloc.h:41:115: warning: format specifies type 'int' but the argument has type 'unsigned long' [-Wformat] if (nallocs != 0) fprintf(stderr, "WARNING! VecAlloc detected leak of %d unit(s) of size %d.\n", nallocs, sizeof(T)); ~~ ^~~~~~~~~ %lu ADTs/Map.h:120:5: note: in instantiation of member function 'VecAlloc, Hash_params >::Cell, 100>::~VecAlloc' requested here Map(const D& null) : D_null(null) { init(1); } ^ PbSolver.C:148:33: note: in instantiation of member function 'Map, Hash_params >::Map' requested here Map > var2consts(Pair_new(0,0)); // Variable -> negative/positive polarity constant ^ In file included from PbSolver.C:20: In file included from ./MiniSat.h:30: ./VarOrder.h:44:25: warning: private field 'activity' is not used [-Wunused-private-field] const vec& activity; // var->act. Pointer to external activity table. ^ 7 warnings and 4 errors generated. Makefile:55: recipe for target 'PbSolver.o' failed make[1]: *** [PbSolver.o] Error 1 make[1]: Leaving directory '/build/minisat+-bSwp2F/minisat+-1.0' dh_auto_build: make -j16 returned exit code 2 debian/rules:4: recipe for target 'build-arch' failed make: *** [build-arch] Error 2 dpkg-buildpackage: error: debian/rules build-arch gave error exit status 2 -------------------------------------------------------------------------------- Build finished at 2017-08-20T19:17:10Z Finished -------- +------------------------------------------------------------------------------+ | Cleanup | +------------------------------------------------------------------------------+ Purging /build/minisat+-bSwp2F Not cleaning session: cloned chroot in use E: Build failure (dpkg-buildpackage died) +------------------------------------------------------------------------------+ | Summary | +------------------------------------------------------------------------------+ Build Architecture: amd64 Build Type: any Build-Space: 644 Build-Time: 2 Distribution: unstable Fail-Stage: build Host Architecture: amd64 Install-Time: 6 Job: minisat+_1.0-4 Machine Architecture: amd64 Package: minisat+ Package-Time: 29 Source-Version: 1.0-4 Space: 644 Status: attempted Version: 1.0-4 -------------------------------------------------------------------------------- Finished at 2017-08-20T19:17:10Z Build needed 00:00:29, 644k disk space E: Build failure (dpkg-buildpackage died) DC-Status: Failed 29.714462671s