From nobody Mon Jul 24 09:02:28 2023 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 4R8Z1K0Cmyz4nYTx; Mon, 24 Jul 2023 09:02:29 +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 "R3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4R8Z1J5sRbz4GpC; Mon, 24 Jul 2023 09:02:28 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1690189348; 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=GxnsKvKjqg/MkG1dJ4dXOTtQb8T+Kl2sa0QVhwzwlEA=; b=NsTTs5u8PBFPGGeTk1RuiqPCBKzNXlp7b2so7QN3PdrlU0Y6BzZnuQ+SEAyzg4JurQJsOt vPvIH0Qzn4SOd56by5JJGWvRLnr8Pptgb5bpvXWc9No5qhCrDH4v+YweS2wfe92BkRiEfc b1rAQDZUHAMAvTgdFWa4dFx3xIbOc7c5kwoEGpE5H8Z14gyLagi8ykKnzj8lpbpedlF7TN fyH7obO95SFM7fg2qAyr8+beMJZfHvsxcBLVAKCZPBcLAMgn7I9GQXJE5+3yL28jfApzTi zVKQjP2nCCtMjDW8giVUrb+f1bAtzFwAAZpPF2Sz/VJVZh3S5qS4Jb6lIIftdQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1690189348; 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=GxnsKvKjqg/MkG1dJ4dXOTtQb8T+Kl2sa0QVhwzwlEA=; b=XdCIdNB0jJZH1kI/RTHewon20eqy0/FA4/IcelLW8wJEkgCv05NSaFcdND4awC9xS1/jsb M1lfGB90g4NLWxWkv/QcGyd6BIIZ2ufrqxDz8c4eCPvSZCpxYpiBu31k9LjmU37rkXG/Xf PNP7urapHtv0JL0DmoK+F2mCS+TXwlDh3GP4CQhattFtaZ+LNF54e9ytd+/5+qIAHxNTmb zRLaqFYkwsvEOLD6ylt+coq99BY1DLbBtAkqJLFAodWcp0kQY7Zp5eYpcv3IosWf0zRmry LtqpY+bI7t2VHFdAdS+TK7uceoS2/t8Ev0/CMh4cKbooi7cNtYZI6Rk1U9LlQw== ARC-Authentication-Results: i=1; mx1.freebsd.org; none ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1690189348; a=rsa-sha256; cv=none; b=eElJijXCmrjtPUx3HFUsw2DdMfwTKQaYQ9bxMGjFDkR4P1E/nyxc/Q0Eo4P4MsMd6nhRhO wja3kOq/PpEgiozT0+tpKTgX+7Gv6IgB3MrCrE7CWljKqkyK7tm+WzcGkWQRV+kgUDaIAI rgwBxVj9r/Y3Rk3i4SWeHO7ELsY5LvvblFBV9DTF+bYIS5BN4vhBtHUn2n9Cu4b4qUOwul HV+foyMCdk4CCua7aJk9Jpax0EDt2uXcvcbssMJmHj5As5PCgjiu68UBrs4X/dpTCk4o3V QsXptWLl7qi+8CBCpIxzszMyOplhzdq23CZE+Tey3kRM3xekD70fu7opFf/tXg== 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 4R8Z1J4vLXz1BlG; Mon, 24 Jul 2023 09:02:28 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.17.1/8.17.1) with ESMTP id 36O92SSH016781; Mon, 24 Jul 2023 09:02:28 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.17.1/8.17.1/Submit) id 36O92Ste016780; Mon, 24 Jul 2023 09:02:28 GMT (envelope-from git) Date: Mon, 24 Jul 2023 09:02:28 GMT Message-Id: <202307240902.36O92Ste016780@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: 03783972b57a - main - math/eprover: Add PORTSCOUT line 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: Sender: owner-dev-commits-ports-main@freebsd.org X-BeenThere: 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: 03783972b57ad13db9ba7be6d3c51e649474ea1c Auto-Submitted: auto-generated The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=03783972b57ad13db9ba7be6d3c51e649474ea1c commit 03783972b57ad13db9ba7be6d3c51e649474ea1c Author: Yuri Victorovich AuthorDate: 2023-07-24 08:59:31 +0000 Commit: Yuri Victorovich CommitDate: 2023-07-24 08:59:31 +0000 math/eprover: Add PORTSCOUT line --- math/eprover/Makefile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/math/eprover/Makefile b/math/eprover/Makefile index aa472ab3b7ef..d9be294abe9b 100644 --- a/math/eprover/Makefile +++ b/math/eprover/Makefile @@ -34,6 +34,8 @@ ALL_TARGET= all man BINARY_ALIAS= make=${GMAKE} \ gcc=${CC} +PORTSCOUT= limit:^.*[0-9]\.[0-9].* # prevent versions like git-export-2012-06-29 + post-install: # strip binaries .for f in checkproof e_axfilter e_deduction_server e_ltb_runner e_stratpar eground \