cpet/freebsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

math/rumur: Update 2019.06.05 -> 2019.06.12

Browse Source 
This update should fix the build on i386.

Notified by:	upstream
This commit is contained in:
Yuri Victorovich 2019-06-13 16:57:38 +00:00
parent 795b334786
commit 3f157eb9bc
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=504127
2 changed files with 4 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
math/rumur/Makefile
View File

@ -2,7 +2,7 @@
PORTNAME= rumur
DISTVERSIONPREFIX= v
DISTVERSION= 2019.06.05
DISTVERSION= 2019.06.12
CATEGORIES= math
MAINTAINER= yuri@FreeBSD.org
@ -11,8 +11,6 @@ COMMENT= Model checker, a formal verification tool for state machines
LICENSE= PD
LICENSE_FILE= ${WRKSRC}/LICENSE
BROKEN_i386= no matching function for call to 'make_ul', see https://github.com/Smattr/rumur/issues/136
LIB_DEPENDS= libgmpxx.so:math/gmp
USES= bison cmake compiler:c++11-lang python shebangfix

6
math/rumur/distinfo
View File

@ -1,3 +1,3 @@
TIMESTAMP = 1559797474
SHA256 (Smattr-rumur-v2019.06.05_GH0.tar.gz) = 4055fe73641b0c7be9183cef8d2764884869d7eaf7b35719785a881829bbe421
SIZE (Smattr-rumur-v2019.06.05_GH0.tar.gz) = 168722
TIMESTAMP = 1560442948
SHA256 (Smattr-rumur-v2019.06.12_GH0.tar.gz) = 25083ddce317a25da0afbd4833227f277d411c33b69a4297ed33703fdfe16381
SIZE (Smattr-rumur-v2019.06.12_GH0.tar.gz) = 169073