------------------------------------------------------------------------------- -- Phase: Environment ------------------------------------------------------------------------------- NO_DEPENDS=1 UNAME_r=6.5 UNAME_m=x86_64 UNAME_p=x86_64 UNAME_v=unknown UNAME_s=DragonFly PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin SSL_NO_VERIFY_PEER=1 LANG=C HOME=/root USER=root TERM=dumb SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: showconfig ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: CONFIGURE_ENV ------------------------------------------------------------------------------- MAKE=gmake XDG_DATA_HOME=/construction/math/vampire XDG_CONFIG_HOME=/construction/math/vampire XDG_CACHE_HOME=/construction/math/vampire/.cache HOME=/construction/math/vampire TMPDIR="/tmp" PATH=/construction/math/vampire/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin PKG_CONFIG_LIBDIR=/construction/math/vampire/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig SHELL=/bin/sh CONFIG_SHELL=/bin/sh CCVER=gcc80 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: CONFIGURE_ARGS ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: MAKE_ENV ------------------------------------------------------------------------------- XDG_DATA_HOME=/construction/math/vampire XDG_CONFIG_HOME=/construction/math/vampire XDG_CACHE_HOME=/construction/math/vampire/.cache HOME=/construction/math/vampire TMPDIR="/tmp" PATH=/construction/math/vampire/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin PKG_CONFIG_LIBDIR=/construction/math/vampire/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES CCVER=gcc80 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 -DCHECK_LEAKS=0 " 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" SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: MAKE_ARGS ------------------------------------------------------------------------------- FREEBSD_VERSION_NUMBER="4.7.423" DESTDIR=/construction/math/vampire/stage SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: PLIST_SUB ------------------------------------------------------------------------------- OSREL=6.5 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib PROFILE="@comment " DOCSDIR="share/doc/vampire" EXAMPLESDIR="share/examples/vampire" DATADIR="share/vampire" WWWDIR="www/vampire" ETCDIR="etc/vampire" SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: SUB_LIST ------------------------------------------------------------------------------- PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/vampire DOCSDIR=/usr/local/share/doc/vampire EXAMPLESDIR=/usr/local/share/examples/vampire WWWDIR=/usr/local/www/vampire ETCDIR=/usr/local/etc/vampire SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: /etc/make.conf ------------------------------------------------------------------------------- DPORTS_BUILDER=yes DISABLE_LICENSES=yes DEFAULT_VERSIONS=ssl=openssl FORCE_PACKAGE=yes DEVELOPER=yes DFLY_STING_XFAIL=yes USE_PACKAGE_DEPENDS_ONLY=yes PORTSDIR=/xports PORT_DBDIR=/options PKG_DBDIR=/var/db/pkg PKG_CACHEDIR=/var/cache/pkg PKG_COMPRESSION_FORMAT=.tgz DEVELOPER=1 WITH_CCACHE_BUILD=yes CCACHE_DIR=/ccache UID=0 ARCH=x86_64 OPSYS=DragonFly DFLYVERSION=600503 OSVERSION=9999999 OSREL=6.5 _OSRELEASE=6.5-SYNTH DISTDIR=/distfiles WRKDIRPREFIX=/construction BATCH=yes PACKAGE_BUILDING=yes PKG_CREATE_VERBOSE=yes MAKE_JOBS_NUMBER=13 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: setup ------------------------------------------------------------------------------- Installing /packages/All/indexinfo-0.3.1.pkg Installing /packages/All/gettext-runtime-0.21.1.pkg Installing /packages/All/gmake-4.3_2.pkg Installing /packages/All/ccache-3.7.12_4.pkg Create compiler links... create symlink for cc create symlink for cc (world) create symlink for c++ create symlink for c++ (world) create symlink for CC create symlink for CC (world) create symlink for gcc create symlink for gcc (world) create symlink for g++ create symlink for g++ (world) ===== Message from ccache-3.7.12_4: -- NOTE: Please read /usr/local/share/doc/ccache/ccache-howto-freebsd.txt for information on using ccache with FreeBSD ports and src. SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: check-sanity ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: pkg-depends ------------------------------------------------------------------------------- ===> vampire-4.7.423 depends on file: /usr/local/sbin/pkg - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch ------------------------------------------------------------------------------- ===> vampire-4.7.423 depends on file: /usr/local/sbin/pkg - found => vprover-vampire-v4.7-423-gc1643839b_GH0.tar.gz doesn't seem to exist in /distfiles/. => Attempting to fetch https://codeload.github.com/vprover/vampire/tar.gz/v4.7-423-gc1643839b?dummy=/vprover-vampire-v4.7-423-gc1643839b_GH0.tar.gz fetch: https://codeload.github.com/vprover/vampire/tar.gz/v4.7-423-gc1643839b?dummy=/vprover-vampire-v4.7-423-gc1643839b_GH0.tar.gz: size unknown fetch: https://codeload.github.com/vprover/vampire/tar.gz/v4.7-423-gc1643839b?dummy=/vprover-vampire-v4.7-423-gc1643839b_GH0.tar.gz: size of remote file is not known vprover-vampire-v4.7-423-gc1643839b_GH0.tar.gz 0 B 0 Bps vprover-vampire-v4.7-423-gc1643839b_GH0.tar.gz 1184 kB 647 kBps vprover-vampire-v4.7-423-gc1643839b_GH0.tar.gz 1440 kB 2140 kBps vprover-vampire-v4.7-423-gc1643839b_GH0.tar.gz 1485 kB 762 kBps 02s ===> Fetching all distfiles required by vampire-4.7.423 for building SUCCEEDED 00:00:06 ------------------------------------------------------------------------------- -- Phase: checksum ------------------------------------------------------------------------------- ===> vampire-4.7.423 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by vampire-4.7.423 for building => SHA256 Checksum OK for vprover-vampire-v4.7-423-gc1643839b_GH0.tar.gz. SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract ------------------------------------------------------------------------------- ===> vampire-4.7.423 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by vampire-4.7.423 for building ===> Extracting for vampire-4.7.423 ===> vampire-4.7.423 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by vampire-4.7.423 for building => SHA256 Checksum OK for vprover-vampire-v4.7-423-gc1643839b_GH0.tar.gz. Extracted Memory Use: 8.75M SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch ------------------------------------------------------------------------------- ===> Patching for vampire-4.7.423 ===> Applying ports patches for vampire-4.7.423 from /xports/math/vampire/files /usr/bin/env WRKSRC=/construction/math/vampire/vampire-4.7-423-gc1643839b REWARNFILE=/construction/math/vampire/reinplace_warnings.txt /bin/sh /xports/Mk/Scripts/sed_checked.sh -e 's@-Wall@-D__FreeBSD__=9 &@g' /construction/math/vampire/vampire-4.7-423-gc1643839b/Makefile SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build-depends ------------------------------------------------------------------------------- ===> vampire-4.7.423 depends on package: gmake>=4.3 - found ===> vampire-4.7.423 depends on file: /usr/local/bin/ccache - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: lib-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: configure ------------------------------------------------------------------------------- ===> vampire-4.7.423 depends on package: gmake>=4.3 - found ===> vampire-4.7.423 depends on file: /usr/local/bin/ccache - found ===> Configuring for vampire-4.7.423 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build ------------------------------------------------------------------------------- ===> Building for vampire-4.7.423 gmake[2]: Entering directory '/construction/math/vampire/vampire-4.7-423-gc1643839b' find: obj: No such file or directory mkdir obj mkdir obj/32894X cd obj/32894X ; mkdir Api Debug DP Lib Lib/Sys Kernel FMB Indexing Inferences InstGen Shell CASC SAT Saturation Test UnitTests VUtils Parse Minisat Minisat/core Minisat/mtl Minisat/simp Minisat/utils Kernel/Rebalancing; cd .. g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Minisat/core/Solver.o Minisat/core/Solver.cc -D NDEBUG -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Minisat/core/Solver.d g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Minisat/simp/SimpSolver.o Minisat/simp/SimpSolver.cc -D NDEBUG -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Minisat/simp/SimpSolver.d g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Minisat/utils/Options.o Minisat/utils/Options.cc -D NDEBUG -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Minisat/utils/Options.d g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Minisat/utils/System.o Minisat/utils/System.cc -D NDEBUG -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Minisat/utils/System.d mkdir -p `dirname obj/32894X/SAT/MinisatInterfacing.o` mkdir -p `dirname obj/32894X/SAT/MinisatInterfacingNewSimp.o` mkdir -p `dirname obj/32894X/Debug/Assertion.o` mkdir -p `dirname obj/32894X/Debug/RuntimeStatistics.o` mkdir -p `dirname obj/32894X/Debug/Tracer.o` mkdir -p `dirname obj/32894X/Lib/Allocator.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/SAT/MinisatInterfacing.o SAT/MinisatInterfacing.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/SAT/MinisatInterfacing.d mkdir -p `dirname obj/32894X/Lib/DHMap.o` mkdir -p `dirname obj/32894X/Lib/Environment.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/SAT/MinisatInterfacingNewSimp.o SAT/MinisatInterfacingNewSimp.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/SAT/MinisatInterfacingNewSimp.d g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Debug/Tracer.o Debug/Tracer.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Debug/Tracer.d mkdir -p `dirname obj/32894X/Lib/Event.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Lib/DHMap.o Lib/DHMap.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Lib/DHMap.d g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Lib/Environment.o Lib/Environment.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Lib/Environment.d g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Lib/Event.o Lib/Event.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Lib/Event.d g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Lib/Allocator.o Lib/Allocator.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Lib/Allocator.d g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Debug/RuntimeStatistics.o Debug/RuntimeStatistics.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Debug/RuntimeStatistics.d g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Debug/Assertion.o Debug/Assertion.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Debug/Assertion.d mkdir -p `dirname obj/32894X/Lib/Exception.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Lib/Exception.o Lib/Exception.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Lib/Exception.d mkdir -p `dirname obj/32894X/Lib/Int.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Lib/Int.o Lib/Int.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Lib/Int.d mkdir -p `dirname obj/32894X/Lib/IntNameTable.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Lib/IntNameTable.o Lib/IntNameTable.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Lib/IntNameTable.d mkdir -p `dirname obj/32894X/Lib/IntUnionFind.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Lib/IntUnionFind.o Lib/IntUnionFind.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Lib/IntUnionFind.d In file included from ./Kernel/Unit.hpp:24, from Lib/Hash.hpp:24, from Lib/DHMap.hpp:29, from Lib/DHMap.cpp:15: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Lib/MemoryLeak.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Lib/MemoryLeak.o Lib/MemoryLeak.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Lib/MemoryLeak.d mkdir -p `dirname obj/32894X/Lib/MultiCounter.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Lib/MultiCounter.o Lib/MultiCounter.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Lib/MultiCounter.d mkdir -p `dirname obj/32894X/Lib/NameArray.o` mkdir -p `dirname obj/32894X/Lib/Random.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Lib/Random.o Lib/Random.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Lib/Random.d g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Lib/NameArray.o Lib/NameArray.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Lib/NameArray.d mkdir -p `dirname obj/32894X/Lib/StringUtils.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Lib/StringUtils.o Lib/StringUtils.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Lib/StringUtils.d mkdir -p `dirname obj/32894X/Lib/System.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Lib/System.o Lib/System.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Lib/System.d mkdir -p `dirname obj/32894X/Lib/Timer.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Lib/Timer.o Lib/Timer.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Lib/Timer.d mkdir -p `dirname obj/32894X/Lib/Sys/Multiprocessing.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Lib/Sys/Multiprocessing.o Lib/Sys/Multiprocessing.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Lib/Sys/Multiprocessing.d mkdir -p `dirname obj/32894X/Lib/Sys/Semaphore.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Lib/Sys/Semaphore.o Lib/Sys/Semaphore.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Lib/Sys/Semaphore.d In file included from ./Kernel/Unit.hpp:24, from Lib/Hash.hpp:24, from Lib/Map.hpp:25, from Lib/IntNameTable.hpp:25, from Lib/IntNameTable.cpp:16: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Lib/Sys/SyncPipe.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Lib/Sys/SyncPipe.o Lib/Sys/SyncPipe.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Lib/Sys/SyncPipe.d mkdir -p `dirname obj/32894X/Kernel/Clause.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Kernel/Clause.o Kernel/Clause.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Kernel/Clause.d mkdir -p `dirname obj/32894X/Kernel/ClauseQueue.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Kernel/ClauseQueue.o Kernel/ClauseQueue.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Kernel/ClauseQueue.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Shell/Options.hpp:49, from SAT/SATLiteral.hpp:21, from SAT/SATSolver.hpp:18, from SAT/MinisatInterfacingNewSimp.hpp:22, from SAT/MinisatInterfacingNewSimp.cpp:17: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Kernel/ColorHelper.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Kernel/ColorHelper.o Kernel/ColorHelper.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Kernel/ColorHelper.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Shell/Options.hpp:49, from ./Shell/UIHelper.hpp:21, from Lib/Allocator.cpp:28: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Kernel/EqHelper.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Kernel/EqHelper.o Kernel/EqHelper.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Kernel/EqHelper.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Lib/Sys/Multiprocessing.cpp:24: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Kernel/FlatTerm.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Kernel/FlatTerm.o Kernel/FlatTerm.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Kernel/FlatTerm.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Lib/Sys/SyncPipe.cpp:20: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Kernel/Formula.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Kernel/Formula.o Kernel/Formula.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Kernel/Formula.d mkdir -p `dirname obj/32894X/Kernel/FormulaTransformer.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Kernel/FormulaTransformer.o Kernel/FormulaTransformer.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Kernel/FormulaTransformer.d In file included from ./Kernel/Unit.hpp:24, from Lib/Hash.hpp:24, from Lib/DHMap.hpp:29, from Lib/StringUtils.cpp:16: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Kernel/FormulaUnit.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Kernel/FormulaUnit.o Kernel/FormulaUnit.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Kernel/FormulaUnit.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Kernel/Term.hpp:40, from ./Debug/TimeProfiling.hpp:19, from Minisat/simp/SimpSolver.cc:31: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Kernel/FormulaVarIterator.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Kernel/FormulaVarIterator.o Kernel/FormulaVarIterator.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Kernel/FormulaVarIterator.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Shell/Options.hpp:49, from SAT/SATLiteral.hpp:21, from SAT/SATSolver.hpp:18, from SAT/MinisatInterfacing.hpp:17, from SAT/MinisatInterfacing.cpp:15: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Kernel/Grounder.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Kernel/Grounder.o Kernel/Grounder.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Kernel/Grounder.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Kernel/ClauseQueue.cpp:20: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Kernel/Inference.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Kernel/Inference.o Kernel/Inference.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Kernel/Inference.d In file included from ./Kernel/Unit.hpp:24, from Lib/Hash.hpp:24, from Lib/DHMap.hpp:29, from Lib/Environment.hpp:24, from Lib/Timer.cpp:27: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Kernel/InferenceStore.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Kernel/InferenceStore.o Kernel/InferenceStore.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Kernel/InferenceStore.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Shell/Options.hpp:49, from Lib/System.cpp:35: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Kernel/KBO.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Kernel/KBO.o Kernel/KBO.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Kernel/KBO.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from Kernel/Term.hpp:40, from Kernel/FlatTerm.cpp:21: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Kernel/SKIKBO.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Kernel/SKIKBO.o Kernel/SKIKBO.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Kernel/SKIKBO.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Kernel/Formula.hpp:23, from Kernel/FormulaUnit.cpp:19: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Kernel/KBOForEPR.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Kernel/KBOForEPR.o Kernel/KBOForEPR.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Kernel/KBOForEPR.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from Kernel/FormulaTransformer.cpp:15: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Kernel/LiteralSelector.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Kernel/LiteralSelector.o Kernel/LiteralSelector.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Kernel/LiteralSelector.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Kernel/Formula.hpp:23, from Kernel/Formula.cpp:15: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Kernel/LookaheadLiteralSelector.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Kernel/LookaheadLiteralSelector.o Kernel/LookaheadLiteralSelector.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Kernel/LookaheadLiteralSelector.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Kernel/Term.hpp:40, from Kernel/FormulaVarIterator.hpp:27, from Kernel/FormulaVarIterator.cpp:23: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Kernel/LPO.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Kernel/LPO.o Kernel/LPO.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Kernel/LPO.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Kernel/Inference.cpp:18: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Kernel/MainLoop.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Kernel/MainLoop.o Kernel/MainLoop.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Kernel/MainLoop.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from Kernel/ColorHelper.cpp:15: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Kernel/Matcher.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Kernel/Matcher.o Kernel/Matcher.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Kernel/Matcher.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Kernel/KBOForEPR.cpp:18: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Kernel/MaximalLiteralSelector.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Kernel/MaximalLiteralSelector.o Kernel/MaximalLiteralSelector.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Kernel/MaximalLiteralSelector.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Kernel/EqHelper.cpp:15: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Kernel/SpassLiteralSelector.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Kernel/SpassLiteralSelector.o Kernel/SpassLiteralSelector.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Kernel/SpassLiteralSelector.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Kernel/Clause.cpp:23: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Kernel/ELiteralSelector.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Kernel/ELiteralSelector.o Kernel/ELiteralSelector.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Kernel/ELiteralSelector.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from Kernel/Term.hpp:40, from Kernel/MaximalLiteralSelector.cpp:19: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Kernel/RndLiteralSelector.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Kernel/RndLiteralSelector.o Kernel/RndLiteralSelector.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Kernel/RndLiteralSelector.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Kernel/MainLoop.cpp:16: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Kernel/MLMatcher.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Kernel/MLMatcher.o Kernel/MLMatcher.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Kernel/MLMatcher.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Kernel/LPO.cpp:21: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Kernel/MLMatcherSD.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Kernel/MLMatcherSD.o Kernel/MLMatcherSD.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Kernel/MLMatcherSD.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Kernel/Term.hpp:40, from ./Kernel/NumTraits.hpp:14, from Kernel/KBO.cpp:18: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Kernel/MLVariant.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Kernel/MLVariant.o Kernel/MLVariant.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Kernel/MLVariant.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/DHSet.hpp:21, from Kernel/InferenceStore.cpp:16: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Kernel/Ordering.o` In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from Kernel/Term.hpp:40, from Kernel/SpassLiteralSelector.cpp:19: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Kernel/Ordering.o Kernel/Ordering.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Kernel/Ordering.d mkdir -p `dirname obj/32894X/Kernel/Ordering_Equality.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Kernel/Ordering_Equality.o Kernel/Ordering_Equality.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Kernel/Ordering_Equality.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from Kernel/Term.hpp:40, from Kernel/ELiteralSelector.cpp:19: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Kernel/Problem.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Kernel/Problem.o Kernel/Problem.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Kernel/Problem.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/DHSet.hpp:21, from ./Lib/Metaiterators.hpp:26, from ./Kernel/TermIterators.hpp:23, from Kernel/SKIKBO.cpp:17: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Kernel/Renaming.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Kernel/Renaming.o Kernel/Renaming.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Kernel/Renaming.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Kernel/LiteralSelector.cpp:15: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Kernel/RobSubstitution.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Kernel/RobSubstitution.o Kernel/RobSubstitution.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Kernel/RobSubstitution.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Kernel/Grounder.cpp:17: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Kernel/MismatchHandler.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Kernel/MismatchHandler.o Kernel/MismatchHandler.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Kernel/MismatchHandler.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from Kernel/Term.hpp:40, from Kernel/RndLiteralSelector.cpp:20: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Kernel/Signature.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Kernel/Signature.o Kernel/Signature.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Kernel/Signature.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from Kernel/Term.hpp:40, from Kernel/Ordering_Equality.cpp:15: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Kernel/SortHelper.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Kernel/SortHelper.o Kernel/SortHelper.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Kernel/SortHelper.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Indexing/IndexManager.hpp:20, from Kernel/LookaheadLiteralSelector.cpp:19: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Kernel/ApplicativeHelper.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Kernel/ApplicativeHelper.o Kernel/ApplicativeHelper.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Kernel/ApplicativeHelper.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from Kernel/Matcher.cpp:15: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Kernel/OperatorType.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Kernel/OperatorType.o Kernel/OperatorType.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Kernel/OperatorType.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Shell/Options.hpp:49, from Kernel/MismatchHandler.cpp:16: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Kernel/SubformulaIterator.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Kernel/SubformulaIterator.o Kernel/SubformulaIterator.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Kernel/SubformulaIterator.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/DHSet.hpp:21, from ./Lib/Metaiterators.hpp:26, from ./Lib/BinaryHeap.hpp:26, from Kernel/MLMatcher.cpp:17: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Kernel/Substitution.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Kernel/Substitution.o Kernel/Substitution.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Kernel/Substitution.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/DHSet.hpp:21, from ./Lib/Metaiterators.hpp:26, from ./Lib/BinaryHeap.hpp:26, from Kernel/MLMatcherSD.cpp:13: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Kernel/Term.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Kernel/Term.o Kernel/Term.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Kernel/Term.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/DHSet.hpp:21, from ./Kernel/Signature.hpp:27, from Kernel/ApplicativeHelper.cpp:11: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Kernel/PolynomialNormalizer.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Kernel/PolynomialNormalizer.o Kernel/PolynomialNormalizer.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Kernel/PolynomialNormalizer.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Kernel/Formula.hpp:23, from Kernel/SubformulaIterator.hpp:23, from Kernel/SubformulaIterator.cpp:22: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Kernel/Polynomial.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Kernel/Polynomial.o Kernel/Polynomial.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Kernel/Polynomial.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/Set.hpp:24, from ./Indexing/TermSharing.hpp:20, from Kernel/Ordering.cpp:19: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Kernel/TermIterators.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Kernel/TermIterators.o Kernel/TermIterators.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Kernel/TermIterators.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Kernel/Signature.cpp:15: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Kernel/TermTransformer.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Kernel/TermTransformer.o Kernel/TermTransformer.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Kernel/TermTransformer.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/DHSet.hpp:21, from ./Lib/Metaiterators.hpp:26, from ./Lib/BacktrackIterators.hpp:25, from Kernel/MLVariant.cpp:18: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/Set.hpp:24, from ./Indexing/TermSharing.hpp:20, from Lib/Environment.cpp:21: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Kernel/Theory.o` mkdir -p `dirname obj/32894X/Kernel/Unit.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Kernel/Unit.o Kernel/Unit.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Kernel/Unit.d g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Kernel/Theory.o Kernel/Theory.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Kernel/Theory.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/Map.hpp:25, from Kernel/OperatorType.hpp:21, from Kernel/OperatorType.cpp:15: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Kernel/InterpretedLiteralEvaluator.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Kernel/InterpretedLiteralEvaluator.o Kernel/InterpretedLiteralEvaluator.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Kernel/InterpretedLiteralEvaluator.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Kernel/Problem.cpp:15: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Kernel/Rebalancing.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Kernel/Rebalancing.o Kernel/Rebalancing.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Kernel/Rebalancing.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/Set.hpp:24, from ./Indexing/TermSharing.hpp:20, from Kernel/Renaming.cpp:18: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Kernel/Rebalancing/Inverters.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Kernel/Rebalancing/Inverters.o Kernel/Rebalancing/Inverters.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Kernel/Rebalancing/Inverters.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Kernel/SortHelper.cpp:15: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ In file included from ./Debug/TimeProfiling.hpp:19, from ./Lib/Metaiterators.hpp:29, from Kernel/Clause.hpp:27, from Kernel/SortHelper.cpp:18: ./Kernel/Term.hpp: In static member function 'static Kernel::TermList Kernel::SortHelper::getResultSort(Kernel::TermList, Lib::DHMap&)': ./Kernel/Term.hpp:140:35: warning: 'masterVar' may be used uninitialized in this function [-Wmaybe-uninitialized] { ASS(isVar()); return _content / 4; } ~~~~~~~~~^~~ Kernel/SortHelper.cpp:144:12: note: 'masterVar' was declared here TermList masterVar; ^~~~~~~~~ mkdir -p `dirname obj/32894X/Kernel/NumTraits.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Kernel/NumTraits.o Kernel/NumTraits.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Kernel/NumTraits.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from Kernel/Term.hpp:40, from Kernel/RobSubstitution.hpp:21, from Kernel/RobSubstitution.cpp:16: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Indexing/AcyclicityIndex.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Indexing/AcyclicityIndex.o Indexing/AcyclicityIndex.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Indexing/AcyclicityIndex.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from Kernel/SortHelper.hpp:20, from Kernel/TermTransformer.cpp:15: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Indexing/ClauseCodeTree.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Indexing/ClauseCodeTree.o Indexing/ClauseCodeTree.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Indexing/ClauseCodeTree.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Kernel/Rebalancing.hpp:14, from Kernel/Rebalancing.cpp:10: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Indexing/ClauseVariantIndex.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Indexing/ClauseVariantIndex.o Indexing/ClauseVariantIndex.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Indexing/ClauseVariantIndex.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from Kernel/Substitution.hpp:22, from Kernel/Substitution.cpp:21: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Indexing/CodeTree.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Indexing/CodeTree.o Indexing/CodeTree.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Indexing/CodeTree.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Kernel/Unit.cpp:21: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Indexing/CodeTreeInterfaces.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Indexing/CodeTreeInterfaces.o Indexing/CodeTreeInterfaces.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Indexing/CodeTreeInterfaces.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Kernel/Rebalancing/Inverters.hpp:14, from Kernel/Rebalancing/Inverters.cpp:10: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Indexing/GroundingIndex.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Indexing/GroundingIndex.o Indexing/GroundingIndex.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Indexing/GroundingIndex.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from Kernel/Term.hpp:40, from Kernel/NumTraits.hpp:14, from Kernel/NumTraits.cpp:10: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from Kernel/Term.hpp:40, from Kernel/TermIterators.cpp:18: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Indexing/Index.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Indexing/Index.o Indexing/Index.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Indexing/Index.d mkdir -p `dirname obj/32894X/Indexing/IndexManager.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Indexing/IndexManager.o Indexing/IndexManager.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Indexing/IndexManager.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Kernel/InterpretedLiteralEvaluator.cpp:15: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Indexing/InductionFormulaIndex.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Indexing/InductionFormulaIndex.o Indexing/InductionFormulaIndex.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Indexing/InductionFormulaIndex.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/Set.hpp:24, from ./Indexing/TermSharing.hpp:20, from Kernel/Term.cpp:18: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Kernel/Theory.cpp:20: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Indexing/LiteralIndex.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Indexing/LiteralIndex.o Indexing/LiteralIndex.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Indexing/LiteralIndex.d mkdir -p `dirname obj/32894X/Indexing/LiteralMiniIndex.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Indexing/LiteralMiniIndex.o Indexing/LiteralMiniIndex.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Indexing/LiteralMiniIndex.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/Set.hpp:24, from ./Saturation/ClauseContainer.hpp:25, from Indexing/Index.hpp:24, from Indexing/Index.cpp:16: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Shell/Options.hpp:49, from ./SAT/SATLiteral.hpp:21, from ./SAT/SATSolver.hpp:18, from Indexing/GroundingIndex.hpp:22, from Indexing/GroundingIndex.cpp:15: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Indexing/LiteralSubstitutionTree.o` mkdir -p `dirname obj/32894X/Indexing/ResultSubstitution.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Indexing/LiteralSubstitutionTree.o Indexing/LiteralSubstitutionTree.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Indexing/LiteralSubstitutionTree.d g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Indexing/ResultSubstitution.o Indexing/ResultSubstitution.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Indexing/ResultSubstitution.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Kernel/Term.hpp:40, from ./Kernel/NumTraits.hpp:14, from ./Kernel/Polynomial.hpp:32, from Kernel/Polynomial.cpp:12: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Indexing/SubstitutionTree.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Indexing/SubstitutionTree.o Indexing/SubstitutionTree.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Indexing/SubstitutionTree.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/InverseLookup.hpp:19, from ./Kernel/Clause.hpp:26, from Indexing/ClauseCodeTree.cpp:26: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Indexing/SubstitutionTree_FastGen.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Indexing/SubstitutionTree_FastGen.o Indexing/SubstitutionTree_FastGen.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Indexing/SubstitutionTree_FastGen.d In file included from Indexing/AcyclicityIndex.cpp:15: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Indexing/SubstitutionTree_FastInst.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Indexing/SubstitutionTree_FastInst.o Indexing/SubstitutionTree_FastInst.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Indexing/SubstitutionTree_FastInst.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Kernel/Term.hpp:40, from ./Debug/TimeProfiling.hpp:19, from Indexing/CodeTreeInterfaces.cpp:18: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Indexing/SubstitutionTree_Nodes.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Indexing/SubstitutionTree_Nodes.o Indexing/SubstitutionTree_Nodes.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Indexing/SubstitutionTree_Nodes.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/DHSet.hpp:21, from Kernel/Signature.hpp:27, from Kernel/PolynomialNormalizer.hpp:18, from Kernel/PolynomialNormalizer.cpp:11: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ In file included from ./Kernel/Polynomial.hpp:38, from Kernel/PolynomialNormalizer.hpp:34, from Kernel/PolynomialNormalizer.cpp:11: ./Lib/Perfect.hpp: In function 'void std::__introsort_loop(_RandomAccessIterator, _RandomAccessIterator, _Size, _Compare) [with _RandomAccessIterator = Kernel::MonomFactor >*; _Size = long int; _Compare = __gnu_cxx::__ops::_Iter_less_iter]': ./Lib/Perfect.hpp:65:54: warning: '*((void*)(& __tmp)+16).Lib::Perfect > >::_ptr' may be used uninitialized in this function [-Wmaybe-uninitialized] Perfect(Perfect const& t) : _id(t._id), _ptr(t._ptr) { } ^ In file included from /usr/include/c++/8.0/bits/stl_pair.h:59, from /usr/include/c++/8.0/bits/stl_algobase.h:64, from /usr/include/c++/8.0/bits/char_traits.h:39, from /usr/include/c++/8.0/string:40, from ./Lib/VString.hpp:23, from ./Lib/Int.hpp:23, from Kernel/PolynomialNormalizer.hpp:15, from Kernel/PolynomialNormalizer.cpp:11: /usr/include/c++/8.0/bits/move.h:193:11: note: '*((void*)(& __tmp)+16).Lib::Perfect > >::_ptr' was declared here _Tp __tmp = _GLIBCXX_MOVE(__a); ^~~~~ In file included from ./Kernel/Polynomial.hpp:38, from Kernel/PolynomialNormalizer.hpp:34, from Kernel/PolynomialNormalizer.cpp:11: ./Lib/Perfect.hpp: In function 'void std::__introsort_loop(_RandomAccessIterator, _RandomAccessIterator, _Size, _Compare) [with _RandomAccessIterator = Kernel::MonomFactor >*; _Size = long int; _Compare = __gnu_cxx::__ops::_Iter_less_iter]': ./Lib/Perfect.hpp:65:54: warning: '*((void*)(& __tmp)+16).Lib::Perfect > >::_ptr' may be used uninitialized in this function [-Wmaybe-uninitialized] Perfect(Perfect const& t) : _id(t._id), _ptr(t._ptr) { } ^ In file included from /usr/include/c++/8.0/bits/stl_pair.h:59, from /usr/include/c++/8.0/bits/stl_algobase.h:64, from /usr/include/c++/8.0/bits/char_traits.h:39, from /usr/include/c++/8.0/string:40, from ./Lib/VString.hpp:23, from ./Lib/Int.hpp:23, from Kernel/PolynomialNormalizer.hpp:15, from Kernel/PolynomialNormalizer.cpp:11: /usr/include/c++/8.0/bits/move.h:193:11: note: '*((void*)(& __tmp)+16).Lib::Perfect > >::_ptr' was declared here _Tp __tmp = _GLIBCXX_MOVE(__a); ^~~~~ In file included from ./Kernel/Polynomial.hpp:38, from Kernel/PolynomialNormalizer.hpp:34, from Kernel/PolynomialNormalizer.cpp:11: ./Lib/Perfect.hpp: In function 'void std::__introsort_loop(_RandomAccessIterator, _RandomAccessIterator, _Size, _Compare) [with _RandomAccessIterator = Kernel::MonomFactor >*; _Size = long int; _Compare = __gnu_cxx::__ops::_Iter_less_iter]': ./Lib/Perfect.hpp:65:54: warning: '*((void*)(& __tmp)+16).Lib::Perfect > >::_ptr' may be used uninitialized in this function [-Wmaybe-uninitialized] Perfect(Perfect const& t) : _id(t._id), _ptr(t._ptr) { } ^ In file included from /usr/include/c++/8.0/bits/stl_pair.h:59, from /usr/include/c++/8.0/bits/stl_algobase.h:64, from /usr/include/c++/8.0/bits/char_traits.h:39, from /usr/include/c++/8.0/string:40, from ./Lib/VString.hpp:23, from ./Lib/Int.hpp:23, from Kernel/PolynomialNormalizer.hpp:15, from Kernel/PolynomialNormalizer.cpp:11: /usr/include/c++/8.0/bits/move.h:193:11: note: '*((void*)(& __tmp)+16).Lib::Perfect > >::_ptr' was declared here _Tp __tmp = _GLIBCXX_MOVE(__a); ^~~~~ mkdir -p `dirname obj/32894X/Indexing/TermCodeTree.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Indexing/TermCodeTree.o Indexing/TermCodeTree.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Indexing/TermCodeTree.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/InverseLookup.hpp:19, from ./Kernel/Clause.hpp:26, from Indexing/CodeTree.cpp:24: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/DHSet.hpp:21, from ./Lib/Metaiterators.hpp:26, from Indexing/ClauseVariantIndex.cpp:16: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Indexing/TermIndex.o` mkdir -p `dirname obj/32894X/Indexing/TermSharing.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Indexing/TermIndex.o Indexing/TermIndex.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Indexing/TermIndex.d g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Indexing/TermSharing.o Indexing/TermSharing.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Indexing/TermSharing.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/InverseLookup.hpp:19, from ./Kernel/Clause.hpp:26, from Indexing/LiteralMiniIndex.hpp:21, from Indexing/LiteralMiniIndex.cpp:18: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Indexing/TermSubstitutionTree.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Indexing/TermSubstitutionTree.o Indexing/TermSubstitutionTree.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Indexing/TermSubstitutionTree.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/InverseLookup.hpp:19, from ./Kernel/Clause.hpp:26, from Indexing/TermCodeTree.cpp:22: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Inferences/BackwardDemodulation.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Inferences/BackwardDemodulation.o Inferences/BackwardDemodulation.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Inferences/BackwardDemodulation.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Kernel/Term.hpp:40, from ./Kernel/RobSubstitution.hpp:21, from Indexing/ResultSubstitution.cpp:15: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Inferences/BackwardSubsumptionResolution.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Inferences/BackwardSubsumptionResolution.o Inferences/BackwardSubsumptionResolution.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Inferences/BackwardSubsumptionResolution.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from Indexing/InductionFormulaIndex.hpp:21, from Indexing/InductionFormulaIndex.cpp:15: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Inferences/BackwardSubsumptionDemodulation.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Inferences/BackwardSubsumptionDemodulation.o Inferences/BackwardSubsumptionDemodulation.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Inferences/BackwardSubsumptionDemodulation.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Kernel/Grounder.hpp:20, from Indexing/IndexManager.cpp:17: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Inferences/BinaryResolution.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Inferences/BinaryResolution.o Inferences/BinaryResolution.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Inferences/BinaryResolution.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Shell/Options.hpp:49, from Indexing/SubstitutionTree.cpp:19: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Inferences/Condensation.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Inferences/Condensation.o Inferences/Condensation.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Inferences/Condensation.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/Set.hpp:24, from ./Saturation/ClauseContainer.hpp:25, from ./Indexing/Index.hpp:24, from ./Inferences/InductionHelper.hpp:21, from Indexing/LiteralIndex.cpp:15: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Inferences/DistinctEqualitySimplifier.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Inferences/DistinctEqualitySimplifier.o Inferences/DistinctEqualitySimplifier.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Inferences/DistinctEqualitySimplifier.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/DHSet.hpp:21, from Indexing/TermIndex.cpp:15: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Inferences/DefinitionIntroduction.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Inferences/DefinitionIntroduction.o Inferences/DefinitionIntroduction.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Inferences/DefinitionIntroduction.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Kernel/Matcher.hpp:22, from Indexing/SubstitutionTree_FastGen.cpp:19: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Inferences/EqualityFactoring.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Inferences/EqualityFactoring.o Inferences/EqualityFactoring.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Inferences/EqualityFactoring.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Indexing/TermSharing.cpp:19: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Inferences/EqualityResolution.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Inferences/EqualityResolution.o Inferences/EqualityResolution.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Inferences/EqualityResolution.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Indexing/LiteralSubstitutionTree.cpp:15: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Inferences/ExtensionalityResolution.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Inferences/ExtensionalityResolution.o Inferences/ExtensionalityResolution.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Inferences/ExtensionalityResolution.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMultiset.hpp:25, from Indexing/SubstitutionTree_Nodes.cpp:16: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Inferences/ArgCong.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Inferences/ArgCong.o Inferences/ArgCong.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Inferences/ArgCong.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Kernel/Matcher.hpp:22, from Indexing/SubstitutionTree_FastInst.cpp:19: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Inferences/NegativeExt.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Inferences/NegativeExt.o Inferences/NegativeExt.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Inferences/NegativeExt.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Inferences/BinaryResolution.cpp:17: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Indexing/TermSubstitutionTree.cpp:15: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Inferences/Narrow.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Inferences/Narrow.o Inferences/Narrow.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Inferences/Narrow.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMultiset.hpp:25, from Inferences/BackwardDemodulation.cpp:16: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Inferences/SubVarSup.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Inferences/SubVarSup.o Inferences/SubVarSup.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Inferences/SubVarSup.d mkdir -p `dirname obj/32894X/Inferences/Factoring.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Inferences/Factoring.o Inferences/Factoring.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Inferences/Factoring.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/DHSet.hpp:21, from ./Lib/Metaiterators.hpp:26, from Inferences/EqualityResolution.cpp:18: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Inferences/FastCondensation.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Inferences/FastCondensation.o Inferences/FastCondensation.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Inferences/FastCondensation.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Inferences/DistinctEqualitySimplifier.cpp:15: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Inferences/FOOLParamodulation.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Inferences/FOOLParamodulation.o Inferences/FOOLParamodulation.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Inferences/FOOLParamodulation.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/DHSet.hpp:21, from Inferences/BackwardSubsumptionResolution.cpp:19: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Inferences/Injectivity.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Inferences/Injectivity.o Inferences/Injectivity.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Inferences/Injectivity.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Inferences/EqualityFactoring.cpp:17: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Inferences/ForwardDemodulation.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Inferences/ForwardDemodulation.o Inferences/ForwardDemodulation.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Inferences/ForwardDemodulation.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Inferences/ExtensionalityResolution.cpp:17: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Inferences/CombinatorDemodISE.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Inferences/CombinatorDemodISE.o Inferences/CombinatorDemodISE.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Inferences/CombinatorDemodISE.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/DHSet.hpp:21, from Inferences/BackwardSubsumptionDemodulation.cpp:15: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Inferences/CombinatorNormalisationISE.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Inferences/CombinatorNormalisationISE.o Inferences/CombinatorNormalisationISE.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Inferences/CombinatorNormalisationISE.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/DHSet.hpp:21, from ./Lib/Metaiterators.hpp:26, from Inferences/NegativeExt.cpp:18: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Inferences/ForwardLiteralRewriting.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Inferences/ForwardLiteralRewriting.o Inferences/ForwardLiteralRewriting.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Inferences/ForwardLiteralRewriting.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/DHSet.hpp:21, from ./Lib/Metaiterators.hpp:26, from Inferences/ArgCong.cpp:18: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Inferences/ForwardSubsumptionAndResolution.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Inferences/ForwardSubsumptionAndResolution.o Inferences/ForwardSubsumptionAndResolution.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Inferences/ForwardSubsumptionAndResolution.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Inferences/Factoring.cpp:18: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Inferences/SubsumptionDemodulationHelper.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Inferences/SubsumptionDemodulationHelper.o Inferences/SubsumptionDemodulationHelper.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Inferences/SubsumptionDemodulationHelper.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/DHSet.hpp:21, from ./Lib/Metaiterators.hpp:26, from Inferences/Condensation.cpp:17: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Inferences/ForwardSubsumptionDemodulation.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Inferences/ForwardSubsumptionDemodulation.o Inferences/ForwardSubsumptionDemodulation.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Inferences/ForwardSubsumptionDemodulation.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Inferences/FOOLParamodulation.cpp:20: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Inferences/GlobalSubsumption.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Inferences/GlobalSubsumption.o Inferences/GlobalSubsumption.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Inferences/GlobalSubsumption.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Inferences/Narrow.cpp:17: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Inferences/HyperSuperposition.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Inferences/HyperSuperposition.o Inferences/HyperSuperposition.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Inferences/HyperSuperposition.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Inferences/Injectivity.cpp:16: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Inferences/InnerRewriting.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Inferences/InnerRewriting.o Inferences/InnerRewriting.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Inferences/InnerRewriting.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Inferences/CombinatorDemodISE.cpp:16: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Inferences/EquationalTautologyRemoval.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Inferences/EquationalTautologyRemoval.o Inferences/EquationalTautologyRemoval.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Inferences/EquationalTautologyRemoval.d In file included from Inferences/ForwardLiteralRewriting.cpp:17: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Inferences/InferenceEngine.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Inferences/InferenceEngine.o Inferences/InferenceEngine.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Inferences/InferenceEngine.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Inferences/CombinatorNormalisationISE.cpp:16: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Inferences/Instantiation.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Inferences/Instantiation.o Inferences/Instantiation.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Inferences/Instantiation.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Kernel/Term.hpp:40, from Inferences/InferenceEngine.hpp:23, from Inferences/DefinitionIntroduction.hpp:17, from Inferences/DefinitionIntroduction.cpp:14: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Inferences/InterpretedEvaluation.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Inferences/InterpretedEvaluation.o Inferences/InterpretedEvaluation.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Inferences/InterpretedEvaluation.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Inferences/SubVarSup.cpp:17: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Inferences/PushUnaryMinus.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Inferences/PushUnaryMinus.o Inferences/PushUnaryMinus.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Inferences/PushUnaryMinus.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Shell/Options.hpp:49, from Inferences/InnerRewriting.hpp:19, from Inferences/InnerRewriting.cpp:15: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Inferences/Cancellation.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Inferences/Cancellation.o Inferences/Cancellation.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Inferences/Cancellation.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from Inferences/FastCondensation.cpp:15: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Inferences/PolynomialEvaluation.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Inferences/PolynomialEvaluation.o Inferences/PolynomialEvaluation.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Inferences/PolynomialEvaluation.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/DHSet.hpp:21, from ./Lib/Metaiterators.hpp:26, from Inferences/ForwardSubsumptionAndResolution.cpp:19: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Inferences/ArithmeticSubtermGeneralization.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Inferences/ArithmeticSubtermGeneralization.o Inferences/ArithmeticSubtermGeneralization.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Inferences/ArithmeticSubtermGeneralization.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/DHSet.hpp:21, from Inferences/ForwardDemodulation.cpp:17: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Inferences/SLQueryBackwardSubsumption.o` In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Inferences/PushUnaryMinus.hpp:17, from Inferences/PushUnaryMinus.cpp:11: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Inferences/SLQueryBackwardSubsumption.o Inferences/SLQueryBackwardSubsumption.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Inferences/SLQueryBackwardSubsumption.d mkdir -p `dirname obj/32894X/Inferences/Superposition.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Inferences/Superposition.o Inferences/Superposition.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Inferences/Superposition.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Kernel/Term.hpp:40, from Inferences/InferenceEngine.hpp:23, from Inferences/EquationalTautologyRemoval.hpp:19, from Inferences/EquationalTautologyRemoval.cpp:15: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Inferences/TautologyDeletionISE.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Inferences/TautologyDeletionISE.o Inferences/TautologyDeletionISE.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Inferences/TautologyDeletionISE.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Shell/Options.hpp:49, from Inferences/InterpretedEvaluation.cpp:15: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Inferences/TermAlgebraReasoning.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Inferences/TermAlgebraReasoning.o Inferences/TermAlgebraReasoning.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Inferences/TermAlgebraReasoning.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/DHSet.hpp:21, from ./Lib/Metaiterators.hpp:26, from Inferences/GlobalSubsumption.cpp:17: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Inferences/Induction.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Inferences/Induction.o Inferences/Induction.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Inferences/Induction.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Inferences/HyperSuperposition.cpp:19: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Inferences/InductionHelper.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Inferences/InductionHelper.o Inferences/InductionHelper.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Inferences/InductionHelper.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/InverseLookup.hpp:19, from ./Kernel/Clause.hpp:26, from ./Indexing/LiteralMiniIndex.hpp:21, from Inferences/SubsumptionDemodulationHelper.hpp:14, from Inferences/SubsumptionDemodulationHelper.cpp:11: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Inferences/URResolution.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Inferences/URResolution.o Inferences/URResolution.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Inferences/URResolution.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Kernel/Term.hpp:40, from Inferences/InferenceEngine.hpp:23, from Inferences/ForwardSubsumptionDemodulation.hpp:14, from Inferences/ForwardSubsumptionDemodulation.cpp:11: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Inferences/CNFOnTheFly.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Inferences/CNFOnTheFly.o Inferences/CNFOnTheFly.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Inferences/CNFOnTheFly.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Kernel/Term.hpp:40, from ./Inferences/InferenceEngine.hpp:23, from ./Inferences/Cancellation.hpp:14, from Inferences/Cancellation.cpp:11: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Inferences/CasesSimp.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Inferences/CasesSimp.o Inferences/CasesSimp.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Inferences/CasesSimp.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Inferences/Instantiation.cpp:18: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Inferences/Cases.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Inferences/Cases.o Inferences/Cases.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Inferences/Cases.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Inferences/TautologyDeletionISE.cpp:16: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Inferences/BoolSimp.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Inferences/BoolSimp.o Inferences/BoolSimp.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Inferences/BoolSimp.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Inferences/InferenceEngine.cpp:15: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Inferences/PrimitiveInstantiation.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Inferences/PrimitiveInstantiation.o Inferences/PrimitiveInstantiation.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Inferences/PrimitiveInstantiation.d In file included from Inferences/TermAlgebraReasoning.cpp:14: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Inferences/Choice.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Inferences/Choice.o Inferences/Choice.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Inferences/Choice.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Inferences/URResolution.cpp:16: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Inferences/ElimLeibniz.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Inferences/ElimLeibniz.o Inferences/ElimLeibniz.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Inferences/ElimLeibniz.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/Set.hpp:24, from ./Saturation/ClauseContainer.hpp:25, from ./Indexing/Index.hpp:24, from Inferences/InductionHelper.cpp:15: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Inferences/BoolEqToDiseq.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Inferences/BoolEqToDiseq.o Inferences/BoolEqToDiseq.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Inferences/BoolEqToDiseq.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Inferences/PolynomialEvaluation.hpp:17, from Inferences/PolynomialEvaluation.cpp:11: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Inferences/GaussianVariableElimination.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Inferences/GaussianVariableElimination.o Inferences/GaussianVariableElimination.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Inferences/GaussianVariableElimination.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Inferences/Superposition.cpp:17: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Inferences/TheoryInstAndSimp.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Inferences/TheoryInstAndSimp.o Inferences/TheoryInstAndSimp.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Inferences/TheoryInstAndSimp.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/DHSet.hpp:21, from Inferences/SLQueryBackwardSubsumption.cpp:19: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Inferences/BoolSimp.cpp:12: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/InstGen/IGAlgorithm.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/InstGen/IGAlgorithm.o InstGen/IGAlgorithm.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/InstGen/IGAlgorithm.d mkdir -p `dirname obj/32894X/InstGen/ModelPrinter.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/InstGen/ModelPrinter.o InstGen/ModelPrinter.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/InstGen/ModelPrinter.d mkdir -p `dirname obj/32894X/SAT/MinimizingSolver.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/SAT/MinimizingSolver.o SAT/MinimizingSolver.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/SAT/MinimizingSolver.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Inferences/Cases.cpp:20: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/SAT/SAT2FO.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/SAT/SAT2FO.o SAT/SAT2FO.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/SAT/SAT2FO.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/Map.hpp:25, from ./Kernel/OperatorType.hpp:21, from Inferences/BoolEqToDiseq.cpp:17: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/SAT/SATClause.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/SAT/SATClause.o SAT/SATClause.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/SAT/SATClause.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Saturation/SaturationAlgorithm.hpp:21, from Inferences/PrimitiveInstantiation.cpp:16: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/SAT/SATInference.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/SAT/SATInference.o SAT/SATInference.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/SAT/SATInference.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Kernel/Term.hpp:40, from Inferences/InferenceEngine.hpp:23, from Inferences/GaussianVariableElimination.hpp:10, from Inferences/GaussianVariableElimination.cpp:10: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/SAT/SATLiteral.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/SAT/SATLiteral.o SAT/SATLiteral.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/SAT/SATLiteral.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Indexing/IndexManager.hpp:20, from Inferences/Induction.cpp:17: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/SAT/Z3Interfacing.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/SAT/Z3Interfacing.o SAT/Z3Interfacing.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/SAT/Z3Interfacing.d mkdir -p `dirname obj/32894X/SAT/Z3MainLoop.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/SAT/Z3MainLoop.o SAT/Z3MainLoop.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/SAT/Z3MainLoop.d mkdir -p `dirname obj/32894X/SAT/BufferedSolver.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/SAT/BufferedSolver.o SAT/BufferedSolver.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/SAT/BufferedSolver.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Saturation/SaturationAlgorithm.hpp:21, from Inferences/ElimLeibniz.cpp:16: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/SAT/FallbackSolverWrapper.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/SAT/FallbackSolverWrapper.o SAT/FallbackSolverWrapper.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/SAT/FallbackSolverWrapper.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Inferences/CasesSimp.cpp:20: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/DP/ShortConflictMetaDP.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/DP/ShortConflictMetaDP.o DP/ShortConflictMetaDP.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/DP/ShortConflictMetaDP.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from SAT/SATClause.cpp:21: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/DP/SimpleCongruenceClosure.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/DP/SimpleCongruenceClosure.o DP/SimpleCongruenceClosure.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/DP/SimpleCongruenceClosure.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Kernel/Term.hpp:40, from SAT/SAT2FO.cpp:15: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Saturation/AWPassiveClauseContainer.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Saturation/AWPassiveClauseContainer.o Saturation/AWPassiveClauseContainer.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Saturation/AWPassiveClauseContainer.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Inferences/CNFOnTheFly.cpp:15: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Saturation/PredicateSplitPassiveClauseContainer.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Saturation/PredicateSplitPassiveClauseContainer.o Saturation/PredicateSplitPassiveClauseContainer.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Saturation/PredicateSplitPassiveClauseContainer.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Shell/Options.hpp:49, from SAT/SATLiteral.cpp:17: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Saturation/ClauseContainer.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Saturation/ClauseContainer.o Saturation/ClauseContainer.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Saturation/ClauseContainer.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/DHSet.hpp:21, from ./Lib/Metaiterators.hpp:26, from ./SAT/SATClause.hpp:23, from SAT/MinimizingSolver.cpp:15: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Saturation/ConsequenceFinder.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Saturation/ConsequenceFinder.o Saturation/ConsequenceFinder.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Saturation/ConsequenceFinder.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from SAT/FallbackSolverWrapper.cpp:15: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Saturation/Discount.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Saturation/Discount.o Saturation/Discount.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Saturation/Discount.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Kernel/Term.hpp:40, from ./Inferences/InferenceEngine.hpp:23, from ./Inferences/ArithmeticSubtermGeneralization.hpp:15, from Inferences/ArithmeticSubtermGeneralization.cpp:12: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Saturation/ExtensionalityClauseContainer.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Saturation/ExtensionalityClauseContainer.o Saturation/ExtensionalityClauseContainer.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Saturation/ExtensionalityClauseContainer.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Numbering.hpp:19, from ./SAT/SAT2FO.hpp:20, from DP/ShortConflictMetaDP.hpp:23, from DP/ShortConflictMetaDP.cpp:15: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Saturation/LabelFinder.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Saturation/LabelFinder.o Saturation/LabelFinder.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Saturation/LabelFinder.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Saturation/SaturationAlgorithm.hpp:21, from Inferences/Choice.cpp:16: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Saturation/LRS.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Saturation/LRS.o Saturation/LRS.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Saturation/LRS.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/DHSet.hpp:21, from ./Lib/Metaiterators.hpp:26, from ./SAT/SATClause.hpp:23, from SAT/BufferedSolver.cpp:17: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Saturation/Otter.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Saturation/Otter.o Saturation/Otter.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Saturation/Otter.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from InstGen/ModelPrinter.hpp:20, from InstGen/ModelPrinter.cpp:17: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Saturation/ProvingHelper.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Saturation/ProvingHelper.o Saturation/ProvingHelper.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Saturation/ProvingHelper.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Saturation/Discount.cpp:15: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Saturation/SaturationAlgorithm.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Saturation/SaturationAlgorithm.o Saturation/SaturationAlgorithm.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Saturation/SaturationAlgorithm.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Saturation/AWPassiveClauseContainer.cpp:21: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Saturation/Splitter.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Saturation/Splitter.o Saturation/Splitter.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Saturation/Splitter.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Saturation/ClauseContainer.cpp:17: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Saturation/SymElOutput.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Saturation/SymElOutput.o Saturation/SymElOutput.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Saturation/SymElOutput.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Saturation/LabelFinder.cpp:15: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Saturation/ManCSPassiveClauseContainer.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Saturation/ManCSPassiveClauseContainer.o Saturation/ManCSPassiveClauseContainer.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Saturation/ManCSPassiveClauseContainer.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/Set.hpp:24, from Saturation/ClauseContainer.hpp:25, from Saturation/PredicateSplitPassiveClauseContainer.hpp:17, from Saturation/PredicateSplitPassiveClauseContainer.cpp:11: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Shell/AnswerExtractor.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Shell/AnswerExtractor.o Shell/AnswerExtractor.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Shell/AnswerExtractor.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Saturation/ConsequenceFinder.cpp:15: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Shell/CommandLine.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Shell/CommandLine.o Shell/CommandLine.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Shell/CommandLine.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Saturation/LRS.cpp:15: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Shell/CNF.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Shell/CNF.o Shell/CNF.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Shell/CNF.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Saturation/Otter.cpp:15: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Shell/NewCNF.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Shell/NewCNF.o Shell/NewCNF.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Shell/NewCNF.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/InverseLookup.hpp:19, from ./Kernel/Clause.hpp:26, from SAT/SATInference.cpp:15: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Shell/DistinctProcessor.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Shell/DistinctProcessor.o Shell/DistinctProcessor.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Shell/DistinctProcessor.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/InverseLookup.hpp:19, from ./Kernel/Clause.hpp:26, from Saturation/ManCSPassiveClauseContainer.hpp:19, from Saturation/ManCSPassiveClauseContainer.cpp:16: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Shell/DistinctGroupExpansion.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Shell/DistinctGroupExpansion.o Shell/DistinctGroupExpansion.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Shell/DistinctGroupExpansion.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Saturation/ProvingHelper.cpp:15: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Shell/EqResWithDeletion.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Shell/EqResWithDeletion.o Shell/EqResWithDeletion.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Shell/EqResWithDeletion.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/InverseLookup.hpp:19, from ./Kernel/Clause.hpp:26, from Saturation/ExtensionalityClauseContainer.cpp:10: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Shell/EqualityProxy.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Shell/EqualityProxy.o Shell/EqualityProxy.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Shell/EqualityProxy.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Shell/CommandLine.cpp:24: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Shell/EqualityProxyMono.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Shell/EqualityProxyMono.o Shell/EqualityProxyMono.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Shell/EqualityProxyMono.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from DP/SimpleCongruenceClosure.hpp:22, from DP/SimpleCongruenceClosure.cpp:17: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Shell/Flattening.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Shell/Flattening.o Shell/Flattening.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Shell/Flattening.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/InverseLookup.hpp:19, from ./Kernel/Clause.hpp:26, from Shell/CNF.cpp:19: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Shell/FunctionDefinition.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Shell/FunctionDefinition.o Shell/FunctionDefinition.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Shell/FunctionDefinition.d In file included from ./Kernel/FormulaTransformer.hpp:20, from Shell/DistinctProcessor.hpp:20, from Shell/DistinctProcessor.cpp:15: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Shell/GeneralSplitting.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Shell/GeneralSplitting.o Shell/GeneralSplitting.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Shell/GeneralSplitting.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Shell/DistinctGroupExpansion.cpp:17: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Shell/GoalGuessing.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Shell/GoalGuessing.o Shell/GoalGuessing.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Shell/GoalGuessing.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from Saturation/Splitter.hpp:22, from Saturation/Splitter.cpp:15: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Shell/InequalitySplitting.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Shell/InequalitySplitting.o Shell/InequalitySplitting.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Shell/InequalitySplitting.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Shell/EqualityProxy.cpp:15: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Shell/InterpolantMinimizer.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Shell/InterpolantMinimizer.o Shell/InterpolantMinimizer.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Shell/InterpolantMinimizer.d mkdir -p `dirname obj/32894X/Shell/Interpolants.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Shell/Interpolants.o Shell/Interpolants.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Shell/Interpolants.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Shell/GoalGuessing.cpp:15: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Shell/InterpretedNormalizer.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Shell/InterpretedNormalizer.o Shell/InterpretedNormalizer.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Shell/InterpretedNormalizer.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/InverseLookup.hpp:19, from ./Kernel/Clause.hpp:26, from Shell/EqResWithDeletion.cpp:15: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Shell/LambdaElimination.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Shell/LambdaElimination.o Shell/LambdaElimination.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Shell/LambdaElimination.d In file included from Shell/Flattening.cpp:20: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Shell/LaTeX.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Shell/LaTeX.o Shell/LaTeX.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Shell/LaTeX.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Saturation/SymElOutput.cpp:15: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Shell/LispLexer.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Shell/LispLexer.o Shell/LispLexer.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Shell/LispLexer.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/DHSet.hpp:21, from Saturation/SaturationAlgorithm.cpp:17: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Shell/LispParser.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Shell/LispParser.o Shell/LispParser.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Shell/LispParser.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/Map.hpp:25, from ./Kernel/OperatorType.hpp:21, from Shell/NewCNF.cpp:18: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Shell/Naming.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Shell/Naming.o Shell/Naming.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Shell/Naming.d mkdir -p `dirname obj/32894X/Shell/NNF.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Shell/NNF.o Shell/NNF.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Shell/NNF.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Shell/InequalitySplitting.cpp:16: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Shell/Normalisation.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Shell/Normalisation.o Shell/Normalisation.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Shell/Normalisation.d mkdir -p `dirname obj/32894X/Shell/Shuffling.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Shell/Shuffling.o Shell/Shuffling.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Shell/Shuffling.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMultiset.hpp:25, from Shell/GeneralSplitting.cpp:18: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ In file included from ./Lib/DHMultiset.hpp:25, from Shell/GeneralSplitting.cpp:18: ./Lib/Hash.hpp: In function 'bool Shell::GeneralSplitting::apply(Kernel::Clause*&, Kernel::UnitList*&)': ./Lib/Hash.hpp:41:107: warning: 'minDegVar' may be used uninitialized in this function [-Wmaybe-uninitialized] static unsigned combine(unsigned h1, unsigned h2) { return h1 ^ (h2 + 0x9e3779b9 + (h1 << 6) + (h1 >> 2)); } ^ Shell/GeneralSplitting.cpp:174:12: note: 'minDegVar' was declared here unsigned minDegVar; ^~~~~~~~~ mkdir -p `dirname obj/32894X/Shell/Options.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Shell/Options.o Shell/Options.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Shell/Options.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Shell/InterpretedNormalizer.cpp:15: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Shell/PredicateDefinition.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Shell/PredicateDefinition.o Shell/PredicateDefinition.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Shell/PredicateDefinition.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/Set.hpp:24, from ./Indexing/TermSharing.hpp:20, from Shell/LambdaElimination.cpp:19: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Shell/Preprocess.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Shell/Preprocess.o Shell/Preprocess.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Shell/Preprocess.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMultiset.hpp:25, from Shell/FunctionDefinition.cpp:20: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Shell/Property.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Shell/Property.o Shell/Property.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Shell/Property.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Shell/EqualityProxyMono.cpp:15: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Shell/Rectify.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Shell/Rectify.o Shell/Rectify.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Shell/Rectify.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Shell/NNF.cpp:16: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Shell/Skolem.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Shell/Skolem.o Shell/Skolem.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Shell/Skolem.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Shell/Normalisation.cpp:17: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Shell/SimplifyFalseTrue.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Shell/SimplifyFalseTrue.o Shell/SimplifyFalseTrue.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Shell/SimplifyFalseTrue.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from Shell/Naming.cpp:20: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Shell/SineUtils.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Shell/SineUtils.o Shell/SineUtils.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Shell/SineUtils.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from Shell/Options.hpp:49, from Shell/LaTeX.cpp:19: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Shell/FOOLElimination.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Shell/FOOLElimination.o Shell/FOOLElimination.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Shell/FOOLElimination.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Shell/Shuffling.cpp:17: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Shell/Statistics.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Shell/Statistics.o Shell/Statistics.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Shell/Statistics.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from InstGen/IGAlgorithm.cpp:21: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Debug/TimeProfiling.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Debug/TimeProfiling.o Debug/TimeProfiling.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Debug/TimeProfiling.d In file included from Shell/SimplifyFalseTrue.cpp:18: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Shell/SubexpressionIterator.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Shell/SubexpressionIterator.o Shell/SubexpressionIterator.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Shell/SubexpressionIterator.d In file included from ./Kernel/Unit.hpp:24, from Shell/Preprocess.cpp:21: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Shell/SymbolDefinitionInlining.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Shell/SymbolDefinitionInlining.o Shell/SymbolDefinitionInlining.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Shell/SymbolDefinitionInlining.d In file included from ./Kernel/Unit.hpp:24, from Shell/Interpolants.cpp:20: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Shell/SymbolOccurrenceReplacement.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Shell/SymbolOccurrenceReplacement.o Shell/SymbolOccurrenceReplacement.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Shell/SymbolOccurrenceReplacement.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/Set.hpp:24, from ./Indexing/TermSharing.hpp:20, from Shell/FOOLElimination.cpp:19: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Shell/SymCounter.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Shell/SymCounter.o Shell/SymCounter.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Shell/SymCounter.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Shell/Statistics.cpp:22: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from ./Kernel/Formula.hpp:23, from Shell/SubexpressionIterator.cpp:10: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Shell/TermAlgebra.o` mkdir -p `dirname obj/32894X/Shell/TheoryAxioms.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Shell/TermAlgebra.o Shell/TermAlgebra.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Shell/TermAlgebra.d g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Shell/TheoryAxioms.o Shell/TheoryAxioms.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Shell/TheoryAxioms.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Shell/Property.cpp:21: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Shell/TheoryFinder.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Shell/TheoryFinder.o Shell/TheoryFinder.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Shell/TheoryFinder.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Kernel/Term.hpp:40, from ./Debug/TimeProfiling.hpp:19, from Debug/TimeProfiling.cpp:13: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Shell/TheoryFlattening.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Shell/TheoryFlattening.o Shell/TheoryFlattening.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Shell/TheoryFlattening.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Shell/Rectify.cpp:17: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Shell/TweeGoalTransformation.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Shell/TweeGoalTransformation.o Shell/TweeGoalTransformation.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Shell/TweeGoalTransformation.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Shell/PredicateDefinition.cpp:16: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Shell/BlockedClauseElimination.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Shell/BlockedClauseElimination.o Shell/BlockedClauseElimination.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Shell/BlockedClauseElimination.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from ./Kernel/Formula.hpp:23, from Shell/SymbolOccurrenceReplacement.cpp:10: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Shell/AnswerExtractor.cpp:16: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/DHSet.hpp:21, from ./Kernel/Signature.hpp:27, from Shell/Skolem.cpp:17: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Kernel/Substitution.hpp:22, from Shell/SymbolDefinitionInlining.cpp:10: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ Shell/SymbolDefinitionInlining.cpp: In member function 'Kernel::TermList SymbolDefinitionInlining::process(Kernel::TermList)': Shell/SymbolDefinitionInlining.cpp:135:18: warning: 'tupleConstant' may be used uninitialized in this function [-Wmaybe-uninitialized] return tupleConstant; ^~~~~~~~~~~~~ mkdir -p `dirname obj/32894X/Shell/Token.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Shell/Token.o Shell/Token.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Shell/Token.d mkdir -p `dirname obj/32894X/Shell/TPTPPrinter.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Shell/TPTPPrinter.o Shell/TPTPPrinter.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Shell/TPTPPrinter.d mkdir -p `dirname obj/32894X/Shell/UIHelper.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Shell/UIHelper.o Shell/UIHelper.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Shell/UIHelper.d mkdir -p `dirname obj/32894X/Shell/VarManager.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Shell/VarManager.o Shell/VarManager.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Shell/VarManager.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/DHSet.hpp:21, from Shell/SineUtils.cpp:19: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/DHSet.hpp:21, from ./Lib/Metaiterators.hpp:26, from ./Kernel/TermIterators.hpp:23, from Shell/SymCounter.cpp:18: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/Shell/Lexer.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Shell/Lexer.o Shell/Lexer.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Shell/Lexer.d mkdir -p `dirname obj/32894X/Shell/UnificationWithAbstractionConfig.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Shell/UnificationWithAbstractionConfig.o Shell/UnificationWithAbstractionConfig.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Shell/UnificationWithAbstractionConfig.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/InverseLookup.hpp:19, from ./Kernel/Clause.hpp:26, from Shell/TheoryFinder.cpp:24: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/version.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/version.o version.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/version.d mkdir -p `dirname obj/32894X/Parse/SMTLIB2.o` mkdir -p `dirname obj/32894X/Parse/TPTP.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Parse/SMTLIB2.o Parse/SMTLIB2.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Parse/SMTLIB2.d g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/Parse/TPTP.o Parse/TPTP.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/Parse/TPTP.d mkdir -p `dirname obj/32894X/FMB/ClauseFlattening.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/FMB/ClauseFlattening.o FMB/ClauseFlattening.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/FMB/ClauseFlattening.d mkdir -p `dirname obj/32894X/FMB/SortInference.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/FMB/SortInference.o FMB/SortInference.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/FMB/SortInference.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/InverseLookup.hpp:19, from ./Kernel/Clause.hpp:26, from Shell/TermAlgebra.cpp:10: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/FMB/Monotonicity.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/FMB/Monotonicity.o FMB/Monotonicity.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/FMB/Monotonicity.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Shell/TheoryAxioms.cpp:15: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/FMB/FunctionRelationshipInference.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/FMB/FunctionRelationshipInference.o FMB/FunctionRelationshipInference.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/FMB/FunctionRelationshipInference.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from Shell/TheoryFlattening.hpp:20, from Shell/TheoryFlattening.cpp:15: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/FMB/FiniteModel.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/FMB/FiniteModel.o FMB/FiniteModel.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/FMB/FiniteModel.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Kernel/Term.hpp:40, from ./Shell/UnificationWithAbstractionConfig.hpp:14, from Shell/UnificationWithAbstractionConfig.cpp:12: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/FMB/FiniteModelMultiSorted.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/FMB/FiniteModelMultiSorted.o FMB/FiniteModelMultiSorted.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/FMB/FiniteModelMultiSorted.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Shell/UIHelper.cpp:24: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/FMB/FiniteModelBuilder.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/FMB/FiniteModelBuilder.o FMB/FiniteModelBuilder.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/FMB/FiniteModelBuilder.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from Shell/TPTPPrinter.cpp:17: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/CASC/PortfolioMode.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/CASC/PortfolioMode.o CASC/PortfolioMode.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/CASC/PortfolioMode.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/InverseLookup.hpp:19, from ./Kernel/Clause.hpp:26, from Shell/TweeGoalTransformation.cpp:32: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/CASC/Schedules.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/CASC/Schedules.o CASC/Schedules.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/CASC/Schedules.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Kernel/Term.hpp:40, from FMB/ClauseFlattening.cpp:15: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/CASC/CLTBMode.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/CASC/CLTBMode.o CASC/CLTBMode.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/CASC/CLTBMode.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from FMB/Monotonicity.cpp:19: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/CASC/CLTBModeLearning.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/CASC/CLTBModeLearning.o CASC/CLTBModeLearning.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/CASC/CLTBModeLearning.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Kernel/Problem.hpp:20, from Shell/BlockedClauseElimination.hpp:21, from Shell/BlockedClauseElimination.cpp:15: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ mkdir -p `dirname obj/32894X/vampire.o` g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. -c -o obj/32894X/vampire.o vampire.cpp -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -MMD -MF obj/32894X/vampire.d In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Kernel/Term.hpp:40, from FMB/FiniteModel.cpp:21: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Kernel/Term.hpp:40, from FMB/FiniteModelMultiSorted.cpp:21: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Shell/Options.hpp:49, from FMB/SortInference.cpp:19: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Parse/TPTP.cpp:23: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from Parse/SMTLIB2.cpp:18: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ In file included from FMB/FiniteModelBuilder.cpp:22: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ In file included from ./Kernel/Unit.hpp:24, from Lib/Hash.hpp:24, from Lib/DHMap.hpp:29, from Lib/Environment.hpp:24, from vampire.cpp:26: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from FMB/FunctionRelationshipInference.cpp:16: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/Environment.hpp:24, from CASC/PortfolioMode.cpp:16: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/DHSet.hpp:21, from CASC/CLTBMode.cpp:24: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/DHSet.hpp:21, from CASC/CLTBModeLearning.cpp:24: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/DHSet.hpp:21, from ./Shell/Property.hpp:25, from CASC/Schedules.hpp:19, from CASC/Schedules.cpp:17: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ In file included from ./Kernel/Unit.hpp:24, from ./Lib/Hash.hpp:24, from ./Lib/DHMap.hpp:29, from ./Lib/StringUtils.hpp:19, from Shell/Options.cpp:31: ./Kernel/Inference.hpp:980:16: warning: 'Kernel::Inference::_kind' is too small to hold all values of 'enum class Kernel::Inference::Kind' Kind _kind : 2; ^ ./Kernel/Inference.hpp:982:30: warning: 'Kernel::Inference::_inputType' is too small to hold all values of 'enum class Kernel::UnitInputType' UnitInputType _inputType : 3; ^ g++ -O6 -DVTIME_PROFILING=1 -DVDEBUG=0 -DVZ3=0 -D__FreeBSD__=9 -Wall -fno-threadsafe-statics -std=c++14 -I. obj/32894X/Minisat/core/Solver.o obj/32894X/Minisat/simp/SimpSolver.o obj/32894X/Minisat/utils/Options.o obj/32894X/Minisat/utils/System.o obj/32894X/SAT/MinisatInterfacing.o obj/32894X/SAT/MinisatInterfacingNewSimp.o obj/32894X/Debug/Assertion.o obj/32894X/Debug/RuntimeStatistics.o obj/32894X/Debug/Tracer.o obj/32894X/Lib/Allocator.o obj/32894X/Lib/DHMap.o obj/32894X/Lib/Environment.o obj/32894X/Lib/Event.o obj/32894X/Lib/Exception.o obj/32894X/Lib/Int.o obj/32894X/Lib/IntNameTable.o obj/32894X/Lib/IntUnionFind.o obj/32894X/Lib/MemoryLeak.o obj/32894X/Lib/MultiCounter.o obj/32894X/Lib/NameArray.o obj/32894X/Lib/Random.o obj/32894X/Lib/StringUtils.o obj/32894X/Lib/System.o obj/32894X/Lib/Timer.o obj/32894X/Lib/Sys/Multiprocessing.o obj/32894X/Lib/Sys/Semaphore.o obj/32894X/Lib/Sys/SyncPipe.o obj/32894X/Kernel/Clause.o obj/32894X/Kernel/ClauseQueue.o obj/32894X/Kernel/ColorHelper.o obj/32894X/Kernel/EqHelper.o obj/32894X/Kernel/FlatTerm.o obj/32894X/Kernel/Formula.o obj/32894X/Kernel/FormulaTransformer.o obj/32894X/Kernel/FormulaUnit.o obj/32894X/Kernel/FormulaVarIterator.o obj/32894X/Kernel/Grounder.o obj/32894X/Kernel/Inference.o obj/32894X/Kernel/InferenceStore.o obj/32894X/Kernel/KBO.o obj/32894X/Kernel/SKIKBO.o obj/32894X/Kernel/KBOForEPR.o obj/32894X/Kernel/LiteralSelector.o obj/32894X/Kernel/LookaheadLiteralSelector.o obj/32894X/Kernel/LPO.o obj/32894X/Kernel/MainLoop.o obj/32894X/Kernel/Matcher.o obj/32894X/Kernel/MaximalLiteralSelector.o obj/32894X/Kernel/SpassLiteralSelector.o obj/32894X/Kernel/ELiteralSelector.o obj/32894X/Kernel/RndLiteralSelector.o obj/32894X/Kernel/MLMatcher.o obj/32894X/Kernel/MLMatcherSD.o obj/32894X/Kernel/MLVariant.o obj/32894X/Kernel/Ordering.o obj/32894X/Kernel/Ordering_Equality.o obj/32894X/Kernel/Problem.o obj/32894X/Kernel/Renaming.o obj/32894X/Kernel/RobSubstitution.o obj/32894X/Kernel/MismatchHandler.o obj/32894X/Kernel/Signature.o obj/32894X/Kernel/SortHelper.o obj/32894X/Kernel/ApplicativeHelper.o obj/32894X/Kernel/OperatorType.o obj/32894X/Kernel/SubformulaIterator.o obj/32894X/Kernel/Substitution.o obj/32894X/Kernel/Term.o obj/32894X/Kernel/PolynomialNormalizer.o obj/32894X/Kernel/Polynomial.o obj/32894X/Kernel/TermIterators.o obj/32894X/Kernel/TermTransformer.o obj/32894X/Kernel/Theory.o obj/32894X/Kernel/Unit.o obj/32894X/Kernel/InterpretedLiteralEvaluator.o obj/32894X/Kernel/Rebalancing.o obj/32894X/Kernel/Rebalancing/Inverters.o obj/32894X/Kernel/NumTraits.o obj/32894X/Indexing/AcyclicityIndex.o obj/32894X/Indexing/ClauseCodeTree.o obj/32894X/Indexing/ClauseVariantIndex.o obj/32894X/Indexing/CodeTree.o obj/32894X/Indexing/CodeTreeInterfaces.o obj/32894X/Indexing/GroundingIndex.o obj/32894X/Indexing/Index.o obj/32894X/Indexing/IndexManager.o obj/32894X/Indexing/InductionFormulaIndex.o obj/32894X/Indexing/LiteralIndex.o obj/32894X/Indexing/LiteralMiniIndex.o obj/32894X/Indexing/LiteralSubstitutionTree.o obj/32894X/Indexing/ResultSubstitution.o obj/32894X/Indexing/SubstitutionTree.o obj/32894X/Indexing/SubstitutionTree_FastGen.o obj/32894X/Indexing/SubstitutionTree_FastInst.o obj/32894X/Indexing/SubstitutionTree_Nodes.o obj/32894X/Indexing/TermCodeTree.o obj/32894X/Indexing/TermIndex.o obj/32894X/Indexing/TermSharing.o obj/32894X/Indexing/TermSubstitutionTree.o obj/32894X/Inferences/BackwardDemodulation.o obj/32894X/Inferences/BackwardSubsumptionResolution.o obj/32894X/Inferences/BackwardSubsumptionDemodulation.o obj/32894X/Inferences/BinaryResolution.o obj/32894X/Inferences/Condensation.o obj/32894X/Inferences/DistinctEqualitySimplifier.o obj/32894X/Inferences/DefinitionIntroduction.o obj/32894X/Inferences/EqualityFactoring.o obj/32894X/Inferences/EqualityResolution.o obj/32894X/Inferences/ExtensionalityResolution.o obj/32894X/Inferences/ArgCong.o obj/32894X/Inferences/NegativeExt.o obj/32894X/Inferences/Narrow.o obj/32894X/Inferences/SubVarSup.o obj/32894X/Inferences/Factoring.o obj/32894X/Inferences/FastCondensation.o obj/32894X/Inferences/FOOLParamodulation.o obj/32894X/Inferences/Injectivity.o obj/32894X/Inferences/ForwardDemodulation.o obj/32894X/Inferences/CombinatorDemodISE.o obj/32894X/Inferences/CombinatorNormalisationISE.o obj/32894X/Inferences/ForwardLiteralRewriting.o obj/32894X/Inferences/ForwardSubsumptionAndResolution.o obj/32894X/Inferences/SubsumptionDemodulationHelper.o obj/32894X/Inferences/ForwardSubsumptionDemodulation.o obj/32894X/Inferences/GlobalSubsumption.o obj/32894X/Inferences/HyperSuperposition.o obj/32894X/Inferences/InnerRewriting.o obj/32894X/Inferences/EquationalTautologyRemoval.o obj/32894X/Inferences/InferenceEngine.o obj/32894X/Inferences/Instantiation.o obj/32894X/Inferences/InterpretedEvaluation.o obj/32894X/Inferences/PushUnaryMinus.o obj/32894X/Inferences/Cancellation.o obj/32894X/Inferences/PolynomialEvaluation.o obj/32894X/Inferences/ArithmeticSubtermGeneralization.o obj/32894X/Inferences/SLQueryBackwardSubsumption.o obj/32894X/Inferences/Superposition.o obj/32894X/Inferences/TautologyDeletionISE.o obj/32894X/Inferences/TermAlgebraReasoning.o obj/32894X/Inferences/Induction.o obj/32894X/Inferences/InductionHelper.o obj/32894X/Inferences/URResolution.o obj/32894X/Inferences/CNFOnTheFly.o obj/32894X/Inferences/CasesSimp.o obj/32894X/Inferences/Cases.o obj/32894X/Inferences/BoolSimp.o obj/32894X/Inferences/PrimitiveInstantiation.o obj/32894X/Inferences/Choice.o obj/32894X/Inferences/ElimLeibniz.o obj/32894X/Inferences/BoolEqToDiseq.o obj/32894X/Inferences/GaussianVariableElimination.o obj/32894X/Inferences/TheoryInstAndSimp.o obj/32894X/InstGen/IGAlgorithm.o obj/32894X/InstGen/ModelPrinter.o obj/32894X/SAT/MinimizingSolver.o obj/32894X/SAT/SAT2FO.o obj/32894X/SAT/SATClause.o obj/32894X/SAT/SATInference.o obj/32894X/SAT/SATLiteral.o obj/32894X/SAT/Z3Interfacing.o obj/32894X/SAT/Z3MainLoop.o obj/32894X/SAT/BufferedSolver.o obj/32894X/SAT/FallbackSolverWrapper.o obj/32894X/DP/ShortConflictMetaDP.o obj/32894X/DP/SimpleCongruenceClosure.o obj/32894X/Saturation/AWPassiveClauseContainer.o obj/32894X/Saturation/PredicateSplitPassiveClauseContainer.o obj/32894X/Saturation/ClauseContainer.o obj/32894X/Saturation/ConsequenceFinder.o obj/32894X/Saturation/Discount.o obj/32894X/Saturation/ExtensionalityClauseContainer.o obj/32894X/Saturation/LabelFinder.o obj/32894X/Saturation/LRS.o obj/32894X/Saturation/Otter.o obj/32894X/Saturation/ProvingHelper.o obj/32894X/Saturation/SaturationAlgorithm.o obj/32894X/Saturation/Splitter.o obj/32894X/Saturation/SymElOutput.o obj/32894X/Saturation/ManCSPassiveClauseContainer.o obj/32894X/Shell/AnswerExtractor.o obj/32894X/Shell/CommandLine.o obj/32894X/Shell/CNF.o obj/32894X/Shell/NewCNF.o obj/32894X/Shell/DistinctProcessor.o obj/32894X/Shell/DistinctGroupExpansion.o obj/32894X/Shell/EqResWithDeletion.o obj/32894X/Shell/EqualityProxy.o obj/32894X/Shell/EqualityProxyMono.o obj/32894X/Shell/Flattening.o obj/32894X/Shell/FunctionDefinition.o obj/32894X/Shell/GeneralSplitting.o obj/32894X/Shell/GoalGuessing.o obj/32894X/Shell/InequalitySplitting.o obj/32894X/Shell/InterpolantMinimizer.o obj/32894X/Shell/Interpolants.o obj/32894X/Shell/InterpretedNormalizer.o obj/32894X/Shell/LambdaElimination.o obj/32894X/Shell/LaTeX.o obj/32894X/Shell/LispLexer.o obj/32894X/Shell/LispParser.o obj/32894X/Shell/Naming.o obj/32894X/Shell/NNF.o obj/32894X/Shell/Normalisation.o obj/32894X/Shell/Shuffling.o obj/32894X/Shell/Options.o obj/32894X/Shell/PredicateDefinition.o obj/32894X/Shell/Preprocess.o obj/32894X/Shell/Property.o obj/32894X/Shell/Rectify.o obj/32894X/Shell/Skolem.o obj/32894X/Shell/SimplifyFalseTrue.o obj/32894X/Shell/SineUtils.o obj/32894X/Shell/FOOLElimination.o obj/32894X/Shell/Statistics.o obj/32894X/Debug/TimeProfiling.o obj/32894X/Shell/SubexpressionIterator.o obj/32894X/Shell/SymbolDefinitionInlining.o obj/32894X/Shell/SymbolOccurrenceReplacement.o obj/32894X/Shell/SymCounter.o obj/32894X/Shell/TermAlgebra.o obj/32894X/Shell/TheoryAxioms.o obj/32894X/Shell/TheoryFinder.o obj/32894X/Shell/TheoryFlattening.o obj/32894X/Shell/TweeGoalTransformation.o obj/32894X/Shell/BlockedClauseElimination.o obj/32894X/Shell/Token.o obj/32894X/Shell/TPTPPrinter.o obj/32894X/Shell/UIHelper.o obj/32894X/Shell/VarManager.o obj/32894X/Shell/Lexer.o obj/32894X/Shell/UnificationWithAbstractionConfig.o obj/32894X/version.o obj/32894X/Parse/SMTLIB2.o obj/32894X/Parse/TPTP.o obj/32894X/FMB/ClauseFlattening.o obj/32894X/FMB/SortInference.o obj/32894X/FMB/Monotonicity.o obj/32894X/FMB/FunctionRelationshipInference.o obj/32894X/FMB/FiniteModel.o obj/32894X/FMB/FiniteModelMultiSorted.o obj/32894X/FMB/FiniteModelBuilder.o obj/32894X/CASC/PortfolioMode.o obj/32894X/CASC/Schedules.o obj/32894X/CASC/CLTBMode.o obj/32894X/CASC/CLTBModeLearning.o obj/32894X/vampire.o -o vampire_rel_"master"_"0" obj/32894X/CASC/PortfolioMode.o:PortfolioMode.cpp:function CASC::PortfolioMode::PortfolioMode(): warning: warning: tmpnam() possibly used unsafely; consider using mkstemp() gmake[2]: Leaving directory '/construction/math/vampire/vampire-4.7-423-gc1643839b' SUCCEEDED 00:03:23 ------------------------------------------------------------------------------- -- Phase: run-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: stage ------------------------------------------------------------------------------- ===> Staging for vampire-4.7.423 ===> Generating temporary packing list install -s -m 555 /construction/math/vampire/vampire-4.7-423-gc1643839b/vampire_rel* /construction/math/vampire/stage/usr/local/bin/vampire ====> Compressing man pages (compress-man) ====> Running Q/A tests (stage-qa) Warning: You have disabled the licenses framework with DISABLE_LICENSES, unable to run checks SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: check-plist ------------------------------------------------------------------------------- ====> Checking for pkg-plist issues (check-plist) ===> Parsing plist ===> Checking for items in STAGEDIR missing from pkg-plist ===> Checking for items in pkg-plist which are not in STAGEDIR ===> No pkg-plist issues found (check-plist) SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: package ------------------------------------------------------------------------------- ===> Building package for vampire-4.7.423 file sizes/checksums [1]: 0% file sizes/checksums [1]: 100% Service unavailablepacking files [1]: 0% packing files [1]: 100% packing directories [0]: 0% packing directories [0]: 100% SUCCEEDED 00:00:00 TOTAL TIME 00:03:32