=>> Building math/eprover
build started at Mon Apr  1 07:49:23 BST 2024
port directory: /usr/ports/math/eprover
package name: eprover-2.6_2
building for: FreeBSD pkg-builder.dan.net.uk 13.2-RELEASE-p10 FreeBSD 13.2-RELEASE-p10 amd64
maintained by: yuri@FreeBSD.org
Makefile datestamp: -rw-r--r--  1 root  wheel  1166 Mar 13 17:24 /usr/ports/math/eprover/Makefile
Ports top last git commit: c2c35d895e
Ports top unclean checkout: yes
Port dir last git commit: 0bbf829ecb
Port dir unclean checkout: no
Poudriere version: poudriere-git-3.4.99.20240122_1
Host OSVERSION: 1400097
Jail OSVERSION: 1302001
Job Id: 18

---Begin Environment---
SHELL=/bin/csh
OSVERSION=1302001
UNAME_v=FreeBSD 13.2-RELEASE-p10
UNAME_r=13.2-RELEASE-p10
BLOCKSIZE=K
MAIL=/var/mail/root
MM_CHARSET=UTF-8
LANG=C.UTF-8
STATUS=1
HOME=/root
PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin
MAKE_OBJDIR_CHECK_WRITABLE=0
LOCALBASE=/usr/local
USER=root
POUDRIERE_NAME=poudriere-git
LIBEXECPREFIX=/usr/local/libexec/poudriere
POUDRIERE_VERSION=3.4.99.20240122_1
MASTERMNT=/usr/local/poudriere/data/.m/13-amd64-default-dan/ref
LC_COLLATE=C
POUDRIERE_BUILD_TYPE=bulk
PACKAGE_BUILDING=yes
SAVED_TERM=screen
OUTPUT_REDIRECTED_STDERR=4
OUTPUT_REDIRECTED=1
PWD=/usr/local/poudriere/data/.m/13-amd64-default-dan/18/.p
OUTPUT_REDIRECTED_STDOUT=3
P_PORTS_FEATURES=FLAVORS SUBPACKAGES SELECTED_OPTIONS
MASTERNAME=13-amd64-default-dan
SCRIPTPREFIX=/usr/local/share/poudriere
SCRIPTNAME=bulk.sh
OLDPWD=/usr/local/poudriere/data/.m/13-amd64-default-dan/ref/.p/pool
POUDRIERE_PKGNAME=poudriere-git-3.4.99.20240122_1
SCRIPTPATH=/usr/local/share/poudriere/bulk.sh
POUDRIEREPATH=/usr/local/bin/poudriere
---End Environment---

---Begin Poudriere Port Flags/Env---
PORT_FLAGS=
PKGENV=
FLAVOR=
MAKE_ARGS=
---End Poudriere Port Flags/Env---

---Begin OPTIONS List---
---End OPTIONS List---

--MAINTAINER--
yuri@FreeBSD.org
--End MAINTAINER--

--CONFIGURE_ARGS--
--bindir=/wrkdirs/usr/ports/math/eprover/work/stage/usr/local/bin/  --man-prefix=/wrkdirs/usr/ports/math/eprover/work/stage/usr/local/share/man/man1/
--End CONFIGURE_ARGS--

--CONFIGURE_ENV--
MAKE=gmake XDG_DATA_HOME=/wrkdirs/usr/ports/math/eprover/work  XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/eprover/work  XDG_CACHE_HOME=/wrkdirs/usr/ports/math/eprover/work/.cache  HOME=/wrkdirs/usr/ports/math/eprover/work TMPDIR="/tmp" PATH=/ccache/libexec/ccache:/wrkdirs/usr/ports/math/eprover/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/math/eprover/work/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig SHELL=/bin/sh CONFIG_SHELL=/bin/sh CCACHE_DIR="/root/.ccache"
--End CONFIGURE_ENV--

--MAKE_ENV--
XDG_DATA_HOME=/wrkdirs/usr/ports/math/eprover/work  XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/eprover/work  XDG_CACHE_HOME=/wrkdirs/usr/ports/math/eprover/work/.cache  HOME=/wrkdirs/usr/ports/math/eprover/work TMPDIR="/tmp" PATH=/ccache/libexec/ccache:/wrkdirs/usr/ports/math/eprover/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/math/eprover/work/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES PREFIX=/usr/local  LOCALBASE=/usr/local  CC="cc" CFLAGS="-O2 -pipe  -fstack-protector-strong -fno-strict-aliasing "  CPP="cpp" CPPFLAGS=""  LDFLAGS=" -fstack-protector-strong " LIBS=""  CXX="c++" CXXFLAGS="-O2 -pipe -fstack-protector-strong -fno-strict-aliasing  " CCACHE_DIR="/root/.ccache" BSD_INSTALL_PROGRAM="install  -s -m 555"  BSD_INSTALL_LIB="install  -s -m 0644"  BSD_INSTALL_SCRIPT="install  -m 555"  BSD_INSTALL_DATA="install  -m 0644"  BSD_INSTALL_MAN="install  -m 444"
--End MAKE_ENV--

--PLIST_SUB--
OSREL=13.2 PREFIX=%D LOCALBASE=/usr/local  RESETPREFIX=/usr/local LIB32DIR=lib DOCSDIR="share/doc/eprover"  EXAMPLESDIR="share/examples/eprover"  DATADIR="share/eprover"  WWWDIR="www/eprover"  ETCDIR="etc/eprover"
--End PLIST_SUB--

