From nobody Fri Nov 01 02:37:30 2024 X-Original-To: pkg-fallout@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4XflQ269Sfz5bSSk for ; Fri, 01 Nov 2024 02:37:30 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "R10" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4XflQ23hHBz4Y12 for ; Fri, 1 Nov 2024 02:37:30 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1730428650; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc; bh=fKgv1AHfpmI7j3S2lXn3MQU1U/gFzr/+MjbxlCZj9Kw=; b=OQ3dS8+72GNw/f93YbXi9VI4Rpw+d+5RMbuLZWi9l0Y1mxVQyLwFAyEH++DHneZYClHPfX vafYS0xb9r1yiRXLEpNRbqSapgTS9zl/rOP4VA69BtKXmKbAgH04kYrcIqJuQAUL0jID4A PeQcCRvz05LDD0VnujwjpXrt1EmtqZheHu7s9bCbJg1MwbjTGpqE3ZOmS1afo5PerwE72d Taumyaq7nNPd6hgaR0VwYpee3YXagLObGTWAWNmis0f7s4ECqTtajs0umgTp3O7PeCjV2C XMJ0MGZ0B986wrI+j81T7vvbVtIPZgNufnos/9fNvY2HxnbwgMPxGSDcR3PowA== ARC-Authentication-Results: i=1; mx1.freebsd.org; none ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1730428650; a=rsa-sha256; cv=none; b=oNAB6UG5UaH8X4ZAxqzwUAjBIvih9MAa1hXAYMqq9ty/D9YabsU99IluwKX5+ITGJcz62r U44rMbp0/wuBVCLjADWqe6IZCBX7YdscsbfvpEVXKFAYa6AN0aW9Ng/kr5u619MEj9Q9DJ FBhHRWi5QaEoOWBO1FHs37OHEz8t+qplQyBKOPWSbdGeq/e+tGfR+QIW0iuAC8eSyDACDu ZZP8uI19QyUk4VemHbVqXxI45pHbr2IXJc7VAfl9p9YaUW9Xnt3VAwgjrKm9ihGcAiJKxI uJwrjJtndQMul8BfxPWgw1iPpdpV9zgqzZRQhOgWBremfdhPkUrDHqMW/5GTcw== Received: from beefy18.nyi.freebsd.org (beefy18.nyi.freebsd.org [IPv6:2610:1c1:1:6080::16:21]) by mxrelay.nyi.freebsd.org (Postfix) with ESMTP id 4XflQ2381Fz12ZJ for ; Fri, 1 Nov 2024 02:37:30 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from root (uid 0) (envelope-from pkg-fallout@FreeBSD.org) id 7001 by beefy18.nyi.freebsd.org (DragonFly Mail Agent v0.13+ on beefy18.nyi.freebsd.org); Fri, 01 Nov 2024 02:37:30 +0000 To: olivier@FreeBSD.org Subject: [package - main-amd64-default][devel/cbmc] Failed for cbmc-6.3.1 in build Cc: pkg-fallout@FreeBSD.org Date: Fri, 01 Nov 2024 02:37:30 +0000 Message-Id: <67243eea.7001.3dabea71@beefy18.nyi.freebsd.org> From: List-Id: Fallout logs from package building List-Archive: https://lists.freebsd.org/archives/freebsd-pkg-fallout List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-freebsd-pkg-fallout@FreeBSD.org 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: olivier@FreeBSD.org Log URL: https://pkg-status.freebsd.org/beefy18/data/main-amd64-default/p35e33b5b9186_sd0f9b0bd19b/logs/cbmc-6.3.1.log Build URL: https://pkg-status.freebsd.org/beefy18/build.html?mastername=main-amd64-default&build=p35e33b5b9186_sd0f9b0bd19b Log: =>> Building devel/cbmc build started at Fri Nov 1 02:35:17 UTC 2024 port directory: /usr/ports/devel/cbmc package name: cbmc-6.3.1 building for: FreeBSD main-amd64-default-job-07 15.0-CURRENT FreeBSD 15.0-CURRENT 1500026 amd64 maintained by: olivier@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: 35e33b5b918 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: 1500023 Jail OSVERSION: 1500026 Job Id: 07 !!! Jail is newer than host. (Jail: 1500026, Host: 1500023) !!! !!! This is not supported. !!! !!! Host kernel must be same or newer than jail. !!! !!! Expect build failures. !!! ---Begin Environment--- SHELL=/bin/sh OSVERSION=1500026 UNAME_v=FreeBSD 15.0-CURRENT 1500026 UNAME_r=15.0-CURRENT BLOCKSIZE=K MAIL=/var/mail/root MM_CHARSET=UTF-8 LANG=C.UTF-8 STATUS=1 HOME=/root PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin MAKE_OBJDIR_CHECK_WRITABLE=0 LOCALBASE=/usr/local USER=root POUDRIERE_NAME=poudriere-git LIBEXECPREFIX=/usr/local/libexec/poudriere POUDRIERE_VERSION=3.4.2 MASTERMNT=/usr/local/poudriere/data/.m/main-amd64-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-amd64-default/07/.p OUTPUT_REDIRECTED_STDOUT=3 P_PORTS_FEATURES=FLAVORS SUBPACKAGES SELECTED_OPTIONS MASTERNAME=main-amd64-default SCRIPTPREFIX=/usr/local/share/poudriere SCRIPTNAME=bulk.sh OLDPWD=/usr/local/poudriere/data/.m/main-amd64-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-- olivier@FreeBSD.org --End MAINTAINER-- --CONFIGURE_ARGS-- --End CONFIGURE_ARGS-- --CONFIGURE_ENV-- MAKE=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 #### #### # 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-- ulimit: can't get limit: Invalid argument cpu time (seconds, -t) unlimited file size (512-blocks, -f) unlimited data seg size (kbytes, -d) 33554432 stack size (kbytes, -s) 524288 core file size (512-blocks, -c) unlimited max memory size (kbytes, -m) unlimited locked memory (kbytes, -l) unlimited max user processes (-u) 89999 open files (-n) 8192 virtual mem size (kbytes, -v) unlimited swap limit (kbytes, -w) unlimited socket buffer size (bytes, -b) unlimited pseudo-terminals (-p) unlimited kqueues (-k) unlimited umtx shared locks (-o) unlimited --End resource limits-- =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> License BSD4CLAUSE accepted by the user =========================================================================== =================================================== ===== 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-amd64-default-job-07] Installing pkg-1.21.3... [main-amd64-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 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== 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 =========================================================================== =================================================== ===== 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. =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== 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. =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== 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 =========================================================================== =================================================== ===== 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-amd64-default-job-07] Installing flex-2.6.4_3... [main-amd64-default-job-07] `-- Installing gettext-runtime-0.22.5... [main-amd64-default-job-07] | `-- Installing indexinfo-0.3.1... [main-amd64-default-job-07] | `-- Extracting indexinfo-0.3.1: .... done [main-amd64-default-job-07] `-- Extracting gettext-runtime-0.22.5: .......... done [main-amd64-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-amd64-default-job-07] Installing gmake-4.4.1... [main-amd64-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-amd64-default-job-07] Installing bison-3.8.2_2,1... [main-amd64-default-job-07] `-- Installing libtextstyle-0.22.5... [main-amd64-default-job-07] `-- Extracting libtextstyle-0.22.5: .......... done [main-amd64-default-job-07] `-- Installing m4-1.4.19_1,1... [main-amd64-default-job-07] `-- Extracting m4-1.4.19_1,1: .......... done [main-amd64-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.10.pkg [main-amd64-default-job-07] Installing python311-3.11.10... [main-amd64-default-job-07] `-- Installing libffi-3.4.6... [main-amd64-default-job-07] `-- Extracting libffi-3.4.6: .......... done [main-amd64-default-job-07] `-- Installing mpdecimal-4.0.0... [main-amd64-default-job-07] `-- Extracting mpdecimal-4.0.0: .......... done [main-amd64-default-job-07] `-- Installing readline-8.2.13_2... [main-amd64-default-job-07] `-- Extracting readline-8.2.13_2: .......... done [main-amd64-default-job-07] Extracting python311-3.11.10: .......... done ===== Message from python311-3.11.10: -- 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 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Configuring for cbmc-6.3.1 =========================================================================== =================================================== ===== 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 && gmake -C src -j3 gmake[1]: Entering directory '/wrkdirs/usr/ports/devel/cbmc/work/cbmc-cbmc-6.3.1/src' ## Entering big-int 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 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 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_replace.o union_find_replace.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' 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' 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