mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2025-01-09 06:51:44 +00:00
Code Issues Releases Activity

math/z3: Update to 4.8.16

Browse Source 
Fix DEBUG option by not stripping resulting binaries.

Reported by:	repology.org
This commit is contained in:
Gleb Popov 2022-05-05 10:02:55 +03:00
parent 41c246ba5a
commit 2300e831ac
2 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
math/z3/Makefile
View File

@ -1,6 +1,6 @@
PORTNAME= z3
DISTVERSIONPREFIX= z3-
DISTVERSION= 4.8.13
DISTVERSION= 4.8.16
CATEGORIES= math
MAINTAINER= arrowd@FreeBSD.org
@ -22,6 +22,7 @@ OPTIONS_DEFINE= DEBUG STATIC GMP
OPTIONS_SUB= yes
DEBUG_CONFIGURE_ON= --debug
DEBUG_VARS= with_debug=yes
STATIC_DESC= Build static z3 library
STATIC_CONFIGURE_ON= --staticlib

6
math/z3/distinfo
View File

@ -1,3 +1,3 @@
TIMESTAMP = 1639500301
SHA256 (Z3Prover-z3-z3-4.8.13_GH0.tar.gz) = 59a0b35711fa7ae48dd535116d2067a6a16955fcbf2623c516a3f630cd2832d8
SIZE (Z3Prover-z3-z3-4.8.13_GH0.tar.gz) = 5103999
TIMESTAMP = 1651515677
SHA256 (Z3Prover-z3-z3-4.8.16_GH0.tar.gz) = 75f95e09f3f35fef746e571d5ec88a4efba27f1bc8f1a0ef1117167486ec3dc6
SIZE (Z3Prover-z3-z3-4.8.16_GH0.tar.gz) = 5223980