--SUB_LIST--
PREFIX=/usr/local LOCALBASE=/usr/local  DATADIR=/usr/local/share/eprover DOCSDIR=/usr/local/share/doc/eprover EXAMPLESDIR=/usr/local/share/examples/eprover  WWWDIR=/usr/local/www/eprover ETCDIR=/usr/local/etc/eprover
--End SUB_LIST--

---Begin make.conf---
USE_PACKAGE_DEPENDS=yes
BATCH=yes
WRKDIRPREFIX=/wrkdirs
PORTSDIR=/usr/ports
PACKAGES=/packages
DISTDIR=/distfiles
FORCE_PACKAGE=yes
PACKAGE_BUILDING=yes
PACKAGE_BUILDING_FLAVORS=yes
####  ####
CCACHE_CPP2=1
WITH_SSP_PORTS=yes
WITH_SSP=yes
#WITH_LTO=yes
DISABLE_LICENSES=yes
LICENSES_ACCEPTED=AGPLv3 APACHE10 APACHE11 APACHE20 ART10 ARTPERL10 ART20 BSD BSD2CLAUSE BSD3CLAUSE BSD4CLAUSE BSL CC0-1.0 CDDL ClArtistic EPL GFDL GMGPL GPLv1 GPLv2 GPLv3 GPLv3RLE ISCL LGPL20 LGPL21 LGPL3 LPPL10 LPPL11 LPPL12 LPPL13 LPPL13a LPPL13b LPPL13c MIT MPL OpenSSL OFL10 OFL11 OWL PostgreSQL PHP202 PHP30 PHP301 PSFL RUBY ZLIB ZPL21 SVM-Light EULA ALASIR Microsoft-exFAT SIMIAN UDEVGAME unknown MTA COMMERCIAL teamspeak
NO_LICENSES_DIALOGS=yes

####  ####
NO_IGNORE=yes
DEFAULT_VERSIONS+=ssl=openssl mysql=8.0 imagemagick=7 samba=4.13 java=18
WITH_SETID_MODE=force
PHP_ZTS=enabled
OPTIONS_UNSET+=OPENJPEG
OPTIONS_UNSET+=GSSAPI_BASE
OPTIONS_SET+=ZTS
OPTIONS_SET+=GSSAPI_NONE

