Date: Wed, 22 Aug 2018 08:21:04 GMT From: pkg-fallout@FreeBSD.org To: pkg-fallout@FreeBSD.org Subject: [package - head-armv7-default][math/eprover] Failed for eprover-2.0 in build Message-ID: <201808220821.w7M8L4c5065576@beefy16.nyi.freebsd.org>
next in thread | raw e-mail | index | archive | help
You are receiving this mail as a port that you maintain is failing to build on the FreeBSD package build server. Please investigate the failure and submit a PR to fix build. Maintainer: greg@unrelenting.technology Last committer: yuri@FreeBSD.org Ident: $FreeBSD: head/math/eprover/Makefile 454506 2017-11-19 21:59:32Z yuri $ Log URL: http://beefy16.nyi.freebsd.org/data/head-armv7-default/p477551_s338037/logs/eprover-2.0.log Build URL: http://beefy16.nyi.freebsd.org/build.html?mastername=head-armv7-default&build=p477551_s338037 Log: =>> Building math/eprover build started at Wed Aug 22 08:18:41 UTC 2018 port directory: /usr/ports/math/eprover package name: eprover-2.0 building for: FreeBSD head-armv7-default-job-07 12.0-ALPHA2 FreeBSD 12.0-ALPHA2 1200078 arm maintained by: greg@unrelenting.technology Makefile ident: $FreeBSD: head/math/eprover/Makefile 454506 2017-11-19 21:59:32Z yuri $ Poudriere version: 3.2.7-2-g1cf194be Host OSVERSION: 1200069 Jail OSVERSION: 1200078 Job Id: 07 !!! Jail is newer than host. (Jail: 1200078, Host: 1200069) !!! !!! This is not supported. !!! !!! Host kernel must be same or newer than jail. !!! !!! Expect build failures. !!! ---Begin Environment--- SHELL=/bin/csh UNAME_p=armv7 UNAME_m=arm ABI_FILE=/usr/lib/crt1.o OSVERSION=1200078 UNAME_v=FreeBSD 12.0-ALPHA2 1200078 UNAME_r=12.0-ALPHA2 BLOCKSIZE=K MAIL=/var/mail/root STATUS=1 HOME=/root PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin LOCALBASE=/usr/local QEMU_EMULATING=1 USER=root LIBEXECPREFIX=/usr/local/libexec/poudriere POUDRIERE_VERSION=3.2.7-2-g1cf194be MASTERMNT=/usr/local/poudriere/data/.m/head-armv7-default/ref POUDRIERE_BUILD_TYPE=bulk PACKAGE_BUILDING=yes SAVED_TERM= PWD=/usr/local/poudriere/data/.m/head-armv7-default/ref/.p/pool P_PORTS_FEATURES=FLAVORS SELECTED_OPTIONS MASTERNAME=head-armv7-default SCRIPTPREFIX=/usr/local/share/poudriere OLDPWD=/usr/local/poudriere/data/.m/head-armv7-default/ref/.p SCRIPTPATH=/usr/local/share/poudriere/bulk.sh POUDRIEREPATH=/usr/local/bin/poudriere ---End Environment--- ---Begin Poudriere Port Flags/Env--- PORT_FLAGS= PKGENV= FLAVOR= DEPENDS_ARGS= MAKE_ARGS= ---End Poudriere Port Flags/Env--- ---Begin OPTIONS List--- ---End OPTIONS List--- --MAINTAINER-- greg@unrelenting.technology --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/man/man1/ --End CONFIGURE_ARGS-- --CONFIGURE_ENV-- XDG_DATA_HOME=/wrkdirs/usr/ports/math/eprover/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/eprover/work HOME=/wrkdirs/usr/ports/math/eprover/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/eprover/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin SHELL=/bin/sh CONFIG_SHELL=/bin/sh --End CONFIGURE_ENV-- --MAKE_ENV-- XDG_DATA_HOME=/wrkdirs/usr/ports/math/eprover/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/eprover/work HOME=/wrkdirs/usr/ports/math/eprover/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/eprover/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin NO_PIE=yes MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES PREFIX=/usr/local LOCALBASE=/usr/local CC="/nxb-bin/usr/bin/cc" CFLAGS="-O2 -pipe -fno-strict-aliasing" CPP="/nxb-bin/usr/bin/cpp" CPPFLAGS="" LDFLAGS="" LIBS="" CXX="/nxb-bin/usr/bin/c++" CXXFLAGS="-O2 -pipe -fno-strict-aliasing " MANPREFIX="/usr/local" 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-- PORTDOCS="" PORTEXAMPLES="" OSREL=12.0 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--- .sinclude "/etc/make.nxb.conf" USE_PACKAGE_DEPENDS=yes BATCH=yes WRKDIRPREFIX=/wrkdirs PORTSDIR=/usr/ports PACKAGES=/packages DISTDIR=/distfiles PACKAGE_BUILDING=yes PACKAGE_BUILDING_FLAVORS=yes MACHINE=arm MACHINE_ARCH=armv7 ARCH=${MACHINE_ARCH} #### /usr/local/etc/poudriere.d/make.conf #### # XXX: We really need this but cannot use it while 'make checksum' does not # try the next mirror on checksum failure. It currently retries the same # failed mirror and then fails rather then trying another. It *does* # try the next if the size is mismatched though. #MASTER_SITE_FREEBSD=yes # Build ALLOW_MAKE_JOBS_PACKAGES with 2 jobs MAKE_JOBS_NUMBER=2 # stable/10 includes src.conf too late but make.conf is in sys.mk .if ${.CURDIR:M/poudriere/jails/10*/usr/src/usr.bin/xlint*} # Disable build of llib now that head no longer has lint(1) LINT= true .endif #### /usr/ports/Mk/Scripts/ports_env.sh #### _CCVERSION_9d218390=FreeBSD clang version 6.0.1 (tags/RELEASE_601/final 335540) (based on LLVM 6.0.1) Target: armv7-unknown-freebsd12.0-gnueabihf Thread model: posix InstalledDir: /nxb-bin/usr/bin _ALTCCVERSION_9d218390=none _CXXINTERNAL_9c45a5b1=FreeBSD clang version 6.0.1 (tags/RELEASE_601/final 335540) (based on LLVM 6.0.1) Target: armv7-unknown-freebsd12.0-gnueabihf Thread model: posix InstalledDir: /nxb-bin/usr/bin "/nxb-bin/usr/bin/ld" "--eh-frame-hdr" "-dynamic-linker" "/libexec/ld-elf.so.1" "--hash-style=both" "--enable-new-dtags" "-o" "a.out" "/usr/lib/crt1.o" "/usr/lib/crti.o" "/usr/lib/crtbegin.o" "-L/usr/lib" "/dev/null" "-lc++" "-lm" "-lgcc" "--as-needed" "-lgcc_s" "--no-as-needed" "-lc" "-lgcc" "--as-needed" "-lgcc_s" "--no-as-needed" "/usr/lib/crtend.o" "/usr/lib/crtn.o" CC_OUTPUT_9d218390_58173849=yes CC_OUTPUT_9d218390_9bdba57c=yes CC_OUTPUT_9d218390_6a4fe7f5=yes CC_OUTPUT_9d218390_6bcac02b=yes CC_OUTPUT_9d218390_67d20829=yes CC_OUTPUT_9d218390_bfa62e83=yes CC_OUTPUT_9d218390_f0b4d593=yes CC_OUTPUT_9d218390_308abb44=yes CC_OUTPUT_9d218390_f00456e5=yes CC_OUTPUT_9d218390_65ad290d=yes CC_OUTPUT_9d218390_f2776b26=yes CC_OUTPUT_9d218390_b2657cc3=yes CC_OUTPUT_9d218390_380987f7=yes CC_OUTPUT_9d218390_160933ec=yes CC_OUTPUT_9d218390_fb62803b=yes _OBJC_CCVERSION_9d218390=FreeBSD clang version 6.0.1 (tags/RELEASE_601/final 335540) (based on LLVM 6.0.1) Target: armv7-unknown-freebsd12.0-gnueabihf Thread model: posix InstalledDir: /nxb-bin/usr/bin _OBJC_ALTCCVERSION_9d218390=none ARCH=armv7 OPSYS=FreeBSD _OSRELEASE=12.0-ALPHA2 OSREL=12.0 OSVERSION=1200078 PYTHONBASE=/usr/local CONFIGURE_MAX_CMD_LEN=262144 HAVE_PORTS_ENV=1 #### Misc Poudriere #### GID=0 UID=0 DISABLE_MAKE_JOBS=poudriere ---End make.conf--- ---Begin make.nxb.conf--- CC=/nxb-bin/usr/bin/cc CPP=/nxb-bin/usr/bin/cpp CXX=/nxb-bin/usr/bin/c++ AS=/nxb-bin/usr/bin/as NM=/nxb-bin/usr/bin/nm LD=/nxb-bin/usr/bin/ld OBJCOPY=/nxb-bin/usr/bin/objcopy SIZE=/nxb-bin/usr/bin/size STRIPBIN=/nxb-bin/usr/bin/strip SED=/nxb-bin/usr/bin/sed RANLIB=/nxb-bin/usr/bin/ranlib YACC=/nxb-bin/usr/bin/yacc MAKE=/nxb-bin/usr/bin/make STRINGS=/nxb-bin/usr/bin/strings AWK=/nxb-bin/usr/bin/awk FLEX=/nxb-bin/usr/bin/flex ---End make.nxb.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) 1024 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 >============================ ===> License LGPL20+ GPLv2+ accepted by the user =========================================================================== =======================<phase: pkg-depends >============================ ===> eprover-2.0 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.10.5_1.txz [head-armv7-default-job-07] Installing pkg-1.10.5_1... [head-armv7-default-job-07] Extracting pkg-1.10.5_1: .......... done ===> eprover-2.0 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of eprover-2.0 =========================================================================== =======================<phase: fetch-depends >============================ =========================================================================== =======================<phase: fetch >============================ ===> License LGPL20+ GPLv2+ accepted by the user <snip> /nxb-bin/usr/bin/cc -O2 -pipe -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 -c ccl_eqnlist.c -o ccl_eqnlist.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c ccl_clauseinfo.c -o ccl_clauseinfo.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c ccl_clauses.c -o ccl_clauses.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c ccl_tformulae.c -o ccl_tformulae.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c ccl_formula_wrapper.c -o ccl_formula_wrapper.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c ccl_formulasets.c -o ccl_formulasets.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c ccl_f_generality.c -o ccl_f_generality.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c ccl_sine.c -o ccl_sine.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c ccl_garbage_coll.c -o ccl_garbage_coll.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c ccl_tcnf.c -o ccl_tcnf.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c ccl_propclauses.c -o ccl_propclauses.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c ccl_tautologies.c -o ccl_tautologies.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c ccl_clausepos.c -o ccl_clausepos.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c ccl_clausecpos.c -o ccl_clausecpos.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c ccl_pdtrees.c -o ccl_pdtrees.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c ccl_freqvectors.c -o ccl_freqvectors.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c ccl_fcvindexing.c -o ccl_fcvindexing.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c ccl_clausesets.c -o ccl_clausesets.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c ccl_unfold_defs.c -o ccl_unfold_defs.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c ccl_clausefunc.c -o ccl_clausefunc.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c ccl_formulafunc.c -o ccl_formulafunc.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c ccl_groundconstr.c -o ccl_groundconstr.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c ccl_grounding.c -o ccl_grounding.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c ccl_g_lithash.c -o ccl_g_lithash.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c ccl_axiomsorter.c -o ccl_axiomsorter.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c ccl_findex.c -o ccl_findex.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c ccl_clausepos_tree.c -o ccl_clausepos_tree.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c ccl_subterm_tree.c -o ccl_subterm_tree.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c ccl_subterm_index.c -o ccl_subterm_index.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c ccl_overlap_index.c -o ccl_overlap_index.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c ccl_relevance.c -o ccl_relevance.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c ccl_inferencedoc.c -o ccl_inferencedoc.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c ccl_derivation.c -o ccl_derivation.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c ccl_paramod.c -o ccl_paramod.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c ccl_factor.c -o ccl_factor.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c ccl_eqnresolution.c -o ccl_eqnresolution.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c ccl_rewrite.c -o ccl_rewrite.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c ccl_unit_simplify.c -o ccl_unit_simplify.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c ccl_subsumption.c -o ccl_subsumption.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c ccl_condensation.c -o ccl_condensation.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c ccl_context_sr.c -o ccl_context_sr.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c ccl_def_handling.c -o ccl_def_handling.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c ccl_splitting.c -o ccl_splitting.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c ccl_global_indices.c -o ccl_global_indices.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c ccl_proofstate.c -o ccl_proofstate.o ar rcs CLAUSES.a 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_proofstate.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c cpr_propsig.c -o cpr_propsig.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c cpr_varset.c -o cpr_varset.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c cpr_propclauses.c -o cpr_propclauses.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c cpr_dpllformula.c -o cpr_dpllformula.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c cpr_dpll.c -o cpr_dpll.o ar rcs PROPOSITIONAL.a cpr_propsig.o cpr_varset.o cpr_propclauses.o cpr_dpllformula.o cpr_dpll.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c cle_patterns.c -o cle_patterns.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c cle_clauseenc.c -o cle_clauseenc.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c cle_annotations.c -o cle_annotations.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c cle_annoterms.c -o cle_annoterms.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c cle_flatannoterms.c -o cle_flatannoterms.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c cle_numfeatures.c -o cle_numfeatures.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c cle_examplerep.c -o cle_examplerep.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c cle_kbdesc.c -o cle_kbdesc.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c cle_kbinsert.c -o cle_kbinsert.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c cle_termtops.c -o cle_termtops.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c cle_indexfunctions.c -o cle_indexfunctions.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c cle_tsm.c -o cle_tsm.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c cle_classification.c -o cle_classification.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c cle_tsmio.c -o cle_tsmio.o 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 /nxb-bin/usr/bin/cc -O2 -pipe -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 -c can_clausestats.c -o can_clausestats.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c can_clausestore.c -o can_clausestore.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c can_infstate.c -o can_infstate.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c can_treeanalyze.c -o can_treeanalyze.o ar rcs ANALYSIS.a can_clausestats.o can_clausestore.o can_infstate.o can_treeanalyze.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c pcl_idents.c -o pcl_idents.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c pcl_positions.c -o pcl_positions.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c pcl_expressions.c -o pcl_expressions.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c pcl_steps.c -o pcl_steps.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c pcl_protocol.c -o pcl_protocol.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c pcl_miniclauses.c -o pcl_miniclauses.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c pcl_ministeps.c -o pcl_ministeps.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c pcl_miniprotocol.c -o pcl_miniprotocol.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c pcl_lemmas.c -o pcl_lemmas.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c pcl_analysis.c -o pcl_analysis.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c pcl_propanalysis.c -o pcl_propanalysis.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c pcl_proofcheck.c -o pcl_proofcheck.o 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 /nxb-bin/usr/bin/cc -O2 -pipe -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 -c che_wfcb.c -o che_wfcb.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c che_wfcbadmin.c -o che_wfcbadmin.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c che_axiomscan.c -o che_axiomscan.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c che_clausefeatures.c -o che_clausefeatures.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c che_prio_funs.c -o che_prio_funs.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c che_clausesetfeatures.c -o che_clausesetfeatures.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c che_rawspecfeatures.c -o che_rawspecfeatures.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c che_clauseweight.c -o che_clauseweight.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c che_refinedweight.c -o che_refinedweight.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c che_varweights.c -o che_varweights.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c che_funweights.c -o che_funweights.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c che_orientweight.c -o che_orientweight.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c che_fifo.c -o che_fifo.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c che_lifo.c -o che_lifo.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c che_learning.c -o che_learning.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c che_simweight.c -o che_simweight.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c che_hcb.c -o che_hcb.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c che_litselection.c -o che_litselection.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c che_proofcontrol.c -o che_proofcontrol.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c che_hcbadmin.c -o che_hcbadmin.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c che_heuristics.c -o che_heuristics.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c che_fcode_featurearrays.c -o che_fcode_featurearrays.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c che_to_weightgen.c -o che_to_weightgen.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c che_to_precgen.c -o che_to_precgen.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c che_to_autoselect.c -o che_to_autoselect.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c che_axfilter.c -o che_axfilter.o 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_clauseweight.o che_refinedweight.o che_varweights.o che_funweights.o che_orientweight.o che_fifo.o che_lifo.o che_learning.o che_simweight.o che_hcb.o che_litselection.o che_proofcontrol.o che_hcbadmin.o che_heuristics.o che_fcode_featurearrays.o che_to_weightgen.o che_to_precgen.o che_to_autoselect.o che_axfilter.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c cco_simplification.c -o cco_simplification.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c cco_factoring.c -o cco_factoring.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c cco_eqnresolving.c -o cco_eqnresolving.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c cco_paramodulation.c -o cco_paramodulation.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c cco_forward_contraction.c -o cco_forward_contraction.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c cco_clausesplitting.c -o cco_clausesplitting.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c cco_interpreted.c -o cco_interpreted.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c cco_proofproc.c -o cco_proofproc.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c cco_proc_ctrl.c -o cco_proc_ctrl.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c cco_batch_spec.c -o cco_batch_spec.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c cco_einteractive_mode.c -o cco_einteractive_mode.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c cco_sine.c -o cco_sine.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c cco_esession.c -o cco_esession.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c cco_eserver.c -o cco_eserver.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c cco_scheduling.c -o cco_scheduling.o 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 /nxb-bin/usr/bin/cc -O2 -pipe -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 -c eprover.c -o eprover.o eprover.c:514:26: warning: implicit conversion from 'long long' to 'long' changes value from 9223372036854775807 to -1 [-Wconstant-conversion] LLONG_MAX, LONG_MAX); ^~~~~~~~~ /usr/include/sys/limits.h:69:19: note: expanded from macro 'LLONG_MAX' #define LLONG_MAX __LLONG_MAX /* max for a long long */ ^~~~~~~~~~~ /usr/include/machine/_limits.h:68:21: note: expanded from macro '__LLONG_MAX' #define __LLONG_MAX 0x7fffffffffffffffLL /* max value for a long long */ ^~~~~~~~~~~~~~~~~~~~ 1 warning generated. /nxb-bin/usr/bin/cc -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 -lm /nxb-bin/usr/bin/cc -O2 -pipe -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 -c e_ltb_runner.c -o e_ltb_runner.o /nxb-bin/usr/bin/cc -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 -lm /nxb-bin/usr/bin/cc -O2 -pipe -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 -c e_deduction_server.c -o e_deduction_server.o /nxb-bin/usr/bin/cc -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 -lm /nxb-bin/usr/bin/cc -O2 -pipe -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 -c e_axfilter.c -o e_axfilter.o /nxb-bin/usr/bin/cc -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 -lm /nxb-bin/usr/bin/cc -O2 -pipe -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 -c classify_problem.c -o classify_problem.o /nxb-bin/usr/bin/cc -o classify_problem classify_problem.o ../lib/HEURISTICS.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a -lm /nxb-bin/usr/bin/cc -O2 -pipe -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 -c termprops.c -o termprops.o /nxb-bin/usr/bin/cc -o termprops termprops.o ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a -lm /nxb-bin/usr/bin/cc -O2 -pipe -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 -c e_client.c -o e_client.o /nxb-bin/usr/bin/cc -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 -lm /nxb-bin/usr/bin/cc -O2 -pipe -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 -c e_server.c -o e_server.o /nxb-bin/usr/bin/cc -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 /nxb-bin/usr/bin/cc -O2 -pipe -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 -c direct_examples.c -o direct_examples.o /nxb-bin/usr/bin/cc -o direct_examples direct_examples.o ../lib/PCL2.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a -lm /nxb-bin/usr/bin/cc -O2 -pipe -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 -c epclanalyse.c -o epclanalyse.o /nxb-bin/usr/bin/cc -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 -lm /nxb-bin/usr/bin/cc -O2 -pipe -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 -c epclextract.c -o epclextract.o /nxb-bin/usr/bin/cc -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 -lm /nxb-bin/usr/bin/cc -O2 -pipe -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 -c checkproof.c -o checkproof.o /nxb-bin/usr/bin/cc -o checkproof checkproof.o ../lib/PCL2.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a -lm /nxb-bin/usr/bin/cc -O2 -pipe -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 -c eground.c -o eground.o /nxb-bin/usr/bin/cc -o eground eground.o ../lib/HEURISTICS.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a -lm /nxb-bin/usr/bin/cc -O2 -pipe -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 -c enormalizer.c -o enormalizer.o /nxb-bin/usr/bin/cc -o enormalizer enormalizer.o ../lib/HEURISTICS.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a -lm /nxb-bin/usr/bin/cc -O2 -pipe -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 -c edpll.c -o edpll.o /nxb-bin/usr/bin/cc -o edpll edpll.o ../lib/PROPOSITIONAL.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a -lm /nxb-bin/usr/bin/cc -O2 -pipe -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 -c epcllemma.c -o epcllemma.o /nxb-bin/usr/bin/cc -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 -lm /nxb-bin/usr/bin/cc -O2 -pipe -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 -c ekb_create.c -o ekb_create.o /nxb-bin/usr/bin/cc -o ekb_create ekb_create.o ../lib/LEARN.a ../lib/ANALYSIS.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a -lm /nxb-bin/usr/bin/cc -O2 -pipe -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 -c ekb_insert.c -o ekb_insert.o /nxb-bin/usr/bin/cc -o ekb_insert ekb_insert.o ../lib/LEARN.a ../lib/ANALYSIS.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a -lm /nxb-bin/usr/bin/cc -O2 -pipe -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 -c ekb_ginsert.c -o ekb_ginsert.o /nxb-bin/usr/bin/cc -o ekb_ginsert ekb_ginsert.o ../lib/PCL2.a ../lib/LEARN.a ../lib/ANALYSIS.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a -lm /nxb-bin/usr/bin/cc -O2 -pipe -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 -c ekb_delete.c -o ekb_delete.o /nxb-bin/usr/bin/cc -o ekb_delete ekb_delete.o ../lib/LEARN.a ../lib/ANALYSIS.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a -lm /nxb-bin/usr/bin/cc -O2 -pipe -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 -c tsm_classify.c -o tsm_classify.o /nxb-bin/usr/bin/cc -o tsm_classify tsm_classify.o ../lib/LEARN.a ../lib/ANALYSIS.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a -lm /nxb-bin/usr/bin/cc -O2 -pipe -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 -c ex_commandline.c -o ex_commandline.o /nxb-bin/usr/bin/cc -o ex_commandline ex_commandline.o ../lib/INOUT.a ../lib/BASICS.a -lm /nxb-bin/usr/bin/cc -O2 -pipe -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 -c term2dag.c -o term2dag.o /nxb-bin/usr/bin/cc -o term2dag term2dag.o ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a -lm /nxb-bin/usr/bin/cc -O2 -pipe -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 -c CSSCPA_filter.c -o CSSCPA_filter.o /nxb-bin/usr/bin/cc -O2 -pipe -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 -c cex_csscpa.c -o cex_csscpa.o /nxb-bin/usr/bin/cc -o CSSCPA_filter CSSCPA_filter.o cex_csscpa.o ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a -lm mkdir -p DOC/man help2man -N -i DOC/bug_reporting PROVER/e_deduction_server > DOC/man/e_deduction_server.1 help2man -N -i DOC/bug_reporting PROVER/eproof > DOC/man/eproof.1 help2man: can't get `--help' info from PROVER/eproof Try `--no-discard-stderr' if option outputs to stderr *** Error code 2 Stop. make[1]: stopped in /wrkdirs/usr/ports/math/eprover/work/eprover-E-2.0 *** Error code 1 Stop. make: stopped in /usr/ports/math/eprover
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201808220821.w7M8L4c5065576>