From nobody Sat Feb 21 08:06:12 2026 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 4fJ0781k66z6S9k1 for ; Sat, 21 Feb 2026 08:06:12 +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 "R12" (not verified)) by mx1.freebsd.org (Postfix) with ESMTPS id 4fJ0780bGpz3qTZ for ; Sat, 21 Feb 2026 08:06:12 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1771661172; 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=fzRi+hHZjzd+Jp48jXE1Q1f5I2YkOEQl3dcI0QrYtog=; b=T1bLZ8IPBpCM5vOPfOUP9XNfNdHuISP52JXeetq6taimyDfJOnJghZuCDoAmzivMd/c+K8 7ANqHT41oZ1FLX0o65Wc1NPBvYManUQqUZXZwAdhYw5CuxvMsDvaYOLCIke9/iaDnkbT+K EBLKU4+VXWNtdzAXzLVAeU448SROHmH7/Myuiy41vvDZjG/umZ/AtJ72VZLq56tmHu4Goa Um+eMdszG0oR80B1BqjOk2eOZbBJEB8BDuPpZXq5KzXpqtg5OwCjRUM8Nrx2oBSaKtLSEY MeTE2I5LxDyUxbbqmeKvsKj5SqWsuaoqUsVojNsfuKyGhnjWTHRjtb9Jhtny4A== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1771661172; a=rsa-sha256; cv=none; b=abOPqxfrovEVcntZJHeqfoJG5dYKIOFEx3PZrGYTpCfOiN0QncayBG8oMb1+HkusqCe6d4 Dwb+xtOyQLbyXQS5es6CrlZG1yV2DLs5cw9rHbRTzZNEuUE/Luo+7xd8MG55vQEXl4pnQ+ 5du7H7guEv/2X1VToWQAXRP3nBpd/tpRHcR0gwKN7qKimqMwa79AuAIqsMHQm1jZtR/RsR UyFNr/38mbQQAS53/XJT3SozDolr8shCFIwgazt3G0zwCrp/vYHJuf2pn07xhAM6m/BgXL mtjJNqk5yanv0r7tGTdRo64EjG6NKOTjmpO+YZ2Ny4EWRe64MsmQuT9J4QdC4w== 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=1771661172; 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=fzRi+hHZjzd+Jp48jXE1Q1f5I2YkOEQl3dcI0QrYtog=; b=mpDgitgX7NqZYVD4MKukBl1GXUeU2KBouBJuFjSOPxDu1Mvv3N/SF/iDfDOe7hndOxf0UY vdvRkRDadXY6uSuzAidWapeWoCbdlD2R6WNUeI0W+IrYeEvQp5hZO/VMyMutT1xuMkY8of YnPA9L7n9GdIJj9Ynt+G9XIdW8ECYe/I/Lt5xcUUEQOkVVlA14de6l+UxkPjDgaYInwuPP 2KOfnD/1qarkgZAsfvLIMU+6VZMLOsT2lp3GC49mZ+DDzMr+diOjSPGjWO/6iZTPv2MTGE M7NTj91SRL4kgCmubHZY4LwzABWSTiKbFYO7aTgW9ciBi+Pk3ZQQH2xDJVbIgg== Received: from gitrepo.freebsd.org (gitrepo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:5]) by mxrelay.nyi.freebsd.org (Postfix) with ESMTP id 4fJ07807Z7z1591 for ; Sat, 21 Feb 2026 08:06:12 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from git (uid 1279) (envelope-from git@FreeBSD.org) id 44aab by gitrepo.freebsd.org (DragonFly Mail Agent v0.13+ on gitrepo.freebsd.org); Sat, 21 Feb 2026 08:06:12 +0000 To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Gleb Popov Subject: git: e14de79936da - main - math/z3: Enable testing 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: arrowd X-Git-Repository: ports X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: e14de79936daeea7931a14a1b214233f3b6f9a84 Auto-Submitted: auto-generated Date: Sat, 21 Feb 2026 08:06:12 +0000 Message-Id: <69996774.44aab.3bf8df30@gitrepo.freebsd.org> The branch main has been updated by arrowd: URL: https://cgit.FreeBSD.org/ports/commit/?id=e14de79936daeea7931a14a1b214233f3b6f9a84 commit e14de79936daeea7931a14a1b214233f3b6f9a84 Author: Gleb Popov AuthorDate: 2026-02-21 08:05:51 +0000 Commit: Gleb Popov CommitDate: 2026-02-21 08:06:07 +0000 math/z3: Enable testing --- math/z3/Makefile | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/math/z3/Makefile b/math/z3/Makefile index 5365506065d4..269b84589195 100644 --- a/math/z3/Makefile +++ b/math/z3/Makefile @@ -12,10 +12,11 @@ WWW= https://z3prover.github.io/ \ LICENSE= MIT LICENSE_FILE= ${WRKSRC}/LICENSE.txt -USES= cmake compiler:c++20-lang localbase:ldflags +USES= cmake:testing compiler:c++20-lang localbase:ldflags CMAKE_ARGS= -DCMAKE_INSTALL_PKGCONFIGDIR=${PREFIX}/libdata/pkgconfig CMAKE_OFF= Z3_ENABLE_EXAMPLE_TARGETS +CMAKE_TESTING_TARGET= test-z3 WRKSRC_SUBDIR= core @@ -27,4 +28,7 @@ OPTIONS_SUB= yes GMP_LIB_DEPENDS= libgmp.so:math/gmp GMP_CMAKE_BOOL= Z3_USE_LIB_GMP +post-test: + cd ${BUILD_WRKSRC} && ./test-z3 /a + .include