You are receiving this mail as a port that you maintain is failing to build on the FreeBSD package build server. Please investigate the failure and submit a PR to fix build.
Maintainer: oliv...@freebsd.org Log URL: https://pkg-status.freebsd.org/beefy17/data/main-i386-default/pf72088b8f67d_s3d0a0dda3a7/logs/cbmc-6.3.1.log Build URL: https://pkg-status.freebsd.org/beefy17/build.html?mastername=main-i386-default&build=pf72088b8f67d_s3d0a0dda3a7 Log: =>> Building devel/cbmc build started at Fri Jan 3 07:34:52 UTC 2025 port directory: /usr/ports/devel/cbmc package name: cbmc-6.3.1 building for: FreeBSD main-i386-default-job-07 15.0-CURRENT FreeBSD 15.0-CURRENT 1500029 i386 maintained by: oliv...@freebsd.org Makefile datestamp: -rw-r--r-- 1 root wheel 1435 Oct 29 01:01 /usr/ports/devel/cbmc/Makefile Ports top last git commit: f72088b8f67 Ports top unclean checkout: no Port dir last git commit: f7383f1ff55 Port dir unclean checkout: no Poudriere version: poudriere-git-3.4.2 Host OSVERSION: 1500028 Jail OSVERSION: 1500029 Job Id: 07 !!! Jail is newer than host. (Jail: 1500029, Host: 1500028) !!! !!! This is not supported. !!! !!! Host kernel must be same or newer than jail. !!! !!! Expect build failures. !!! ---Begin Environment--- SHELL=/bin/sh BLOCKSIZE=K MAIL=/var/mail/root MM_CHARSET=UTF-8 LANG=C.UTF-8 OSVERSION=1500029 STATUS=1 HOME=/root PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin MAKE_OBJDIR_CHECK_WRITABLE=0 UNAME_m=i386 UNAME_p=i386 UNAME_r=15.0-CURRENT LOCALBASE=/usr/local UNAME_v=FreeBSD 15.0-CURRENT 1500029 USER=root POUDRIERE_NAME=poudriere-git LIBEXECPREFIX=/usr/local/libexec/poudriere POUDRIERE_VERSION=3.4.2 MASTERMNT=/usr/local/poudriere/data/.m/main-i386-default/ref LC_COLLATE=C POUDRIERE_BUILD_TYPE=bulk PACKAGE_BUILDING=yes SAVED_TERM= OUTPUT_REDIRECTED_STDERR=4 OUTPUT_REDIRECTED=1 PWD=/usr/local/poudriere/data/.m/main-i386-default/07/.p OUTPUT_REDIRECTED_STDOUT=3 P_PORTS_FEATURES=FLAVORS SUBPACKAGES SELECTED_OPTIONS MASTERNAME=main-i386-default SCRIPTPREFIX=/usr/local/share/poudriere SCRIPTNAME=bulk.sh OLDPWD=/usr/local/poudriere/data/.m/main-i386-default/ref/.p/pool POUDRIERE_PKGNAME=poudriere-git-3.4.2 SCRIPTPATH=/usr/local/share/poudriere/bulk.sh POUDRIEREPATH=/usr/local/bin/poudriere ---End Environment--- ---Begin Poudriere Port Flags/Env--- PORT_FLAGS= PKGENV= FLAVOR= MAKE_ARGS= ---End Poudriere Port Flags/Env--- ---Begin OPTIONS List--- ---End OPTIONS List--- --MAINTAINER-- oliv...@freebsd.org --End MAINTAINER-- --CONFIGURE_ARGS-- --End CONFIGURE_ARGS-- --CONFIGURE_ENV-- MAKE=/usr/local/bin/gmake PYTHON="/usr/local/bin/python3.11" XDG_DATA_HOME=/wrkdirs/usr/ports/devel/cbmc/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/devel/cbmc/work XDG_CACHE_HOME=/wrkdirs/usr/ports/devel/cbmc/work/.cache HOME=/wrkdirs/usr/ports/devel/cbmc/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/devel/cbmc/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/devel/cbmc/work/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig SHELL=/bin/sh CONFIG_SHELL=/bin/sh --End CONFIGURE_ENV-- --MAKE_ENV-- XDG_DATA_HOME=/wrkdirs/usr/ports/devel/cbmc/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/devel/cbmc/work XDG_CACHE_HOME=/wrkdirs/usr/ports/devel/cbmc/work/.cache HOME=/wrkdirs/usr/ports/devel/cbmc/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/devel/cbmc/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/devel/cbmc/work/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES PREFIX=/usr/local LOCALBASE=/usr/local CC="cc" CFLAGS="-O2 -pipe -fstack-protector-strong -fno-strict-aliasing " CPP="cpp" CPPFLAGS="" LDFLAGS=" -fstack-protector-strong " LIBS="" CXX="c++" CXXFLAGS="-O2 -pipe -fstack-protector-strong -fno-strict-aliasing " BSD_INSTALL_PROGRAM="install -s -m 555" BSD_INSTALL_LIB="install -s -m 0644" BSD_INSTALL_SCRIPT="install -m 555" BSD_INSTALL_DATA="install -m 0644" BSD_INSTALL_MAN="install -m 444" --End MAKE_ENV-- --PLIST_SUB-- PYTHON_INCLUDEDIR=include/python3.11 PYTHON_LIBDIR=lib/python3.11 PYTHON_PLATFORM=freebsd15 PYTHON_SITELIBDIR=lib/python3.11/site-packages PYTHON_SUFFIX=311 PYTHON_EXT_SUFFIX=.cpython-311 PYTHON_VER=3.11 PYTHON_VERSION=python3.11 PYTHON2="@comment " PYTHON3="" OSREL=15.0 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib DOCSDIR="share/doc/cbmc" EXAMPLESDIR="share/examples/cbmc" DATADIR="share/cbmc" WWWDIR="www/cbmc" ETCDIR="etc/cbmc" --End PLIST_SUB-- --SUB_LIST-- PYTHON_INCLUDEDIR=/usr/local/include/python3.11 PYTHON_LIBDIR=/usr/local/lib/python3.11 PYTHON_PLATFORM=freebsd15 PYTHON_SITELIBDIR=/usr/local/lib/python3.11/site-packages PYTHON_SUFFIX=311 PYTHON_EXT_SUFFIX=.cpython-311 PYTHON_VER=3.11 PYTHON_VERSION=python3.11 PYTHON2="@comment " PYTHON3="" PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/cbmc DOCSDIR=/usr/local/share/doc/cbmc EXAMPLESDIR=/usr/local/share/examples/cbmc WWWDIR=/usr/local/www/cbmc ETCDIR=/usr/local/etc/cbmc --End SUB_LIST-- ---Begin make.conf--- # XXX: We really need this but cannot use it while 'make checksum' does not # try the next mirror on checksum failure. It currently retries the same # failed mirror and then fails rather then trying another. It *does* # try the next if the size is mismatched though. #MASTER_SITE_FREEBSD=yes # Build ALLOW_MAKE_JOBS_PACKAGES with 3 jobs MAKE_JOBS_NUMBER=3 USE_PACKAGE_DEPENDS=yes BATCH=yes WRKDIRPREFIX=/wrkdirs PORTSDIR=/usr/ports PACKAGES=/packages DISTDIR=/distfiles PACKAGE_BUILDING=yes PACKAGE_BUILDING_FLAVORS=yes MACHINE=i386 MACHINE_ARCH=i386 ARCH=${MACHINE_ARCH} #### #### # XXX: We really need this but cannot use it while 'make checksum' does not # try the next mirror on checksum failure. It currently retries the same # failed mirror and then fails rather then trying another. It *does* # try the next if the size is mismatched though. #MASTER_SITE_FREEBSD=yes # Build ALLOW_MAKE_JOBS_PACKAGES with 3 jobs MAKE_JOBS_NUMBER=3 #### Misc Poudriere #### .include "/etc/make.conf.ports_env" GID=0 UID=0 ---End make.conf--- --Resource limits-- cpu time (seconds, -t) unlimited file size (512-blocks, -f) unlimited data seg size (kbytes, -d) 524288 stack size (kbytes, -s) 65536 core file size (512-blocks, -c) unlimited max memory size (kbytes, -m) unlimited locked memory (kbytes, -l) unlimited max user processes (-u) 89999 open files (-n) 8192 virtual mem size (kbytes, -v) unlimited swap limit (kbytes, -w) unlimited socket buffer size (bytes, -b) unlimited pseudo-terminals (-p) unlimited kqueues (-k) unlimited umtx shared locks (-o) unlimited pipebuf (-y) unlimited --End resource limits-- =======================<phase: check-sanity >============================ ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> License BSD4CLAUSE accepted by the user =========================================================================== =======================<phase: pkg-depends >============================ ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> cbmc-6.3.1 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.21.3.pkg [main-i386-default-job-07] Installing pkg-1.21.3... [main-i386-default-job-07] Extracting pkg-1.21.3: .......... done ===> cbmc-6.3.1 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of cbmc-6.3.1 =========================================================================== =======================<phase: fetch-depends >============================ ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =======================<phase: fetch >============================ ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> License BSD4CLAUSE accepted by the user ===> Fetching all distfiles required by cbmc-6.3.1 for building =========================================================================== =======================<phase: checksum >============================ ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> License BSD4CLAUSE accepted by the user ===> Fetching all distfiles required by cbmc-6.3.1 for building => SHA256 Checksum OK for minisat2_2.2.1.orig.tar.gz. => SHA256 Checksum OK for diffblue-cbmc-cbmc-6.3.1_GH0.tar.gz. =========================================================================== =======================<phase: extract-depends>============================ ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =======================<phase: extract >============================ ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> License BSD4CLAUSE accepted by the user ===> Fetching all distfiles required by cbmc-6.3.1 for building ===> Extracting for cbmc-6.3.1 => SHA256 Checksum OK for minisat2_2.2.1.orig.tar.gz. => SHA256 Checksum OK for diffblue-cbmc-cbmc-6.3.1_GH0.tar.gz. =========================================================================== =======================<phase: patch-depends >============================ ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =======================<phase: patch >============================ ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Patching for cbmc-6.3.1 ===> Applying FreeBSD patches for cbmc-6.3.1 from /usr/ports/devel/cbmc/files =========================================================================== =======================<phase: build-depends >============================ ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> cbmc-6.3.1 depends on file: /usr/local/bin/flex - not found ===> Installing existing package /packages/All/flex-2.6.4_3.pkg [main-i386-default-job-07] Installing flex-2.6.4_3... [main-i386-default-job-07] `-- Installing gettext-runtime-0.23... [main-i386-default-job-07] | `-- Installing indexinfo-0.3.1... [main-i386-default-job-07] | `-- Extracting indexinfo-0.3.1: .... done [main-i386-default-job-07] `-- Extracting gettext-runtime-0.23: .......... done [main-i386-default-job-07] Extracting flex-2.6.4_3: .......... done ===> cbmc-6.3.1 depends on file: /usr/local/bin/flex - found ===> Returning to build of cbmc-6.3.1 ===> cbmc-6.3.1 depends on package: gmake>=4.4.1 - not found ===> Installing existing package /packages/All/gmake-4.4.1.pkg [main-i386-default-job-07] Installing gmake-4.4.1... [main-i386-default-job-07] Extracting gmake-4.4.1: .......... done ===> cbmc-6.3.1 depends on package: gmake>=4.4.1 - found ===> Returning to build of cbmc-6.3.1 ===> cbmc-6.3.1 depends on executable: bison - not found ===> Installing existing package /packages/All/bison-3.8.2_2,1.pkg [main-i386-default-job-07] Installing bison-3.8.2_2,1... [main-i386-default-job-07] `-- Installing libtextstyle-0.23... [main-i386-default-job-07] `-- Extracting libtextstyle-0.23: .......... done [main-i386-default-job-07] `-- Installing m4-1.4.19_1,1... [main-i386-default-job-07] `-- Extracting m4-1.4.19_1,1: .......... done [main-i386-default-job-07] Extracting bison-3.8.2_2,1: .......... done ===> cbmc-6.3.1 depends on executable: bison - found ===> Returning to build of cbmc-6.3.1 ===> cbmc-6.3.1 depends on file: /usr/local/bin/python3.11 - not found ===> Installing existing package /packages/All/python311-3.11.11.pkg [main-i386-default-job-07] Installing python311-3.11.11... [main-i386-default-job-07] `-- Installing libffi-3.4.6... [main-i386-default-job-07] `-- Extracting libffi-3.4.6: .......... done [main-i386-default-job-07] `-- Installing mpdecimal-4.0.0... [main-i386-default-job-07] `-- Extracting mpdecimal-4.0.0: .......... done [main-i386-default-job-07] `-- Installing readline-8.2.13_2... [main-i386-default-job-07] `-- Extracting readline-8.2.13_2: .......... done [main-i386-default-job-07] Extracting python311-3.11.11: .......... done ===== Message from python311-3.11.11: -- Note that some standard Python modules are provided as separate ports as they require additional dependencies. They are available as: py311-gdbm databases/py-gdbm@py311 py311-sqlite3 databases/py-sqlite3@py311 py311-tkinter x11-toolkits/py-tkinter@py311 ===> cbmc-6.3.1 depends on file: /usr/local/bin/python3.11 - found ===> Returning to build of cbmc-6.3.1 =========================================================================== =======================<phase: lib-depends >============================ ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =======================<phase: configure >============================ ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Configuring for cbmc-6.3.1 =========================================================================== =======================<phase: build >============================ ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Building for cbmc-6.3.1 cd /wrkdirs/usr/ports/devel/cbmc/work/cbmc-cbmc-6.3.1 && /usr/local/bin/gmake -C src -j3 gmake[1]: Entering directory '/wrkdirs/usr/ports/devel/cbmc/work/cbmc-cbmc-6.3.1/src' ## Entering big-int /usr/local/bin/gmake -C big-int gmake[2]: Entering directory '/wrkdirs/usr/ports/devel/cbmc/work/cbmc-cbmc-6.3.1/src/big-int' clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -o bigint-func.o bigint-func.cc clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -o bigint.o bigint.cc llvm-ar rcT big-int.a bigint-func.o bigint.o gmake[2]: Leaving directory '/wrkdirs/usr/ports/devel/cbmc/work/cbmc-cbmc-6.3.1/src/big-int' ## Entering util /usr/local/bin/gmake -C util gmake[2]: Entering directory '/wrkdirs/usr/ports/devel/cbmc/work/cbmc-cbmc-6.3.1/src/util' clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o arith_tools.o arith_tools.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o array_element_from_pointer.o array_element_from_pointer.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o array_name.o array_name.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o bitvector_expr.o bitvector_expr.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o bitvector_types.o bitvector_types.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o bv_arithmetic.o bv_arithmetic.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o byte_operators.o byte_operators.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o c_types.o c_types.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o cmdline.o cmdline.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o config.o config.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o console.o console.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o cout_message.o cout_message.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o dstring.o dstring.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o endianness_map.o endianness_map.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o edit_distance.o edit_distance.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o expr.o expr.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o expr_initializer.o expr_initializer.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o expr_util.o expr_util.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o exception_utils.o exception_utils.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o find_macros.o find_macros.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o find_symbols.o find_symbols.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o fixedbv.o fixedbv.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o floatbv_expr.o floatbv_expr.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o format_constant.o format_constant.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o format_expr.o format_expr.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o format_number_range.o format_number_range.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o format_type.o format_type.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o fresh_symbol.o fresh_symbol.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o get_base_name.o get_base_name.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o get_module.o get_module.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o help_formatter.o help_formatter.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o identifier.o identifier.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o ieee_float.o ieee_float.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o interval_union.o interval_union.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o invariant.o invariant.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o irep.o irep.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o irep_hash.o irep_hash.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o irep_hash_container.o irep_hash_container.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o irep_ids.o irep_ids.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o irep_serialization.o irep_serialization.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o interval_constraint.o interval_constraint.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o invariant_utils.o invariant_utils.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o json.o json.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o json_irep.o json_irep.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o json_stream.o json_stream.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o lispexpr.o lispexpr.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o lispirep.o lispirep.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o lower_byte_operators.o lower_byte_operators.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o mathematical_expr.o mathematical_expr.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o mathematical_types.o mathematical_types.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o memory_info.o memory_info.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o memory_units.o memory_units.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o merge_irep.o merge_irep.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o message.o message.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o mp_arith.o mp_arith.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o namespace.o namespace.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o object_factory_parameters.o object_factory_parameters.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o options.o options.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o parse_options.o parse_options.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o parser.o parser.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o piped_process.o piped_process.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o pointer_expr.o pointer_expr.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o pointer_offset_size.o pointer_offset_size.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o pointer_offset_sum.o pointer_offset_sum.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o pointer_predicates.o pointer_predicates.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o prefix_filter.o prefix_filter.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o rational.o rational.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o rational_tools.o rational_tools.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o ref_expr_set.o ref_expr_set.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o refined_string_type.o refined_string_type.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o rename.o rename.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o rename_symbol.o rename_symbol.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o replace_expr.o replace_expr.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o replace_symbol.o replace_symbol.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o run.o run.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o signal_catcher.o signal_catcher.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o simplify_expr.o simplify_expr.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o simplify_expr_array.o simplify_expr_array.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o simplify_expr_boolean.o simplify_expr_boolean.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o simplify_expr_floatbv.o simplify_expr_floatbv.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o simplify_expr_if.o simplify_expr_if.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o simplify_expr_int.o simplify_expr_int.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o simplify_expr_pointer.o simplify_expr_pointer.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o simplify_expr_struct.o simplify_expr_struct.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o simplify_utils.o simplify_utils.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o source_location.o source_location.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o ssa_expr.o ssa_expr.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o std_code.o std_code.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o std_expr.o std_expr.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o std_types.o std_types.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o string2int.o string2int.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o string_constant.o string_constant.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o string_container.o string_container.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o string_hash.o string_hash.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o string_utils.o string_utils.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o structured_data.o structured_data.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o substitute_symbols.o substitute_symbols.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o symbol.o symbol.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o symbol_table_base.o symbol_table_base.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o symbol_table.o symbol_table.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o tempdir.o tempdir.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o tempfile.o tempfile.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o threeval.o threeval.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o timestamper.o timestamper.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o type.o type.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o typecheck.o typecheck.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o ui_message.o ui_message.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o unicode.o unicode.cpp clang++ -c -DSATCHECK_MINISAT2 -MMD -MP -std=c++17 -O2 -DHAVE_MINISAT2 -Wall -pedantic -Werror -Wswitch-enum -Wno-deprecated-declarations -Wno-maybe-uninitialized -Wno-unknown-warning-option -I .. -o union_find.o union_find.cpp In file included from unicode.cpp:9: In file included from ./unicode.h:13: /usr/include/c++/v1/string:820:42: error: implicit instantiation of undefined template 'std::char_traits<unsigned int>' 820 | static_assert(is_same<_CharT, typename traits_type::char_type>::value, | ^ unicode.cpp:141:19: note: in instantiation of template class 'std::basic_string<unsigned int>' requested here 141 | result.reserve(s.size()); // at least that long | ^ /usr/include/c++/v1/__fwd/string.h:23:29: note: template is declared here 23 | struct _LIBCPP_TEMPLATE_VIS char_traits; | ^ 1 error generated. gmake[2]: *** [../common:231: unicode.o] Error 1 gmake[2]: *** Waiting for unfinished jobs.... gmake[2]: Leaving directory '/wrkdirs/usr/ports/devel/cbmc/work/cbmc-cbmc-6.3.1/src/util' gmake[1]: *** [Makefile:133: util.dir] Error 2 gmake[1]: Leaving directory '/wrkdirs/usr/ports/devel/cbmc/work/cbmc-cbmc-6.3.1/src' *** Error code 2 Stop. make: stopped making "build" in /usr/ports/devel/cbmc
