diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2020-07-16 19:22:46 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2020-07-16 19:22:46 +0000 |
| commit | f865f4c7ec7d9d8cdeaec5abcadc0cbaf28bd636 (patch) | |
| tree | cb0f2093d4b01dbfe44e75cb6ebb42a9b73e3748 /math/vampire | |
| parent | 6dac5dbc0522131eca8fb2823861331f7507dead (diff) | |
| download | ports-f865f4c7ec7d9d8cdeaec5abcadc0cbaf28bd636.tar.gz ports-f865f4c7ec7d9d8cdeaec5abcadc0cbaf28bd636.zip | |
Notes
Diffstat (limited to 'math/vampire')
| -rw-r--r-- | math/vampire/Makefile | 2 | ||||
| -rw-r--r-- | math/vampire/distinfo | 6 | ||||
| -rw-r--r-- | math/vampire/files/patch-Makefile | 6 |
3 files changed, 7 insertions, 7 deletions
diff --git a/math/vampire/Makefile b/math/vampire/Makefile index 16a2a252ab1c..f353bbbc0652 100644 --- a/math/vampire/Makefile +++ b/math/vampire/Makefile @@ -1,7 +1,7 @@ # $FreeBSD$ PORTNAME= vampire -DISTVERSION= 4.4 +DISTVERSION= 4.5.1 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org diff --git a/math/vampire/distinfo b/math/vampire/distinfo index 5debd66afb3d..0c3ae9415de6 100644 --- a/math/vampire/distinfo +++ b/math/vampire/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1567051355 -SHA256 (vprover-vampire-4.4_GH0.tar.gz) = 43f09743a3a505ec8d8ac6fb60420915d56c4164be3caab728d7856a4f2ace8d -SIZE (vprover-vampire-4.4_GH0.tar.gz) = 1748193 +TIMESTAMP = 1594926953 +SHA256 (vprover-vampire-4.5.1_GH0.tar.gz) = f7bf491a2576a7fc6551eabf37763b2b6ffd36e87ad660ff191dcd88a8969ae7 +SIZE (vprover-vampire-4.5.1_GH0.tar.gz) = 1834216 diff --git a/math/vampire/files/patch-Makefile b/math/vampire/files/patch-Makefile index e4525c0022b1..1419d8b9e8c6 100644 --- a/math/vampire/files/patch-Makefile +++ b/math/vampire/files/patch-Makefile @@ -1,6 +1,6 @@ ---- Makefile.orig 2019-08-23 07:50:16 UTC +--- Makefile.orig 2020-07-15 09:59:04 UTC +++ Makefile -@@ -557,20 +557,17 @@ VERSION_NUMBER = 4.4.0 +@@ -572,20 +572,17 @@ VERSION_NUMBER = 4.5.1 # The dependency on .git/HEAD tracks switching between branches, # the dependency on .git/index tracks new commits. @@ -17,7 +17,7 @@ # separate directory for object files implementation # different directory for each configuration, so there is no need for "make clean" - SED_CMD='s/^[(]HEAD$$/detached/' # + SED_CMD='s/.*[(].*/detached/' # if branch name contains an opening bracket, replace it with detached (in order to avoid a crash during linking). This covers at least the case '(HEAD' occuring if one is in detached state, and '(no' occuring if one currently performs a rebase. -BRANCH=$(shell git branch | grep "\*" | cut -d ' ' -f 2 | sed -e $(SED_CMD) ) -COM_CNT=$(shell git rev-list HEAD --count) +BRANCH="master" |