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

math/yices: Fix distfile source specification

Browse Source 
Before it pulled the branch called 2.7.0 not the tagged release
and only worked by accident.

Tagged release:
https://github.com/SRI-CSL/yices2/releases/tag/yices-2.7.0

Branch:
https://github.com/SRI-CSL/yices2/tree/2.7.0

`make -V GH_TAGNAME`
2.7.0

GH_TAGNAME should be yices-${DISTVERSION}

Reported by:	diizzy (via mailing list)
Approved by:	yuri@  (Mentor, implicit)

Fixes:	 	364ccd8596 * math/yices: Update 2.6.5 => 2.7.0, mark as PIE_UNSAFE
This commit is contained in:
Daniel Engberg
2025-09-22 00:32:51 +04:00
committed by Älven
parent 6bbaf95dbc
commit 6eae341539
2 changed files with 4 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
math/yices/Makefile
+1
View File
@@ -17,6 +17,7 @@ USES= autoreconf compiler:c11 gmake localbase
USE_GITHUB= yes
GH_ACCOUNT= SRI-CSL
GH_PROJECT= yices2
GH_TAGNAME= yices-${DISTVERSION}
USE_LDCONFIG= yes
GNU_CONFIGURE= yes
math/yices/distinfo
+3 -3
View File
@@ -1,3 +1,3 @@
TIMESTAMP = 1758459988
SHA256 (SRI-CSL-yices2-2.7.0_GH0.tar.gz) = 1fec19d9a72a79b731148ff904671a3502145912eaea0bee40e5d11d72ff6cc8
SIZE (SRI-CSL-yices2-2.7.0_GH0.tar.gz) = 10460379
TIMESTAMP = 1758486511
SHA256 (SRI-CSL-yices2-2.7.0-yices-2.7.0_GH0.tar.gz) = 584db72abf6643927b2c3ba98ff793f602216b452b8ff2f34a8851d35904804a
SIZE (SRI-CSL-yices2-2.7.0-yices-2.7.0_GH0.tar.gz) = 10461165