WITH_CCACHE_BUILD=yes
CCACHE_DIR=/root/.ccache
NO_CCACHE_DEPEND=1
CCACHE_WRAPPER_PATH=	/ccache/libexec/ccache
#### Misc Poudriere ####
.include "/etc/make.conf.ports_env"
GID=0
UID=0
DISABLE_MAKE_JOBS=poudriere
---End make.conf---
--Resource limits--
cpu time               (seconds, -t)  unlimited
file size           (512-blocks, -f)  unlimited
data seg size           (kbytes, -d)  33554432
stack size              (kbytes, -s)  524288
core file size      (512-blocks, -c)  unlimited
max memory size         (kbytes, -m)  unlimited
locked memory           (kbytes, -l)  unlimited
max user processes              (-u)  89999
open files                      (-n)  8192
virtual mem size        (kbytes, -v)  unlimited
swap limit              (kbytes, -w)  unlimited
socket buffer size       (bytes, -b)  unlimited
pseudo-terminals                (-p)  unlimited
kqueues                         (-k)  unlimited
umtx shared locks               (-o)  unlimited
--End resource limits--
=======================<phase: check-sanity   >============================
===== env: NO_DEPENDS=yes USER=root UID=0 GID=0
===========================================================================
=======================<phase: pkg-depends    >============================
===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0
===>   eprover-2.6_2 depends on file: /usr/local/sbin/pkg - not found
===>   Installing existing package /packages/All/pkg-1.20.9_1.pkg
[pkg-builder.dan.net.uk] Installing pkg-1.20.9_1...
[pkg-builder.dan.net.uk] Extracting pkg-1.20.9_1: .......... done
===>   eprover-2.6_2 depends on file: /usr/local/sbin/pkg - found
===>   Returning to build of eprover-2.6_2
===========================================================================
=======================<phase: fetch-depends  >============================
===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0
===========================================================================
=======================<phase: fetch          >============================
===== env: NO_DEPENDS=yes USER=root UID=0 GID=0
===> Fetching all distfiles required by eprover-2.6_2 for building
===========================================================================
=======================<phase: checksum       >============================
===== env: NO_DEPENDS=yes USER=root UID=0 GID=0
===> Fetching all distfiles required by eprover-2.6_2 for building
=> SHA256 Checksum OK for eprover-eprover-E-2.6_GH0.tar.gz.
===========================================================================
=======================<phase: extract-depends>============================
===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0
===========================================================================
=======================<phase: extract        >============================
===== env: NO_DEPENDS=yes USER=root UID=0 GID=0
===> Fetching all distfiles required by eprover-2.6_2 for building
===>  Extracting for eprover-2.6_2
=> SHA256 Checksum OK for eprover-eprover-E-2.6_GH0.tar.gz.
===========================================================================
=======================<phase: patch-depends  >============================
===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0
===========================================================================
=======================<phase: patch          >============================
===== env: NO_DEPENDS=yes USER=root UID=0 GID=0
===>  Patching for eprover-2.6_2
===>  Applying FreeBSD patches for eprover-2.6_2 from /usr/ports/math/eprover/files
===========================================================================
=======================<phase: build-depends  >============================
===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0
===>   eprover-2.6_2 depends on executable: bash - not found
===>   Installing existing package /packages/All/bash-5.2.26_1.pkg
[pkg-builder.dan.net.uk] Installing bash-5.2.26_1...
[pkg-builder.dan.net.uk] `-- Installing gettext-runtime-0.22.3_1...
[pkg-builder.dan.net.uk] |   `-- Installing indexinfo-0.3.1...
[pkg-builder.dan.net.uk] |   `-- Extracting indexinfo-0.3.1: . done
[pkg-builder.dan.net.uk] `-- Extracting gettext-runtime-0.22.3_1: .......... done
[pkg-builder.dan.net.uk] Extracting bash-5.2.26_1: .......... done
===>   eprover-2.6_2 depends on executable: bash - found
===>   Returning to build of eprover-2.6_2
===>   eprover-2.6_2 depends on executable: help2man - not found
===>   Installing existing package /packages/All/help2man-1.49.3_1.pkg
[pkg-builder.dan.net.uk] Installing help2man-1.49.3_1...
[pkg-builder.dan.net.uk] `-- Installing p5-Locale-gettext-1.07...
[pkg-builder.dan.net.uk] |   `-- Installing perl5-5.36.3_1...
[pkg-builder.dan.net.uk] |   `-- Extracting perl5-5.36.3_1: .......... done
[pkg-builder.dan.net.uk] `-- Extracting p5-Locale-gettext-1.07: .... done
[pkg-builder.dan.net.uk] Extracting help2man-1.49.3_1: .......... done
===>   eprover-2.6_2 depends on executable: help2man - found
===>   Returning to build of eprover-2.6_2
===>   eprover-2.6_2 depends on package: gmake>=4.4.1 - not found
===>   Installing existing package /packages/All/gmake-4.4.1.pkg
[pkg-builder.dan.net.uk] Installing gmake-4.4.1...
[pkg-builder.dan.net.uk] Extracting gmake-4.4.1: .......... done
===>   eprover-2.6_2 depends on package: gmake>=4.4.1 - found
===>   Returning to build of eprover-2.6_2
===========================================================================
=======================<phase: lib-depends    >============================
===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0
===========================================================================
=======================<phase: configure      >============================
===== env: NO_DEPENDS=yes USER=root UID=0 GID=0
===>  Configuring for eprover-2.6_2
Configuring with executable path /wrkdirs/usr/ports/math/eprover/work/stage/usr/local/bin/
/wrkdirs/usr/ports/math/eprover/work/stage/usr/local/share/man/man1/
# -DENABLE_LFHO \\
echo 'Configuring build system'
Configuring build system
make       links
make[1]: Entering directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6'
make[1]: Leaving directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6'
make       depend
make[1]: Entering directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6'
make[2]: Entering directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/CONTRIB'
make[2]: Nothing to be done for 'depend'.
make[2]: Leaving directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/CONTRIB'
make[2]: Entering directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/BASICS'
gcc -M -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include *.c > Makefile.dependencies
make[2]: Leaving directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/BASICS'
make[2]: Entering directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/INOUT'
gcc -M -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include *.c > Makefile.dependencies
make[2]: Leaving directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/INOUT'
make[2]: Entering directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/TERMS'
gcc -M -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include *.c > Makefile.dependencies
make[2]: Leaving directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/TERMS'
make[2]: Entering directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/ORDERINGS'
gcc -M -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include *.c > Makefile.dependencies
make[2]: Leaving directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/ORDERINGS'
make[2]: Entering directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/CLAUSES'
gcc -M -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include *.c > Makefile.dependencies
make[2]: Leaving directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/CLAUSES'
make[2]: Entering directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/PROPOSITIONAL'
gcc -M -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include *.c > Makefile.dependencies
make[2]: Leaving directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/PROPOSITIONAL'
make[2]: Entering directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/LEARN'
gcc -M -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include *.c > Makefile.dependencies
make[2]: Leaving directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/LEARN'
make[2]: Entering directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/PCL2'
gcc -M -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include *.c > Makefile.dependencies
make[2]: Leaving directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/PCL2'
make[2]: Entering directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/HEURISTICS'
gcc -M -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include *.c > Makefile.dependencies
make[2]: Leaving directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/HEURISTICS'
make[2]: Entering directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/CONTROL'
gcc -M -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include *.c > Makefile.dependencies
make[2]: Leaving directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/CONTROL'
make[2]: Entering directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/SIMPLE_APPS'
gcc -M -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include *.c > Makefile.dependencies
make[2]: Leaving directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/SIMPLE_APPS'
make[2]: Entering directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/EXTERNAL'
gcc -M -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include *.c > Makefile.dependencies
make[2]: Leaving directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/EXTERNAL'
make[2]: Entering directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/PROVER'
gcc -M -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include *.c > Makefile.dependencies
make[2]: Leaving directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/PROVER'
make[1]: Leaving directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6'
cd CONTRIB; make       config
make[1]: Entering directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/CONTRIB'
cd picosat-965; ./configure.sh -t
version ... 965
debug ... no
log ... no
stats ... no
trace ... yes
static ... no
shared ... no
targets ... picosat picomcs picomus picogcnf libpicosat.a
cc ... gcc
cflags ... -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include
makefile ... done
make[1]: Leaving directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/CONTRIB'
===========================================================================
=======================<phase: build          >============================
===== env: NO_DEPENDS=yes USER=root UID=0 GID=0
===>  Building for eprover-2.6_2
make[1]: Entering directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/CONTRIB'
cd picosat-965; make      ; make      
make[2]: Entering directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/CONTRIB/picosat-965'
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include -c picosat.c
rm -f config.h; ./mkconfig.sh > config.h
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include -c version.c
ar rc libpicosat.a picosat.o version.o
ranlib libpicosat.a
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include -c app.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include -c main.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include -o picosat main.o app.o -L. -lpicosat
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include -c picomcs.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include -o picomcs picomcs.o -L. -lpicosat
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include -c picomus.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include -o picomus picomus.o -L. -lpicosat
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include -c picogcnf.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include -o picogcnf picogcnf.o -L. -lpicosat
make[2]: Leaving directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/CONTRIB/picosat-965'
make[2]: Entering directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/CONTRIB/picosat-965'
make[2]: Nothing to be done for 'all'.
make[2]: Leaving directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/CONTRIB/picosat-965'
make[1]: Leaving directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/CONTRIB'
make[1]: Entering directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/BASICS'
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o clb_error.o clb_error.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o clb_memory.o clb_memory.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o clb_os_wrapper.o clb_os_wrapper.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o clb_dstrings.o clb_dstrings.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o clb_verbose.o clb_verbose.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o clb_stringtrees.o clb_stringtrees.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o clb_numtrees.o clb_numtrees.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o clb_numxtrees.o clb_numxtrees.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o clb_floattrees.o clb_floattrees.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o clb_pstacks.o clb_pstacks.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o clb_pqueue.o clb_pqueue.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o clb_dstacks.o clb_dstacks.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o clb_ptrees.o clb_ptrees.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o clb_quadtrees.o clb_quadtrees.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o clb_regmem.o clb_regmem.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o clb_objtrees.o clb_objtrees.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o clb_fixdarrays.o clb_fixdarrays.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o clb_plist.o clb_plist.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o clb_pdarrays.o clb_pdarrays.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o clb_pdrangearrays.o clb_pdrangearrays.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o clb_ddarrays.o clb_ddarrays.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o clb_sysdate.o clb_sysdate.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o clb_intmap.o clb_intmap.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o clb_simple_stuff.o clb_simple_stuff.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o clb_partial_orderings.o clb_partial_orderings.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o clb_plocalstacks.o clb_plocalstacks.c
ar rcs BASICS.a clb_error.o clb_memory.o clb_os_wrapper.o clb_dstrings.o clb_verbose.o clb_stringtrees.o clb_numtrees.o clb_numxtrees.o clb_floattrees.o clb_pstacks.o clb_pqueue.o clb_dstacks.o clb_ptrees.o clb_quadtrees.o clb_regmem.o clb_objtrees.o clb_fixdarrays.o clb_plist.o clb_pdarrays.o clb_pdrangearrays.o clb_ddarrays.o clb_sysdate.o clb_intmap.o clb_simple_stuff.o clb_partial_orderings.o clb_plocalstacks.o
make[1]: Leaving directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/BASICS'
make[1]: Entering directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/INOUT'
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cio_output.o cio_output.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cio_simplestuff.o cio_simplestuff.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cio_fileops.o cio_fileops.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cio_streams.o cio_streams.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cio_initio.o cio_initio.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cio_scanner.o cio_scanner.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cio_network.o cio_network.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cio_multiplexer.o cio_multiplexer.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cio_basicparser.o cio_basicparser.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cio_commandline.o cio_commandline.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cio_filevars.o cio_filevars.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cio_tempfile.o cio_tempfile.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cio_signals.o cio_signals.c
ar rcs INOUT.a cio_output.o cio_simplestuff.o cio_fileops.o cio_streams.o  cio_initio.o cio_scanner.o cio_network.o cio_multiplexer.o cio_basicparser.o cio_commandline.o cio_filevars.o cio_tempfile.o cio_signals.o
make[1]: Leaving directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/INOUT'
make[1]: Entering directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/TERMS'
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cte_functypes.o cte_functypes.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cte_signature.o cte_signature.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cte_termtypes.o cte_termtypes.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cte_termvars.o cte_termvars.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cte_acterms.o cte_acterms.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cte_varhash.o cte_varhash.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cte_varsets.o cte_varsets.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cte_termfunc.o cte_termfunc.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cte_termtrees.o cte_termtrees.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cte_termcellstore.o cte_termcellstore.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cte_termbanks.o cte_termbanks.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cte_subst.o cte_subst.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cte_termpos.o cte_termpos.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cte_termcpos.o cte_termcpos.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cte_replace.o cte_replace.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cte_match_mgu_1-1.o cte_match_mgu_1-1.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cte_idx_fp.o cte_idx_fp.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cte_fp_index.o cte_fp_index.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cte_simpletypes.o cte_simpletypes.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cte_typecheck.o cte_typecheck.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cte_typebanks.o cte_typebanks.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cte_termweightext.o cte_termweightext.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cte_lambda.o cte_lambda.c
ar rcs TERMS.a cte_functypes.o cte_signature.o cte_termtypes.o cte_termvars.o cte_acterms.o cte_varhash.o cte_varsets.o cte_termfunc.o cte_termtrees.o cte_termcellstore.o cte_termbanks.o cte_subst.o cte_termpos.o cte_termcpos.o cte_replace.o cte_match_mgu_1-1.o cte_idx_fp.o cte_fp_index.o cte_simpletypes.o cte_typecheck.o cte_typebanks.o cte_termweightext.o cte_lambda.o
make[1]: Leaving directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/TERMS'
make[1]: Entering directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/ORDERINGS'
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cto_ocb.o cto_ocb.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cto_cmpcache.o cto_cmpcache.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cto_lpo.o cto_lpo.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cto_kbo.o cto_kbo.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cto_kbolin.o cto_kbolin.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cto_orderings.o cto_orderings.c
ar rcs ORDERINGS.a cto_ocb.o cto_cmpcache.o cto_lpo.o cto_kbo.o cto_kbolin.o cto_orderings.o
make[1]: Leaving directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/ORDERINGS'
make[1]: Entering directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/CLAUSES'
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_ext_index.o ccl_ext_index.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_neweval.o ccl_neweval.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_eqn.o ccl_eqn.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_eqnlist.o ccl_eqnlist.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_clauseinfo.o ccl_clauseinfo.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_clauses.o ccl_clauses.c
ccl_clauses.c:151:9: warning: variable 'collected' set but not used [-Wunused-but-set-variable]
   long collected = 0;
        ^
