Date: Sun, 25 Jun 2023 19:32:57 GMT From: Yuri Victorovich <yuri@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: 7fd674ef55a7 - main - =?utf-8?Q?math/vampire:=20Update=204.5.1=20=E2=86=92=204.7-423?= Message-ID: <202306251932.35PJWvEp040955@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=7fd674ef55a7ade5116d76728994214335d95da0 commit 7fd674ef55a7ade5116d76728994214335d95da0 Author: Yuri Victorovich <yuri@FreeBSD.org> AuthorDate: 2023-06-25 19:31:11 +0000 Commit: Yuri Victorovich <yuri@FreeBSD.org> 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 <stdlib.h> - # include <unistd.h> - # if !__APPLE__ && !__CYGWIN__ --# include <sys/prctl.h> -+//# include <sys/prctl.h> - # endif - -+#if defined (__FreeBSD__) -+#include <sys/wait.h> -+#endif -+ - #include <dirent.h> - - #include <cerrno> -@@ -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"<<endl; - // NOT_IMPLEMENTED; - #else diff --git a/math/vampire/files/patch-Makefile b/math/vampire/files/patch-Makefile index 1419d8b9e8c6..f660afdcee74 100644 --- a/math/vampire/files/patch-Makefile +++ b/math/vampire/files/patch-Makefile @@ -1,6 +1,6 @@ ---- Makefile.orig 2020-07-15 09:59:04 UTC +--- Makefile.orig 2023-06-15 19:13:02 UTC +++ Makefile -@@ -572,20 +572,17 @@ VERSION_NUMBER = 4.5.1 +@@ -522,20 +522,17 @@ VERSION_NUMBER = 4.7 # The dependency on .git/HEAD tracks switching between branches, # the dependency on .git/index tracks new commits.
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202306251932.35PJWvEp040955>