diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2023-06-25 19:31:11 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2023-06-25 19:32:52 +0000 |
| commit | 7fd674ef55a7ade5116d76728994214335d95da0 (patch) | |
| tree | 8da46a2f00c540f333d1c2ba326790e2d7e70adf | |
| parent | 37efd432b1e97fbbd79fc5d1c724049e5a07b105 (diff) | |
| download | ports-7fd674ef55a7ade5116d76728994214335d95da0.tar.gz ports-7fd674ef55a7ade5116d76728994214335d95da0.zip | |
| -rw-r--r-- | math/vampire/Makefile | 4 | ||||
| -rw-r--r-- | math/vampire/distinfo | 6 | ||||
| -rw-r--r-- | math/vampire/files/patch-Lib_Portability.hpp | 16 | ||||
| -rw-r--r-- | math/vampire/files/patch-Lib_System.cpp | 26 | ||||
| -rw-r--r-- | 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. |