1 warning generated.
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_tformulae.o ccl_tformulae.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_formula_wrapper.o ccl_formula_wrapper.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_formulasets.o ccl_formulasets.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_f_generality.o ccl_f_generality.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_sine.o ccl_sine.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_garbage_coll.o ccl_garbage_coll.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_tcnf.o ccl_tcnf.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_propclauses.o ccl_propclauses.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_tautologies.o ccl_tautologies.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_clausepos.o ccl_clausepos.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_clausecpos.o ccl_clausecpos.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_pdtrees.o ccl_pdtrees.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_freqvectors.o ccl_freqvectors.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_fcvindexing.o ccl_fcvindexing.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_clausesets.o ccl_clausesets.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_unfold_defs.o ccl_unfold_defs.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_clausefunc.o ccl_clausefunc.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_formulafunc.o ccl_formulafunc.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_groundconstr.o ccl_groundconstr.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_grounding.o ccl_grounding.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_g_lithash.o ccl_g_lithash.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_axiomsorter.o ccl_axiomsorter.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_findex.o ccl_findex.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_clausepos_tree.o ccl_clausepos_tree.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_subterm_tree.o ccl_subterm_tree.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_subterm_index.o ccl_subterm_index.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_overlap_index.o ccl_overlap_index.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_relevance.o ccl_relevance.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_inferencedoc.o ccl_inferencedoc.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_derivation.o ccl_derivation.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_paramod.o ccl_paramod.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_factor.o ccl_factor.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_eqnresolution.o ccl_eqnresolution.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_rewrite.o ccl_rewrite.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_unit_simplify.o ccl_unit_simplify.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_subsumption.o ccl_subsumption.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_condensation.o ccl_condensation.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_context_sr.o ccl_context_sr.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_def_handling.o ccl_def_handling.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_splitting.o ccl_splitting.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_global_indices.o ccl_global_indices.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_satinterface.o ccl_satinterface.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ccl_proofstate.o ccl_proofstate.c
ar rcs CLAUSES.a ccl_ext_index.o ccl_neweval.o ccl_eqn.o ccl_eqnlist.o ccl_clauseinfo.o ccl_clauses.o ccl_tformulae.o ccl_formula_wrapper.o ccl_formulasets.o ccl_f_generality.o ccl_sine.o ccl_garbage_coll.o ccl_tcnf.o ccl_propclauses.o ccl_tautologies.o ccl_clausepos.o ccl_clausecpos.o ccl_pdtrees.o ccl_freqvectors.o ccl_fcvindexing.o ccl_clausesets.o ccl_unfold_defs.o ccl_clausefunc.o ccl_formulafunc.o ccl_groundconstr.o ccl_grounding.o ccl_g_lithash.o ccl_axiomsorter.o ccl_findex.o ccl_clausepos_tree.o ccl_subterm_tree.o ccl_subterm_index.o ccl_overlap_index.o ccl_relevance.o ccl_inferencedoc.o ccl_derivation.o ccl_paramod.o ccl_factor.o ccl_eqnresolution.o ccl_rewrite.o ccl_unit_simplify.o ccl_subsumption.o ccl_condensation.o ccl_context_sr.o ccl_def_handling.o ccl_splitting.o ccl_global_indices.o ccl_satinterface.o ccl_proofstate.o
make[1]: Leaving directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/CLAUSES'
make[1]: Entering directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/PROPOSITIONAL'
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cpr_propsig.o cpr_propsig.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cpr_varset.o cpr_varset.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cpr_propclauses.o cpr_propclauses.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cpr_dpllformula.o cpr_dpllformula.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -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[1]: Leaving directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/PROPOSITIONAL'
make[1]: Entering directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/LEARN'
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cle_patterns.o cle_patterns.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cle_clauseenc.o cle_clauseenc.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cle_annotations.o cle_annotations.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cle_annoterms.o cle_annoterms.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cle_flatannoterms.o cle_flatannoterms.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cle_numfeatures.o cle_numfeatures.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cle_examplerep.o cle_examplerep.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cle_kbdesc.o cle_kbdesc.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cle_kbinsert.o cle_kbinsert.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cle_termtops.o cle_termtops.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cle_indexfunctions.o cle_indexfunctions.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cle_tsm.o cle_tsm.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cle_classification.o cle_classification.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -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[1]: Leaving directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/LEARN'
make[1]: Entering directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/PCL2'
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o pcl_idents.o pcl_idents.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o pcl_positions.o pcl_positions.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o pcl_expressions.o pcl_expressions.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o pcl_steps.o pcl_steps.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o pcl_protocol.o pcl_protocol.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o pcl_miniclauses.o pcl_miniclauses.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o pcl_ministeps.o pcl_ministeps.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o pcl_miniprotocol.o pcl_miniprotocol.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o pcl_lemmas.o pcl_lemmas.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o pcl_analysis.o pcl_analysis.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o pcl_propanalysis.o pcl_propanalysis.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -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[1]: Leaving directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/PCL2'
make[1]: Entering directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/HEURISTICS'
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_wfcb.o che_wfcb.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_wfcbadmin.o che_wfcbadmin.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_axiomscan.o che_axiomscan.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_clausefeatures.o che_clausefeatures.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_prio_funs.o che_prio_funs.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_clausesetfeatures.o che_clausesetfeatures.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_rawspecfeatures.o che_rawspecfeatures.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_specsigfeatures.o che_specsigfeatures.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_clauseweight.o che_clauseweight.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_dagweight.o che_dagweight.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_refinedweight.o che_refinedweight.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_varweights.o che_varweights.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_funweights.o che_funweights.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_orientweight.o che_orientweight.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_fifo.o che_fifo.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_lifo.o che_lifo.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_learning.o che_learning.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_simweight.o che_simweight.c
che_simweight.c:55:13: warning: variable 'eq_weight' set but not used [-Wunused-but-set-variable]
   double   eq_weight = 0.0, clash_weight = 0.0;
            ^
