From nobody Sun Jun 25 19:32:57 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 4Qq1NF2jlNz4hRyf; Sun, 25 Jun 2023 19:33:01 +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 4Qq1NC51pHz3G1P; Sun, 25 Jun 2023 19:32:59 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1687721579; 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=2kzCq8wlG/PvCokn5yUGn479W7oCf3bdbXaiYQF2vsM=; b=hEdkAOkFaySZnavgqLWOkwELw6EOF3oiANT2XiRVw8vBhWafDk/Z5hXWXOF5oAQ9X6VBJW YfNRqPrQwVnOS4JPBAk99/6AMyI5znAu6ReQZ1PZHgIKTOMlkAo43dv7cJCswmBBiTx+Or YAjd+vNhzMI/7SWMUnXzcIRFZDSwAsEWoXylsCiFXPop4P511RsbhSgAcPPAv/urTJMvSA CEMahGV7PO06yV6yxX1aiIJnEkP6I4aIVIJ32OLjyPkN/T7UIUwvGAw4VDyTumu818vPr1 K0mfrRAStmgdcFrxfOVEeuZ5bD5cEPHyPqy5ea0pLCyCPLSY/sBlI3a8H/h05g== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1687721579; 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=2kzCq8wlG/PvCokn5yUGn479W7oCf3bdbXaiYQF2vsM=; b=PIaZyCU6lliEIKJ/uzo2LYP+XUrrymbVJZhdXBNo38ay0nqBVHeMJJjfa3aPV2472ifUpr /dn2a8krrCmF3gaSelAl2KNm3aLk0W3/38mXX9RewoOLQBb/Nq1lu+kemKOg9ZYsJ2VMdB nFZ6jGo0+IyXzUhI8ws4p3csUsunM4Gm8++gewz2ZfwXgPuu4HzRg0X6Eh5cnQEUF6xUQ/ GwlcNaMjERLwvHR6tzYHsz7edaVCKUY3tqiUoZQFgFQepFGVeswujXceqYQdltpX5p6BQh a/+CgO4GsZLvC6N/Q1v5kN/F5U9XBldbq39vVb2rr6WFd8HIP/SZOdSbZU+yMw== ARC-Authentication-Results: i=1; mx1.freebsd.org; none ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1687721579; a=rsa-sha256; cv=none; b=JKULQuIcUQfXgDviDrEpcfgXso8cPf2ChrVpks8vYJK/cmFq5ZdomQclne3eoaH/QJrAu/ WBTJYBaPqypEQPRmpW+2HivJaOtIL282zVyjOtsHqwC45GS0lavRp5XgSboibATTM/Uk9L D0HV3/kznUAqME5sLBW0lx9yIxFhLY/kpHxvqgt1piCzJGY8aL6988FXNN0DrEYd90zD4S BbTlw+CoCIhKHxSjwcq0wfnfIi0x1lfv02YaL/Upli1mQAJF/KtF54qqCIqwUi/uySYhyC WggnS0C+h/JnjdSOqLiCL4zl36xkHddodjNta3C1ZCOb0JXd/hLqz31qv8tCuQ== 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 4Qq1N92lcbzfxp; Sun, 25 Jun 2023 19:32:57 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.16.1/8.16.1) with ESMTP id 35PJWv4N040956; Sun, 25 Jun 2023 19:32:57 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.16.1/8.16.1/Submit) id 35PJWvEp040955; Sun, 25 Jun 2023 19:32:57 GMT (envelope-from git) Date: Sun, 25 Jun 2023 19:32:57 GMT Message-Id: <202306251932.35PJWvEp040955@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: 7fd674ef55a7 - main - =?utf-8?Q?math/vampire:=20Update=204.5.1=20=E2=86=92=204.7-423?= 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: 7fd674ef55a7ade5116d76728994214335d95da0 Auto-Submitted: auto-generated X-ThisMailContainsUnwantedMimeParts: N The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=7fd674ef55a7ade5116d76728994214335d95da0 commit 7fd674ef55a7ade5116d76728994214335d95da0 Author: Yuri Victorovich AuthorDate: 2023-06-25 19:31:11 +0000 Commit: Yuri Victorovich CommitDate: 2023-06-25 19:32:52 +0000 math/vampire: Update 4.5.1 → 4.7-423 Reported by: portscout --- math/vampire/Makefile | 4 +++- math/vampire/distinfo | 6 +++--- math/vampire/files/patch-Lib_Portability.hpp | 16 ---------------- math/vampire/files/patch-Lib_System.cpp | 26 -------------------------- math/vampire/files/patch-Makefile | 4 ++-- 5 files changed, 8 insertions(+), 48 deletions(-) diff --git a/math/vampire/Makefile b/math/vampire/Makefile index c99cd744cfe0..c4c2a5f24c37 100644 --- a/math/vampire/Makefile +++ b/math/vampire/Makefile @@ -1,5 +1,7 @@ PORTNAME= vampire -DISTVERSION= 4.5.1 +DISTVERSIONPREFIX= v +DISTVERSION= 4.7-423 +DISTVERSIONSUFFIX= -gc1643839b CATEGORIES= math MAINTAINER= yuri@FreeBSD.org diff --git a/math/vampire/distinfo b/math/vampire/distinfo index 0c3ae9415de6..9f2d7a14fd32 100644 --- a/math/vampire/distinfo +++ b/math/vampire/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1594926953 -SHA256 (vprover-vampire-4.5.1_GH0.tar.gz) = f7bf491a2576a7fc6551eabf37763b2b6ffd36e87ad660ff191dcd88a8969ae7 -SIZE (vprover-vampire-4.5.1_GH0.tar.gz) = 1834216 +TIMESTAMP = 1687719811 +SHA256 (vprover-vampire-v4.7-423-gc1643839b_GH0.tar.gz) = 64251a4c914e3bfaacf790d7466d515c763760a7997e8549d9adb41b16c37fb0 +SIZE (vprover-vampire-v4.7-423-gc1643839b_GH0.tar.gz) = 1521191 diff --git a/math/vampire/files/patch-Lib_Portability.hpp b/math/vampire/files/patch-Lib_Portability.hpp deleted file mode 100644 index e82b0a05f6c8..000000000000 --- a/math/vampire/files/patch-Lib_Portability.hpp +++ /dev/null @@ -1,16 +0,0 @@ ---- Lib/Portability.hpp.orig 2018-12-01 20:14:14 UTC -+++ Lib/Portability.hpp -@@ -25,11 +25,11 @@ - // Detect compiler - - #ifndef __APPLE__ --# define __APPLE__ 0 -+//# define __APPLE__ 0 - #endif - - #ifndef __CYGWIN__ --# define __CYGWIN__ 0 -+//# define __CYGWIN__ 0 - #endif - - ////////////////////////////////////////////////////// diff --git a/math/vampire/files/patch-Lib_System.cpp b/math/vampire/files/patch-Lib_System.cpp deleted file mode 100644 index 1d054dcf2b31..000000000000 --- a/math/vampire/files/patch-Lib_System.cpp +++ /dev/null @@ -1,26 +0,0 @@ ---- Lib/System.cpp.orig 2018-12-01 20:15:38 UTC -+++ Lib/System.cpp -@@ -27,9 +27,13 @@ - #include - # include - # if !__APPLE__ && !__CYGWIN__ --# include -+//# include - # endif - -+#if defined (__FreeBSD__) -+#include -+#endif -+ - #include - - #include -@@ -360,7 +364,7 @@ void System::terminateImmediately(int re - */ - void System::registerForSIGHUPOnParentDeath() - { --#if __APPLE__ || __CYGWIN__ -+#if __APPLE__ || __CYGWIN__ || __FreeBSD__ - // cerr<<"Death of parent process not being handled on Mac and Windows"<