From nobody Sat Jul 13 06:46:19 2024 X-Original-To: dev-commits-ports-main@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 4WLfBM3XGWz5Q4rY; Sat, 13 Jul 2024 06:46:19 +0000 (UTC) (envelope-from git@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 "R11" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4WLfBM21nWz4yKc; Sat, 13 Jul 2024 06:46:19 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1720853179; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=ARQoJKgYDprhnwzq5VMPtM4h+TAFTosxIHOzMJlCYc4=; b=IQ+d/kiwyqaUYwyP6Yv01Ak+7Au8//Ybjftb0JEmLwjbvGsyN7yJTSyfEPHPdiLhIn+pD+ kxU2xWMugbD5COnhBTaQIEeyvmjsUBk9J+bR0swsUHV6EucGnGwYTfLJI+MziDrjpscnHV tlAH0Ev3N3w5Rkl6AzaeGYIJckMapYyV/hlLDuWK/zOpfs3/YjERvxyns2wqLwrJ+sc9Mt bT4m2UW3dgtUNuctxlejJRrGpdhNFLU0Rr+ic8W99D/vXpsibi+hQr9xLBSFPn62B4E14I zP7aeb2lBlIZT/0yyOtaxcpEXA/hYSGmt+4Kw3RXgFELo+tGT6BQOz6sLfFHRw== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1720853179; a=rsa-sha256; cv=none; b=D9bFLlORNE/7ADEwR/YBqagU7OScPPGCDy/N6lYLPd84SaAJ0y5Q0C2XC2pSm1ToagJqGd OuFrYwn7ME4aS+G8+40Atm7DdUbgKXpW6LquPz9B+/HwYxI2qrfh3l4wRprba85LRjyVNe Cbr/NJe23oyCK1vlzm42qKuLm9sMLBzShove17MBcOD0SlKegLxeha7gp1vNSrG26IoCjz DK+129DXl2R9NRA3mc6+M9rkQ228ucf2lby41UryFLW7B+O0GtY6YkepSdJMH4ftK52D1y 1YnpwS0CMKTqirz2xqNuJeQgmINuyHH5UF92Y2F97PcuAXAkzhPbgPuRTZKzGQ== ARC-Authentication-Results: i=1; mx1.freebsd.org; none ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1720853179; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=ARQoJKgYDprhnwzq5VMPtM4h+TAFTosxIHOzMJlCYc4=; b=FEHpoP0KRrMmoqbWxG8j6cpiA78jwuCFYD882V4le+wA58Uj7Blpr4YzFfupLxbkk9jriQ dZUg6DM5ba+zlaqMMwcxf2EJe3h9BG6pidL/Qn8XrRpmy7riIaDvVQiuq+MZ1lhK9sVJV0 6zRZ1Sq+N3FiJaB3gN2LG6LpBc2z42jSM7VuHO5LI+XW0VphW6xFYTlnP0HlMf0F6Psx69 LfOeBlNpbVgpw5bpx6iVHJukHbW0QCv7pIfhxuBeueYn9tjhZhblXRxAOCXa8Xq3CgvGN8 QUAN6G6s0jz54uAxgUaFVDltYTAurG4B0aCCzKJ6497gUp/h3NeI8CQ7+gZCxQ== Received: from gitrepo.freebsd.org (gitrepo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:5]) (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 did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 4WLfBM1f60zGSl; Sat, 13 Jul 2024 06:46:19 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.18.1/8.18.1) with ESMTP id 46D6kJ2l068366; Sat, 13 Jul 2024 06:46:19 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.18.1/8.18.1/Submit) id 46D6kJf3068363; Sat, 13 Jul 2024 06:46:19 GMT (envelope-from git) Date: Sat, 13 Jul 2024 06:46:19 GMT Message-Id: <202407130646.46D6kJf3068363@gitrepo.freebsd.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Yuri Victorovich Subject: git: b8f44f73d24a - main - math/vampire: update 4.8 =?utf-8?Q?=E2=86=92?= 4.9casc2024 List-Id: Commits to the main branch of the FreeBSD ports repository List-Archive: https://lists.freebsd.org/archives/dev-commits-ports-main List-Help: List-Post: List-Subscribe: List-Unsubscribe: X-BeenThere: dev-commits-ports-main@freebsd.org Sender: owner-dev-commits-ports-main@FreeBSD.org MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Git-Committer: yuri X-Git-Repository: ports X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: b8f44f73d24a950f83da4a4f9bb1772910548d42 Auto-Submitted: auto-generated The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=b8f44f73d24a950f83da4a4f9bb1772910548d42 commit b8f44f73d24a950f83da4a4f9bb1772910548d42 Author: Yuri Victorovich AuthorDate: 2024-07-13 06:09:45 +0000 Commit: Yuri Victorovich CommitDate: 2024-07-13 06:46:10 +0000 math/vampire: update 4.8 → 4.9casc2024 Reported by: portscout --- math/vampire/Makefile | 11 ++++++++--- math/vampire/distinfo | 8 +++++--- math/vampire/files/patch-CMakeLists.txt | 19 +++++++++++++++++++ 3 files changed, 32 insertions(+), 6 deletions(-) diff --git a/math/vampire/Makefile b/math/vampire/Makefile index 79f853e44849..0e148e9c4baf 100644 --- a/math/vampire/Makefile +++ b/math/vampire/Makefile @@ -1,6 +1,6 @@ PORTNAME= vampire -DISTVERSIONPREFIX= vHO -DISTVERSION= 4.8 +DISTVERSIONPREFIX= v +DISTVERSION= 4.9casc2024 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org @@ -14,12 +14,17 @@ BROKEN_armv7= error: static_assert failed due to requirement 'sizeof(void *) == BROKEN_i386= error: static_assert failed due to requirement 'sizeof(void *) == 8' BROKEN_powerpc= error: static_assert failed due to requirement 'sizeof(void *) == 8' -USES= cmake compiler:c++14-lang +LIB_DEPENDS= libz3.so:math/z3 + +USES= cmake compiler:c++17-lang USE_GITHUB= yes GH_ACCOUNT= vprover CMAKE_ARGS= -DCMAKE_BUILD_HOL=On # code is broken w/out this +CMAKE_ARGS+= -DZ3_DIR=${WRKSRC}/z3 + +LDFLAGS+= -lexecinfo PLIST_FILES= bin/${PORTNAME} diff --git a/math/vampire/distinfo b/math/vampire/distinfo index 6781a1c504eb..15bae4242c90 100644 --- a/math/vampire/distinfo +++ b/math/vampire/distinfo @@ -1,3 +1,5 @@ -TIMESTAMP = 1689226827 -SHA256 (vprover-vampire-vHO4.8_GH0.tar.gz) = 7d6f906c08c265aeac5601c7eceefec3dc5d8e1e720f3fd2466eec0cc4f6cc9c -SIZE (vprover-vampire-vHO4.8_GH0.tar.gz) = 1538556 +TIMESTAMP = 1720849438 +SHA256 (vprover-vampire-v4.9casc2024_GH0.tar.gz) = 7d0101dc296d0f6fb4f3326febf6a3f3bfd3400b36249a91794789c68a855f3d +SIZE (vprover-vampire-v4.9casc2024_GH0.tar.gz) = 1502934 +SHA256 (Z3Prover-z3-79bbbf7_GH0.tar.gz) = 27bec158d3cb33be8204fe429d53a29102af1b61151e26631652ae2dac2b26e6 +SIZE (Z3Prover-z3-79bbbf7_GH0.tar.gz) = 5453931 diff --git a/math/vampire/files/patch-CMakeLists.txt b/math/vampire/files/patch-CMakeLists.txt new file mode 100644 index 000000000000..03d60badd318 --- /dev/null +++ b/math/vampire/files/patch-CMakeLists.txt @@ -0,0 +1,19 @@ +--- CMakeLists.txt.orig 2024-06-14 13:05:27 UTC ++++ CMakeLists.txt +@@ -807,15 +807,8 @@ find_package( + # normally this is just in /z3/build/, but this can be overridden + find_package( + Z3 ++ REQUIRED + CONFIG +- NO_CMAKE_PATH +- NO_CMAKE_ENVIRONMENT_PATH +- NO_SYSTEM_ENVIRONMENT_PATH +- NO_CMAKE_PACKAGE_REGISTRY +- NO_CMAKE_SYSTEM_PATH +- NO_CMAKE_SYSTEM_PACKAGE_REGISTRY +- PATHS +- ${CMAKE_SOURCE_DIR}/z3/build/ + ) + if (NOT Z3_FOUND) + message(STATUS "No Z3 found -- Compiling without SMT support.")