1 warning generated.
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_to_params.o che_to_params.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_hcb.o che_hcb.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_litselection.o che_litselection.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_proofcontrol.o che_proofcontrol.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_hcbadmin.o che_hcbadmin.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_heuristics.o che_heuristics.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_fcode_featurearrays.o che_fcode_featurearrays.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_to_weightgen.o che_to_weightgen.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_to_precgen.o che_to_precgen.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_to_autoselect.o che_to_autoselect.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_axfilter.o che_axfilter.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_strucweight.o che_strucweight.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_prefixweight.o che_prefixweight.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_treeweight.o che_treeweight.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_levweight.o che_levweight.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_tfidfweight.o che_tfidfweight.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_termweights.o che_termweights.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_termweight.o che_termweight.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_random.o che_random.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o che_diversityweight.o che_diversityweight.c
ar rcs HEURISTICS.a che_wfcb.o che_wfcbadmin.o che_axiomscan.o che_clausefeatures.o che_prio_funs.o che_clausesetfeatures.o che_rawspecfeatures.o che_specsigfeatures.o che_clauseweight.o che_dagweight.o che_refinedweight.o che_varweights.o che_funweights.o che_orientweight.o che_fifo.o che_lifo.o che_learning.o che_simweight.o che_to_params.o che_hcb.o che_litselection.o che_proofcontrol.o che_hcbadmin.o che_heuristics.o che_fcode_featurearrays.o che_to_weightgen.o che_to_precgen.o che_to_autoselect.o che_axfilter.o che_strucweight.o che_prefixweight.o che_treeweight.o che_levweight.o che_tfidfweight.o che_termweights.o che_termweight.o che_random.o che_diversityweight.o
make[1]: Leaving directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/HEURISTICS'
make[1]: Entering directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/CONTROL'
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cco_simplification.o cco_simplification.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cco_factoring.o cco_factoring.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cco_eqnresolving.o cco_eqnresolving.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cco_paramodulation.o cco_paramodulation.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cco_forward_contraction.o cco_forward_contraction.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cco_clausesplitting.o cco_clausesplitting.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cco_interpreted.o cco_interpreted.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cco_proofproc.o cco_proofproc.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cco_proc_ctrl.o cco_proc_ctrl.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cco_batch_spec.o cco_batch_spec.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cco_einteractive_mode.o cco_einteractive_mode.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cco_sine.o cco_sine.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cco_esession.o cco_esession.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cco_eserver.o cco_eserver.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cco_scheduling.o cco_scheduling.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cco_ho_inferences.o cco_ho_inferences.c
ar rcs CONTROL.a cco_simplification.o cco_factoring.o cco_eqnresolving.o cco_paramodulation.o cco_forward_contraction.o  cco_clausesplitting.o cco_interpreted.o cco_proofproc.o cco_proc_ctrl.o cco_batch_spec.o cco_einteractive_mode.o cco_sine.o cco_esession.o cco_eserver.o cco_scheduling.o cco_ho_inferences.o
make[1]: Leaving directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/CONTROL'
make[1]: Entering directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/SIMPLE_APPS'
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ex_commandline.o ex_commandline.c
cc  -fstack-protector-strong          -o ex_commandline ex_commandline.o ../lib/INOUT.a ../lib/BASICS.a -lm
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o term2dag.o term2dag.c
cc  -fstack-protector-strong          -o term2dag term2dag.o ../lib/CLAUSES.a ../lib/TERMS.a  ../lib/ORDERINGS.a ../lib/INOUT.a ../lib/BASICS.a -lm
make[1]: Leaving directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/SIMPLE_APPS'
make[1]: Entering directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/EXTERNAL'
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o CSSCPA_filter.o CSSCPA_filter.c
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o cex_csscpa.o cex_csscpa.c
cc  -fstack-protector-strong          -o CSSCPA_filter CSSCPA_filter.o cex_csscpa.o ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
make[1]: Leaving directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/EXTERNAL'
make[1]: Entering directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/PROVER'
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o eprover.o eprover.c
cc  -fstack-protector-strong          -o eprover eprover.o ../lib/CONTROL.a ../lib/HEURISTICS.a ../lib/LEARN.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a  ../lib/CONTRIB.a -lm
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o e_ltb_runner.o e_ltb_runner.c
cc  -fstack-protector-strong          -o e_ltb_runner e_ltb_runner.o ../lib/CONTROL.a ../lib/HEURISTICS.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o e_stratpar.o e_stratpar.c
cc  -fstack-protector-strong          -o e_stratpar e_stratpar.o ../lib/CONTROL.a ../lib/HEURISTICS.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o e_deduction_server.o e_deduction_server.c
cc  -fstack-protector-strong          -o e_deduction_server e_deduction_server.o ../lib/CONTROL.a ../lib/HEURISTICS.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o e_axfilter.o e_axfilter.c
cc  -fstack-protector-strong          -o e_axfilter e_axfilter.o ../lib/CONTROL.a ../lib/HEURISTICS.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o classify_problem.o classify_problem.c
cc  -fstack-protector-strong          -o classify_problem classify_problem.o ../lib/CONTROL.a ../lib/HEURISTICS.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o epatternize.o epatternize.c
cc  -fstack-protector-strong          -o epatternize epatternize.o ../lib/CONTROL.a ../lib/HEURISTICS.a ../lib/LEARN.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o e_client.o e_client.c
cc  -fstack-protector-strong          -o e_client e_client.o ../lib/CONTROL.a ../lib/HEURISTICS.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o e_server.o e_server.c
cc  -fstack-protector-strong          -o e_server e_server.o ../lib/CONTROL.a ../lib/HEURISTICS.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a -lm
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o direct_examples.o direct_examples.c
direct_examples.c:120:20: warning: variable 'steps' set but not used [-Wunused-but-set-variable]
   long            steps, proof_steps, neg_steps;
                   ^
