Tue Apr 25 20:03:01 UTC 2023 I: starting to build eprover/bookworm/arm64 on jenkins on '2023-04-25 20:02' Tue Apr 25 20:03:01 UTC 2023 I: The jenkins build log is/was available at https://jenkins.debian.net/userContent/reproducible/debian/build_service/arm64_15/15797/console.log Tue Apr 25 20:03:01 UTC 2023 I: Downloading source for bookworm/eprover=2.6+ds-3 --2023-04-25 20:03:02-- http://cdn-fastly.deb.debian.org/debian/pool/main/e/eprover/eprover_2.6%2bds-3.dsc Connecting to 78.137.99.97:3128... connected. Proxy request sent, awaiting response... 200 OK Length: 1916 (1.9K) [text/prs.lines.tag] Saving to: ‘eprover_2.6+ds-3.dsc’ 0K . 100% 87.2M=0s 2023-04-25 20:03:02 (87.2 MB/s) - ‘eprover_2.6+ds-3.dsc’ saved [1916/1916] Tue Apr 25 20:03:02 UTC 2023 I: eprover_2.6+ds-3.dsc -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: eprover Binary: eprover Architecture: any Version: 2.6+ds-3 Maintainer: Debian Math Team Uploaders: Julien Puydt Homepage: https://eprover.org Standards-Version: 4.6.1 Vcs-Browser: https://salsa.debian.org/math-team/eprover Vcs-Git: https://salsa.debian.org/math-team/eprover.git Build-Depends: debhelper-compat (= 13), help2man, picosat Package-List: eprover deb math optional arch=any Checksums-Sha1: b25bdcd33ab85d42d2528924627282e5846f0756 1080164 eprover_2.6+ds.orig.tar.xz 33ae032580a065645ff1105ee80c1679562eb978 10228 eprover_2.6+ds-3.debian.tar.xz Checksums-Sha256: 469c6485df0a8ac664d21c665f32b820ee41f77b2e3c71d7186de03d278df245 1080164 eprover_2.6+ds.orig.tar.xz 3bb6442dfe021e3a47ce1baa2864d27ca2b366d7a2580a773df1e08134900e52 10228 eprover_2.6+ds-3.debian.tar.xz Files: a9479a59b6b3ed4f5209c5f3b0d46488 1080164 eprover_2.6+ds.orig.tar.xz cacd19b43aa4b1d9e13a8284b3cad425 10228 eprover_2.6+ds-3.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLPPssSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRRTwP/iFxJlUcd+k854xCEvRW962FZIWkQulv s7M8G9rYnZjep+gND19FBFzNvxmf8kfWFCGrSvt3CpYK0+Bw+vQ7Ye5cP/6l2A8M 3WposI31WQiNoorwjnmm0dwARDUMCI6KlWRRehbMvCSOPoQWe7DYxmP/+fWkNTBc aVdFCILZ/3OIl5wzI+mf2mztGdDKihepckrSLilNzpN+VFbt0jvzUcvedPiPktjV Ij+ePzTrGO8QP+8gat+fApfHdLYV2mQ9Alwfjg7q2VCpX0lM3cxR9OAEdXUPxkWK l5O/SDV3qnUdgZoG/10s56cKvRYPssNo6lhJ24l5pEMYOuf4CexmowQFD6SC6sqa 0q+0udUw4F09vRy4Fkax4TJS5QcMrqtrgA4RAS1z7XJWJWy8iGSNn+2cuTFghNAR czXbqPEyIzVEcBIA+1LAYphntqVK8dwiwQMVg8hmC9+9KVGXZFObAd7DYqYBRckz JJgMXmlQv6f+75QImqo+H0TzcKQr5VR+Uetg4FXU54TOEESsAH4gLbrXKmP8UiXI PQcZK4AQrRQcPTByHx3874LUiChOV9lDZTfKqUT7PqOjlHD/1IH5fp+AG7cTWIFB zNSVdRftmmH5JruGA4hFCo90I8v5HMsfnlMiwCF7q9slqAhN96qWI2Rnu3aZgGwT TwnNT0vY5v13 =HHcX -----END PGP SIGNATURE----- Tue Apr 25 20:03:02 UTC 2023 I: Checking whether the package is not for us Tue Apr 25 20:03:02 UTC 2023 I: Starting 1st build on remote node codethink12-arm64.debian.net. Tue Apr 25 20:03:02 UTC 2023 I: Preparing to do remote build '1' on codethink12-arm64.debian.net. Tue Apr 25 20:11:05 UTC 2023 I: Deleting $TMPDIR on codethink12-arm64.debian.net. I: pbuilder: network access will be disabled during build I: Current time: Tue Apr 25 08:03:05 -12 2023 I: pbuilder-time-stamp: 1682452985 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/bookworm-reproducible-base.tgz] I: copying local configuration W: --override-config is not set; not updating apt.conf Read the manpage for details. I: mounting /proc filesystem I: mounting /sys filesystem I: creating /{dev,run}/shm I: mounting /dev/pts filesystem I: redirecting /dev/ptmx to /dev/pts/ptmx I: policy-rc.d already exists I: Copying source file I: copying [eprover_2.6+ds-3.dsc] I: copying [./eprover_2.6+ds.orig.tar.xz] I: copying [./eprover_2.6+ds-3.debian.tar.xz] I: Extracting source gpgv: Signature made Wed Jul 13 09:53:15 2022 -12 gpgv: using RSA key 812EEFD8A3FBA4ACE4DF114B04C53BD7FE030551 gpgv: issuer "jpuydt@debian.org" gpgv: Can't check signature: No public key dpkg-source: warning: cannot verify inline signature for ./eprover_2.6+ds-3.dsc: no acceptable signature found dpkg-source: info: extracting eprover in eprover-2.6+ds dpkg-source: info: unpacking eprover_2.6+ds.orig.tar.xz dpkg-source: info: unpacking eprover_2.6+ds-3.debian.tar.xz dpkg-source: info: using patch list from debian/patches/series dpkg-source: info: applying local_libs.patch dpkg-source: info: applying unvendor_picosat.patch dpkg-source: info: applying typos.patch dpkg-source: info: applying simplify_PROVER_Makefile.patch I: Not using root during the build. I: Installing the build-deps I: user script /srv/workspace/pbuilder/15846/tmp/hooks/D02_print_environment starting I: set BUILDDIR='/build' BUILDUSERGECOS='first user,first room,first work-phone,first home-phone,first other' BUILDUSERNAME='pbuilder1' BUILD_ARCH='arm64' DEBIAN_FRONTEND='noninteractive' DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=8' DISTRIBUTION='bookworm' HOME='/var/lib/jenkins' HOST_ARCH='arm64' IFS=' ' LANG='C' LANGUAGE='en_US:en' LC_ALL='C' MAIL='/var/mail/root' OPTIND='1' PATH='/usr/sbin:/usr/bin:/sbin:/bin:/usr/games' PBCURRENTCOMMANDLINEOPERATION='build' PBUILDER_OPERATION='build' PBUILDER_PKGDATADIR='/usr/share/pbuilder' PBUILDER_PKGLIBDIR='/usr/lib/pbuilder' PBUILDER_SYSCONFDIR='/etc' PPID='15846' PS1='# ' PS2='> ' PS4='+ ' PWD='/' SHELL='/bin/bash' SHLVL='2' SUDO_COMMAND='/usr/bin/timeout -k 18.1h 18h /usr/bin/ionice -c 3 /usr/bin/nice /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/r-b-build.sHgCCrRH/pbuilderrc_68e2 --distribution bookworm --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/bookworm-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.sHgCCrRH/b1 --logfile b1/build.log eprover_2.6+ds-3.dsc' SUDO_GID='117' SUDO_UID='110' SUDO_USER='jenkins' TERM='unknown' TZ='/usr/share/zoneinfo/Etc/GMT+12' USER='root' USERNAME='root' _='/usr/bin/systemd-run' http_proxy='http://192.168.101.16:3128' I: uname -a Linux codethink12-arm64 4.15.0-209-generic #220-Ubuntu SMP Tue Mar 21 19:52:44 UTC 2023 aarch64 GNU/Linux I: ls -l /bin lrwxrwxrwx 1 root root 7 Apr 24 02:18 /bin -> usr/bin I: user script /srv/workspace/pbuilder/15846/tmp/hooks/D02_print_environment finished -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy Version: 0.invalid.0 Architecture: arm64 Maintainer: Debian Pbuilder Team Description: Dummy package to satisfy dependencies with aptitude - created by pbuilder This package was created automatically by pbuilder to satisfy the build-dependencies of the package being currently built. Depends: debhelper-compat (= 13), help2man, picosat dpkg-deb: building package 'pbuilder-satisfydepends-dummy' in '/tmp/satisfydepends-aptitude/pbuilder-satisfydepends-dummy.deb'. Selecting previously unselected package pbuilder-satisfydepends-dummy. (Reading database ... 19616 files and directories currently installed.) Preparing to unpack .../pbuilder-satisfydepends-dummy.deb ... Unpacking pbuilder-satisfydepends-dummy (0.invalid.0) ... dpkg: pbuilder-satisfydepends-dummy: dependency problems, but configuring anyway as you requested: pbuilder-satisfydepends-dummy depends on debhelper-compat (= 13); however: Package debhelper-compat is not installed. pbuilder-satisfydepends-dummy depends on help2man; however: Package help2man is not installed. pbuilder-satisfydepends-dummy depends on picosat; however: Package picosat is not installed. Setting up pbuilder-satisfydepends-dummy (0.invalid.0) ... Reading package lists... Building dependency tree... Reading state information... Initializing package states... Writing extended state information... Building tag database... pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0) pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0) The following NEW packages will be installed: autoconf{a} automake{a} autopoint{a} autotools-dev{a} bsdextrautils{a} debhelper{a} dh-autoreconf{a} dh-strip-nondeterminism{a} dwz{a} file{a} gettext{a} gettext-base{a} groff-base{a} help2man{a} intltool-debian{a} libarchive-zip-perl{a} libdebhelper-perl{a} libelf1{a} libfile-stripnondeterminism-perl{a} libicu72{a} liblocale-gettext-perl{a} libmagic-mgc{a} libmagic1{a} libpipeline1{a} libsub-override-perl{a} libtool{a} libuchardet0{a} libxml2{a} m4{a} man-db{a} picosat{a} po-debconf{a} sensible-utils{a} The following packages are RECOMMENDED but will NOT be installed: curl libarchive-cpio-perl libltdl-dev libmail-sendmail-perl lynx wget 0 packages upgraded, 33 newly installed, 0 to remove and 0 not upgraded. Need to get 18.6 MB of archives. After unpacking 76.0 MB will be used. Writing extended state information... Get: 1 http://deb.debian.org/debian bookworm/main arm64 liblocale-gettext-perl arm64 1.07-5 [15.1 kB] Get: 2 http://deb.debian.org/debian bookworm/main arm64 sensible-utils all 0.0.17+nmu1 [19.0 kB] Get: 3 http://deb.debian.org/debian bookworm/main arm64 libmagic-mgc arm64 1:5.44-3 [305 kB] Get: 4 http://deb.debian.org/debian bookworm/main arm64 libmagic1 arm64 1:5.44-3 [98.5 kB] Get: 5 http://deb.debian.org/debian bookworm/main arm64 file arm64 1:5.44-3 [42.5 kB] Get: 6 http://deb.debian.org/debian bookworm/main arm64 gettext-base arm64 0.21-12 [159 kB] Get: 7 http://deb.debian.org/debian bookworm/main arm64 libuchardet0 arm64 0.0.7-1 [67.9 kB] Get: 8 http://deb.debian.org/debian bookworm/main arm64 groff-base arm64 1.22.4-10 [861 kB] Get: 9 http://deb.debian.org/debian bookworm/main arm64 bsdextrautils arm64 2.38.1-5+b1 [86.9 kB] Get: 10 http://deb.debian.org/debian bookworm/main arm64 libpipeline1 arm64 1.5.7-1 [36.4 kB] Get: 11 http://deb.debian.org/debian bookworm/main arm64 man-db arm64 2.11.2-2 [1369 kB] Get: 12 http://deb.debian.org/debian bookworm/main arm64 m4 arm64 1.4.19-3 [276 kB] Get: 13 http://deb.debian.org/debian bookworm/main arm64 autoconf all 2.71-3 [332 kB] Get: 14 http://deb.debian.org/debian bookworm/main arm64 autotools-dev all 20220109.1 [51.6 kB] Get: 15 http://deb.debian.org/debian bookworm/main arm64 automake all 1:1.16.5-1.3 [823 kB] Get: 16 http://deb.debian.org/debian bookworm/main arm64 autopoint all 0.21-12 [495 kB] Get: 17 http://deb.debian.org/debian bookworm/main arm64 libdebhelper-perl all 13.11.4 [81.2 kB] Get: 18 http://deb.debian.org/debian bookworm/main arm64 libtool all 2.4.7-5 [517 kB] Get: 19 http://deb.debian.org/debian bookworm/main arm64 dh-autoreconf all 20 [17.1 kB] Get: 20 http://deb.debian.org/debian bookworm/main arm64 libarchive-zip-perl all 1.68-1 [104 kB] Get: 21 http://deb.debian.org/debian bookworm/main arm64 libsub-override-perl all 0.09-4 [9304 B] Get: 22 http://deb.debian.org/debian bookworm/main arm64 libfile-stripnondeterminism-perl all 1.13.1-1 [19.4 kB] Get: 23 http://deb.debian.org/debian bookworm/main arm64 dh-strip-nondeterminism all 1.13.1-1 [8620 B] Get: 24 http://deb.debian.org/debian bookworm/main arm64 libelf1 arm64 0.188-2.1 [173 kB] Get: 25 http://deb.debian.org/debian bookworm/main arm64 dwz arm64 0.15-1 [101 kB] Get: 26 http://deb.debian.org/debian bookworm/main arm64 libicu72 arm64 72.1-3 [9204 kB] Get: 27 http://deb.debian.org/debian bookworm/main arm64 libxml2 arm64 2.9.14+dfsg-1.2 [620 kB] Get: 28 http://deb.debian.org/debian bookworm/main arm64 gettext arm64 0.21-12 [1248 kB] Get: 29 http://deb.debian.org/debian bookworm/main arm64 intltool-debian all 0.35.0+20060710.6 [22.9 kB] Get: 30 http://deb.debian.org/debian bookworm/main arm64 po-debconf all 1.0.21+nmu1 [248 kB] Get: 31 http://deb.debian.org/debian bookworm/main arm64 debhelper all 13.11.4 [942 kB] Get: 32 http://deb.debian.org/debian bookworm/main arm64 help2man arm64 1.49.3 [198 kB] Get: 33 http://deb.debian.org/debian bookworm/main arm64 picosat arm64 965-2 [86.3 kB] Fetched 18.6 MB in 0s (39.8 MB/s) debconf: delaying package configuration, since apt-utils is not installed Selecting previously unselected package liblocale-gettext-perl. (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 ... 19616 files and directories currently installed.) Preparing to unpack .../00-liblocale-gettext-perl_1.07-5_arm64.deb ... Unpacking liblocale-gettext-perl (1.07-5) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../01-sensible-utils_0.0.17+nmu1_all.deb ... Unpacking sensible-utils (0.0.17+nmu1) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../02-libmagic-mgc_1%3a5.44-3_arm64.deb ... Unpacking libmagic-mgc (1:5.44-3) ... Selecting previously unselected package libmagic1:arm64. Preparing to unpack .../03-libmagic1_1%3a5.44-3_arm64.deb ... Unpacking libmagic1:arm64 (1:5.44-3) ... Selecting previously unselected package file. Preparing to unpack .../04-file_1%3a5.44-3_arm64.deb ... Unpacking file (1:5.44-3) ... Selecting previously unselected package gettext-base. Preparing to unpack .../05-gettext-base_0.21-12_arm64.deb ... Unpacking gettext-base (0.21-12) ... Selecting previously unselected package libuchardet0:arm64. Preparing to unpack .../06-libuchardet0_0.0.7-1_arm64.deb ... Unpacking libuchardet0:arm64 (0.0.7-1) ... Selecting previously unselected package groff-base. Preparing to unpack .../07-groff-base_1.22.4-10_arm64.deb ... Unpacking groff-base (1.22.4-10) ... Selecting previously unselected package bsdextrautils. Preparing to unpack .../08-bsdextrautils_2.38.1-5+b1_arm64.deb ... Unpacking bsdextrautils (2.38.1-5+b1) ... Selecting previously unselected package libpipeline1:arm64. Preparing to unpack .../09-libpipeline1_1.5.7-1_arm64.deb ... Unpacking libpipeline1:arm64 (1.5.7-1) ... Selecting previously unselected package man-db. Preparing to unpack .../10-man-db_2.11.2-2_arm64.deb ... Unpacking man-db (2.11.2-2) ... Selecting previously unselected package m4. Preparing to unpack .../11-m4_1.4.19-3_arm64.deb ... Unpacking m4 (1.4.19-3) ... Selecting previously unselected package autoconf. Preparing to unpack .../12-autoconf_2.71-3_all.deb ... Unpacking autoconf (2.71-3) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../13-autotools-dev_20220109.1_all.deb ... Unpacking autotools-dev (20220109.1) ... Selecting previously unselected package automake. Preparing to unpack .../14-automake_1%3a1.16.5-1.3_all.deb ... Unpacking automake (1:1.16.5-1.3) ... Selecting previously unselected package autopoint. Preparing to unpack .../15-autopoint_0.21-12_all.deb ... Unpacking autopoint (0.21-12) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../16-libdebhelper-perl_13.11.4_all.deb ... Unpacking libdebhelper-perl (13.11.4) ... Selecting previously unselected package libtool. Preparing to unpack .../17-libtool_2.4.7-5_all.deb ... Unpacking libtool (2.4.7-5) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../18-dh-autoreconf_20_all.deb ... Unpacking dh-autoreconf (20) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../19-libarchive-zip-perl_1.68-1_all.deb ... Unpacking libarchive-zip-perl (1.68-1) ... Selecting previously unselected package libsub-override-perl. Preparing to unpack .../20-libsub-override-perl_0.09-4_all.deb ... Unpacking libsub-override-perl (0.09-4) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../21-libfile-stripnondeterminism-perl_1.13.1-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.13.1-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../22-dh-strip-nondeterminism_1.13.1-1_all.deb ... Unpacking dh-strip-nondeterminism (1.13.1-1) ... Selecting previously unselected package libelf1:arm64. Preparing to unpack .../23-libelf1_0.188-2.1_arm64.deb ... Unpacking libelf1:arm64 (0.188-2.1) ... Selecting previously unselected package dwz. Preparing to unpack .../24-dwz_0.15-1_arm64.deb ... Unpacking dwz (0.15-1) ... Selecting previously unselected package libicu72:arm64. Preparing to unpack .../25-libicu72_72.1-3_arm64.deb ... Unpacking libicu72:arm64 (72.1-3) ... Selecting previously unselected package libxml2:arm64. Preparing to unpack .../26-libxml2_2.9.14+dfsg-1.2_arm64.deb ... Unpacking libxml2:arm64 (2.9.14+dfsg-1.2) ... Selecting previously unselected package gettext. Preparing to unpack .../27-gettext_0.21-12_arm64.deb ... Unpacking gettext (0.21-12) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../28-intltool-debian_0.35.0+20060710.6_all.deb ... Unpacking intltool-debian (0.35.0+20060710.6) ... Selecting previously unselected package po-debconf. Preparing to unpack .../29-po-debconf_1.0.21+nmu1_all.deb ... Unpacking po-debconf (1.0.21+nmu1) ... Selecting previously unselected package debhelper. Preparing to unpack .../30-debhelper_13.11.4_all.deb ... Unpacking debhelper (13.11.4) ... Selecting previously unselected package help2man. Preparing to unpack .../31-help2man_1.49.3_arm64.deb ... Unpacking help2man (1.49.3) ... Selecting previously unselected package picosat. Preparing to unpack .../32-picosat_965-2_arm64.deb ... Unpacking picosat (965-2) ... Setting up libpipeline1:arm64 (1.5.7-1) ... Setting up libicu72:arm64 (72.1-3) ... Setting up bsdextrautils (2.38.1-5+b1) ... Setting up libmagic-mgc (1:5.44-3) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libdebhelper-perl (13.11.4) ... Setting up libmagic1:arm64 (1:5.44-3) ... Setting up gettext-base (0.21-12) ... Setting up m4 (1.4.19-3) ... Setting up file (1:5.44-3) ... Setting up autotools-dev (20220109.1) ... Setting up autopoint (0.21-12) ... Setting up autoconf (2.71-3) ... Setting up sensible-utils (0.0.17+nmu1) ... Setting up libuchardet0:arm64 (0.0.7-1) ... Setting up libsub-override-perl (0.09-4) ... Setting up libelf1:arm64 (0.188-2.1) ... Setting up libxml2:arm64 (2.9.14+dfsg-1.2) ... Setting up liblocale-gettext-perl (1.07-5) ... Setting up picosat (965-2) ... Setting up automake (1:1.16.5-1.3) ... update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode Setting up libfile-stripnondeterminism-perl (1.13.1-1) ... Setting up gettext (0.21-12) ... Setting up libtool (2.4.7-5) ... Setting up intltool-debian (0.35.0+20060710.6) ... Setting up help2man (1.49.3) ... Setting up dh-autoreconf (20) ... Setting up dh-strip-nondeterminism (1.13.1-1) ... Setting up dwz (0.15-1) ... Setting up groff-base (1.22.4-10) ... Setting up po-debconf (1.0.21+nmu1) ... Setting up man-db (2.11.2-2) ... Not building database; man-db/auto-update is not 'true'. Setting up debhelper (13.11.4) ... Processing triggers for libc-bin (2.36-9) ... Reading package lists... Building dependency tree... Reading state information... Reading extended state information... Initializing package states... Writing extended state information... Building tag database... -> Finished parsing the build-deps I: Building the package I: Running cd /build/eprover-2.6+ds/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-genchanges -S > ../eprover_2.6+ds-3_source.changes dpkg-buildpackage: info: source package eprover dpkg-buildpackage: info: source version 2.6+ds-3 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Julien Puydt dpkg-source --before-build . dpkg-buildpackage: info: host architecture arm64 debian/rules clean dh clean dh_auto_clean make -j8 clean make[1]: Entering directory '/build/eprover-2.6+ds' make[2]: Entering directory '/build/eprover-2.6+ds/BASICS' make[2]: Leaving directory '/build/eprover-2.6+ds/BASICS' make[2]: Entering directory '/build/eprover-2.6+ds/INOUT' make[2]: Leaving directory '/build/eprover-2.6+ds/INOUT' make[2]: Entering directory '/build/eprover-2.6+ds/TERMS' make[2]: Leaving directory '/build/eprover-2.6+ds/TERMS' make[2]: Entering directory '/build/eprover-2.6+ds/ORDERINGS' make[2]: Leaving directory '/build/eprover-2.6+ds/ORDERINGS' make[2]: Entering directory '/build/eprover-2.6+ds/CLAUSES' make[2]: Leaving directory '/build/eprover-2.6+ds/CLAUSES' make[2]: Entering directory '/build/eprover-2.6+ds/PROPOSITIONAL' make[2]: Leaving directory '/build/eprover-2.6+ds/PROPOSITIONAL' make[2]: Entering directory '/build/eprover-2.6+ds/LEARN' make[2]: Leaving directory '/build/eprover-2.6+ds/LEARN' make[2]: Entering directory '/build/eprover-2.6+ds/PCL2' make[2]: Leaving directory '/build/eprover-2.6+ds/PCL2' make[2]: Entering directory '/build/eprover-2.6+ds/HEURISTICS' make[2]: Leaving directory '/build/eprover-2.6+ds/HEURISTICS' make[2]: Entering directory '/build/eprover-2.6+ds/CONTROL' make[2]: Leaving directory '/build/eprover-2.6+ds/CONTROL' make[2]: Entering directory '/build/eprover-2.6+ds/SIMPLE_APPS' make[2]: Leaving directory '/build/eprover-2.6+ds/SIMPLE_APPS' make[2]: Entering directory '/build/eprover-2.6+ds/EXTERNAL' make[2]: Leaving directory '/build/eprover-2.6+ds/EXTERNAL' make[2]: Entering directory '/build/eprover-2.6+ds/PROVER' make[2]: Leaving directory '/build/eprover-2.6+ds/PROVER' make[2]: Entering directory '/build/eprover-2.6+ds/DOC' make[2]: Leaving directory '/build/eprover-2.6+ds/DOC' make[1]: Leaving directory '/build/eprover-2.6+ds' dh_clean debian/rules binary dh binary dh_update_autotools_config dh_autoreconf debian/rules override_dh_auto_configure make[1]: Entering directory '/build/eprover-2.6+ds' # not an autotools build system! make[1]: Leaving directory '/build/eprover-2.6+ds' debian/rules override_dh_auto_build make[1]: Entering directory '/build/eprover-2.6+ds' ./configure --prefix=debian/tmp Configuring with executable path debian/tmp/bin debian/tmp/man # -DENABLE_LFHO \ make[2]: Entering directory '/build/eprover-2.6+ds' echo 'Configuring build system' Configuring build system make links make[3]: Entering directory '/build/eprover-2.6+ds' ln: failed to create symbolic link './e_options.h': File exists ln: failed to create symbolic link './che_dagweight.h': File exists ln: failed to create symbolic link './ccl_def_handling.h': File exists ln: failed to create symbolic link './ccl_subterm_tree.h': File exists make[3]: Leaving directory '/build/eprover-2.6+ds' make depend make[3]: Entering directory '/build/eprover-2.6+ds' make[4]: Entering directory '/build/eprover-2.6+ds/BASICS' gcc -M -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include *.c > Makefile.dependencies make[4]: Leaving directory '/build/eprover-2.6+ds/BASICS' make[4]: Entering directory '/build/eprover-2.6+ds/INOUT' gcc -M -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include *.c > Makefile.dependencies make[4]: Leaving directory '/build/eprover-2.6+ds/INOUT' make[4]: Entering directory '/build/eprover-2.6+ds/TERMS' gcc -M -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include *.c > Makefile.dependencies make[4]: Leaving directory '/build/eprover-2.6+ds/TERMS' make[4]: Entering directory '/build/eprover-2.6+ds/ORDERINGS' gcc -M -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include *.c > Makefile.dependencies make[4]: Leaving directory '/build/eprover-2.6+ds/ORDERINGS' make[4]: Entering directory '/build/eprover-2.6+ds/CLAUSES' gcc -M -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include *.c > Makefile.dependencies make[4]: Leaving directory '/build/eprover-2.6+ds/CLAUSES' make[4]: Entering directory '/build/eprover-2.6+ds/PROPOSITIONAL' gcc -M -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include *.c > Makefile.dependencies make[4]: Leaving directory '/build/eprover-2.6+ds/PROPOSITIONAL' make[4]: Entering directory '/build/eprover-2.6+ds/LEARN' gcc -M -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include *.c > Makefile.dependencies make[4]: Leaving directory '/build/eprover-2.6+ds/LEARN' make[4]: Entering directory '/build/eprover-2.6+ds/PCL2' gcc -M -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include *.c > Makefile.dependencies make[4]: Leaving directory '/build/eprover-2.6+ds/PCL2' make[4]: Entering directory '/build/eprover-2.6+ds/HEURISTICS' gcc -M -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include *.c > Makefile.dependencies make[4]: Leaving directory '/build/eprover-2.6+ds/HEURISTICS' make[4]: Entering directory '/build/eprover-2.6+ds/CONTROL' gcc -M -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include *.c > Makefile.dependencies make[4]: Leaving directory '/build/eprover-2.6+ds/CONTROL' make[4]: Entering directory '/build/eprover-2.6+ds/SIMPLE_APPS' gcc -M -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include *.c > Makefile.dependencies make[4]: Leaving directory '/build/eprover-2.6+ds/SIMPLE_APPS' make[4]: Entering directory '/build/eprover-2.6+ds/EXTERNAL' gcc -M -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include *.c > Makefile.dependencies make[4]: Leaving directory '/build/eprover-2.6+ds/EXTERNAL' make[4]: Entering directory '/build/eprover-2.6+ds/PROVER' gcc -M -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include *.c > Makefile.dependencies make[4]: Leaving directory '/build/eprover-2.6+ds/PROVER' make[3]: Leaving directory '/build/eprover-2.6+ds' make[2]: Leaving directory '/build/eprover-2.6+ds' make rebuild make[2]: Entering directory '/build/eprover-2.6+ds' echo 'Rebuilding with debug options -DNDEBUG -DFAST_EXIT' Rebuilding with debug options -DNDEBUG -DFAST_EXIT make clean make[3]: Entering directory '/build/eprover-2.6+ds' make[4]: Entering directory '/build/eprover-2.6+ds/BASICS' make[4]: Leaving directory '/build/eprover-2.6+ds/BASICS' make[4]: Entering directory '/build/eprover-2.6+ds/INOUT' make[4]: Leaving directory '/build/eprover-2.6+ds/INOUT' make[4]: Entering directory '/build/eprover-2.6+ds/TERMS' make[4]: Leaving directory '/build/eprover-2.6+ds/TERMS' make[4]: Entering directory '/build/eprover-2.6+ds/ORDERINGS' make[4]: Leaving directory '/build/eprover-2.6+ds/ORDERINGS' make[4]: Entering directory '/build/eprover-2.6+ds/CLAUSES' make[4]: Leaving directory '/build/eprover-2.6+ds/CLAUSES' make[4]: Entering directory '/build/eprover-2.6+ds/PROPOSITIONAL' make[4]: Leaving directory '/build/eprover-2.6+ds/PROPOSITIONAL' make[4]: Entering directory '/build/eprover-2.6+ds/LEARN' make[4]: Leaving directory '/build/eprover-2.6+ds/LEARN' make[4]: Entering directory '/build/eprover-2.6+ds/PCL2' make[4]: Leaving directory '/build/eprover-2.6+ds/PCL2' make[4]: Entering directory '/build/eprover-2.6+ds/HEURISTICS' make[4]: Leaving directory '/build/eprover-2.6+ds/HEURISTICS' make[4]: Entering directory '/build/eprover-2.6+ds/CONTROL' make[4]: Leaving directory '/build/eprover-2.6+ds/CONTROL' make[4]: Entering directory '/build/eprover-2.6+ds/SIMPLE_APPS' make[4]: Leaving directory '/build/eprover-2.6+ds/SIMPLE_APPS' make[4]: Entering directory '/build/eprover-2.6+ds/EXTERNAL' make[4]: Leaving directory '/build/eprover-2.6+ds/EXTERNAL' make[4]: Entering directory '/build/eprover-2.6+ds/PROVER' make[4]: Leaving directory '/build/eprover-2.6+ds/PROVER' make[4]: Entering directory '/build/eprover-2.6+ds/DOC' make[4]: Leaving directory '/build/eprover-2.6+ds/DOC' make[3]: Leaving directory '/build/eprover-2.6+ds' make config make[3]: Entering directory '/build/eprover-2.6+ds' echo 'Configuring build system' Configuring build system make links make[4]: Entering directory '/build/eprover-2.6+ds' ln: failed to create symbolic link './e_options.h': File exists ln: failed to create symbolic link './che_dagweight.h': File exists ln: failed to create symbolic link './ccl_def_handling.h': File exists ln: failed to create symbolic link './ccl_subterm_tree.h': File exists make[4]: Leaving directory '/build/eprover-2.6+ds' make depend make[4]: Entering directory '/build/eprover-2.6+ds' make[5]: Entering directory '/build/eprover-2.6+ds/BASICS' gcc -M -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include *.c > Makefile.dependencies make[5]: Leaving directory '/build/eprover-2.6+ds/BASICS' make[5]: Entering directory '/build/eprover-2.6+ds/INOUT' gcc -M -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include *.c > Makefile.dependencies make[5]: Leaving directory '/build/eprover-2.6+ds/INOUT' make[5]: Entering directory '/build/eprover-2.6+ds/TERMS' gcc -M -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include *.c > Makefile.dependencies make[5]: Leaving directory '/build/eprover-2.6+ds/TERMS' make[5]: Entering directory '/build/eprover-2.6+ds/ORDERINGS' gcc -M -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include *.c > Makefile.dependencies make[5]: Leaving directory '/build/eprover-2.6+ds/ORDERINGS' make[5]: Entering directory '/build/eprover-2.6+ds/CLAUSES' gcc -M -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include *.c > Makefile.dependencies make[5]: Leaving directory '/build/eprover-2.6+ds/CLAUSES' make[5]: Entering directory '/build/eprover-2.6+ds/PROPOSITIONAL' gcc -M -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include *.c > Makefile.dependencies make[5]: Leaving directory '/build/eprover-2.6+ds/PROPOSITIONAL' make[5]: Entering directory '/build/eprover-2.6+ds/LEARN' gcc -M -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include *.c > Makefile.dependencies make[5]: Leaving directory '/build/eprover-2.6+ds/LEARN' make[5]: Entering directory '/build/eprover-2.6+ds/PCL2' gcc -M -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include *.c > Makefile.dependencies make[5]: Leaving directory '/build/eprover-2.6+ds/PCL2' make[5]: Entering directory '/build/eprover-2.6+ds/HEURISTICS' gcc -M -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include *.c > Makefile.dependencies make[5]: Leaving directory '/build/eprover-2.6+ds/HEURISTICS' make[5]: Entering directory '/build/eprover-2.6+ds/CONTROL' gcc -M -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include *.c > Makefile.dependencies make[5]: Leaving directory '/build/eprover-2.6+ds/CONTROL' make[5]: Entering directory '/build/eprover-2.6+ds/SIMPLE_APPS' gcc -M -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include *.c > Makefile.dependencies make[5]: Leaving directory '/build/eprover-2.6+ds/SIMPLE_APPS' make[5]: Entering directory '/build/eprover-2.6+ds/EXTERNAL' gcc -M -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include *.c > Makefile.dependencies make[5]: Leaving directory '/build/eprover-2.6+ds/EXTERNAL' make[5]: Entering directory '/build/eprover-2.6+ds/PROVER' gcc -M -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include *.c > Makefile.dependencies make[5]: Leaving directory '/build/eprover-2.6+ds/PROVER' make[4]: Leaving directory '/build/eprover-2.6+ds' make[3]: Leaving directory '/build/eprover-2.6+ds' make make[3]: Entering directory '/build/eprover-2.6+ds' ln: failed to create symbolic link './e_options.h': File exists ln: failed to create symbolic link './che_dagweight.h': File exists ln: failed to create symbolic link './ccl_def_handling.h': File exists ln: failed to create symbolic link './ccl_subterm_tree.h': File exists make[4]: Entering directory '/build/eprover-2.6+ds/BASICS' gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o clb_error.o clb_error.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o clb_memory.o clb_memory.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o clb_os_wrapper.o clb_os_wrapper.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o clb_dstrings.o clb_dstrings.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o clb_verbose.o clb_verbose.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o clb_stringtrees.o clb_stringtrees.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o clb_numtrees.o clb_numtrees.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o clb_numxtrees.o clb_numxtrees.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o clb_floattrees.o clb_floattrees.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o clb_pstacks.o clb_pstacks.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o clb_pqueue.o clb_pqueue.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o clb_dstacks.o clb_dstacks.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o clb_ptrees.o clb_ptrees.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o clb_quadtrees.o clb_quadtrees.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o clb_regmem.o clb_regmem.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o clb_objtrees.o clb_objtrees.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o clb_fixdarrays.o clb_fixdarrays.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o clb_plist.o clb_plist.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o clb_pdarrays.o clb_pdarrays.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o clb_pdrangearrays.o clb_pdrangearrays.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o clb_ddarrays.o clb_ddarrays.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o clb_sysdate.o clb_sysdate.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o clb_intmap.o clb_intmap.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o clb_simple_stuff.o clb_simple_stuff.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o clb_partial_orderings.o clb_partial_orderings.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o clb_plocalstacks.o clb_plocalstacks.c ar rcs BASICS.a clb_error.o clb_memory.o clb_os_wrapper.o clb_dstrings.o clb_verbose.o clb_stringtrees.o clb_numtrees.o clb_numxtrees.o clb_floattrees.o clb_pstacks.o clb_pqueue.o clb_dstacks.o clb_ptrees.o clb_quadtrees.o clb_regmem.o clb_objtrees.o clb_fixdarrays.o clb_plist.o clb_pdarrays.o clb_pdrangearrays.o clb_ddarrays.o clb_sysdate.o clb_intmap.o clb_simple_stuff.o clb_partial_orderings.o clb_plocalstacks.o make[4]: Leaving directory '/build/eprover-2.6+ds/BASICS' make[4]: Entering directory '/build/eprover-2.6+ds/INOUT' gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cio_output.o cio_output.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cio_simplestuff.o cio_simplestuff.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cio_fileops.o cio_fileops.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cio_streams.o cio_streams.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cio_initio.o cio_initio.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cio_scanner.o cio_scanner.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cio_network.o cio_network.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cio_multiplexer.o cio_multiplexer.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cio_basicparser.o cio_basicparser.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cio_commandline.o cio_commandline.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cio_filevars.o cio_filevars.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cio_tempfile.o cio_tempfile.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cio_signals.o cio_signals.c ar rcs INOUT.a cio_output.o cio_simplestuff.o cio_fileops.o cio_streams.o cio_initio.o cio_scanner.o cio_network.o cio_multiplexer.o cio_basicparser.o cio_commandline.o cio_filevars.o cio_tempfile.o cio_signals.o make[4]: Leaving directory '/build/eprover-2.6+ds/INOUT' make[4]: Entering directory '/build/eprover-2.6+ds/TERMS' gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cte_functypes.o cte_functypes.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cte_signature.o cte_signature.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cte_termtypes.o cte_termtypes.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cte_termvars.o cte_termvars.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cte_acterms.o cte_acterms.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cte_varhash.o cte_varhash.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cte_varsets.o cte_varsets.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cte_termfunc.o cte_termfunc.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cte_termtrees.o cte_termtrees.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cte_termcellstore.o cte_termcellstore.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cte_termbanks.o cte_termbanks.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cte_subst.o cte_subst.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cte_termpos.o cte_termpos.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cte_termcpos.o cte_termcpos.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cte_replace.o cte_replace.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cte_match_mgu_1-1.o cte_match_mgu_1-1.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cte_idx_fp.o cte_idx_fp.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cte_fp_index.o cte_fp_index.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cte_simpletypes.o cte_simpletypes.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cte_typecheck.o cte_typecheck.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cte_typebanks.o cte_typebanks.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cte_termweightext.o cte_termweightext.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cte_lambda.o cte_lambda.c ar rcs TERMS.a cte_functypes.o cte_signature.o cte_termtypes.o cte_termvars.o cte_acterms.o cte_varhash.o cte_varsets.o cte_termfunc.o cte_termtrees.o cte_termcellstore.o cte_termbanks.o cte_subst.o cte_termpos.o cte_termcpos.o cte_replace.o cte_match_mgu_1-1.o cte_idx_fp.o cte_fp_index.o cte_simpletypes.o cte_typecheck.o cte_typebanks.o cte_termweightext.o cte_lambda.o make[4]: Leaving directory '/build/eprover-2.6+ds/TERMS' make[4]: Entering directory '/build/eprover-2.6+ds/ORDERINGS' gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cto_ocb.o cto_ocb.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cto_cmpcache.o cto_cmpcache.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cto_lpo.o cto_lpo.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cto_kbo.o cto_kbo.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cto_kbolin.o cto_kbolin.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cto_orderings.o cto_orderings.c ar rcs ORDERINGS.a cto_ocb.o cto_cmpcache.o cto_lpo.o cto_kbo.o cto_kbolin.o cto_orderings.o make[4]: Leaving directory '/build/eprover-2.6+ds/ORDERINGS' make[4]: Entering directory '/build/eprover-2.6+ds/CLAUSES' gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o ccl_ext_index.o ccl_ext_index.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o ccl_neweval.o ccl_neweval.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o ccl_eqn.o ccl_eqn.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o ccl_eqnlist.o ccl_eqnlist.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o ccl_clauseinfo.o ccl_clauseinfo.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o ccl_clauses.o ccl_clauses.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o ccl_tformulae.o ccl_tformulae.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o ccl_formula_wrapper.o ccl_formula_wrapper.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o ccl_formulasets.o ccl_formulasets.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o ccl_f_generality.o ccl_f_generality.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o ccl_sine.o ccl_sine.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o ccl_garbage_coll.o ccl_garbage_coll.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o ccl_tcnf.o ccl_tcnf.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o ccl_propclauses.o ccl_propclauses.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o ccl_tautologies.o ccl_tautologies.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o ccl_clausepos.o ccl_clausepos.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o ccl_clausecpos.o ccl_clausecpos.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o ccl_pdtrees.o ccl_pdtrees.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o ccl_freqvectors.o ccl_freqvectors.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o ccl_fcvindexing.o ccl_fcvindexing.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o ccl_clausesets.o ccl_clausesets.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o ccl_unfold_defs.o ccl_unfold_defs.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o ccl_clausefunc.o ccl_clausefunc.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o ccl_formulafunc.o ccl_formulafunc.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o ccl_groundconstr.o ccl_groundconstr.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o ccl_grounding.o ccl_grounding.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o ccl_g_lithash.o ccl_g_lithash.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o ccl_axiomsorter.o ccl_axiomsorter.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o ccl_findex.o ccl_findex.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o ccl_clausepos_tree.o ccl_clausepos_tree.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o ccl_subterm_tree.o ccl_subterm_tree.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o ccl_subterm_index.o ccl_subterm_index.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o ccl_overlap_index.o ccl_overlap_index.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o ccl_relevance.o ccl_relevance.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o ccl_inferencedoc.o ccl_inferencedoc.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o ccl_derivation.o ccl_derivation.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o ccl_paramod.o ccl_paramod.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o ccl_factor.o ccl_factor.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o ccl_eqnresolution.o ccl_eqnresolution.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o ccl_rewrite.o ccl_rewrite.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o ccl_unit_simplify.o ccl_unit_simplify.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o ccl_subsumption.o ccl_subsumption.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o ccl_condensation.o ccl_condensation.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o ccl_context_sr.o ccl_context_sr.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o ccl_def_handling.o ccl_def_handling.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o ccl_splitting.o ccl_splitting.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o ccl_global_indices.o ccl_global_indices.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o ccl_satinterface.o ccl_satinterface.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o ccl_proofstate.o ccl_proofstate.c ar rcs CLAUSES.a ccl_ext_index.o ccl_neweval.o ccl_eqn.o ccl_eqnlist.o ccl_clauseinfo.o ccl_clauses.o ccl_tformulae.o ccl_formula_wrapper.o ccl_formulasets.o ccl_f_generality.o ccl_sine.o ccl_garbage_coll.o ccl_tcnf.o ccl_propclauses.o ccl_tautologies.o ccl_clausepos.o ccl_clausecpos.o ccl_pdtrees.o ccl_freqvectors.o ccl_fcvindexing.o ccl_clausesets.o ccl_unfold_defs.o ccl_clausefunc.o ccl_formulafunc.o ccl_groundconstr.o ccl_grounding.o ccl_g_lithash.o ccl_axiomsorter.o ccl_findex.o ccl_clausepos_tree.o ccl_subterm_tree.o ccl_subterm_index.o ccl_overlap_index.o ccl_relevance.o ccl_inferencedoc.o ccl_derivation.o ccl_paramod.o ccl_factor.o ccl_eqnresolution.o ccl_rewrite.o ccl_unit_simplify.o ccl_subsumption.o ccl_condensation.o ccl_context_sr.o ccl_def_handling.o ccl_splitting.o ccl_global_indices.o ccl_satinterface.o ccl_proofstate.o make[4]: Leaving directory '/build/eprover-2.6+ds/CLAUSES' make[4]: Entering directory '/build/eprover-2.6+ds/PROPOSITIONAL' gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cpr_propsig.o cpr_propsig.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cpr_varset.o cpr_varset.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cpr_propclauses.o cpr_propclauses.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cpr_dpllformula.o cpr_dpllformula.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cpr_dpll.o cpr_dpll.c ar rcs PROPOSITIONAL.a cpr_propsig.o cpr_varset.o cpr_propclauses.o cpr_dpllformula.o cpr_dpll.o make[4]: Leaving directory '/build/eprover-2.6+ds/PROPOSITIONAL' make[4]: Entering directory '/build/eprover-2.6+ds/LEARN' gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cle_patterns.o cle_patterns.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cle_clauseenc.o cle_clauseenc.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cle_annotations.o cle_annotations.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cle_annoterms.o cle_annoterms.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cle_flatannoterms.o cle_flatannoterms.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cle_numfeatures.o cle_numfeatures.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cle_examplerep.o cle_examplerep.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cle_kbdesc.o cle_kbdesc.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cle_kbinsert.o cle_kbinsert.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cle_termtops.o cle_termtops.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cle_indexfunctions.o cle_indexfunctions.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cle_tsm.o cle_tsm.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cle_classification.o cle_classification.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cle_tsmio.o cle_tsmio.c ar rcs LEARN.a cle_patterns.o cle_clauseenc.o cle_annotations.o cle_annoterms.o cle_flatannoterms.o cle_numfeatures.o cle_examplerep.o cle_kbdesc.o cle_kbinsert.o cle_termtops.o cle_indexfunctions.o cle_tsm.o cle_classification.o cle_tsmio.o make[4]: Leaving directory '/build/eprover-2.6+ds/LEARN' make[4]: Entering directory '/build/eprover-2.6+ds/PCL2' gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o pcl_idents.o pcl_idents.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o pcl_positions.o pcl_positions.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o pcl_expressions.o pcl_expressions.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o pcl_steps.o pcl_steps.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o pcl_protocol.o pcl_protocol.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o pcl_miniclauses.o pcl_miniclauses.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o pcl_ministeps.o pcl_ministeps.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o pcl_miniprotocol.o pcl_miniprotocol.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o pcl_lemmas.o pcl_lemmas.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o pcl_analysis.o pcl_analysis.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o pcl_propanalysis.o pcl_propanalysis.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o pcl_proofcheck.o pcl_proofcheck.c ar rcs PCL2.a pcl_idents.o pcl_positions.o pcl_expressions.o pcl_steps.o pcl_protocol.o pcl_miniclauses.o pcl_ministeps.o pcl_miniprotocol.o pcl_lemmas.o pcl_analysis.o pcl_propanalysis.o pcl_proofcheck.o make[4]: Leaving directory '/build/eprover-2.6+ds/PCL2' make[4]: Entering directory '/build/eprover-2.6+ds/HEURISTICS' gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o che_wfcb.o che_wfcb.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o che_wfcbadmin.o che_wfcbadmin.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o che_axiomscan.o che_axiomscan.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o che_clausefeatures.o che_clausefeatures.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o che_prio_funs.o che_prio_funs.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o che_clausesetfeatures.o che_clausesetfeatures.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o che_rawspecfeatures.o che_rawspecfeatures.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o che_specsigfeatures.o che_specsigfeatures.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o che_clauseweight.o che_clauseweight.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o che_dagweight.o che_dagweight.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o che_refinedweight.o che_refinedweight.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o che_varweights.o che_varweights.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o che_funweights.o che_funweights.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o che_orientweight.o che_orientweight.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o che_fifo.o che_fifo.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o che_lifo.o che_lifo.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o che_learning.o che_learning.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o che_simweight.o che_simweight.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o che_to_params.o che_to_params.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o che_hcb.o che_hcb.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o che_litselection.o che_litselection.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o che_proofcontrol.o che_proofcontrol.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o che_hcbadmin.o che_hcbadmin.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o che_heuristics.o che_heuristics.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o che_fcode_featurearrays.o che_fcode_featurearrays.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o che_to_weightgen.o che_to_weightgen.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o che_to_precgen.o che_to_precgen.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o che_to_autoselect.o che_to_autoselect.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o che_axfilter.o che_axfilter.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o che_strucweight.o che_strucweight.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o che_prefixweight.o che_prefixweight.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o che_treeweight.o che_treeweight.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o che_levweight.o che_levweight.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o che_tfidfweight.o che_tfidfweight.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o che_termweights.o che_termweights.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o che_termweight.o che_termweight.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o che_random.o che_random.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o che_diversityweight.o che_diversityweight.c ar rcs HEURISTICS.a che_wfcb.o che_wfcbadmin.o che_axiomscan.o che_clausefeatures.o che_prio_funs.o che_clausesetfeatures.o che_rawspecfeatures.o che_specsigfeatures.o che_clauseweight.o che_dagweight.o che_refinedweight.o che_varweights.o che_funweights.o che_orientweight.o che_fifo.o che_lifo.o che_learning.o che_simweight.o che_to_params.o che_hcb.o che_litselection.o che_proofcontrol.o che_hcbadmin.o che_heuristics.o che_fcode_featurearrays.o che_to_weightgen.o che_to_precgen.o che_to_autoselect.o che_axfilter.o che_strucweight.o che_prefixweight.o che_treeweight.o che_levweight.o che_tfidfweight.o che_termweights.o che_termweight.o che_random.o che_diversityweight.o make[4]: Leaving directory '/build/eprover-2.6+ds/HEURISTICS' make[4]: Entering directory '/build/eprover-2.6+ds/CONTROL' gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cco_simplification.o cco_simplification.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cco_factoring.o cco_factoring.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cco_eqnresolving.o cco_eqnresolving.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cco_paramodulation.o cco_paramodulation.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cco_forward_contraction.o cco_forward_contraction.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cco_clausesplitting.o cco_clausesplitting.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cco_interpreted.o cco_interpreted.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cco_proofproc.o cco_proofproc.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cco_proc_ctrl.o cco_proc_ctrl.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cco_batch_spec.o cco_batch_spec.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cco_einteractive_mode.o cco_einteractive_mode.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cco_sine.o cco_sine.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cco_esession.o cco_esession.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cco_eserver.o cco_eserver.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cco_scheduling.o cco_scheduling.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cco_ho_inferences.o cco_ho_inferences.c ar rcs CONTROL.a cco_simplification.o cco_factoring.o cco_eqnresolving.o cco_paramodulation.o cco_forward_contraction.o cco_clausesplitting.o cco_interpreted.o cco_proofproc.o cco_proc_ctrl.o cco_batch_spec.o cco_einteractive_mode.o cco_sine.o cco_esession.o cco_eserver.o cco_scheduling.o cco_ho_inferences.o make[4]: Leaving directory '/build/eprover-2.6+ds/CONTROL' make[4]: Entering directory '/build/eprover-2.6+ds/SIMPLE_APPS' gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o ex_commandline.o ex_commandline.c gcc -O03 -fomit-frame-pointer -fno-common -o ex_commandline ex_commandline.o ../lib/INOUT.a ../lib/BASICS.a -lm -lpicosat gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o term2dag.o term2dag.c gcc -O03 -fomit-frame-pointer -fno-common -o term2dag term2dag.o ../lib/CLAUSES.a ../lib/TERMS.a ../lib/ORDERINGS.a ../lib/INOUT.a ../lib/BASICS.a -lm -lpicosat /usr/bin/ld: ../lib/TERMS.a(cte_termbanks.o): in function `ParseIte': cte_termbanks.c:(.text+0x3790): undefined reference to `TFormulaTPTPParse' /usr/bin/ld: cte_termbanks.c:(.text+0x37b4): undefined reference to `TFormulaTPTPParse' /usr/bin/ld: cte_termbanks.c:(.text+0x37d8): undefined reference to `TFormulaTPTPParse' /usr/bin/ld: ../lib/TERMS.a(cte_termbanks.o): in function `choose_subterm_parse_fun': cte_termbanks.c:(.text+0x439c): undefined reference to `TFormulaTSTPParse' /usr/bin/ld: ../lib/TERMS.a(cte_termbanks.o): in function `parse_let_sym_def': cte_termbanks.c:(.text+0x45f8): undefined reference to `EqnTermsTBTermEncode' /usr/bin/ld: cte_termbanks.c:(.text+0x47cc): undefined reference to `TFormulaTSTPParse' /usr/bin/ld: ../lib/TERMS.a(cte_termbanks.o): in function `ParseLet': cte_termbanks.c:(.text+0x4a38): undefined reference to `TFormulaTPTPParse' collect2: error: ld returned 1 exit status make[4]: *** [Makefile:41: term2dag] Error 1 make[4]: Leaving directory '/build/eprover-2.6+ds/SIMPLE_APPS' make[4]: Entering directory '/build/eprover-2.6+ds/EXTERNAL' gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o CSSCPA_filter.o CSSCPA_filter.c gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o cex_csscpa.o cex_csscpa.c gcc -O03 -fomit-frame-pointer -fno-common -o CSSCPA_filter CSSCPA_filter.o cex_csscpa.o ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a -lm -lpicosat make[4]: Leaving directory '/build/eprover-2.6+ds/EXTERNAL' make[4]: Entering directory '/build/eprover-2.6+ds/PROVER' gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o eprover.o eprover.c gcc -O03 -fomit-frame-pointer -fno-common -o eprover eprover.o ../lib/CONTROL.a ../lib/PCL2.a ../lib/HEURISTICS.a ../lib/LEARN.a ../lib/PROPOSITIONAL.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a -lm -lpicosat gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o e_ltb_runner.o e_ltb_runner.c gcc -O03 -fomit-frame-pointer -fno-common -o e_ltb_runner e_ltb_runner.o ../lib/CONTROL.a ../lib/PCL2.a ../lib/HEURISTICS.a ../lib/LEARN.a ../lib/PROPOSITIONAL.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a -lm -lpicosat gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o e_stratpar.o e_stratpar.c gcc -O03 -fomit-frame-pointer -fno-common -o e_stratpar e_stratpar.o ../lib/CONTROL.a ../lib/PCL2.a ../lib/HEURISTICS.a ../lib/LEARN.a ../lib/PROPOSITIONAL.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a -lm -lpicosat gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o e_deduction_server.o e_deduction_server.c gcc -O03 -fomit-frame-pointer -fno-common -o e_deduction_server e_deduction_server.o ../lib/CONTROL.a ../lib/PCL2.a ../lib/HEURISTICS.a ../lib/LEARN.a ../lib/PROPOSITIONAL.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a -lm -lpicosat gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o e_axfilter.o e_axfilter.c gcc -O03 -fomit-frame-pointer -fno-common -o e_axfilter e_axfilter.o ../lib/CONTROL.a ../lib/PCL2.a ../lib/HEURISTICS.a ../lib/LEARN.a ../lib/PROPOSITIONAL.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a -lm -lpicosat gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o e_server.o e_server.c gcc -O03 -fomit-frame-pointer -fno-common -o e_server e_server.o ../lib/CONTROL.a ../lib/PCL2.a ../lib/HEURISTICS.a ../lib/LEARN.a ../lib/PROPOSITIONAL.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a -lm -lpicosat gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o e_client.o e_client.c gcc -O03 -fomit-frame-pointer -fno-common -o e_client e_client.o ../lib/CONTROL.a ../lib/PCL2.a ../lib/HEURISTICS.a ../lib/LEARN.a ../lib/PROPOSITIONAL.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a -lm -lpicosat gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o eground.o eground.c gcc -O03 -fomit-frame-pointer -fno-common -o eground eground.o ../lib/CONTROL.a ../lib/PCL2.a ../lib/HEURISTICS.a ../lib/LEARN.a ../lib/PROPOSITIONAL.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a -lm -lpicosat gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o enormalizer.o enormalizer.c gcc -O03 -fomit-frame-pointer -fno-common -o enormalizer enormalizer.o ../lib/CONTROL.a ../lib/PCL2.a ../lib/HEURISTICS.a ../lib/LEARN.a ../lib/PROPOSITIONAL.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a -lm -lpicosat gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o edpll.o edpll.c gcc -O03 -fomit-frame-pointer -fno-common -o edpll edpll.o ../lib/CONTROL.a ../lib/PCL2.a ../lib/HEURISTICS.a ../lib/LEARN.a ../lib/PROPOSITIONAL.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a -lm -lpicosat gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o classify_problem.o classify_problem.c gcc -O03 -fomit-frame-pointer -fno-common -o classify_problem classify_problem.o ../lib/CONTROL.a ../lib/PCL2.a ../lib/HEURISTICS.a ../lib/LEARN.a ../lib/PROPOSITIONAL.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a -lm -lpicosat gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o epatternize.o epatternize.c gcc -O03 -fomit-frame-pointer -fno-common -o epatternize epatternize.o ../lib/CONTROL.a ../lib/PCL2.a ../lib/HEURISTICS.a ../lib/LEARN.a ../lib/PROPOSITIONAL.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a -lm -lpicosat gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o direct_examples.o direct_examples.c gcc -O03 -fomit-frame-pointer -fno-common -o direct_examples direct_examples.o ../lib/CONTROL.a ../lib/PCL2.a ../lib/HEURISTICS.a ../lib/LEARN.a ../lib/PROPOSITIONAL.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a -lm -lpicosat gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o epclanalyse.o epclanalyse.c gcc -O03 -fomit-frame-pointer -fno-common -o epclanalyse epclanalyse.o ../lib/CONTROL.a ../lib/PCL2.a ../lib/HEURISTICS.a ../lib/LEARN.a ../lib/PROPOSITIONAL.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a -lm -lpicosat gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o epcllemma.o epcllemma.c gcc -O03 -fomit-frame-pointer -fno-common -o epcllemma epcllemma.o ../lib/CONTROL.a ../lib/PCL2.a ../lib/HEURISTICS.a ../lib/LEARN.a ../lib/PROPOSITIONAL.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a -lm -lpicosat gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o epclextract.o epclextract.c gcc -O03 -fomit-frame-pointer -fno-common -o epclextract epclextract.o ../lib/CONTROL.a ../lib/PCL2.a ../lib/HEURISTICS.a ../lib/LEARN.a ../lib/PROPOSITIONAL.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a -lm -lpicosat gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o checkproof.o checkproof.c gcc -O03 -fomit-frame-pointer -fno-common -o checkproof checkproof.o ../lib/CONTROL.a ../lib/PCL2.a ../lib/HEURISTICS.a ../lib/LEARN.a ../lib/PROPOSITIONAL.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a -lm -lpicosat gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o ekb_create.o ekb_create.c gcc -O03 -fomit-frame-pointer -fno-common -o ekb_create ekb_create.o ../lib/CONTROL.a ../lib/PCL2.a ../lib/HEURISTICS.a ../lib/LEARN.a ../lib/PROPOSITIONAL.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a -lm -lpicosat gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o ekb_insert.o ekb_insert.c gcc -O03 -fomit-frame-pointer -fno-common -o ekb_insert ekb_insert.o ../lib/CONTROL.a ../lib/PCL2.a ../lib/HEURISTICS.a ../lib/LEARN.a ../lib/PROPOSITIONAL.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a -lm -lpicosat gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o ekb_ginsert.o ekb_ginsert.c gcc -O03 -fomit-frame-pointer -fno-common -o ekb_ginsert ekb_ginsert.o ../lib/CONTROL.a ../lib/PCL2.a ../lib/HEURISTICS.a ../lib/LEARN.a ../lib/PROPOSITIONAL.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a -lm -lpicosat gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -I/usr/include/picosat -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -Wdate-time -D_FORTIFY_SOURCE=2 -c -o ekb_delete.o ekb_delete.c gcc -O03 -fomit-frame-pointer -fno-common -o ekb_delete ekb_delete.o ../lib/CONTROL.a ../lib/PCL2.a ../lib/HEURISTICS.a ../lib/LEARN.a ../lib/PROPOSITIONAL.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a -lm -lpicosat make[4]: Leaving directory '/build/eprover-2.6+ds/PROVER' make[3]: Leaving directory '/build/eprover-2.6+ds' make[2]: Leaving directory '/build/eprover-2.6+ds' make man make[2]: Entering directory '/build/eprover-2.6+ds' ln: failed to create symbolic link './e_options.h': File exists ln: failed to create symbolic link './che_dagweight.h': File exists ln: failed to create symbolic link './ccl_def_handling.h': File exists ln: failed to create symbolic link './ccl_subterm_tree.h': File exists make[3]: Entering directory '/build/eprover-2.6+ds/BASICS' make[3]: Nothing to be done for 'all'. make[3]: Leaving directory '/build/eprover-2.6+ds/BASICS' make[3]: Entering directory '/build/eprover-2.6+ds/INOUT' make[3]: Nothing to be done for 'all'. make[3]: Leaving directory '/build/eprover-2.6+ds/INOUT' make[3]: Entering directory '/build/eprover-2.6+ds/TERMS' make[3]: Nothing to be done for 'all'. make[3]: Leaving directory '/build/eprover-2.6+ds/TERMS' make[3]: Entering directory '/build/eprover-2.6+ds/ORDERINGS' make[3]: Nothing to be done for 'all'. make[3]: Leaving directory '/build/eprover-2.6+ds/ORDERINGS' make[3]: Entering directory '/build/eprover-2.6+ds/CLAUSES' make[3]: Nothing to be done for 'all'. make[3]: Leaving directory '/build/eprover-2.6+ds/CLAUSES' make[3]: Entering directory '/build/eprover-2.6+ds/PROPOSITIONAL' make[3]: Nothing to be done for 'all'. make[3]: Leaving directory '/build/eprover-2.6+ds/PROPOSITIONAL' make[3]: Entering directory '/build/eprover-2.6+ds/LEARN' make[3]: Nothing to be done for 'all'. make[3]: Leaving directory '/build/eprover-2.6+ds/LEARN' make[3]: Entering directory '/build/eprover-2.6+ds/PCL2' make[3]: Nothing to be done for 'all'. make[3]: Leaving directory '/build/eprover-2.6+ds/PCL2' make[3]: Entering directory '/build/eprover-2.6+ds/HEURISTICS' make[3]: Nothing to be done for 'all'. make[3]: Leaving directory '/build/eprover-2.6+ds/HEURISTICS' make[3]: Entering directory '/build/eprover-2.6+ds/CONTROL' make[3]: Nothing to be done for 'all'. make[3]: Leaving directory '/build/eprover-2.6+ds/CONTROL' make[3]: Entering directory '/build/eprover-2.6+ds/SIMPLE_APPS' gcc -O03 -fomit-frame-pointer -fno-common -o term2dag term2dag.o ../lib/CLAUSES.a ../lib/TERMS.a ../lib/ORDERINGS.a ../lib/INOUT.a ../lib/BASICS.a -lm -lpicosat /usr/bin/ld: ../lib/TERMS.a(cte_termbanks.o): in function `ParseIte': cte_termbanks.c:(.text+0x3790): undefined reference to `TFormulaTPTPParse' /usr/bin/ld: cte_termbanks.c:(.text+0x37b4): undefined reference to `TFormulaTPTPParse' /usr/bin/ld: cte_termbanks.c:(.text+0x37d8): undefined reference to `TFormulaTPTPParse' /usr/bin/ld: ../lib/TERMS.a(cte_termbanks.o): in function `choose_subterm_parse_fun': cte_termbanks.c:(.text+0x439c): undefined reference to `TFormulaTSTPParse' /usr/bin/ld: ../lib/TERMS.a(cte_termbanks.o): in function `parse_let_sym_def': cte_termbanks.c:(.text+0x45f8): undefined reference to `EqnTermsTBTermEncode' /usr/bin/ld: cte_termbanks.c:(.text+0x47cc): undefined reference to `TFormulaTSTPParse' /usr/bin/ld: ../lib/TERMS.a(cte_termbanks.o): in function `ParseLet': cte_termbanks.c:(.text+0x4a38): undefined reference to `TFormulaTPTPParse' collect2: error: ld returned 1 exit status make[3]: *** [Makefile:41: term2dag] Error 1 make[3]: Leaving directory '/build/eprover-2.6+ds/SIMPLE_APPS' make[3]: Entering directory '/build/eprover-2.6+ds/EXTERNAL' make[3]: Nothing to be done for 'all'. make[3]: Leaving directory '/build/eprover-2.6+ds/EXTERNAL' make[3]: Entering directory '/build/eprover-2.6+ds/PROVER' make[3]: Nothing to be done for 'all'. make[3]: Leaving directory '/build/eprover-2.6+ds/PROVER' mkdir -p DOC/man help2man -N -i DOC/bug_reporting PROVER/eprover > DOC/man/eprover.1 help2man -N -i DOC/bug_reporting PROVER/e_stratpar > DOC/man/e_stratpar.1 help2man -N -i DOC/bug_reporting PROVER/eground > DOC/man/eground.1 help2man -N -i DOC/bug_reporting PROVER/epclextract > DOC/man/epclextract.1 help2man -N -i DOC/bug_reporting PROVER/e_ltb_runner > DOC/man/e_ltb_runner.1 help2man -N -i DOC/bug_reporting PROVER/e_deduction_server > DOC/man/e_deduction_server.1 help2man -N -i DOC/bug_reporting PROVER/e_axfilter > DOC/man/e_axfilter.1 help2man -N -i DOC/bug_reporting PROVER/checkproof > DOC/man/checkproof.1 help2man -N -i DOC/bug_reporting PROVER/ekb_create > DOC/man/ekb_create.1 help2man -N -i DOC/bug_reporting PROVER/ekb_delete > DOC/man/ekb_delete.1 help2man -N -i DOC/bug_reporting PROVER/ekb_ginsert > DOC/man/ekb_ginsert.1 help2man -N -i DOC/bug_reporting PROVER/ekb_insert > DOC/man/ekb_insert.1 make[2]: Leaving directory '/build/eprover-2.6+ds' make[1]: Leaving directory '/build/eprover-2.6+ds' dh_auto_test create-stamp debian/debhelper-build-stamp dh_prep dh_auto_install --destdir=debian/eprover/ make -j8 install DESTDIR=/build/eprover-2.6\+ds/debian/eprover AM_UPDATE_INFO_DIR=no make[1]: Entering directory '/build/eprover-2.6+ds' sh -c 'mkdir -p debian/tmp/bin' sh -c 'development_tools/e_install PROVER/eprover debian/tmp/bin' sh -c 'development_tools/e_install PROVER/eprover-ho debian/tmp/bin' sh -c 'development_tools/e_install PROVER/epclextract debian/tmp/bin' sh -c 'development_tools/e_install PROVER/e_stratpar debian/tmp/bin' sh -c 'development_tools/e_install PROVER/eground debian/tmp/bin' sh -c 'development_tools/e_install PROVER/e_ltb_runner debian/tmp/bin' sh -c 'development_tools/e_install PROVER/e_deduction_server debian/tmp/bin' sh -c 'development_tools/e_install PROVER/e_axfilter debian/tmp/bin' sh -c 'development_tools/e_install PROVER/checkproof debian/tmp/bin' sh -c 'development_tools/e_install PROVER/ekb_create debian/tmp/bin' sh -c 'development_tools/e_install PROVER/ekb_delete debian/tmp/bin' sh -c 'development_tools/e_install PROVER/ekb_ginsert debian/tmp/bin' sh -c 'development_tools/e_install PROVER/ekb_insert debian/tmp/bin' sh -c 'mkdir -p debian/tmp/man' sh -c 'development_tools/e_install DOC/man/eprover.1 debian/tmp/man' sh -c 'development_tools/e_install DOC/man/epclextract.1 debian/tmp/man' sh -c 'development_tools/e_install DOC/man/e_stratpar.1 debian/tmp/man' sh -c 'development_tools/e_install DOC/man/eground.1 debian/tmp/man' sh -c 'development_tools/e_install DOC/man/e_ltb_runner.1 debian/tmp/man' sh -c 'development_tools/e_install DOC/man/e_deduction_server.1 debian/tmp/man' sh -c 'development_tools/e_install DOC/man/e_axfilter.1 debian/tmp/man' sh -c 'development_tools/e_install DOC/man/checkproof.1 debian/tmp/man' sh -c 'development_tools/e_install DOC/man/ekb_create.1 debian/tmp/man' sh -c 'development_tools/e_install DOC/man/ekb_delete.1 debian/tmp/man' sh -c 'development_tools/e_install DOC/man/ekb_ginsert.1 debian/tmp/man' sh -c 'development_tools/e_install DOC/man/ekb_insert.1 debian/tmp/man' make[1]: Leaving directory '/build/eprover-2.6+ds' dh_install dh_installdocs dh_installchangelogs dh_installman dh_perl dh_link dh_strip_nondeterminism dh_compress dh_fixperms dh_missing dh_dwz -a dwz: debian/eprover/bin/checkproof: .debug_info section not present dwz: debian/eprover/bin/e_axfilter: .debug_info section not present dwz: debian/eprover/bin/e_deduction_server: .debug_info section not present dwz: debian/eprover/bin/e_ltb_runner: .debug_info section not present dwz: debian/eprover/bin/e_stratpar: .debug_info section not present dwz: debian/eprover/bin/eground: .debug_info section not present dwz: debian/eprover/bin/ekb_create: .debug_info section not present dwz: debian/eprover/bin/ekb_delete: .debug_info section not present dwz: debian/eprover/bin/ekb_ginsert: .debug_info section not present dwz: debian/eprover/bin/ekb_insert: .debug_info section not present dwz: debian/eprover/bin/epclextract: .debug_info section not present dwz: debian/eprover/bin/eprover: .debug_info section not present dwz: Too few files for multifile optimization dh_dwz: warning: No dwz multifile created, but not explicitly requested either so ignoring it. dh_dwz: warning: Common issues include no debug information at all (missing -g) and dh_dwz: warning: compressed debug information (#931891). dh_strip -a dh_makeshlibs -a dh_shlibdeps -a dh_installdeb dh_gencontrol dh_md5sums dh_builddeb dpkg-deb: building package 'eprover' in '../eprover_2.6+ds-3_arm64.deb'. dpkg-deb: building package 'eprover-dbgsym' in '../eprover-dbgsym_2.6+ds-3_arm64.deb'. dpkg-genbuildinfo --build=binary -O../eprover_2.6+ds-3_arm64.buildinfo dpkg-genchanges --build=binary -O../eprover_2.6+ds-3_arm64.changes dpkg-genchanges: info: binary-only upload (no source code included) dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) dpkg-genchanges: info: not including original source code in upload I: copying local configuration I: unmounting dev/ptmx filesystem I: unmounting dev/pts filesystem I: unmounting dev/shm filesystem I: unmounting proc filesystem I: unmounting sys filesystem I: cleaning the build env I: removing directory /srv/workspace/pbuilder/15846 and its subdirectories I: Current time: Tue Apr 25 08:11:03 -12 2023 I: pbuilder-time-stamp: 1682453463 Tue Apr 25 20:11:06 UTC 2023 I: 1st build successful. Starting 2nd build on remote node codethink13-arm64.debian.net. Tue Apr 25 20:11:06 UTC 2023 I: Preparing to do remote build '2' on codethink13-arm64.debian.net. Tue Apr 25 20:21:17 UTC 2023 I: Deleting $TMPDIR on codethink13-arm64.debian.net. Tue Apr 25 20:21:18 UTC 2023 I: eprover_2.6+ds-3_arm64.changes: Format: 1.8 Date: Wed, 13 Jul 2022 23:52:46 +0200 Source: eprover Binary: eprover eprover-dbgsym Architecture: arm64 Version: 2.6+ds-3 Distribution: unstable Urgency: medium Maintainer: Debian Math Team Changed-By: Julien Puydt Description: eprover - Equational theorem prover Changes: eprover (2.6+ds-3) unstable; urgency=medium . * Complete d/copyright again. Checksums-Sha1: a6b60638942739552cee7603c6fd877c43d76902 125508 eprover-dbgsym_2.6+ds-3_arm64.deb 5a9b28eb289bbbf8e06ddf5a412e89061cbb7206 5204 eprover_2.6+ds-3_arm64.buildinfo 5109b3fb52bf48befdd939cfbc543e0fb5799876 903936 eprover_2.6+ds-3_arm64.deb Checksums-Sha256: bb468b94866566004867e329099cf634c45054da9d6af252467f7b3f9ed642f4 125508 eprover-dbgsym_2.6+ds-3_arm64.deb 3098ce3ee017bdb2d8d5a80394719902f9360b0eadaaeca05a74b79f0d393239 5204 eprover_2.6+ds-3_arm64.buildinfo 9647c7d80d4b51e2763c600aa6e6ea80e4dd294b537ff647e9fd43d1b8c639fc 903936 eprover_2.6+ds-3_arm64.deb Files: 31ae99515770785d8cb348f986b3f488 125508 debug optional eprover-dbgsym_2.6+ds-3_arm64.deb b6b60bf06bc671b72fe7a4c85de1c26e 5204 math optional eprover_2.6+ds-3_arm64.buildinfo fdd2c7bd979fb084dcb06462749e9a44 903936 math optional eprover_2.6+ds-3_arm64.deb Tue Apr 25 20:21:21 UTC 2023 I: diffoscope 241 will be used to compare the two builds: # Profiling output for: /usr/bin/diffoscope --timeout 7200 --html /srv/reproducible-results/rbuild-debian/r-b-build.sHgCCrRH/eprover_2.6+ds-3.diffoscope.html --text /srv/reproducible-results/rbuild-debian/r-b-build.sHgCCrRH/eprover_2.6+ds-3.diffoscope.txt --json /srv/reproducible-results/rbuild-debian/r-b-build.sHgCCrRH/eprover_2.6+ds-3.diffoscope.json --profile=- /srv/reproducible-results/rbuild-debian/r-b-build.sHgCCrRH/b1/eprover_2.6+ds-3_arm64.changes /srv/reproducible-results/rbuild-debian/r-b-build.sHgCCrRH/b2/eprover_2.6+ds-3_arm64.changes ## command (total time: 0.000s) 0.000s 1 call cmp (internal) ## has_same_content_as (total time: 0.000s) 0.000s 1 call abc.DotChangesFile ## main (total time: 1.661s) 1.661s 2 calls outputs 0.000s 1 call cleanup ## recognizes (total time: 0.083s) 0.083s 12 calls diffoscope.comparators.binary.FilesystemFile 0.000s 10 calls abc.DotChangesFile ## specialize (total time: 0.000s) 0.000s 1 call specialize Tue Apr 25 20:21:23 UTC 2023 I: diffoscope 241 found no differences in the changes files, and a .buildinfo file also exists. Tue Apr 25 20:21:23 UTC 2023 I: eprover from bookworm built successfully and reproducibly on arm64. Tue Apr 25 20:21:24 UTC 2023 I: Submitting .buildinfo files to external archives: Tue Apr 25 20:21:24 UTC 2023 I: Submitting 8.0K b1/eprover_2.6+ds-3_arm64.buildinfo.asc Tue Apr 25 20:21:25 UTC 2023 I: Submitting 8.0K b2/eprover_2.6+ds-3_arm64.buildinfo.asc Tue Apr 25 20:21:26 UTC 2023 I: Done submitting .buildinfo files to http://buildinfo.debian.net/api/submit. Tue Apr 25 20:21:26 UTC 2023 I: Done submitting .buildinfo files. Tue Apr 25 20:21:26 UTC 2023 I: Removing signed eprover_2.6+ds-3_arm64.buildinfo.asc files: removed './b1/eprover_2.6+ds-3_arm64.buildinfo.asc' removed './b2/eprover_2.6+ds-3_arm64.buildinfo.asc'