=> Building math/eprover Started : Saturday, 21 JUL 2018 at 17:46:38 UTC Platform: 5.3-DEVELOPMENT DragonFly v5.3.0.242.g757c0-DEVELOPMENT #30: Tue May 8 14:06:27 PDT 2018 root@pkgbox64.dragonflybsd.org:/usr/obj/usr/src/sys/X86_64_GENERIC x86_64 -------------------------------------------------- -- Environment -------------------------------------------------- UNAME_r=5.2-SYNTH UNAME_m=x86_64 UNAME_p=x86_64 UNAME_v=DragonFly 5.2-SYNTH UNAME_s=DragonFly PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin SSL_NO_VERIFY_PEER=1 TERM=dumb PKG_CACHEDIR=/var/cache/pkg8 PKG_DBDIR=/var/db/pkg8 PORTSDIR=/xports LANG=C HOME=/root USER=root -------------------------------------------------- -- Options -------------------------------------------------- -------------------------------------------------- -- CONFIGURE_ENV -------------------------------------------------- XDG_DATA_HOME=/construction/math/eprover XDG_CONFIG_HOME=/construction/math/eprover HOME=/construction/math/eprover TMPDIR="/tmp" PATH=/construction/math/eprover/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin SHELL=/bin/sh CONFIG_SHELL=/bin/sh CCVER=gcc50 -------------------------------------------------- -- CONFIGURE_ARGS -------------------------------------------------- --bindir=/construction/math/eprover/stage/usr/local/bin/ --man-prefix=/construction/math/eprover/stage/usr/local/man/man1/ -------------------------------------------------- -- MAKE_ENV -------------------------------------------------- XDG_DATA_HOME=/construction/math/eprover XDG_CONFIG_HOME=/construction/math/eprover HOME=/construction/math/eprover TMPDIR="/tmp" PATH=/construction/math/eprover/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin NO_PIE=yes MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES CCVER=gcc50 PREFIX=/usr/local LOCALBASE=/usr/local NOPROFILE=1 CC="cc" CFLAGS="-pipe -O2 -fno-strict-aliasing" CPP="cpp" CPPFLAGS="" LDFLAGS="" LIBS="" CXX="c++" CXXFLAGS=" -pipe -O2 -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" -------------------------------------------------- -- MAKE_ARGS -------------------------------------------------- DESTDIR=/construction/math/eprover/stage -------------------------------------------------- -- PLIST_SUB -------------------------------------------------- PORTDOCS="" PORTEXAMPLES="" OSREL=5.2 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib PROFILE="@comment " DOCSDIR="share/doc/eprover" EXAMPLESDIR="share/examples/eprover" DATADIR="share/eprover" WWWDIR="www/eprover" ETCDIR="etc/eprover" -------------------------------------------------- -- 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 -------------------------------------------------- -- /etc/make.conf -------------------------------------------------- SYNTHPROFILE=Release-5.2 USE_PACKAGE_DEPENDS_ONLY=yes PACKAGE_BUILDING=yes BATCH=yes PKG_CREATE_VERBOSE=yes PORTSDIR=/xports DISTDIR=/distfiles WRKDIRPREFIX=/construction PORT_DBDIR=/options PACKAGES=/packages MAKE_JOBS_NUMBER_LIMIT=5 LICENSES_ACCEPTED= NONE HAVE_COMPAT_IA32_KERN= CONFIGURE_MAX_CMD_LEN=262144 _PERL5_FROM_BIN=5.26.1 _ALTCCVERSION_921dbbb2=none _OBJC_ALTCCVERSION_921dbbb2=none _SMP_CPUS=8 UID=0 ARCH=x86_64 OPSYS=DragonFly DFLYVERSION=500200 OSVERSION=9999999 OSREL=5.2 _OSRELEASE=5.2-SYNTH PYTHONBASE=/usr/local _PKG_CHECKED=1 -------------------------------------------------------------------------------- -- 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 Installing pkg-1.10.5_1... 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 ===> Fetching all distfiles required by eprover-2.0 for building -------------------------------------------------------------------------------- -- Phase: checksum -------------------------------------------------------------------------------- ===> License LGPL20+ GPLv2+ accepted by the user ===> Fetching all distfiles required by eprover-2.0 for building => SHA256 Checksum OK for eprover-eprover-E-2.0_GH0.tar.gz. -------------------------------------------------------------------------------- -- Phase: extract-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: extract -------------------------------------------------------------------------------- ===> License LGPL20+ GPLv2+ accepted by the user ===> Fetching all distfiles required by eprover-2.0 for building ===> Extracting for eprover-2.0 => SHA256 Checksum OK for eprover-eprover-E-2.0_GH0.tar.gz. -------------------------------------------------------------------------------- -- Phase: patch-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: patch -------------------------------------------------------------------------------- ===> Patching for eprover-2.0 ===> Applying ports patches for eprover-2.0 -------------------------------------------------------------------------------- -- Phase: build-depends -------------------------------------------------------------------------------- ===> eprover-2.0 depends on executable: bash - not found ===> Installing existing package /packages/All/bash-4.4.23.txz Installing bash-4.4.23... `-- Installing gettext-runtime-0.19.8.1_1... | `-- Installing indexinfo-0.3.1... | `-- Extracting indexinfo-0.3.1: .... done `-- Extracting gettext-runtime-0.19.8.1_1: .......... done Extracting bash-4.4.23: .......... done ===> eprover-2.0 depends on executable: bash - found ===> Returning to build of eprover-2.0 ===> eprover-2.0 depends on executable: help2man - not found ===> Installing existing package /packages/All/help2man-1.47.6.txz Installing help2man-1.47.6... `-- Installing p5-Locale-gettext-1.07... | `-- Installing perl5-5.26.2... | `-- Extracting perl5-5.26.2: .......... done `-- Extracting p5-Locale-gettext-1.07: ........ done Extracting help2man-1.47.6: .......... done Message from perl5-5.26.2: The /usr/bin/perl symlink has been removed starting with Perl 5.20. For shebangs, you should either use: #!/usr/local/bin/perl or #!/usr/bin/env perl The first one will only work if you have a /usr/local/bin/perl, the second will work as long as perl is in PATH. ===> eprover-2.0 depends on executable: help2man - found ===> Returning to build of eprover-2.0 -------------------------------------------------------------------------------- -- Phase: lib-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: configure -------------------------------------------------------------------------------- ===> Configuring for eprover-2.0 Configuring with executable path /construction/math/eprover/stage/usr/local/bin/ /construction/math/eprover/stage/usr/local/man/man1/ echo 'Configuring build system' Configuring build system make links make depend cc -M -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 cc -M -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 cc -M -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 cc -M -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 cc -M -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 cc -M -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 cc -M -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 cc -M -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 cc -M -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 cc -M -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 cc -M -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 cc -M -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 cc -M -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 cc -M -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 -------------------------------------------------------------------------------- -- Phase: build -------------------------------------------------------------------------------- ===> Building for eprover-2.0 --- remove_links --- --- links --- --- E --- --- clb_error.o --- --- clb_memory.o --- --- clb_os_wrapper.o --- --- clb_dstrings.o --- --- clb_verbose.o --- --- clb_memory.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c clb_memory.c --- clb_os_wrapper.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c clb_os_wrapper.c --- clb_dstrings.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c clb_dstrings.c --- clb_verbose.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c clb_verbose.c --- clb_error.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c clb_error.c --- clb_stringtrees.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c clb_stringtrees.c --- clb_numtrees.o --- --- clb_numxtrees.o --- --- clb_numtrees.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c clb_numtrees.c --- clb_numxtrees.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c clb_numxtrees.c --- clb_floattrees.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c clb_floattrees.c --- clb_pstacks.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c clb_pstacks.c --- clb_pqueue.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c clb_pqueue.c --- clb_dstacks.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c clb_dstacks.c --- clb_ptrees.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c clb_ptrees.c --- clb_quadtrees.o --- --- clb_regmem.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c clb_regmem.c --- clb_quadtrees.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c clb_quadtrees.c --- clb_objtrees.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c clb_objtrees.c --- clb_fixdarrays.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c clb_fixdarrays.c --- clb_plist.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c clb_plist.c --- clb_pdarrays.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c clb_pdarrays.c --- clb_pdrangearrays.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c clb_pdrangearrays.c --- clb_ddarrays.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c clb_ddarrays.c --- clb_sysdate.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c clb_sysdate.c --- clb_intmap.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c clb_intmap.c --- clb_simple_stuff.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c clb_simple_stuff.c --- clb_partial_orderings.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c clb_partial_orderings.c --- clb_plocalstacks.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c clb_plocalstacks.c --- BASICS.a --- 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 --- cio_output.o --- --- cio_simplestuff.o --- --- cio_fileops.o --- --- cio_streams.o --- --- cio_initio.o --- --- cio_output.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c cio_output.c --- cio_simplestuff.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c cio_simplestuff.c --- cio_fileops.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c cio_fileops.c --- cio_streams.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c cio_streams.c --- cio_initio.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c cio_initio.c --- cio_scanner.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c cio_scanner.c --- cio_network.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c cio_network.c --- cio_multiplexer.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c cio_multiplexer.c --- cio_basicparser.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c cio_basicparser.c --- cio_commandline.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c cio_commandline.c --- cio_filevars.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c cio_filevars.c --- cio_tempfile.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c cio_tempfile.c --- cio_signals.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c cio_signals.c --- INOUT.a --- 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 --- cte_functypes.o --- --- cte_simplesorts.o --- --- cte_signature.o --- --- cte_termtypes.o --- --- cte_termvars.o --- --- cte_simplesorts.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c cte_simplesorts.c --- cte_signature.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c cte_signature.c --- cte_termtypes.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c cte_termtypes.c --- cte_termvars.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c cte_termvars.c --- cte_functypes.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c cte_functypes.c --- cte_acterms.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c cte_acterms.c --- cte_varhash.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c cte_varhash.c --- cte_varsets.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c cte_varsets.c --- cte_termfunc.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c cte_termfunc.c --- cte_termtrees.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c cte_termtrees.c --- cte_termcellstore.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c cte_termcellstore.c --- cte_termbanks.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c cte_termbanks.c --- cte_subst.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c cte_subst.c --- cte_termpos.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c cte_termpos.c --- cte_termcpos.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c cte_termcpos.c --- cte_replace.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c cte_replace.c --- cte_match_mgu_1-1.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c cte_match_mgu_1-1.c --- cte_idx_fp.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c cte_idx_fp.c --- cte_fp_index.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c cte_fp_index.c --- cte_simpletypes.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c cte_simpletypes.c --- cte_typecheck.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c cte_typecheck.c --- TERMS.a --- ar rcs TERMS.a cte_simplesorts.o cte_functypes.o cte_signature.o cte_termtypes.o cte_termvars.o cte_acterms.o cte_varhash.o cte_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 --- cto_ocb.o --- --- cto_cmpcache.o --- --- cto_lpo.o --- --- cto_kbo.o --- --- cto_kbolin.o --- --- cto_ocb.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c cto_ocb.c --- cto_lpo.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c cto_lpo.c --- cto_cmpcache.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c cto_cmpcache.c --- cto_kbo.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c cto_kbo.c --- cto_kbolin.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c cto_kbolin.c --- cto_orderings.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c cto_orderings.c --- ORDERINGS.a --- ar rcs ORDERINGS.a cto_ocb.o cto_cmpcache.o cto_lpo.o cto_kbo.o cto_kbolin.o cto_orderings.o --- ccl_neweval.o --- --- ccl_eqn.o --- --- ccl_eqnlist.o --- --- ccl_clauseinfo.o --- --- ccl_clauses.o --- --- ccl_neweval.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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_neweval.c --- ccl_eqn.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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_eqn.c --- ccl_eqnlist.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- ccl_clauseinfo.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- ccl_clauses.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- ccl_tformulae.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- ccl_formula_wrapper.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- ccl_formulasets.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- ccl_f_generality.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- ccl_sine.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- ccl_garbage_coll.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- ccl_tcnf.o --- --- ccl_propclauses.o --- --- ccl_tcnf.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- ccl_propclauses.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- ccl_tautologies.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- ccl_clausepos.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- ccl_clausecpos.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- ccl_pdtrees.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- ccl_freqvectors.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- ccl_fcvindexing.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- ccl_clausesets.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- ccl_unfold_defs.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- ccl_clausefunc.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- ccl_formulafunc.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- ccl_groundconstr.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- ccl_grounding.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- ccl_g_lithash.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- ccl_axiomsorter.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- ccl_findex.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- ccl_clausepos_tree.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- ccl_subterm_tree.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- ccl_subterm_index.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- ccl_overlap_index.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- ccl_relevance.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- ccl_inferencedoc.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- ccl_derivation.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- ccl_paramod.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- ccl_factor.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- ccl_eqnresolution.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- ccl_rewrite.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- ccl_unit_simplify.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- ccl_subsumption.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- ccl_condensation.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- ccl_context_sr.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- ccl_def_handling.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- ccl_splitting.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- ccl_global_indices.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- ccl_proofstate.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- CLAUSES.a --- 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 --- cpr_propsig.o --- --- cpr_varset.o --- --- cpr_propclauses.o --- --- cpr_dpllformula.o --- --- cpr_dpll.o --- --- cpr_propsig.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- cpr_varset.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- cpr_propclauses.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- cpr_dpllformula.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- cpr_dpll.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- PROPOSITIONAL.a --- ar rcs PROPOSITIONAL.a cpr_propsig.o cpr_varset.o cpr_propclauses.o cpr_dpllformula.o cpr_dpll.o --- cle_patterns.o --- --- cle_clauseenc.o --- --- cle_annotations.o --- --- cle_annoterms.o --- --- cle_flatannoterms.o --- --- cle_patterns.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- cle_clauseenc.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- cle_annotations.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- cle_annoterms.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- cle_flatannoterms.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- cle_numfeatures.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- cle_examplerep.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- cle_kbdesc.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- cle_kbinsert.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- cle_termtops.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- cle_indexfunctions.o --- --- cle_tsm.o --- --- cle_indexfunctions.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- cle_tsm.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- cle_classification.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- cle_tsmio.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- LEARN.a --- 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 --- can_clausestats.o --- --- can_clausestore.o --- --- can_infstate.o --- --- can_treeanalyze.o --- --- can_clausestats.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- can_clausestore.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- can_infstate.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- can_treeanalyze.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- ANALYSIS.a --- ar rcs ANALYSIS.a can_clausestats.o can_clausestore.o can_infstate.o can_treeanalyze.o --- pcl_idents.o --- --- pcl_positions.o --- --- pcl_expressions.o --- --- pcl_steps.o --- --- pcl_protocol.o --- --- pcl_positions.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- pcl_expressions.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- pcl_idents.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- pcl_steps.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- pcl_protocol.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- pcl_miniclauses.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- pcl_ministeps.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- pcl_miniprotocol.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- pcl_lemmas.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- pcl_analysis.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- pcl_propanalysis.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- pcl_proofcheck.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- PCL2.a --- 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 --- che_wfcb.o --- --- che_wfcbadmin.o --- --- che_axiomscan.o --- --- che_clausefeatures.o --- --- che_prio_funs.o --- --- che_wfcb.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- che_wfcbadmin.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- che_axiomscan.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- che_clausefeatures.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- che_prio_funs.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- che_clausesetfeatures.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- che_rawspecfeatures.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- che_clauseweight.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- che_refinedweight.o --- --- che_varweights.o --- --- che_refinedweight.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- che_varweights.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- che_funweights.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- che_orientweight.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- che_fifo.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- che_lifo.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- che_learning.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- che_simweight.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- che_hcb.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- che_litselection.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- che_proofcontrol.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- che_hcbadmin.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- che_heuristics.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- che_fcode_featurearrays.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- che_to_weightgen.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- che_to_precgen.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- che_to_autoselect.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- che_axfilter.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- HEURISTICS.a --- 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 --- cco_simplification.o --- --- cco_factoring.o --- --- cco_eqnresolving.o --- --- cco_paramodulation.o --- --- cco_forward_contraction.o --- --- cco_simplification.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- cco_factoring.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- cco_eqnresolving.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- cco_paramodulation.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- cco_forward_contraction.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- cco_clausesplitting.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- cco_interpreted.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- cco_proofproc.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- cco_proc_ctrl.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- cco_batch_spec.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- cco_einteractive_mode.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- cco_sine.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- cco_esession.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- cco_eserver.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- cco_scheduling.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- CONTROL.a --- 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 --- eprover.o --- --- e_ltb_runner.o --- --- e_deduction_server.o --- --- e_axfilter.o --- --- classify_problem.o --- --- eprover.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- e_ltb_runner.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- e_deduction_server.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- e_axfilter.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- classify_problem.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- termprops.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- e_client.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- e_server.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- direct_examples.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- epclanalyse.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- epclextract.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- checkproof.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- eground.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- enormalizer.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- edpll.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- epcllemma.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- ekb_create.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- ekb_insert.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- ekb_ginsert.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- ekb_delete.o --- --- tsm_classify.o --- --- ekb_delete.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- tsm_classify.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- e_ltb_runner --- 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 --- e_deduction_server --- 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 --- classify_problem --- 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 --- e_axfilter --- 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 --- e_client --- --- termprops --- --- epclanalyse --- --- e_server --- --- epclanalyse --- 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 --- e_client --- 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 --- termprops --- cc -o termprops termprops.o ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a -lm --- e_server --- 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 --- direct_examples --- 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 --- epclextract --- 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 --- checkproof --- cc -o checkproof checkproof.o ../lib/PCL2.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a -lm --- eground --- cc -o eground eground.o ../lib/HEURISTICS.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a -lm --- edpll --- cc -o edpll edpll.o ../lib/PROPOSITIONAL.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a -lm --- epcllemma --- 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 --- ekb_create --- 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 --- ekb_insert --- 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 --- enormalizer --- cc -o enormalizer enormalizer.o ../lib/HEURISTICS.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a -lm --- ekb_ginsert --- 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 --- ekb_delete --- 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 --- tsm_classify --- --- eprover --- --- tsm_classify --- 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 --- eprover --- 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 --- ex_commandline.o --- --- term2dag.o --- --- ex_commandline.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- term2dag.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- ex_commandline --- cc -o ex_commandline ex_commandline.o ../lib/INOUT.a ../lib/BASICS.a -lm --- term2dag --- cc -o term2dag term2dag.o ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a -lm --- CSSCPA_filter.o --- --- cex_csscpa.o --- --- CSSCPA_filter.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- cex_csscpa.o --- cc -pipe -O2 -fno-strict-aliasing -Wall -DNDEBUG -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 --- CSSCPA_filter --- 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 -N -i DOC/bug_reporting PROVER/eproof_ram > DOC/man/eproof_ram.1 help2man -N -i DOC/bug_reporting PROVER/eprover > DOC/man/eprover.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_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 -------------------------------------------------------------------------------- ===> eprover-2.0 depends on executable: bash - found -------------------------------------------------------------------------------- -- Phase: stage -------------------------------------------------------------------------------- ===> Staging for eprover-2.0 ===> Generating temporary packing list sh -c 'mkdir -p /construction/math/eprover/stage/usr/local/bin/' sh -c 'development_tools/e_install PROVER/eprover /construction/math/eprover/stage/usr/local/bin/' sh -c 'development_tools/e_install PROVER/epclextract /construction/math/eprover/stage/usr/local/bin/' sh -c 'development_tools/e_install PROVER/eproof /construction/math/eprover/stage/usr/local/bin/' sh -c 'development_tools/e_install PROVER/eproof_ram /construction/math/eprover/stage/usr/local/bin/' sh -c 'development_tools/e_install PROVER/eground /construction/math/eprover/stage/usr/local/bin/' sh -c 'development_tools/e_install PROVER/e_ltb_runner /construction/math/eprover/stage/usr/local/bin/' sh -c 'development_tools/e_install PROVER/e_deduction_server /construction/math/eprover/stage/usr/local/bin/' sh -c 'development_tools/e_install PROVER/e_axfilter /construction/math/eprover/stage/usr/local/bin/' sh -c 'development_tools/e_install PROVER/checkproof /construction/math/eprover/stage/usr/local/bin/' sh -c 'development_tools/e_install PROVER/ekb_create /construction/math/eprover/stage/usr/local/bin/' sh -c 'development_tools/e_install PROVER/ekb_delete /construction/math/eprover/stage/usr/local/bin/' sh -c 'development_tools/e_install PROVER/ekb_ginsert /construction/math/eprover/stage/usr/local/bin/' sh -c 'development_tools/e_install PROVER/ekb_insert /construction/math/eprover/stage/usr/local/bin/' sh -c 'mkdir -p /construction/math/eprover/stage/usr/local/man/man1/' sh -c 'development_tools/e_install DOC/man/eprover.1 /construction/math/eprover/stage/usr/local/man/man1/' sh -c 'development_tools/e_install DOC/man/epclextract.1 /construction/math/eprover/stage/usr/local/man/man1/' sh -c 'development_tools/e_install DOC/man/eproof.1 /construction/math/eprover/stage/usr/local/man/man1/' sh -c 'development_tools/e_install DOC/man/eproof_ram.1 /construction/math/eprover/stage/usr/local/man/man1/' sh -c 'development_tools/e_install DOC/man/eground.1 /construction/math/eprover/stage/usr/local/man/man1/' sh -c 'development_tools/e_install DOC/man/e_ltb_runner.1 /construction/math/eprover/stage/usr/local/man/man1/' sh -c 'development_tools/e_install DOC/man/e_deduction_server.1 /construction/math/eprover/stage/usr/local/man/man1/' sh -c 'development_tools/e_install DOC/man/e_axfilter.1 /construction/math/eprover/stage/usr/local/man/man1/' sh -c 'development_tools/e_install DOC/man/checkproof.1 /construction/math/eprover/stage/usr/local/man/man1/' sh -c 'development_tools/e_install DOC/man/ekb_create.1 /construction/math/eprover/stage/usr/local/man/man1/' sh -c 'development_tools/e_install DOC/man/ekb_delete.1 /construction/math/eprover/stage/usr/local/man/man1/' sh -c 'development_tools/e_install DOC/man/ekb_ginsert.1 /construction/math/eprover/stage/usr/local/man/man1/' sh -c 'development_tools/e_install DOC/man/ekb_insert.1 /construction/math/eprover/stage/usr/local/man/man1/' ====> Compressing man pages (compress-man) -------------------------------------------------------------------------------- -- Phase: package -------------------------------------------------------------------------------- ===> Building package for eprover-2.0 file sizes/checksums [30]: . done packing files [30]: . done packing directories [0]: . done -------------------------------------------------- -- Termination -------------------------------------------------- Finished: Saturday, 21 JUL 2018 at 17:48:20 UTC Duration: 00:01:42