1 warning generated.
cc  -fstack-protector-strong          -o direct_examples direct_examples.o ../lib/PCL2.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o epclanalyse.o epclanalyse.c
epclanalyse.c:113:20: warning: variable 'steps' set but not used [-Wunused-but-set-variable]
   long            steps;
                   ^
1 warning generated.
cc  -fstack-protector-strong          -o epclanalyse epclanalyse.o ../lib/PCL2.a ../lib/HEURISTICS.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o epclextract.o epclextract.c
epclextract.c:159:20: warning: variable 'steps' set but not used [-Wunused-but-set-variable]
   long            steps;
                   ^
1 warning generated.
cc  -fstack-protector-strong          -o epclextract epclextract.o ../lib/PCL2.a ../lib/HEURISTICS.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o checkproof.o checkproof.c
cc  -fstack-protector-strong          -o checkproof checkproof.o ../lib/PCL2.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o eground.o eground.c
cc  -fstack-protector-strong          -o eground eground.o ../lib/HEURISTICS.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o enormalizer.o enormalizer.c
cc  -fstack-protector-strong          -o enormalizer enormalizer.o ../lib/HEURISTICS.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o edpll.o edpll.c
cc  -fstack-protector-strong          -o edpll edpll.o ../lib/PROPOSITIONAL.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o epcllemma.o epcllemma.c
epcllemma.c:379:20: warning: variable 'steps' set but not used [-Wunused-but-set-variable]
   long            steps;
                   ^
