RUN: /bin/echo ['echo', 'Forking build subprocess...'] Forking build subprocess... RUN: /usr/share/launchpad-buildd/slavebin/unpack-chroot ['unpack-chroot', '1046783-2283433', '/home/buildd/filecache-default/a41bfa4400299c761e51ea25115e36344dadece3'] Synching the system clock with the buildd NTP service... 27 May 23:21:03 ntpdate[14216]: adjust time server 10.122.37.1 offset -0.000091 sec Unpacking chroot for build 1046783-2283433 RUN: /usr/share/launchpad-buildd/slavebin/mount-chroot ['mount-chroot', '1046783-2283433'] Mounting chroot for build 1046783-2283433 RUN: /usr/share/launchpad-buildd/slavebin/apply-ogre-model ['apply-ogre-model', '1046783-2283433', 'universe'] Attempting OGRE for universe in build-1046783-2283433 RUN: /usr/share/launchpad-buildd/slavebin/override-sources-list ['override-sources-list', '1046783-2283433', 'deb http://ftpmaster.internal/ubuntu karmic main universe'] Overriding sources.list in build-1046783-2283433 RUN: /usr/share/launchpad-buildd/slavebin/update-debian-chroot ['update-debian-chroot', '1046783-2283433'] Updating debian chroot for build 1046783-2283433 Get:1 http://ftpmaster.internal karmic Release.gpg [189B] Get:2 http://ftpmaster.internal karmic Release [74.6kB] Get:3 http://ftpmaster.internal karmic/main Packages [1265kB] Get:4 http://ftpmaster.internal karmic/universe Packages [4992kB] Fetched 6332kB in 3s (1704kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... The following packages will be upgraded: base-files binutils bsdutils coreutils cpio cpp-4.4 e2fslibs e2fsprogs findutils g++-4.4 gcc-4.4 gcc-4.4-base libblkid1 libc6 libc6-dev libcomerr2 libgcc1 libgomp1 libmpfr1ldbl libncurses5 libppl-c2 libppl7 libselinux1 libsepol1 libslang2 libss2 libstdc++6 libstdc++6-4.4-dev libuuid1 libvolume-id1 linux-libc-dev login mount ncurses-base ncurses-bin passwd pkg-create-dbgsym pkgbinarymangler sed tar util-linux zlib1g 42 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 0B/35.8MB of archives. After this operation, 90.1kB disk space will be freed. WARNING: The following packages cannot be authenticated! base-files coreutils linux-libc-dev libc6-dev libgomp1 cpp-4.4 gcc-4.4-base libgcc1 gcc-4.4 g++-4.4 libstdc++6-4.4-dev libstdc++6 libmpfr1ldbl libppl-c2 libppl7 zlib1g binutils findutils libc6 libselinux1 passwd libuuid1 libblkid1 e2fsprogs login libsepol1 mount ncurses-bin sed tar util-linux bsdutils libncurses5 ncurses-base libcomerr2 e2fslibs libslang2 libss2 libvolume-id1 cpio pkg-create-dbgsym pkgbinarymangler Extracting templates from packages: 71% Extracting templates from packages: 100% Preconfiguring packages ... Authentication warning overridden. (Reading database ... 9292 files and directories currently installed.) Preparing to replace base-files 5.0.0ubuntu1 (using .../base-files_5.0.0ubuntu2_amd64.deb) ... Unpacking replacement base-files ... Setting up base-files (5.0.0ubuntu2) ... Installing new version of config file /etc/dpkg/origins/ubuntu ... (Reading database ... 9292 files and directories currently installed.) Preparing to replace coreutils 7.2-1 (using .../coreutils_7.3-1build1_amd64.deb) ... Unpacking replacement coreutils ... Setting up coreutils (7.3-1build1) ... (Reading database ... 9292 files and directories currently installed.) Preparing to replace linux-libc-dev 2.6.30-1.2 (using .../linux-libc-dev_2.6.30-6.7_amd64.deb) ... Unpacking replacement linux-libc-dev ... Preparing to replace libc6-dev 2.9-4ubuntu6 (using .../libc6-dev_2.9-9ubuntu1_amd64.deb) ... Unpacking replacement libc6-dev ... Preparing to replace libgomp1 4.4.0-0ubuntu5 (using .../libgomp1_4.4.0-3ubuntu5_amd64.deb) ... Unpacking replacement libgomp1 ... Preparing to replace cpp-4.4 4.4.0-0ubuntu5 (using .../cpp-4.4_4.4.0-3ubuntu5_amd64.deb) ... Unpacking replacement cpp-4.4 ... Preparing to replace gcc-4.4-base 4.4.0-0ubuntu5 (using .../gcc-4.4-base_4.4.0-3ubuntu5_amd64.deb) ... Unpacking replacement gcc-4.4-base ... Setting up gcc-4.4-base (4.4.0-3ubuntu5) ... (Reading database ... 9292 files and directories currently installed.) Preparing to replace libgcc1 1:4.4.0-0ubuntu5 (using .../libgcc1_1%3a4.4.0-3ubuntu5_amd64.deb) ... Unpacking replacement libgcc1 ... Setting up libgcc1 (1:4.4.0-3ubuntu5) ... Processing triggers for libc6 ... ldconfig deferred processing now taking place (Reading database ... 9292 files and directories currently installed.) Preparing to replace gcc-4.4 4.4.0-0ubuntu5 (using .../gcc-4.4_4.4.0-3ubuntu5_amd64.deb) ... Unpacking replacement gcc-4.4 ... Preparing to replace g++-4.4 4.4.0-0ubuntu5 (using .../g++-4.4_4.4.0-3ubuntu5_amd64.deb) ... Unpacking replacement g++-4.4 ... Preparing to replace libstdc++6-4.4-dev 4.4.0-0ubuntu5 (using .../libstdc++6-4.4-dev_4.4.0-3ubuntu5_amd64.deb) ... Unpacking replacement libstdc++6-4.4-dev ... Preparing to replace libstdc++6 4.4.0-0ubuntu5 (using .../libstdc++6_4.4.0-3ubuntu5_amd64.deb) ... Unpacking replacement libstdc++6 ... Setting up libstdc++6 (4.4.0-3ubuntu5) ... Processing triggers for libc6 ... ldconfig deferred processing now taking place (Reading database ... 9293 files and directories currently installed.) Preparing to replace libmpfr1ldbl 2.4.0-1ubuntu3 (using .../libmpfr1ldbl_2.4.1-1ubuntu1_amd64.deb) ... Unpacking replacement libmpfr1ldbl ... Preparing to replace libppl-c2 0.10.1~pre13-1 (using .../libppl-c2_0.10.2-1_amd64.deb) ... Unpacking replacement libppl-c2 ... Preparing to replace libppl7 0.10.1~pre13-1 (using .../libppl7_0.10.2-1_amd64.deb) ... Unpacking replacement libppl7 ... Preparing to replace zlib1g 1:1.2.3.3.dfsg-12ubuntu2 (using .../zlib1g_1%3a1.2.3.3.dfsg-13ubuntu1_amd64.deb) ... Unpacking replacement zlib1g ... Setting up zlib1g (1:1.2.3.3.dfsg-13ubuntu1) ... Processing triggers for libc6 ... ldconfig deferred processing now taking place (Reading database ... 9293 files and directories currently installed.) Preparing to replace binutils 2.19.51.20090423-0ubuntu2 (using .../binutils_2.19.51.20090515-0ubuntu1_amd64.deb) ... Unpacking replacement binutils ... Preparing to replace findutils 4.4.0-2ubuntu4 (using .../findutils_4.4.1-1ubuntu3_amd64.deb) ... Unpacking replacement findutils ... Setting up findutils (4.4.1-1ubuntu3) ... (Reading database ... 9293 files and directories currently installed.) Preparing to replace libc6 2.9-4ubuntu6 (using .../libc6_2.9-9ubuntu1_amd64.deb) ... Checking for services that may need to be restarted... Checking init scripts... Unpacking replacement libc6 ... Setting up libc6 (2.9-9ubuntu1) ... Installing new version of config file /etc/init.d/glibc.sh ... Checking for services that may need to be restarted... Checking init scripts... Nothing to restart. Processing triggers for libc6 ... ldconfig deferred processing now taking place (Reading database ... 9293 files and directories currently installed.) Preparing to replace libselinux1 2.0.65-5build1 (using .../libselinux1_2.0.71-1_amd64.deb) ... Unpacking replacement libselinux1 ... Setting up libselinux1 (2.0.71-1) ... Processing triggers for libc6 ... ldconfig deferred processing now taking place (Reading database ... 9293 files and directories currently installed.) Preparing to replace passwd 1:4.1.1-6ubuntu6 (using .../passwd_1%3a4.1.3.1-1ubuntu1_amd64.deb) ... Unpacking replacement passwd ... Setting up passwd (1:4.1.3.1-1ubuntu1) ... (Reading database ... 9289 files and directories currently installed.) Preparing to replace libuuid1 1.41.5-1ubuntu1 (using .../libuuid1_1.41.5-1ubuntu3_amd64.deb) ... Unpacking replacement libuuid1 ... Setting up libuuid1 (1.41.5-1ubuntu3) ... Processing triggers for libc6 ... ldconfig deferred processing now taking place (Reading database ... 9289 files and directories currently installed.) Preparing to replace libblkid1 1.41.5-1ubuntu1 (using .../libblkid1_2.15-1ubuntu2_amd64.deb) ... Unpacking replacement libblkid1 ... Setting up libblkid1 (2.15-1ubuntu2) ... Processing triggers for libc6 ... ldconfig deferred processing now taking place (Reading database ... 9292 files and directories currently installed.) Preparing to replace e2fsprogs 1.41.5-1ubuntu1 (using .../e2fsprogs_1.41.5-1ubuntu3_amd64.deb) ... Unpacking replacement e2fsprogs ... Setting up e2fsprogs (1.41.5-1ubuntu3) ... (Reading database ... 9286 files and directories currently installed.) Preparing to replace login 1:4.1.1-6ubuntu6 (using .../login_1%3a4.1.3.1-1ubuntu1_amd64.deb) ... Unpacking replacement login ... Setting up login (1:4.1.3.1-1ubuntu1) ... Installing new version of config file /etc/pam.d/login ... Installing new version of config file /etc/login.defs ... Installing new version of config file /etc/securetty ... (Reading database ... 9283 files and directories currently installed.) Preparing to replace libsepol1 2.0.30-2ubuntu1 (using .../libsepol1_2.0.32-1ubuntu1_amd64.deb) ... Unpacking replacement libsepol1 ... Setting up libsepol1 (2.0.32-1ubuntu1) ... Processing triggers for libc6 ... ldconfig deferred processing now taking place (Reading database ... 9283 files and directories currently installed.) Preparing to replace mount 2.14.2-1ubuntu4 (using .../mount_2.15-1ubuntu2_amd64.deb) ... Unpacking replacement mount ... Setting up mount (2.15-1ubuntu2) ... (Reading database ... 9283 files and directories currently installed.) Preparing to replace ncurses-bin 5.7+20090207-1ubuntu1 (using .../ncurses-bin_5.7+20090502-1ubuntu1_amd64.deb) ... Unpacking replacement ncurses-bin ... Setting up ncurses-bin (5.7+20090502-1ubuntu1) ... (Reading database ... 9283 files and directories currently installed.) Preparing to replace sed 4.1.5-8 (using .../archives/sed_4.2-1_amd64.deb) ... Unpacking replacement sed ... Setting up sed (4.2-1) ... (Reading database ... 9281 files and directories currently installed.) Preparing to replace tar 1.20-1 (using .../archives/tar_1.22-1_amd64.deb) ... Unpacking replacement tar ... Setting up tar (1.22-1) ... (Reading database ... 9281 files and directories currently installed.) Preparing to replace util-linux 2.14.2-1ubuntu4 (using .../util-linux_2.15-1ubuntu2_amd64.deb) ... Unpacking replacement util-linux ... Setting up util-linux (2.15-1ubuntu2) ... (Reading database ... 9290 files and directories currently installed.) Preparing to replace bsdutils 1:2.14.2-1ubuntu4 (using .../bsdutils_1%3a2.15-1ubuntu2_amd64.deb) ... Unpacking replacement bsdutils ... Setting up bsdutils (1:2.15-1ubuntu2) ... (Reading database ... 9290 files and directories currently installed.) Preparing to replace libncurses5 5.7+20090207-1ubuntu1 (using .../libncurses5_5.7+20090502-1ubuntu1_amd64.deb) ... Unpacking replacement libncurses5 ... Setting up libncurses5 (5.7+20090502-1ubuntu1) ... Processing triggers for libc6 ... ldconfig deferred processing now taking place (Reading database ... 9290 files and directories currently installed.) Preparing to replace ncurses-base 5.7+20090207-1ubuntu1 (using .../ncurses-base_5.7+20090502-1ubuntu1_all.deb) ... Unpacking replacement ncurses-base ... Setting up ncurses-base (5.7+20090502-1ubuntu1) ... (Reading database ... 9290 files and directories currently installed.) Preparing to replace libcomerr2 1.41.5-1ubuntu1 (using .../libcomerr2_1.41.5-1ubuntu3_amd64.deb) ... Unpacking replacement libcomerr2 ... Setting up libcomerr2 (1.41.5-1ubuntu3) ... Processing triggers for libc6 ... ldconfig deferred processing now taking place (Reading database ... 9290 files and directories currently installed.) Preparing to replace e2fslibs 1.41.5-1ubuntu1 (using .../e2fslibs_1.41.5-1ubuntu3_amd64.deb) ... Unpacking replacement e2fslibs ... Setting up e2fslibs (1.41.5-1ubuntu3) ... Processing triggers for libc6 ... ldconfig deferred processing now taking place (Reading database ... 9290 files and directories currently installed.) Preparing to replace libslang2 2.1.3-3ubuntu3 (using .../libslang2_2.1.4-3_amd64.deb) ... Unpacking replacement libslang2 ... Setting up libslang2 (2.1.4-3) ... Processing triggers for libc6 ... ldconfig deferred processing now taking place (Reading database ... 9293 files and directories currently installed.) Preparing to replace libss2 1.41.5-1ubuntu1 (using .../libss2_1.41.5-1ubuntu3_amd64.deb) ... Unpacking replacement libss2 ... Setting up libss2 (1.41.5-1ubuntu3) ... Processing triggers for libc6 ... ldconfig deferred processing now taking place (Reading database ... 9293 files and directories currently installed.) Preparing to replace libvolume-id1 141-1 (using .../libvolume-id1_141-1.1_amd64.deb) ... Unpacking replacement libvolume-id1 ... Setting up libvolume-id1 (141-1.1) ... (Reading database ... 9293 files and directories currently installed.) Preparing to replace cpio 2.9-15ubuntu1 (using .../cpio_2.9.90-3ubuntu1_amd64.deb) ... Unpacking replacement cpio ... Preparing to replace pkg-create-dbgsym 0.26 (using .../pkg-create-dbgsym_0.27_all.deb) ... Unpacking replacement pkg-create-dbgsym ... Preparing to replace pkgbinarymangler 57 (using .../pkgbinarymangler_58_all.deb) ... Unpacking replacement pkgbinarymangler ... Setting up linux-libc-dev (2.6.30-6.7) ... Setting up libc6-dev (2.9-9ubuntu1) ... Setting up libgomp1 (4.4.0-3ubuntu5) ... Setting up libmpfr1ldbl (2.4.1-1ubuntu1) ... Setting up libppl7 (0.10.2-1) ... Setting up libppl-c2 (0.10.2-1) ... Setting up cpp-4.4 (4.4.0-3ubuntu5) ... Setting up binutils (2.19.51.20090515-0ubuntu1) ... Setting up gcc-4.4 (4.4.0-3ubuntu5) ... Setting up cpio (2.9.90-3ubuntu1) ... Setting up pkg-create-dbgsym (0.27) ... Setting up pkgbinarymangler (58) ... Setting up libstdc++6-4.4-dev (4.4.0-3ubuntu5) ... Setting up g++-4.4 (4.4.0-3ubuntu5) ... Processing triggers for libc6 ... ldconfig deferred processing now taking place RUN: /usr/share/launchpad-buildd/slavebin/sbuild-package ['sbuild-package', '1046783-2283433', '--nolog', '--batch', '--archive=ubuntu', '--purpose=PRIMARY', '--dist=karmic', '--comp=universe', 'eprover_1.0.004-1ubuntu1.dsc'] Initiating build Automatic build of eprover_1.0.004-1ubuntu1 on yellow by sbuild/amd64 1.170.5 Build started at 20090527-2322 ****************************************************************************** eprover_1.0.004-1ubuntu1.dsc exists in cwd ** Using build dependencies supplied by package: Build-Depends: debhelper (>= 7), autotools-dev, sed (>= 4.1), mawk (>= 1.3) | gawk (>= 3.1) | awk Build-Depends-Indep: tex4ht, texlive-latex-base, texlive-latex-extra, dvipng Checking for already installed source dependencies... debhelper: missing autotools-dev: missing sed: already installed (4.2-1 >= 4.1 is satisfied) mawk: already installed (1.3.3-14ubuntu1 >= 1.3 is satisfied) Checking for source dependency conflicts... /usr/bin/sudo /usr/bin/apt-get --purge $CHROOT_OPTIONS -q -y install debhelper autotools-dev Reading package lists... Building dependency tree... Reading state information... The following packages were automatically installed and are no longer required: libvolume-id1 Use 'apt-get autoremove' to remove them. The following extra packages will be installed: bsdmainutils file gettext gettext-base groff-base html2text intltool-debian libcroco3 libglib2.0-0 libmagic1 libxml2 man-db po-debconf Suggested packages: wamerican wordlist whois vacation dh-make cvs gettext-doc groff less www-browser libmail-box-perl Recommended packages: curl wget lynx libglib2.0-data shared-mime-info xml-core libmail-sendmail-perl libcompress-zlib-perl The following NEW packages will be installed: autotools-dev bsdmainutils debhelper file gettext gettext-base groff-base html2text intltool-debian libcroco3 libglib2.0-0 libmagic1 libxml2 man-db po-debconf 0 upgraded, 15 newly installed, 0 to remove and 0 not upgraded. Need to get 0B/7707kB of archives. After this operation, 25.4MB of additional disk space will be used. WARNING: The following packages cannot be authenticated! libmagic1 file bsdmainutils gettext-base groff-base libxml2 man-db autotools-dev html2text libglib2.0-0 libcroco3 gettext intltool-debian po-debconf debhelper dpkg-preconfigure: unable to re-open stdin: Authentication warning overridden. Selecting previously deselected package libmagic1. (Reading database ... 9293 files and directories currently installed.) Unpacking libmagic1 (from .../libmagic1_5.03-1ubuntu1_amd64.deb) ... Selecting previously deselected package file. Unpacking file (from .../file_5.03-1ubuntu1_amd64.deb) ... Selecting previously deselected package bsdmainutils. Unpacking bsdmainutils (from .../bsdmainutils_6.1.10ubuntu4_amd64.deb) ... Selecting previously deselected package gettext-base. Unpacking gettext-base (from .../gettext-base_0.17-6ubuntu2_amd64.deb) ... Selecting previously deselected package groff-base. Unpacking groff-base (from .../groff-base_1.18.1.1-22build1_amd64.deb) ... Selecting previously deselected package libxml2. Unpacking libxml2 (from .../libxml2_2.6.32.dfsg-5ubuntu4_amd64.deb) ... Selecting previously deselected package man-db. Unpacking man-db (from .../man-db_2.5.5-1build1_amd64.deb) ... Selecting previously deselected package autotools-dev. Unpacking autotools-dev (from .../autotools-dev_20090427.1_all.deb) ... Selecting previously deselected package html2text. Unpacking html2text (from .../html2text_1.3.2a-14_amd64.deb) ... Selecting previously deselected package libglib2.0-0. Unpacking libglib2.0-0 (from .../libglib2.0-0_2.21.0-0ubuntu1_amd64.deb) ... Selecting previously deselected package libcroco3. Unpacking libcroco3 (from .../libcroco3_0.6.1-2_amd64.deb) ... Selecting previously deselected package gettext. Unpacking gettext (from .../gettext_0.17-6ubuntu2_amd64.deb) ... Selecting previously deselected package intltool-debian. Unpacking intltool-debian (from .../intltool-debian_0.35.0+20060710.1_all.deb) ... Selecting previously deselected package po-debconf. Unpacking po-debconf (from .../po-debconf_1.0.16_all.deb) ... Selecting previously deselected package debhelper. Unpacking debhelper (from .../debhelper_7.2.8ubuntu1_all.deb) ... Setting up libmagic1 (5.03-1ubuntu1) ... Setting up file (5.03-1ubuntu1) ... Setting up bsdmainutils (6.1.10ubuntu4) ... Setting up gettext-base (0.17-6ubuntu2) ... Setting up groff-base (1.18.1.1-22build1) ... Setting up libxml2 (2.6.32.dfsg-5ubuntu4) ... Setting up man-db (2.5.5-1build1) ... Building database of manual pages ... ... skipping, since this is a buildd Setting up autotools-dev (20090427.1) ... Setting up html2text (1.3.2a-14) ... Setting up libglib2.0-0 (2.21.0-0ubuntu1) ... Setting up libcroco3 (0.6.1-2) ... Setting up gettext (0.17-6ubuntu2) ... Setting up intltool-debian (0.35.0+20060710.1) ... Setting up po-debconf (1.0.16) ... Setting up debhelper (7.2.8ubuntu1) ... Processing triggers for libc6 ... ldconfig deferred processing now taking place Checking correctness of source dependencies... Toolchain package versions: libc6-dev_2.9-9ubuntu1 make_3.81-5 dpkg-dev_1.14.24ubuntu2 g++-4.4_4.4.0-3ubuntu5 gcc-4.4_4.4.0-3ubuntu5 binutils_2.19.51.20090515-0ubuntu1 libstdc++6_4.4.0-3ubuntu5 libstdc++6-4.4-dev_4.4.0-3ubuntu5 ------------------------------------------------------------------------------ sh: gcc: not found dpkg-source: warning: Couldn't determine gcc system type, falling back to default (native compilation) gpg: Signature made Wed May 27 23:19:39 2009 BST using RSA key ID D7285BF3 gpg: Can't check signature: public key not found dpkg-source: extracting eprover in eprover-1.0.004 dpkg-source: unpacking eprover_1.0.004.orig.tar.gz dpkg-source: applying /home/buildd/build-1046783-2283433/eprover_1.0.004-1ubuntu1.diff.gz dpkg-buildpackage: set CFLAGS to default value: -g -O2 dpkg-buildpackage: set CPPFLAGS to default value: dpkg-buildpackage: set LDFLAGS to default value: -Wl,-Bsymbolic-functions dpkg-buildpackage: set FFLAGS to default value: -g -O2 dpkg-buildpackage: set CXXFLAGS to default value: -g -O2 dpkg-buildpackage: source package eprover dpkg-buildpackage: source version 1.0.004-1ubuntu1 dpkg-buildpackage: host architecture amd64 /usr/bin/fakeroot debian/rules clean dh_testdir dh_testroot rm -f build-stamp-arch build-stamp-indep # Add here commands to clean up after the build process. [ ! -f Makefile ] || /usr/bin/make cleandist make[1]: Entering directory `/build/buildd/eprover-1.0.004' for subdir in BASICS INOUT TERMS ORDERINGS CLAUSES PROPOSITIONAL LEARN ANALYSIS PCL2 HEURISTICS CONTROL PROVER TEST SIMPLE_APPS EXTERNAL DOC; do\ make -C $subdir clean ; \ done; make[2]: Entering directory `/build/buildd/eprover-1.0.004/BASICS' Removed compiled files make[2]: Leaving directory `/build/buildd/eprover-1.0.004/BASICS' make[2]: Entering directory `/build/buildd/eprover-1.0.004/INOUT' Removed compiled files make[2]: Leaving directory `/build/buildd/eprover-1.0.004/INOUT' make[2]: Entering directory `/build/buildd/eprover-1.0.004/TERMS' Removed compiled files make[2]: Leaving directory `/build/buildd/eprover-1.0.004/TERMS' make[2]: Entering directory `/build/buildd/eprover-1.0.004/ORDERINGS' Removed compiled files make[2]: Leaving directory `/build/buildd/eprover-1.0.004/ORDERINGS' make[2]: Entering directory `/build/buildd/eprover-1.0.004/CLAUSES' Removed compiled files make[2]: Leaving directory `/build/buildd/eprover-1.0.004/CLAUSES' make[2]: Entering directory `/build/buildd/eprover-1.0.004/PROPOSITIONAL' Removed compiled files make[2]: Leaving directory `/build/buildd/eprover-1.0.004/PROPOSITIONAL' make[2]: Entering directory `/build/buildd/eprover-1.0.004/LEARN' Removed compiled files make[2]: Leaving directory `/build/buildd/eprover-1.0.004/LEARN' make[2]: Entering directory `/build/buildd/eprover-1.0.004/ANALYSIS' Removed compiled files make[2]: Leaving directory `/build/buildd/eprover-1.0.004/ANALYSIS' make[2]: Entering directory `/build/buildd/eprover-1.0.004/PCL2' Removed compiled files make[2]: Leaving directory `/build/buildd/eprover-1.0.004/PCL2' make[2]: Entering directory `/build/buildd/eprover-1.0.004/HEURISTICS' Removed compiled files make[2]: Leaving directory `/build/buildd/eprover-1.0.004/HEURISTICS' make[2]: Entering directory `/build/buildd/eprover-1.0.004/CONTROL' Removed compiled files make[2]: Leaving directory `/build/buildd/eprover-1.0.004/CONTROL' make[2]: Entering directory `/build/buildd/eprover-1.0.004/PROVER' Removed compiled files make[2]: Leaving directory `/build/buildd/eprover-1.0.004/PROVER' make[2]: Entering directory `/build/buildd/eprover-1.0.004/TEST' rm *.o *.a cl_test patterntest Removed compiled files make[2]: Leaving directory `/build/buildd/eprover-1.0.004/TEST' make[2]: Entering directory `/build/buildd/eprover-1.0.004/SIMPLE_APPS' Removed compiled files make[2]: Leaving directory `/build/buildd/eprover-1.0.004/SIMPLE_APPS' make[2]: Entering directory `/build/buildd/eprover-1.0.004/EXTERNAL' Removed compiled files make[2]: Leaving directory `/build/buildd/eprover-1.0.004/EXTERNAL' make[2]: Entering directory `/build/buildd/eprover-1.0.004/DOC' Removed compiled files # added for tex4ht rm -rf html rm -f *.4tc *.4ct *.lg *.idv *.tmp *.xref eprover*.css eprover*.html make[2]: Leaving directory `/build/buildd/eprover-1.0.004/DOC' rm -f *~ */*~ Makefile.cfg */*.d make[1]: Leaving directory `/build/buildd/eprover-1.0.004' rm -f config.sub config.guess dh_clean debian/rules build dh_testdir # Add here commands to configure the package. cp -f /usr/share/misc/config.sub config.sub cp -f /usr/share/misc/config.guess config.guess #CFLAGS="-g -O2" ./configure --build x86_64-linux-gnu --prefix=/usr CFLAGS="-g -O2" ./configure --prefix=/usr Configuring with executable path /usr/bin make[1]: Entering directory `/build/buildd/eprover-1.0.004' make[1]: Nothing to be done for `config'. make[1]: Leaving directory `/build/buildd/eprover-1.0.004' dh_testdir # Add here commands to compile the package. /usr/bin/make make[1]: Entering directory `/build/buildd/eprover-1.0.004' for subdir in BASICS INOUT TERMS ORDERINGS CLAUSES PROPOSITIONAL LEARN ANALYSIS PCL2 HEURISTICS CONTROL PROVER TEST SIMPLE_APPS EXTERNAL; do\ make -C $subdir all ; \ done; make[2]: Entering directory `/build/buildd/eprover-1.0.004/BASICS' ../Makefile.vars:177: clb_ddarrays.d: No such file or directory ../Makefile.vars:177: clb_dstacks.d: No such file or directory ../Makefile.vars:177: clb_dstrings.d: No such file or directory ../Makefile.vars:177: clb_error.d: No such file or directory ../Makefile.vars:177: clb_fixdarrays.d: No such file or directory ../Makefile.vars:177: clb_floattrees.d: No such file or directory ../Makefile.vars:177: clb_intmap.d: No such file or directory ../Makefile.vars:177: clb_memory.d: No such file or directory ../Makefile.vars:177: clb_newmem.d: No such file or directory ../Makefile.vars:177: clb_numtrees.d: No such file or directory ../Makefile.vars:177: clb_objtrees.d: No such file or directory ../Makefile.vars:177: clb_os_wrapper.d: No such file or directory ../Makefile.vars:177: clb_partial_orderings.d: No such file or directory ../Makefile.vars:177: clb_pdarrays.d: No such file or directory ../Makefile.vars:177: clb_plist.d: No such file or directory ../Makefile.vars:177: clb_pqueue.d: No such file or directory ../Makefile.vars:177: clb_pstacks.d: No such file or directory ../Makefile.vars:177: clb_ptrees.d: No such file or directory ../Makefile.vars:177: clb_quadtrees.d: No such file or directory ../Makefile.vars:177: clb_simple_stuff.d: No such file or directory ../Makefile.vars:177: clb_stringtrees.d: No such file or directory ../Makefile.vars:177: clb_sysdate.d: No such file or directory ../Makefile.vars:177: clb_verbose.d: No such file or directory Computing dependencies for clb_verbose.c Computing dependencies for clb_sysdate.c Computing dependencies for clb_stringtrees.c Computing dependencies for clb_simple_stuff.c Computing dependencies for clb_quadtrees.c Computing dependencies for clb_ptrees.c Computing dependencies for clb_pstacks.c Computing dependencies for clb_pqueue.c Computing dependencies for clb_plist.c Computing dependencies for clb_pdarrays.c Computing dependencies for clb_partial_orderings.c Computing dependencies for clb_os_wrapper.c Computing dependencies for clb_objtrees.c Computing dependencies for clb_numtrees.c Computing dependencies for clb_newmem.c Computing dependencies for clb_memory.c Computing dependencies for clb_intmap.c Computing dependencies for clb_floattrees.c Computing dependencies for clb_fixdarrays.c Computing dependencies for clb_error.c Computing dependencies for clb_dstrings.c Computing dependencies for clb_dstacks.c Computing dependencies for clb_ddarrays.c make[2]: Leaving directory `/build/buildd/eprover-1.0.004/BASICS' make[2]: Entering directory `/build/buildd/eprover-1.0.004/BASICS' gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o clb_error.o clb_error.c clb_error.c: In function 'InitError': clb_error.c:220: warning: format not a string literal and no format arguments clb_error.c:221: warning: format not a string literal and no format arguments gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o clb_memory.o clb_memory.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o clb_os_wrapper.o clb_os_wrapper.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o clb_dstrings.o clb_dstrings.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o clb_verbose.o clb_verbose.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o clb_stringtrees.o clb_stringtrees.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o clb_numtrees.o clb_numtrees.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o clb_floattrees.o clb_floattrees.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o clb_pstacks.o clb_pstacks.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o clb_pqueue.o clb_pqueue.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o clb_dstacks.o clb_dstacks.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o clb_ptrees.o clb_ptrees.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o clb_quadtrees.o clb_quadtrees.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o clb_objtrees.o clb_objtrees.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o clb_fixdarrays.o clb_fixdarrays.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o clb_plist.o clb_plist.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o clb_pdarrays.o clb_pdarrays.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o clb_ddarrays.o clb_ddarrays.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o clb_sysdate.o clb_sysdate.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o clb_intmap.o clb_intmap.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o clb_simple_stuff.o clb_simple_stuff.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o clb_partial_orderings.o clb_partial_orderings.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_floattrees.o clb_pstacks.o clb_pqueue.o clb_dstacks.o clb_ptrees.o clb_quadtrees.o clb_objtrees.o clb_fixdarrays.o clb_plist.o clb_pdarrays.o clb_ddarrays.o clb_sysdate.o clb_intmap.o clb_simple_stuff.o clb_partial_orderings.o make[2]: Leaving directory `/build/buildd/eprover-1.0.004/BASICS' make[2]: Entering directory `/build/buildd/eprover-1.0.004/INOUT' ../Makefile.vars:177: cio_basicparser.d: No such file or directory ../Makefile.vars:177: cio_commandline.d: No such file or directory ../Makefile.vars:177: cio_fileops.d: No such file or directory ../Makefile.vars:177: cio_filevars.d: No such file or directory ../Makefile.vars:177: cio_initio.d: No such file or directory ../Makefile.vars:177: cio_output.d: No such file or directory ../Makefile.vars:177: cio_scanner.d: No such file or directory ../Makefile.vars:177: cio_signals.d: No such file or directory ../Makefile.vars:177: cio_streams.d: No such file or directory ../Makefile.vars:177: cio_tempfile.d: No such file or directory Computing dependencies for cio_tempfile.c Computing dependencies for cio_streams.c Computing dependencies for cio_signals.c Computing dependencies for cio_scanner.c Computing dependencies for cio_output.c Computing dependencies for cio_initio.c Computing dependencies for cio_filevars.c Computing dependencies for cio_fileops.c Computing dependencies for cio_commandline.c Computing dependencies for cio_basicparser.c make[2]: Leaving directory `/build/buildd/eprover-1.0.004/INOUT' make[2]: Entering directory `/build/buildd/eprover-1.0.004/INOUT' gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cio_output.o cio_output.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cio_fileops.o cio_fileops.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cio_streams.o cio_streams.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cio_initio.o cio_initio.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cio_scanner.o cio_scanner.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cio_basicparser.o cio_basicparser.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cio_commandline.o cio_commandline.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cio_filevars.o cio_filevars.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cio_tempfile.o cio_tempfile.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cio_signals.o cio_signals.c ar -rcs INOUT.a cio_output.o cio_fileops.o cio_streams.o cio_initio.o cio_scanner.o cio_basicparser.o cio_commandline.o cio_filevars.o cio_tempfile.o cio_signals.o make[2]: Leaving directory `/build/buildd/eprover-1.0.004/INOUT' make[2]: Entering directory `/build/buildd/eprover-1.0.004/TERMS' ../Makefile.vars:177: cte_acterms.d: No such file or directory ../Makefile.vars:177: cte_functypes.d: No such file or directory ../Makefile.vars:177: cte_match_mgu_1-1.d: No such file or directory ../Makefile.vars:177: cte_replace.d: No such file or directory ../Makefile.vars:177: cte_signature.d: No such file or directory ../Makefile.vars:177: cte_simplesorts.d: No such file or directory ../Makefile.vars:177: cte_subst.d: No such file or directory ../Makefile.vars:177: cte_termbanks.d: No such file or directory ../Makefile.vars:177: cte_termcellstore.d: No such file or directory ../Makefile.vars:177: cte_termcpos.d: No such file or directory ../Makefile.vars:177: cte_termfunc.d: No such file or directory ../Makefile.vars:177: cte_termpos.d: No such file or directory ../Makefile.vars:177: cte_termtrees.d: No such file or directory ../Makefile.vars:177: cte_termtypes.d: No such file or directory ../Makefile.vars:177: cte_termvars.d: No such file or directory ../Makefile.vars:177: cte_varhash.d: No such file or directory Computing dependencies for cte_varhash.c Computing dependencies for cte_termvars.c Computing dependencies for cte_termtypes.c Computing dependencies for cte_termtrees.c Computing dependencies for cte_termpos.c Computing dependencies for cte_termfunc.c Computing dependencies for cte_termcpos.c Computing dependencies for cte_termcellstore.c Computing dependencies for cte_termbanks.c Computing dependencies for cte_subst.c Computing dependencies for cte_simplesorts.c Computing dependencies for cte_signature.c Computing dependencies for cte_replace.c Computing dependencies for cte_match_mgu_1-1.c Computing dependencies for cte_functypes.c Computing dependencies for cte_acterms.c make[2]: Leaving directory `/build/buildd/eprover-1.0.004/TERMS' make[2]: Entering directory `/build/buildd/eprover-1.0.004/TERMS' gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cte_simplesorts.o cte_simplesorts.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cte_functypes.o cte_functypes.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cte_signature.o cte_signature.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cte_termtypes.o cte_termtypes.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cte_termvars.o cte_termvars.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cte_acterms.o cte_acterms.c cte_acterms.c: In function 'ACTermPrint': cte_acterms.c:315: warning: format not a string literal and no format arguments gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cte_varhash.o cte_varhash.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cte_termfunc.o cte_termfunc.c cte_termfunc.c: In function 'TermPrint': cte_termfunc.c:229: warning: format not a string literal and no format arguments gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cte_termtrees.o cte_termtrees.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cte_termcellstore.o cte_termcellstore.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cte_termbanks.o cte_termbanks.c cte_termbanks.c: In function 'tb_print_dag': cte_termbanks.c:96: warning: format not a string literal and no format arguments cte_termbanks.c: In function 'TBPrintTermCompact': cte_termbanks.c:788: warning: format not a string literal and no format arguments gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cte_subst.o cte_subst.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cte_termpos.o cte_termpos.c cte_termpos.c: In function 'TermPosDebugPrint': cte_termpos.c:116: warning: cast from pointer to integer of different size gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cte_termcpos.o cte_termcpos.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cte_replace.o cte_replace.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cte_match_mgu_1-1.o cte_match_mgu_1-1.c ar -rcs TERMS.a cte_simplesorts.o cte_functypes.o cte_signature.o cte_termtypes.o cte_termvars.o cte_acterms.o cte_varhash.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 make[2]: Leaving directory `/build/buildd/eprover-1.0.004/TERMS' make[2]: Entering directory `/build/buildd/eprover-1.0.004/ORDERINGS' ../Makefile.vars:177: cto_cmpcache.d: No such file or directory ../Makefile.vars:177: cto_kbo.d: No such file or directory ../Makefile.vars:177: cto_lpo.d: No such file or directory ../Makefile.vars:177: cto_lpo_debug.d: No such file or directory ../Makefile.vars:177: cto_ocb.d: No such file or directory ../Makefile.vars:177: cto_orderings.d: No such file or directory Computing dependencies for cto_orderings.c Computing dependencies for cto_ocb.c Computing dependencies for cto_lpo_debug.c Computing dependencies for cto_lpo.c Computing dependencies for cto_kbo.c Computing dependencies for cto_cmpcache.c make[2]: Leaving directory `/build/buildd/eprover-1.0.004/ORDERINGS' make[2]: Entering directory `/build/buildd/eprover-1.0.004/ORDERINGS' gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cto_ocb.o cto_ocb.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cto_cmpcache.o cto_cmpcache.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cto_lpo.o cto_lpo.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cto_kbo.o cto_kbo.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -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_orderings.o make[2]: Leaving directory `/build/buildd/eprover-1.0.004/ORDERINGS' make[2]: Entering directory `/build/buildd/eprover-1.0.004/CLAUSES' ../Makefile.vars:177: ccl_clausefunc.d: No such file or directory ../Makefile.vars:177: ccl_clauseinfo.d: No such file or directory ../Makefile.vars:177: ccl_clausepos.d: No such file or directory ../Makefile.vars:177: ccl_clauses.d: No such file or directory ../Makefile.vars:177: ccl_clausesets.d: No such file or directory ../Makefile.vars:177: ccl_context_sr.d: No such file or directory ../Makefile.vars:177: ccl_def_handling.d: No such file or directory ../Makefile.vars:177: ccl_eqn.d: No such file or directory ../Makefile.vars:177: ccl_eqnlist.d: No such file or directory ../Makefile.vars:177: ccl_eqnresolution.d: No such file or directory ../Makefile.vars:177: ccl_evaluations.d: No such file or directory ../Makefile.vars:177: ccl_factor.d: No such file or directory ../Makefile.vars:177: ccl_fcvindexing.d: No such file or directory ../Makefile.vars:177: ccl_formula_wrapper.d: No such file or directory ../Makefile.vars:177: ccl_formulafunc.d: No such file or directory ../Makefile.vars:177: ccl_freqvectors.d: No such file or directory ../Makefile.vars:177: ccl_g_lithash.d: No such file or directory ../Makefile.vars:177: ccl_groundconstr.d: No such file or directory ../Makefile.vars:177: ccl_grounding.d: No such file or directory ../Makefile.vars:177: ccl_inferencedoc.d: No such file or directory ../Makefile.vars:177: ccl_neweval.d: No such file or directory ../Makefile.vars:177: ccl_paramod.d: No such file or directory ../Makefile.vars:177: ccl_pdtrees.d: No such file or directory ../Makefile.vars:177: ccl_proofstate.d: No such file or directory ../Makefile.vars:177: ccl_propclauses.d: No such file or directory ../Makefile.vars:177: ccl_rewrite.d: No such file or directory ../Makefile.vars:177: ccl_splitting.d: No such file or directory ../Makefile.vars:177: ccl_subsumption.d: No such file or directory ../Makefile.vars:177: ccl_tautologies.d: No such file or directory ../Makefile.vars:177: ccl_tcnf.d: No such file or directory ../Makefile.vars:177: ccl_tformulae.d: No such file or directory ../Makefile.vars:177: ccl_unfold_defs.d: No such file or directory ../Makefile.vars:177: ccl_unit_simplify.d: No such file or directory Computing dependencies for ccl_unit_simplify.c Computing dependencies for ccl_unfold_defs.c Computing dependencies for ccl_tformulae.c Computing dependencies for ccl_tcnf.c Computing dependencies for ccl_tautologies.c Computing dependencies for ccl_subsumption.c Computing dependencies for ccl_splitting.c Computing dependencies for ccl_rewrite.c Computing dependencies for ccl_propclauses.c Computing dependencies for ccl_proofstate.c Computing dependencies for ccl_pdtrees.c Computing dependencies for ccl_paramod.c Computing dependencies for ccl_neweval.c Computing dependencies for ccl_inferencedoc.c Computing dependencies for ccl_grounding.c Computing dependencies for ccl_groundconstr.c Computing dependencies for ccl_g_lithash.c Computing dependencies for ccl_freqvectors.c Computing dependencies for ccl_formulafunc.c Computing dependencies for ccl_formula_wrapper.c Computing dependencies for ccl_fcvindexing.c Computing dependencies for ccl_factor.c Computing dependencies for ccl_evaluations.c Computing dependencies for ccl_eqnresolution.c Computing dependencies for ccl_eqnlist.c Computing dependencies for ccl_eqn.c Computing dependencies for ccl_def_handling.c Computing dependencies for ccl_context_sr.c Computing dependencies for ccl_clausesets.c Computing dependencies for ccl_clauses.c Computing dependencies for ccl_clausepos.c Computing dependencies for ccl_clauseinfo.c Computing dependencies for ccl_clausefunc.c make[2]: Leaving directory `/build/buildd/eprover-1.0.004/CLAUSES' make[2]: Entering directory `/build/buildd/eprover-1.0.004/CLAUSES' gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_evaluations.o ccl_evaluations.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_eqn.o ccl_eqn.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_eqnlist.o ccl_eqnlist.c ccl_eqnlist.c: In function 'EqnListPrint': ccl_eqnlist.c:1102: warning: format not a string literal and no format arguments ccl_eqnlist.c: In function 'EqnListTSTPPrint': ccl_eqnlist.c:1131: warning: format not a string literal and no format arguments gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_clauseinfo.o ccl_clauseinfo.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_clauses.o ccl_clauses.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_tformulae.o ccl_tformulae.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_formula_wrapper.o ccl_formula_wrapper.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_tcnf.o ccl_tcnf.c ccl_tcnf.c:395: warning: 'collect_applied_defs' defined but not used gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_propclauses.o ccl_propclauses.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_tautologies.o ccl_tautologies.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_clausepos.o ccl_clausepos.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_pdtrees.o ccl_pdtrees.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_freqvectors.o ccl_freqvectors.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_fcvindexing.o ccl_fcvindexing.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_clausesets.o ccl_clausesets.c ccl_clausesets.c: In function 'print_var_pattern': ccl_clausesets.c:63: warning: format not a string literal and no format arguments ccl_clausesets.c:66: warning: format not a string literal and no format arguments gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_unfold_defs.o ccl_unfold_defs.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_clausefunc.o ccl_clausefunc.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_formulafunc.o ccl_formulafunc.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_groundconstr.o ccl_groundconstr.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_grounding.o ccl_grounding.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_g_lithash.o ccl_g_lithash.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_inferencedoc.o ccl_inferencedoc.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_paramod.o ccl_paramod.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_factor.o ccl_factor.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_eqnresolution.o ccl_eqnresolution.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_rewrite.o ccl_rewrite.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_unit_simplify.o ccl_unit_simplify.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_subsumption.o ccl_subsumption.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_context_sr.o ccl_context_sr.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_def_handling.o ccl_def_handling.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_splitting.o ccl_splitting.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ccl_proofstate.o ccl_proofstate.c ar -rcs CLAUSES.a ccl_evaluations.o ccl_eqn.o ccl_eqnlist.o ccl_clauseinfo.o ccl_clauses.o ccl_tformulae.o ccl_formula_wrapper.o ccl_tcnf.o ccl_propclauses.o ccl_tautologies.o ccl_clausepos.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_inferencedoc.o ccl_paramod.o ccl_factor.o ccl_eqnresolution.o ccl_rewrite.o ccl_unit_simplify.o ccl_subsumption.o ccl_context_sr.o ccl_def_handling.o ccl_splitting.o ccl_proofstate.o make[2]: Leaving directory `/build/buildd/eprover-1.0.004/CLAUSES' make[2]: Entering directory `/build/buildd/eprover-1.0.004/PROPOSITIONAL' ../Makefile.vars:177: cpr_dpll.d: No such file or directory ../Makefile.vars:177: cpr_dpllformula.d: No such file or directory ../Makefile.vars:177: cpr_propclauses.d: No such file or directory ../Makefile.vars:177: cpr_propsig.d: No such file or directory ../Makefile.vars:177: cpr_varset.d: No such file or directory Computing dependencies for cpr_varset.c Computing dependencies for cpr_propsig.c Computing dependencies for cpr_propclauses.c Computing dependencies for cpr_dpllformula.c Computing dependencies for cpr_dpll.c make[2]: Leaving directory `/build/buildd/eprover-1.0.004/PROPOSITIONAL' make[2]: Entering directory `/build/buildd/eprover-1.0.004/PROPOSITIONAL' gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cpr_propsig.o cpr_propsig.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cpr_varset.o cpr_varset.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cpr_propclauses.o cpr_propclauses.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cpr_dpllformula.o cpr_dpllformula.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -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[2]: Leaving directory `/build/buildd/eprover-1.0.004/PROPOSITIONAL' make[2]: Entering directory `/build/buildd/eprover-1.0.004/LEARN' ../Makefile.vars:177: cle_annotations.d: No such file or directory ../Makefile.vars:177: cle_annoterms.d: No such file or directory ../Makefile.vars:177: cle_classification.d: No such file or directory ../Makefile.vars:177: cle_clauseenc.d: No such file or directory ../Makefile.vars:177: cle_examplerep.d: No such file or directory ../Makefile.vars:177: cle_flatannoterms.d: No such file or directory ../Makefile.vars:177: cle_indexfunctions.d: No such file or directory ../Makefile.vars:177: cle_kbdesc.d: No such file or directory ../Makefile.vars:177: cle_kbinsert.d: No such file or directory ../Makefile.vars:177: cle_numfeatures.d: No such file or directory ../Makefile.vars:177: cle_patterns.d: No such file or directory ../Makefile.vars:177: cle_termtops.d: No such file or directory ../Makefile.vars:177: cle_tsm.d: No such file or directory ../Makefile.vars:177: cle_tsmio.d: No such file or directory Computing dependencies for cle_tsmio.c Computing dependencies for cle_tsm.c Computing dependencies for cle_termtops.c Computing dependencies for cle_patterns.c Computing dependencies for cle_numfeatures.c Computing dependencies for cle_kbinsert.c Computing dependencies for cle_kbdesc.c Computing dependencies for cle_indexfunctions.c Computing dependencies for cle_flatannoterms.c Computing dependencies for cle_examplerep.c Computing dependencies for cle_clauseenc.c Computing dependencies for cle_classification.c Computing dependencies for cle_annoterms.c Computing dependencies for cle_annotations.c make[2]: Leaving directory `/build/buildd/eprover-1.0.004/LEARN' make[2]: Entering directory `/build/buildd/eprover-1.0.004/LEARN' gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cle_patterns.o cle_patterns.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cle_clauseenc.o cle_clauseenc.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cle_annotations.o cle_annotations.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cle_annoterms.o cle_annoterms.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cle_flatannoterms.o cle_flatannoterms.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cle_numfeatures.o cle_numfeatures.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cle_examplerep.o cle_examplerep.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cle_kbdesc.o cle_kbdesc.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cle_kbinsert.o cle_kbinsert.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cle_termtops.o cle_termtops.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cle_indexfunctions.o cle_indexfunctions.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cle_tsm.o cle_tsm.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cle_classification.o cle_classification.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -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[2]: Leaving directory `/build/buildd/eprover-1.0.004/LEARN' make[2]: Entering directory `/build/buildd/eprover-1.0.004/ANALYSIS' ../Makefile.vars:177: can_clausestats.d: No such file or directory ../Makefile.vars:177: can_clausestore.d: No such file or directory ../Makefile.vars:177: can_infstate.d: No such file or directory ../Makefile.vars:177: can_treeanalyze.d: No such file or directory Computing dependencies for can_treeanalyze.c Computing dependencies for can_infstate.c Computing dependencies for can_clausestore.c Computing dependencies for can_clausestats.c make[2]: Leaving directory `/build/buildd/eprover-1.0.004/ANALYSIS' make[2]: Entering directory `/build/buildd/eprover-1.0.004/ANALYSIS' gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o can_clausestats.o can_clausestats.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o can_clausestore.o can_clausestore.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o can_infstate.o can_infstate.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o can_treeanalyze.o can_treeanalyze.c ar -rcs ANALYSIS.a can_clausestats.o can_clausestore.o can_infstate.o can_treeanalyze.o make[2]: Leaving directory `/build/buildd/eprover-1.0.004/ANALYSIS' make[2]: Entering directory `/build/buildd/eprover-1.0.004/PCL2' ../Makefile.vars:177: pcl_analysis.d: No such file or directory ../Makefile.vars:177: pcl_expressions.d: No such file or directory ../Makefile.vars:177: pcl_idents.d: No such file or directory ../Makefile.vars:177: pcl_lemmas.d: No such file or directory ../Makefile.vars:177: pcl_miniclauses.d: No such file or directory ../Makefile.vars:177: pcl_miniprotocol.d: No such file or directory ../Makefile.vars:177: pcl_ministeps.d: No such file or directory ../Makefile.vars:177: pcl_positions.d: No such file or directory ../Makefile.vars:177: pcl_proofcheck.d: No such file or directory ../Makefile.vars:177: pcl_propanalysis.d: No such file or directory ../Makefile.vars:177: pcl_protocol.d: No such file or directory ../Makefile.vars:177: pcl_steps.d: No such file or directory Computing dependencies for pcl_steps.c Computing dependencies for pcl_protocol.c Computing dependencies for pcl_propanalysis.c Computing dependencies for pcl_proofcheck.c Computing dependencies for pcl_positions.c Computing dependencies for pcl_ministeps.c Computing dependencies for pcl_miniprotocol.c Computing dependencies for pcl_miniclauses.c Computing dependencies for pcl_lemmas.c Computing dependencies for pcl_idents.c Computing dependencies for pcl_expressions.c Computing dependencies for pcl_analysis.c make[2]: Leaving directory `/build/buildd/eprover-1.0.004/PCL2' make[2]: Entering directory `/build/buildd/eprover-1.0.004/PCL2' gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o pcl_idents.o pcl_idents.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o pcl_positions.o pcl_positions.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o pcl_expressions.o pcl_expressions.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o pcl_steps.o pcl_steps.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o pcl_protocol.o pcl_protocol.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o pcl_miniclauses.o pcl_miniclauses.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o pcl_ministeps.o pcl_ministeps.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o pcl_miniprotocol.o pcl_miniprotocol.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o pcl_lemmas.o pcl_lemmas.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o pcl_analysis.o pcl_analysis.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o pcl_propanalysis.o pcl_propanalysis.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -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[2]: Leaving directory `/build/buildd/eprover-1.0.004/PCL2' make[2]: Entering directory `/build/buildd/eprover-1.0.004/HEURISTICS' ../Makefile.vars:177: che_X_____auto.d: No such file or directory ../Makefile.vars:177: che_X_____auto_0999.d: No such file or directory ../Makefile.vars:177: che_X_____auto_casc.d: No such file or directory ../Makefile.vars:177: che_X_____auto_dev.d: No such file or directory ../Makefile.vars:177: che_X_____auto_pp_opt_071.d: No such file or directory ../Makefile.vars:177: che_X_____auto_pp_opt_080.d: No such file or directory ../Makefile.vars:177: che_X_____auto_pp_opt_dev.d: No such file or directory ../Makefile.vars:177: che_auto_cases.d: No such file or directory ../Makefile.vars:177: che_axiomscan.d: No such file or directory ../Makefile.vars:177: che_clausefeatures.d: No such file or directory ../Makefile.vars:177: che_clausesetfeatures.d: No such file or directory ../Makefile.vars:177: che_clauseweight.d: No such file or directory ../Makefile.vars:177: che_fcode_featurearrays.d: No such file or directory ../Makefile.vars:177: che_fifo.d: No such file or directory ../Makefile.vars:177: che_funweights.d: No such file or directory ../Makefile.vars:177: che_hcb.d: No such file or directory ../Makefile.vars:177: che_hcbadmin.d: No such file or directory ../Makefile.vars:177: che_heuristics.d: No such file or directory ../Makefile.vars:177: che_learning.d: No such file or directory ../Makefile.vars:177: che_lifo.d: No such file or directory ../Makefile.vars:177: che_litselection.d: No such file or directory ../Makefile.vars:177: che_normsubst.d: No such file or directory ../Makefile.vars:177: che_orientweight.d: No such file or directory ../Makefile.vars:177: che_prio_funs.d: No such file or directory ../Makefile.vars:177: che_proofcontrol.d: No such file or directory ../Makefile.vars:177: che_refinedweight.d: No such file or directory ../Makefile.vars:177: che_simweight.d: No such file or directory ../Makefile.vars:177: che_to_autoselect.d: No such file or directory ../Makefile.vars:177: che_to_precgen.d: No such file or directory ../Makefile.vars:177: che_to_weightgen.d: No such file or directory ../Makefile.vars:177: che_varweights.d: No such file or directory ../Makefile.vars:177: che_wfcb.d: No such file or directory ../Makefile.vars:177: che_wfcbadmin.d: No such file or directory Computing dependencies for che_wfcbadmin.c Computing dependencies for che_wfcb.c Computing dependencies for che_varweights.c Computing dependencies for che_to_weightgen.c Computing dependencies for che_to_precgen.c Computing dependencies for che_to_autoselect.c Computing dependencies for che_simweight.c Computing dependencies for che_refinedweight.c Computing dependencies for che_proofcontrol.c Computing dependencies for che_prio_funs.c Computing dependencies for che_orientweight.c Computing dependencies for che_normsubst.c Computing dependencies for che_litselection.c Computing dependencies for che_lifo.c Computing dependencies for che_learning.c Computing dependencies for che_heuristics.c Computing dependencies for che_hcbadmin.c Computing dependencies for che_hcb.c Computing dependencies for che_funweights.c Computing dependencies for che_fifo.c Computing dependencies for che_fcode_featurearrays.c Computing dependencies for che_clauseweight.c Computing dependencies for che_clausesetfeatures.c Computing dependencies for che_clausefeatures.c Computing dependencies for che_axiomscan.c Computing dependencies for che_auto_cases.c Computing dependencies for che_X_____auto_pp_opt_dev.c Computing dependencies for che_X_____auto_pp_opt_080.c Computing dependencies for che_X_____auto_pp_opt_071.c Computing dependencies for che_X_____auto_dev.c Computing dependencies for che_X_____auto_casc.c Computing dependencies for che_X_____auto_0999.c Computing dependencies for che_X_____auto.c make[2]: Leaving directory `/build/buildd/eprover-1.0.004/HEURISTICS' make[2]: Entering directory `/build/buildd/eprover-1.0.004/HEURISTICS' gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o che_wfcb.o che_wfcb.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o che_wfcbadmin.o che_wfcbadmin.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o che_axiomscan.o che_axiomscan.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o che_clausefeatures.o che_clausefeatures.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o che_prio_funs.o che_prio_funs.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o che_clausesetfeatures.o che_clausesetfeatures.c che_clausesetfeatures.c: In function 'SpecTypePrint': che_clausesetfeatures.c:1432: warning: format not a string literal and no format arguments gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o che_clauseweight.o che_clauseweight.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o che_refinedweight.o che_refinedweight.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o che_varweights.o che_varweights.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o che_funweights.o che_funweights.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o che_orientweight.o che_orientweight.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o che_fifo.o che_fifo.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o che_lifo.o che_lifo.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o che_learning.o che_learning.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o che_simweight.o che_simweight.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o che_hcb.o che_hcb.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o che_litselection.o che_litselection.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o che_proofcontrol.o che_proofcontrol.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o che_hcbadmin.o che_hcbadmin.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o che_heuristics.o che_heuristics.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o che_fcode_featurearrays.o che_fcode_featurearrays.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o che_to_weightgen.o che_to_weightgen.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o che_to_precgen.o che_to_precgen.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o che_to_autoselect.o che_to_autoselect.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_clauseweight.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_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 make[2]: Leaving directory `/build/buildd/eprover-1.0.004/HEURISTICS' make[2]: Entering directory `/build/buildd/eprover-1.0.004/CONTROL' ../Makefile.vars:177: cco_clausesplitting.d: No such file or directory ../Makefile.vars:177: cco_eqnresolving.d: No such file or directory ../Makefile.vars:177: cco_factoring.d: No such file or directory ../Makefile.vars:177: cco_forward_contraction.d: No such file or directory ../Makefile.vars:177: cco_paramodulation.d: No such file or directory ../Makefile.vars:177: cco_proofproc.d: No such file or directory ../Makefile.vars:177: cco_simplification.d: No such file or directory Computing dependencies for cco_simplification.c Computing dependencies for cco_proofproc.c Computing dependencies for cco_paramodulation.c Computing dependencies for cco_forward_contraction.c Computing dependencies for cco_factoring.c Computing dependencies for cco_eqnresolving.c Computing dependencies for cco_clausesplitting.c make[2]: Leaving directory `/build/buildd/eprover-1.0.004/CONTROL' make[2]: Entering directory `/build/buildd/eprover-1.0.004/CONTROL' gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cco_simplification.o cco_simplification.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cco_factoring.o cco_factoring.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cco_eqnresolving.o cco_eqnresolving.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cco_paramodulation.o cco_paramodulation.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cco_forward_contraction.o cco_forward_contraction.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cco_clausesplitting.o cco_clausesplitting.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cco_proofproc.o cco_proofproc.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_proofproc.o make[2]: Leaving directory `/build/buildd/eprover-1.0.004/CONTROL' make[2]: Entering directory `/build/buildd/eprover-1.0.004/PROVER' ../Makefile.vars:177: checkproof.d: No such file or directory ../Makefile.vars:177: classify_problem.d: No such file or directory ../Makefile.vars:177: direct_examples.d: No such file or directory ../Makefile.vars:177: edpll.d: No such file or directory ../Makefile.vars:177: eground.d: No such file or directory ../Makefile.vars:177: ekb_create.d: No such file or directory ../Makefile.vars:177: ekb_delete.d: No such file or directory ../Makefile.vars:177: ekb_ginsert.d: No such file or directory ../Makefile.vars:177: ekb_insert.d: No such file or directory ../Makefile.vars:177: epclanalyse.d: No such file or directory ../Makefile.vars:177: epclextract.d: No such file or directory ../Makefile.vars:177: epcllemma.d: No such file or directory ../Makefile.vars:177: eprover.d: No such file or directory ../Makefile.vars:177: termprops.d: No such file or directory ../Makefile.vars:177: tsm_classify.d: No such file or directory Computing dependencies for tsm_classify.c Computing dependencies for termprops.c Computing dependencies for eprover.c Computing dependencies for epcllemma.c Computing dependencies for epclextract.c Computing dependencies for epclanalyse.c Computing dependencies for ekb_insert.c Computing dependencies for ekb_ginsert.c Computing dependencies for ekb_delete.c Computing dependencies for ekb_create.c Computing dependencies for eground.c Computing dependencies for edpll.c Computing dependencies for direct_examples.c Computing dependencies for classify_problem.c Computing dependencies for checkproof.c make[2]: Leaving directory `/build/buildd/eprover-1.0.004/PROVER' make[2]: Entering directory `/build/buildd/eprover-1.0.004/PROVER' gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o eprover.o eprover.c gcc -lm -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../PROVER/ -I../SIMPLE_APPS/ -I../TERMS/ -I../TEST/ -o eprover eprover.o ../CONTROL/CONTROL.a ../HEURISTICS/HEURISTICS.a ../LEARN/LEARN.a ../CLAUSES/CLAUSES.a ../ORDERINGS/ORDERINGS.a ../TERMS/TERMS.a ../INOUT/INOUT.a ../BASICS/BASICS.a gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o classify_problem.o classify_problem.c gcc -lm -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../PROVER/ -I../SIMPLE_APPS/ -I../TERMS/ -I../TEST/ -o classify_problem classify_problem.o ../HEURISTICS/HEURISTICS.a ../CLAUSES/CLAUSES.a ../ORDERINGS/ORDERINGS.a ../TERMS/TERMS.a ../INOUT/INOUT.a ../BASICS/BASICS.a gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o termprops.o termprops.c gcc -lm -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../PROVER/ -I../SIMPLE_APPS/ -I../TERMS/ -I../TEST/ -o termprops termprops.o ../TERMS/TERMS.a ../INOUT/INOUT.a ../BASICS/BASICS.a gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o direct_examples.o direct_examples.c gcc -lm -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../PROVER/ -I../SIMPLE_APPS/ -I../TERMS/ -I../TEST/ -o direct_examples direct_examples.o ../PCL2/PCL2.a ../CLAUSES/CLAUSES.a ../ORDERINGS/ORDERINGS.a ../TERMS/TERMS.a ../INOUT/INOUT.a ../BASICS/BASICS.a gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o epclanalyse.o epclanalyse.c gcc -lm -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../PROVER/ -I../SIMPLE_APPS/ -I../TERMS/ -I../TEST/ -o epclanalyse epclanalyse.o ../PCL2/PCL2.a ../HEURISTICS/HEURISTICS.a ../CLAUSES/CLAUSES.a ../ORDERINGS/ORDERINGS.a ../TERMS/TERMS.a ../INOUT/INOUT.a ../BASICS/BASICS.a gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o epclextract.o epclextract.c gcc -lm -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../PROVER/ -I../SIMPLE_APPS/ -I../TERMS/ -I../TEST/ -o epclextract epclextract.o ../PCL2/PCL2.a ../HEURISTICS/HEURISTICS.a ../CLAUSES/CLAUSES.a ../ORDERINGS/ORDERINGS.a ../TERMS/TERMS.a ../INOUT/INOUT.a ../BASICS/BASICS.a gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o checkproof.o checkproof.c gcc -lm -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../PROVER/ -I../SIMPLE_APPS/ -I../TERMS/ -I../TEST/ -o checkproof checkproof.o ../PCL2/PCL2.a ../CLAUSES/CLAUSES.a ../ORDERINGS/ORDERINGS.a ../TERMS/TERMS.a ../INOUT/INOUT.a ../BASICS/BASICS.a gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o eground.o eground.c gcc -lm -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../PROVER/ -I../SIMPLE_APPS/ -I../TERMS/ -I../TEST/ -o eground eground.o ../HEURISTICS/HEURISTICS.a ../CLAUSES/CLAUSES.a ../ORDERINGS/ORDERINGS.a ../TERMS/TERMS.a ../INOUT/INOUT.a ../BASICS/BASICS.a gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o edpll.o edpll.c gcc -lm -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../PROVER/ -I../SIMPLE_APPS/ -I../TERMS/ -I../TEST/ -o edpll edpll.o ../PROPOSITIONAL/PROPOSITIONAL.a ../CLAUSES/CLAUSES.a ../ORDERINGS/ORDERINGS.a ../TERMS/TERMS.a ../INOUT/INOUT.a ../BASICS/BASICS.a gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o epcllemma.o epcllemma.c gcc -lm -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../PROVER/ -I../SIMPLE_APPS/ -I../TERMS/ -I../TEST/ -o epcllemma epcllemma.o ../PCL2/PCL2.a ../HEURISTICS/HEURISTICS.a ../CLAUSES/CLAUSES.a ../ORDERINGS/ORDERINGS.a ../TERMS/TERMS.a ../INOUT/INOUT.a ../BASICS/BASICS.a gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ekb_create.o ekb_create.c gcc -lm -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../PROVER/ -I../SIMPLE_APPS/ -I../TERMS/ -I../TEST/ -o ekb_create ekb_create.o ../LEARN/LEARN.a ../ANALYSIS/ANALYSIS.a ../CLAUSES/CLAUSES.a ../ORDERINGS/ORDERINGS.a ../TERMS/TERMS.a ../INOUT/INOUT.a ../BASICS/BASICS.a gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ekb_insert.o ekb_insert.c gcc -lm -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../PROVER/ -I../SIMPLE_APPS/ -I../TERMS/ -I../TEST/ -o ekb_insert ekb_insert.o ../LEARN/LEARN.a ../ANALYSIS/ANALYSIS.a ../CLAUSES/CLAUSES.a ../ORDERINGS/ORDERINGS.a ../TERMS/TERMS.a ../INOUT/INOUT.a ../BASICS/BASICS.a gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ekb_ginsert.o ekb_ginsert.c gcc -lm -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../PROVER/ -I../SIMPLE_APPS/ -I../TERMS/ -I../TEST/ -o ekb_ginsert ekb_ginsert.o ../PCL2/PCL2.a ../LEARN/LEARN.a ../ANALYSIS/ANALYSIS.a ../CLAUSES/CLAUSES.a ../ORDERINGS/ORDERINGS.a ../TERMS/TERMS.a ../INOUT/INOUT.a ../BASICS/BASICS.a gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ekb_delete.o ekb_delete.c gcc -lm -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../PROVER/ -I../SIMPLE_APPS/ -I../TERMS/ -I../TEST/ -o ekb_delete ekb_delete.o ../LEARN/LEARN.a ../ANALYSIS/ANALYSIS.a ../CLAUSES/CLAUSES.a ../ORDERINGS/ORDERINGS.a ../TERMS/TERMS.a ../INOUT/INOUT.a ../BASICS/BASICS.a gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o tsm_classify.o tsm_classify.c gcc -lm -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../PROVER/ -I../SIMPLE_APPS/ -I../TERMS/ -I../TEST/ -o tsm_classify tsm_classify.o ../LEARN/LEARN.a ../ANALYSIS/ANALYSIS.a ../CLAUSES/CLAUSES.a ../ORDERINGS/ORDERINGS.a ../TERMS/TERMS.a ../INOUT/INOUT.a ../BASICS/BASICS.a make[2]: Leaving directory `/build/buildd/eprover-1.0.004/PROVER' make[2]: Entering directory `/build/buildd/eprover-1.0.004/TEST' ../Makefile.vars:177: cl_test.d: No such file or directory ../Makefile.vars:177: patterntest.d: No such file or directory Computing dependencies for patterntest.c Computing dependencies for cl_test.c make[2]: Leaving directory `/build/buildd/eprover-1.0.004/TEST' make[2]: Entering directory `/build/buildd/eprover-1.0.004/TEST' gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cl_test.o cl_test.c gcc -lm -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../PROVER/ -I../SIMPLE_APPS/ -I../TERMS/ -I../TEST/ -o cl_test cl_test.o ../CONTROL/CONTROL.a ../HEURISTICS/HEURISTICS.a ../CLAUSES/CLAUSES.a ../ORDERINGS/ORDERINGS.a ../TERMS/TERMS.a ../INOUT/INOUT.a ../BASICS/BASICS.a gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o patterntest.o patterntest.c gcc -lm -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../PROVER/ -I../SIMPLE_APPS/ -I../TERMS/ -I../TEST/ -o patterntest patterntest.o ../CLAUSES/CLAUSES.a ../ORDERINGS/ORDERINGS.a ../TERMS/TERMS.a ../INOUT/INOUT.a ../BASICS/BASICS.a ../LEARN/LEARN.a make[2]: Leaving directory `/build/buildd/eprover-1.0.004/TEST' make[2]: Entering directory `/build/buildd/eprover-1.0.004/SIMPLE_APPS' ../Makefile.vars:177: ex_commandline.d: No such file or directory ../Makefile.vars:177: term2dag.d: No such file or directory Computing dependencies for term2dag.c Computing dependencies for ex_commandline.c make[2]: Leaving directory `/build/buildd/eprover-1.0.004/SIMPLE_APPS' make[2]: Entering directory `/build/buildd/eprover-1.0.004/SIMPLE_APPS' gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o ex_commandline.o ex_commandline.c gcc -lm -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../PROVER/ -I../SIMPLE_APPS/ -I../TERMS/ -I../TEST/ -o ex_commandline ex_commandline.o ../INOUT/INOUT.a ../BASICS/BASICS.a gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o term2dag.o term2dag.c gcc -lm -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../PROVER/ -I../SIMPLE_APPS/ -I../TERMS/ -I../TEST/ -o term2dag term2dag.o ../TERMS/TERMS.a ../INOUT/INOUT.a ../BASICS/BASICS.a make[2]: Leaving directory `/build/buildd/eprover-1.0.004/SIMPLE_APPS' make[2]: Entering directory `/build/buildd/eprover-1.0.004/EXTERNAL' ../Makefile.vars:177: CSSCPA_filter.d: No such file or directory ../Makefile.vars:177: cex_csscpa.d: No such file or directory Computing dependencies for cex_csscpa.c Computing dependencies for CSSCPA_filter.c make[2]: Leaving directory `/build/buildd/eprover-1.0.004/EXTERNAL' make[2]: Entering directory `/build/buildd/eprover-1.0.004/EXTERNAL' gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o CSSCPA_filter.o CSSCPA_filter.c gcc -O6 -Wall -Wno-char-subscripts -ansi -std=gnu99 -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../TERMS/ -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DNEW_EVALUATIONS -c -o cex_csscpa.o cex_csscpa.c gcc -lm -I../ANALYSIS/ -I../BASICS/ -I../CLAUSES/ -I../CONTROL/ -I../EXTERNAL/ -I../HEURISTICS/ -I../INOUT/ -I../LEARN/ -I../ORDERINGS/ -I../PCL2/ -I../PROPOSITIONAL/ -I../PROVER/ -I../SIMPLE_APPS/ -I../TERMS/ -I../TEST/ -o CSSCPA_filter CSSCPA_filter.o cex_csscpa.o ../CLAUSES/CLAUSES.a ../ORDERINGS/ORDERINGS.a ../TERMS/TERMS.a ../INOUT/INOUT.a ../BASICS/BASICS.a make[2]: Leaving directory `/build/buildd/eprover-1.0.004/EXTERNAL' make[1]: Leaving directory `/build/buildd/eprover-1.0.004' #docbook-to-man debian/eprover.sgml > eprover.1 # test that the prover really compiled and works /usr/bin/make test make[1]: Entering directory `/build/buildd/eprover-1.0.004' for subdir in BASICS INOUT TERMS ORDERINGS CLAUSES PROPOSITIONAL LEARN ANALYSIS PCL2 HEURISTICS CONTROL PROVER TEST SIMPLE_APPS EXTERNAL; do\ make -C $subdir all ; \ done; make[2]: Entering directory `/build/buildd/eprover-1.0.004/BASICS' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/eprover-1.0.004/BASICS' make[2]: Entering directory `/build/buildd/eprover-1.0.004/INOUT' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/eprover-1.0.004/INOUT' make[2]: Entering directory `/build/buildd/eprover-1.0.004/TERMS' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/eprover-1.0.004/TERMS' make[2]: Entering directory `/build/buildd/eprover-1.0.004/ORDERINGS' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/eprover-1.0.004/ORDERINGS' make[2]: Entering directory `/build/buildd/eprover-1.0.004/CLAUSES' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/eprover-1.0.004/CLAUSES' make[2]: Entering directory `/build/buildd/eprover-1.0.004/PROPOSITIONAL' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/eprover-1.0.004/PROPOSITIONAL' make[2]: Entering directory `/build/buildd/eprover-1.0.004/LEARN' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/eprover-1.0.004/LEARN' make[2]: Entering directory `/build/buildd/eprover-1.0.004/ANALYSIS' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/eprover-1.0.004/ANALYSIS' make[2]: Entering directory `/build/buildd/eprover-1.0.004/PCL2' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/eprover-1.0.004/PCL2' make[2]: Entering directory `/build/buildd/eprover-1.0.004/HEURISTICS' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/eprover-1.0.004/HEURISTICS' make[2]: Entering directory `/build/buildd/eprover-1.0.004/CONTROL' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/eprover-1.0.004/CONTROL' make[2]: Entering directory `/build/buildd/eprover-1.0.004/PROVER' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/eprover-1.0.004/PROVER' make[2]: Entering directory `/build/buildd/eprover-1.0.004/TEST' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/eprover-1.0.004/TEST' make[2]: Entering directory `/build/buildd/eprover-1.0.004/SIMPLE_APPS' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/eprover-1.0.004/SIMPLE_APPS' make[2]: Entering directory `/build/buildd/eprover-1.0.004/EXTERNAL' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/eprover-1.0.004/EXTERNAL' PROVER/eprover --output-level=0 --tptp-format -xAuto EXAMPLE_PROBLEMS/TPTP/BOO006-1+rm_eq_rstfp.tptp | grep -q 'Unsatisfiable' make[1]: Leaving directory `/build/buildd/eprover-1.0.004' touch build-stamp-arch /usr/bin/fakeroot debian/rules binary-arch dh_testdir # Add here commands to configure the package. cp -f /usr/share/misc/config.sub config.sub cp -f /usr/share/misc/config.guess config.guess #CFLAGS="-g -O2" ./configure --build x86_64-linux-gnu --prefix=/usr CFLAGS="-g -O2" ./configure --prefix=/usr Configuring with executable path /usr/bin make[1]: Entering directory `/build/buildd/eprover-1.0.004' make[1]: Nothing to be done for `config'. make[1]: Leaving directory `/build/buildd/eprover-1.0.004' dh_testdir # Add here commands to compile the package. /usr/bin/make make[1]: Entering directory `/build/buildd/eprover-1.0.004' for subdir in BASICS INOUT TERMS ORDERINGS CLAUSES PROPOSITIONAL LEARN ANALYSIS PCL2 HEURISTICS CONTROL PROVER TEST SIMPLE_APPS EXTERNAL; do\ make -C $subdir all ; \ done; make[2]: Entering directory `/build/buildd/eprover-1.0.004/BASICS' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/eprover-1.0.004/BASICS' make[2]: Entering directory `/build/buildd/eprover-1.0.004/INOUT' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/eprover-1.0.004/INOUT' make[2]: Entering directory `/build/buildd/eprover-1.0.004/TERMS' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/eprover-1.0.004/TERMS' make[2]: Entering directory `/build/buildd/eprover-1.0.004/ORDERINGS' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/eprover-1.0.004/ORDERINGS' make[2]: Entering directory `/build/buildd/eprover-1.0.004/CLAUSES' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/eprover-1.0.004/CLAUSES' make[2]: Entering directory `/build/buildd/eprover-1.0.004/PROPOSITIONAL' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/eprover-1.0.004/PROPOSITIONAL' make[2]: Entering directory `/build/buildd/eprover-1.0.004/LEARN' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/eprover-1.0.004/LEARN' make[2]: Entering directory `/build/buildd/eprover-1.0.004/ANALYSIS' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/eprover-1.0.004/ANALYSIS' make[2]: Entering directory `/build/buildd/eprover-1.0.004/PCL2' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/eprover-1.0.004/PCL2' make[2]: Entering directory `/build/buildd/eprover-1.0.004/HEURISTICS' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/eprover-1.0.004/HEURISTICS' make[2]: Entering directory `/build/buildd/eprover-1.0.004/CONTROL' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/eprover-1.0.004/CONTROL' make[2]: Entering directory `/build/buildd/eprover-1.0.004/PROVER' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/eprover-1.0.004/PROVER' make[2]: Entering directory `/build/buildd/eprover-1.0.004/TEST' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/eprover-1.0.004/TEST' make[2]: Entering directory `/build/buildd/eprover-1.0.004/SIMPLE_APPS' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/eprover-1.0.004/SIMPLE_APPS' make[2]: Entering directory `/build/buildd/eprover-1.0.004/EXTERNAL' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/eprover-1.0.004/EXTERNAL' make[1]: Leaving directory `/build/buildd/eprover-1.0.004' #docbook-to-man debian/eprover.sgml > eprover.1 # test that the prover really compiled and works /usr/bin/make test make[1]: Entering directory `/build/buildd/eprover-1.0.004' for subdir in BASICS INOUT TERMS ORDERINGS CLAUSES PROPOSITIONAL LEARN ANALYSIS PCL2 HEURISTICS CONTROL PROVER TEST SIMPLE_APPS EXTERNAL; do\ make -C $subdir all ; \ done; make[2]: Entering directory `/build/buildd/eprover-1.0.004/BASICS' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/eprover-1.0.004/BASICS' make[2]: Entering directory `/build/buildd/eprover-1.0.004/INOUT' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/eprover-1.0.004/INOUT' make[2]: Entering directory `/build/buildd/eprover-1.0.004/TERMS' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/eprover-1.0.004/TERMS' make[2]: Entering directory `/build/buildd/eprover-1.0.004/ORDERINGS' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/eprover-1.0.004/ORDERINGS' make[2]: Entering directory `/build/buildd/eprover-1.0.004/CLAUSES' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/eprover-1.0.004/CLAUSES' make[2]: Entering directory `/build/buildd/eprover-1.0.004/PROPOSITIONAL' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/eprover-1.0.004/PROPOSITIONAL' make[2]: Entering directory `/build/buildd/eprover-1.0.004/LEARN' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/eprover-1.0.004/LEARN' make[2]: Entering directory `/build/buildd/eprover-1.0.004/ANALYSIS' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/eprover-1.0.004/ANALYSIS' make[2]: Entering directory `/build/buildd/eprover-1.0.004/PCL2' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/eprover-1.0.004/PCL2' make[2]: Entering directory `/build/buildd/eprover-1.0.004/HEURISTICS' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/eprover-1.0.004/HEURISTICS' make[2]: Entering directory `/build/buildd/eprover-1.0.004/CONTROL' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/eprover-1.0.004/CONTROL' make[2]: Entering directory `/build/buildd/eprover-1.0.004/PROVER' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/eprover-1.0.004/PROVER' make[2]: Entering directory `/build/buildd/eprover-1.0.004/TEST' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/eprover-1.0.004/TEST' make[2]: Entering directory `/build/buildd/eprover-1.0.004/SIMPLE_APPS' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/eprover-1.0.004/SIMPLE_APPS' make[2]: Entering directory `/build/buildd/eprover-1.0.004/EXTERNAL' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/eprover-1.0.004/EXTERNAL' PROVER/eprover --output-level=0 --tptp-format -xAuto EXAMPLE_PROBLEMS/TPTP/BOO006-1+rm_eq_rstfp.tptp | grep -q 'Unsatisfiable' make[1]: Leaving directory `/build/buildd/eprover-1.0.004' touch build-stamp-arch dh_testdir dh_testroot dh_prep dh_installdirs # Add here commands to install the package into debian/eprover. /usr/bin/make DESTDIR=/build/buildd/eprover-1.0.004/debian/eprover install make[1]: Entering directory `/build/buildd/eprover-1.0.004' for subdir in BASICS INOUT TERMS ORDERINGS CLAUSES PROPOSITIONAL LEARN ANALYSIS PCL2 HEURISTICS CONTROL PROVER TEST SIMPLE_APPS EXTERNAL; do\ make -C $subdir all ; \ done; make[2]: Entering directory `/build/buildd/eprover-1.0.004/BASICS' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/eprover-1.0.004/BASICS' make[2]: Entering directory `/build/buildd/eprover-1.0.004/INOUT' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/eprover-1.0.004/INOUT' make[2]: Entering directory `/build/buildd/eprover-1.0.004/TERMS' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/eprover-1.0.004/TERMS' make[2]: Entering directory `/build/buildd/eprover-1.0.004/ORDERINGS' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/eprover-1.0.004/ORDERINGS' make[2]: Entering directory `/build/buildd/eprover-1.0.004/CLAUSES' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/eprover-1.0.004/CLAUSES' make[2]: Entering directory `/build/buildd/eprover-1.0.004/PROPOSITIONAL' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/eprover-1.0.004/PROPOSITIONAL' make[2]: Entering directory `/build/buildd/eprover-1.0.004/LEARN' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/eprover-1.0.004/LEARN' make[2]: Entering directory `/build/buildd/eprover-1.0.004/ANALYSIS' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/eprover-1.0.004/ANALYSIS' make[2]: Entering directory `/build/buildd/eprover-1.0.004/PCL2' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/eprover-1.0.004/PCL2' make[2]: Entering directory `/build/buildd/eprover-1.0.004/HEURISTICS' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/eprover-1.0.004/HEURISTICS' make[2]: Entering directory `/build/buildd/eprover-1.0.004/CONTROL' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/eprover-1.0.004/CONTROL' make[2]: Entering directory `/build/buildd/eprover-1.0.004/PROVER' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/eprover-1.0.004/PROVER' make[2]: Entering directory `/build/buildd/eprover-1.0.004/TEST' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/eprover-1.0.004/TEST' make[2]: Entering directory `/build/buildd/eprover-1.0.004/SIMPLE_APPS' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/eprover-1.0.004/SIMPLE_APPS' make[2]: Entering directory `/build/buildd/eprover-1.0.004/EXTERNAL' make[2]: Nothing to be done for `all'. make[2]: Leaving directory `/build/buildd/eprover-1.0.004/EXTERNAL' sh -c 'mkdir -p /build/buildd/eprover-1.0.004/debian/eprover/usr/bin' sh -c 'cp PROVER/eprover /build/buildd/eprover-1.0.004/debian/eprover/usr/bin' sh -c 'cp PROVER/epclextract /build/buildd/eprover-1.0.004/debian/eprover/usr/bin' sh -c 'sed -e "/^EXECPATH=.*/s|.*|EXECPATH=/usr/bin|" PROVER/eproof > /build/buildd/eprover-1.0.004/debian/eprover/usr/bin/eproof' sh -c 'chmod 0755 /build/buildd/eprover-1.0.004/debian/eprover/usr/bin/eproof' sh -c 'cp PROVER/eground /build/buildd/eprover-1.0.004/debian/eprover/usr/bin' make[1]: Leaving directory `/build/buildd/eprover-1.0.004' dh_testdir dh_testroot dh_installchangelogs DOC/NEWS dh_installdocs dh_installexamples dh_install dh_installman dh_link dh_strip dh_strip debug symbol extraction: all non-arch-all packages for this build platform amd64: eprover dh_strip debug symbol extraction: packages to act on: eprover dh_strip debug symbol extraction: ignored packages: pkgstriptranslations: processing control file: ./debian/eprover-dbgsym/DEBIAN/control, package eprover-dbgsym, directory ./debian/eprover-dbgsym pkgstriptranslations: eprover-dbgsym does not contain translations, skipping pkgstriptranslations: no translation files, not creating tarball pkgmaintainermangler: Not overriding Maintainer for domain lists.ubuntu.com warning, `/build/buildd/eprover-1.0.004/debian/eprover-dbgsym/DEBIAN/control' contains user-defined field `Original-Maintainer' dpkg-deb: ignoring 1 warnings about the control file(s) dpkg-deb: building package `eprover-dbgsym' in `../eprover-dbgsym_1.0.004-1ubuntu1_amd64.ddeb'. dh_compress dh_fixperms dh_installdeb dh_shlibdeps dh_gencontrol dh_md5sums dh_builddeb pkgstriptranslations: processing control file: ./debian/eprover/DEBIAN/control, package eprover, directory ./debian/eprover pkgstriptranslations: eprover does not contain translations, skipping pkgstriptranslations: no translation files, not creating tarball pkgmaintainermangler: Not overriding Maintainer for domain lists.ubuntu.com warning, `debian/eprover/DEBIAN/control' contains user-defined field `Original-Maintainer' dpkg-deb: ignoring 1 warnings about the control file(s) dpkg-deb: building package `eprover' in `../eprover_1.0.004-1ubuntu1_amd64.deb'. dpkg-genchanges -B -mUbuntu/amd64 Build Daemon >../eprover_1.0.004-1ubuntu1_amd64.changes dpkg-genchanges: arch-specific upload - not including arch-independent packages dpkg-genchanges: binary-only upload - not including any source code dpkg-buildpackage: binary only upload (no source included) ****************************************************************************** Build finished at 20090527-2324 Publishing debug debs. chroot-autobuild/build/buildd/eprover_1.0.004-1ubuntu1_amd64.deb: new debian package, version 2.0. size 1025432 bytes: control archive= 1627 bytes. 1391 bytes, 30 lines control 1481 bytes, 23 lines md5sums Package: eprover Version: 1.0.004-1ubuntu1 Architecture: amd64 Maintainer: Ubuntu MOTU Developers Installed-Size: 2276 Depends: libc6 (>= 2.4) Recommends: eprover-doc-html Suggests: eprover-examples Section: science Priority: extra Homepage: http://www.eprover.org/ Description: Theorem prover for first-order logic with equality E is a fully automatic theorem prover for full first-order logic with equality. It accepts a mathematical specification and, optionally, a hypothesis, and tries to prove the hypothesis and/or find a saturation representing a (counter-)model for the specification. . E is based on a purely equational problem representation and implements a variant of the superposition calculus. Proof search can be guided with a multitude of options or a powerful automatic configuration mode. The system can process input in a number of different formats, including the standard TPTP-2 and TPTP-3 formats. It can generate proof objects in PCL2 or TPTP-3/TSTP format. . E is considered one of the most powerful and friendly automated theorem provers for first-order logic. It has consistently been among the top system in the major categories of the CASC system competition, and usually been the strongest free software system. Original-Maintainer: Debian Science Maintainers chroot-autobuild/build/buildd/eprover_1.0.004-1ubuntu1_amd64.deb: drwxr-xr-x root/root 0 2009-05-27 23:24 ./ drwxr-xr-x root/root 0 2009-05-27 23:24 ./usr/ drwxr-xr-x root/root 0 2009-05-27 23:24 ./usr/bin/ -rwxr-xr-x root/root 1147032 2009-05-27 23:24 ./usr/bin/eprover -rwxr-xr-x root/root 326752 2009-05-27 23:24 ./usr/bin/epclextract -rwxr-xr-x root/root 3941 2009-05-27 23:24 ./usr/bin/eproof -rwxr-xr-x root/root 430200 2009-05-27 23:24 ./usr/bin/eground drwxr-xr-x root/root 0 2009-05-27 23:24 ./usr/share/ drwxr-xr-x root/root 0 2009-05-27 23:24 ./usr/share/doc/ drwxr-xr-x root/root 0 2009-05-27 23:24 ./usr/share/doc/eprover/ -rw-r--r-- root/root 9608 2009-02-15 14:58 ./usr/share/doc/eprover/changelog.gz -rw-r--r-- root/root 3531 2008-11-25 00:08 ./usr/share/doc/eprover/README.gz -rw-r--r-- root/root 4581 2008-10-23 00:43 ./usr/share/doc/eprover/ANNOUNCE.gz -rw-r--r-- root/root 9608 2009-02-15 14:58 ./usr/share/doc/eprover/NEWS.gz -rw-r--r-- root/root 311 2003-03-13 14:55 ./usr/share/doc/eprover/CREDITS -rw-r--r-- root/root 3849 2005-07-12 07:55 ./usr/share/doc/eprover/DONE -rw-r--r-- root/root 1204 2003-03-13 14:55 ./usr/share/doc/eprover/E-REMARKS.english -rw-r--r-- root/root 3940 2008-05-25 19:15 ./usr/share/doc/eprover/PORTING -rw-r--r-- root/root 247988 2008-10-21 23:58 ./usr/share/doc/eprover/eprover.pdf.gz -rw-r--r-- root/root 1379 2003-03-13 14:55 ./usr/share/doc/eprover/WISHLIST -rw-r--r-- root/root 2425 2003-11-08 22:48 ./usr/share/doc/eprover/grammar.txt -rw-r--r-- root/root 1248 2009-05-27 23:22 ./usr/share/doc/eprover/copyright -rw-r--r-- root/root 787 2009-05-27 23:22 ./usr/share/doc/eprover/changelog.Debian.gz -rw-r--r-- root/root 5473 2008-05-25 19:15 ./usr/share/doc/eprover/TODO.gz -rw-r--r-- root/root 3256 2005-10-28 10:29 ./usr/share/doc/eprover/TSTP_Syntax.txt.gz drwxr-xr-x root/root 0 2009-05-27 23:24 ./usr/share/doc-base/ -rw-r--r-- root/root 480 2009-05-27 23:22 ./usr/share/doc-base/eprover drwxr-xr-x root/root 0 2009-05-27 23:24 ./usr/share/man/ drwxr-xr-x root/root 0 2009-05-27 23:24 ./usr/share/man/man1/ -rw-r--r-- root/root 2973 2009-05-27 23:24 ./usr/share/man/man1/eground.1.gz -rw-r--r-- root/root 10108 2009-05-27 23:24 ./usr/share/man/man1/eprover.1.gz -rw-r--r-- root/root 1442 2009-05-27 23:24 ./usr/share/man/man1/epclextract.1.gz lrwxrwxrwx root/root 0 2009-05-27 23:24 ./usr/share/man/man1/eproof.1.gz -> eprover.1.gz eprover_1.0.004-1ubuntu1_amd64.changes: Format: 1.8 Date: Wed, 27 May 2009 22:48:37 +0200 Source: eprover Binary: eprover eprover-examples eprover-doc-html Architecture: amd64 Version: 1.0.004-1ubuntu1 Distribution: karmic Urgency: low Maintainer: Ubuntu/amd64 Build Daemon Changed-By: Andrea Gasparini Description: eprover - Theorem prover for first-order logic with equality eprover-doc-html - Theorem prover for first-order logic with equality - HTML doc eprover-examples - Theorem prover for first-order logic with equality - examples Launchpad-Bugs-Fixed: 381092 Changes: eprover (1.0.004-1ubuntu1) karmic; urgency=low . * debian/rules: fix FTBFS in all archs except i386. (LP: #381092) changed "build:" target as it makes build documentation for all archs. Checksums-Sha1: 68bf9f7911f357a20485eff4ff2781ed0b0652a0 1025432 eprover_1.0.004-1ubuntu1_amd64.deb Checksums-Sha256: 187bea899b7bc526ab081aeb2fa3b9ffd4b879a8ffba13fd3ccee00928b5fa5f 1025432 eprover_1.0.004-1ubuntu1_amd64.deb Files: 36620bfdf71138db28809770e42c5ec7 1025432 science extra eprover_1.0.004-1ubuntu1_amd64.deb Original-Maintainer: Debian Science Maintainers ****************************************************************************** Built successfully Purging chroot-autobuild/build/buildd/eprover-1.0.004 ------------------------------------------------------------------------------ /usr/bin/sudo dpkg --root=/home/buildd/build-1046783-2283433/chroot-autobuild --purge po-debconf intltool-debian groff-base libglib2.0-0 libcroco3 libmagic1 gettext file libxml2 bsdmainutils html2text gettext-base man-db debhelper autotools-dev (Reading database ... 10335 files and directories currently installed.) Removing debhelper ... Removing autotools-dev ... Removing po-debconf ... Removing intltool-debian ... Removing gettext ... Removing file ... Purging configuration files for file ... Removing html2text ... Purging configuration files for html2text ... Removing gettext-base ... Removing man-db ... Purging configuration files for man-db ... Removing catpages as well as /var/cache/man hierarchy. dpkg - warning: while removing man-db, directory `/usr/share/doc/man-db/examples' not empty so not removed. dpkg - warning: while removing man-db, directory `/usr/share/doc/man-db' not empty so not removed. dpkg - warning: while removing man-db, directory `/usr/share/man-db' not empty so not removed. dpkg - warning: while removing man-db, directory `/usr/share/bug/man-db' not empty so not removed. dpkg - warning: while removing man-db, directory `/usr/lib/man-db' not empty so not removed. Removing groff-base ... Purging configuration files for groff-base ... Removing libcroco3 ... Purging configuration files for libcroco3 ... Removing libmagic1 ... Purging configuration files for libmagic1 ... Removing libxml2 ... Purging configuration files for libxml2 ... Removing bsdmainutils ... Purging configuration files for bsdmainutils ... Removing libglib2.0-0 ... Purging configuration files for libglib2.0-0 ... Processing triggers for libc6 ... ldconfig deferred processing now taking place ****************************************************************************** Finished at 20090527-2324 Build needed 00:01:43, 26864k disk space RUN: /usr/share/launchpad-buildd/slavebin/scan-for-processes ['/usr/share/launchpad-buildd/slavebin/scan-for-processes', '1046783-2283433'] Scanning for processes to kill in build 1046783-2283433... Scanning for processes to kill in build /home/buildd/build-1046783-2283433/chroot-autobuild... RUN: /usr/share/launchpad-buildd/slavebin/umount-chroot ['umount-chroot', '1046783-2283433'] Unmounting chroot for build 1046783-2283433... RUN: /usr/share/launchpad-buildd/slavebin/remove-build ['remove-build', '1046783-2283433'] Removing build 1046783-2283433