1 warning generated.
cc  -fstack-protector-strong          -o epcllemma epcllemma.o ../lib/PCL2.a ../lib/HEURISTICS.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ekb_create.o ekb_create.c
cc  -fstack-protector-strong          -o ekb_create ekb_create.o ../lib/LEARN.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ekb_insert.o ekb_insert.c
cc  -fstack-protector-strong          -o ekb_insert ekb_insert.o ../lib/LEARN.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ekb_ginsert.o ekb_ginsert.c
cc  -fstack-protector-strong          -o ekb_ginsert ekb_ginsert.o ../lib/PCL2.a ../lib/LEARN.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
cc -O2 -pipe  -fstack-protector-strong -fno-strict-aliasing    -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -Wall    -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS  -std=gnu99 -I../include   -c -o ekb_delete.o ekb_delete.c
cc  -fstack-protector-strong          -o ekb_delete ekb_delete.o ../lib/LEARN.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
make[1]: Leaving directory '/wrkdirs/usr/ports/math/eprover/work/eprover-E-2.6/PROVER'
mkdir -p DOC/man
help2man -N -i DOC/bug_reporting PROVER/eprover      > DOC/man/eprover.1
help2man -N -i DOC/bug_reporting PROVER/e_stratpar   > DOC/man/e_stratpar.1
help2man -N -i DOC/bug_reporting PROVER/eground      > DOC/man/eground.1
help2man -N -i DOC/bug_reporting PROVER/epclextract  > DOC/man/epclextract.1
help2man -N -i DOC/bug_reporting PROVER/e_ltb_runner > DOC/man/e_ltb_runner.1
help2man -N -i DOC/bug_reporting PROVER/e_deduction_server > DOC/man/e_deduction_server.1
help2man -N -i DOC/bug_reporting PROVER/e_axfilter   > DOC/man/e_axfilter.1
help2man -N -i DOC/bug_reporting PROVER/checkproof   > DOC/man/checkproof.1
help2man -N -i DOC/bug_reporting PROVER/ekb_create   > DOC/man/ekb_create.1
help2man -N -i DOC/bug_reporting PROVER/ekb_delete   > DOC/man/ekb_delete.1
help2man -N -i DOC/bug_reporting PROVER/ekb_ginsert  > DOC/man/ekb_ginsert.1
help2man -N -i DOC/bug_reporting PROVER/ekb_insert   > DOC/man/ekb_insert.1
===========================================================================
=======================<phase: run-depends    >============================
===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0
===>   eprover-2.6_2 depends on executable: bash - found
===========================================================================
=======================<phase: stage          >============================
===== env: NO_DEPENDS=yes USER=root UID=0 GID=0
===>  Staging for eprover-2.6_2
===>   Generating temporary packing list
sh -c 'mkdir -p /wrkdirs/usr/ports/math/eprover/work/stage/usr/local/bin/'
sh -c 'development_tools/e_install PROVER/eprover      /wrkdirs/usr/ports/math/eprover/work/stage/usr/local/bin/'
sh -c 'development_tools/e_install PROVER/eprover-ho   /wrkdirs/usr/ports/math/eprover/work/stage/usr/local/bin/'
sh -c 'development_tools/e_install PROVER/epclextract  /wrkdirs/usr/ports/math/eprover/work/stage/usr/local/bin/'
sh -c 'development_tools/e_install PROVER/e_stratpar   /wrkdirs/usr/ports/math/eprover/work/stage/usr/local/bin/'
sh -c 'development_tools/e_install PROVER/eground      /wrkdirs/usr/ports/math/eprover/work/stage/usr/local/bin/'
sh -c 'development_tools/e_install PROVER/e_ltb_runner /wrkdirs/usr/ports/math/eprover/work/stage/usr/local/bin/'
sh -c 'development_tools/e_install PROVER/e_deduction_server /wrkdirs/usr/ports/math/eprover/work/stage/usr/local/bin/'
sh -c 'development_tools/e_install PROVER/e_axfilter   /wrkdirs/usr/ports/math/eprover/work/stage/usr/local/bin/'
sh -c 'development_tools/e_install PROVER/checkproof   /wrkdirs/usr/ports/math/eprover/work/stage/usr/local/bin/'
sh -c 'development_tools/e_install PROVER/ekb_create   /wrkdirs/usr/ports/math/eprover/work/stage/usr/local/bin/'
sh -c 'development_tools/e_install PROVER/ekb_delete   /wrkdirs/usr/ports/math/eprover/work/stage/usr/local/bin/'
sh -c 'development_tools/e_install PROVER/ekb_ginsert  /wrkdirs/usr/ports/math/eprover/work/stage/usr/local/bin/'
sh -c 'development_tools/e_install PROVER/ekb_insert   /wrkdirs/usr/ports/math/eprover/work/stage/usr/local/bin/'
sh -c 'development_tools/e_install CONTRIB/picosat-965/picosat /wrkdirs/usr/ports/math/eprover/work/stage/usr/local/bin/'
sh -c 'mkdir -p /wrkdirs/usr/ports/math/eprover/work/stage/usr/local/share/man/man1/'
sh -c 'development_tools/e_install DOC/man/eprover.1      /wrkdirs/usr/ports/math/eprover/work/stage/usr/local/share/man/man1/'
sh -c 'development_tools/e_install DOC/man/epclextract.1  /wrkdirs/usr/ports/math/eprover/work/stage/usr/local/share/man/man1/'
sh -c 'development_tools/e_install DOC/man/e_stratpar.1   /wrkdirs/usr/ports/math/eprover/work/stage/usr/local/share/man/man1/'
sh -c 'development_tools/e_install DOC/man/eground.1      /wrkdirs/usr/ports/math/eprover/work/stage/usr/local/share/man/man1/'
sh -c 'development_tools/e_install DOC/man/e_ltb_runner.1 /wrkdirs/usr/ports/math/eprover/work/stage/usr/local/share/man/man1/'
sh -c 'development_tools/e_install DOC/man/e_deduction_server.1 /wrkdirs/usr/ports/math/eprover/work/stage/usr/local/share/man/man1/'
sh -c 'development_tools/e_install DOC/man/e_axfilter.1   /wrkdirs/usr/ports/math/eprover/work/stage/usr/local/share/man/man1/'
sh -c 'development_tools/e_install DOC/man/checkproof.1   /wrkdirs/usr/ports/math/eprover/work/stage/usr/local/share/man/man1/'
sh -c 'development_tools/e_install DOC/man/ekb_create.1   /wrkdirs/usr/ports/math/eprover/work/stage/usr/local/share/man/man1/'
sh -c 'development_tools/e_install DOC/man/ekb_delete.1   /wrkdirs/usr/ports/math/eprover/work/stage/usr/local/share/man/man1/'
sh -c 'development_tools/e_install DOC/man/ekb_ginsert.1  /wrkdirs/usr/ports/math/eprover/work/stage/usr/local/share/man/man1/'
sh -c 'development_tools/e_install DOC/man/ekb_insert.1   /wrkdirs/usr/ports/math/eprover/work/stage/usr/local/share/man/man1/'
====> Compressing man pages (compress-man)
===========================================================================
=======================<phase: package        >============================
===== env: 'PKG_NOTES=build_timestamp ports_top_git_hash ports_top_checkout_unclean port_git_hash port_checkout_unclean built_by' 'PKG_NOTE_build_timestamp=2024-04-01T06:49:23+0000' 'PKG_NOTE_ports_top_git_hash=c2c35d895e' 'PKG_NOTE_ports_top_checkout_unclean=yes' 'PKG_NOTE_port_git_hash=0bbf829ecb' 'PKG_NOTE_port_checkout_unclean=no' 'PKG_NOTE_built_by=poudriere-git-3.4.99.20240122_1' NO_DEPENDS=yes USER=root UID=0 GID=0
===>  Building packages for eprover-2.6_2
===>   Building eprover-2.6_2
===========================================================================
=>> Cleaning up wrkdir
===>  Cleaning for eprover-2.6_2
build of math/eprover | eprover-2.6_2 ended at Mon Apr  1 07:53:44 BST 2024
build time: 00:04:21