sync/ports
1
0
Fork 0
mirror of https://git.freebsd.org/ports.git synced 2025-07-18 09:49:18 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

math/z3: Update to 4.8.13

Browse source 
Disable STATIC option by default.
This commit is contained in:
Gleb Popov 2021-12-14 19:53:59 +03:00
parent 6bbaeacf75
commit adb4321eb4
2 changed files with 4 additions and 5 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 PORTNAME= z3
DISTVERSIONPREFIX= z3- DISTVERSIONPREFIX= z3-
DISTVERSION= 4.8.12 DISTVERSION= 4.8.13
CATEGORIES= math CATEGORIES= math
MAINTAINER= arrowd@FreeBSD.org MAINTAINER= arrowd@FreeBSD.org
@ -19,7 +19,6 @@ USE_LDCONFIG= yes
OPTIONS_DEFINE= DEBUG STATIC GMP OPTIONS_DEFINE= DEBUG STATIC GMP
OPTIONS_DEFAULT= STATIC
OPTIONS_SUB= yes OPTIONS_SUB= yes
DEBUG_CONFIGURE_ON= --debug DEBUG_CONFIGURE_ON= --debug

6
math/z3/distinfo
View file

@ -1,3 +1,3 @@
TIMESTAMP = 1635100958 TIMESTAMP = 1639500301
SHA256 (Z3Prover-z3-z3-4.8.12_GH0.tar.gz) = e3aaefde68b839299cbc988178529535e66048398f7d083b40c69fe0da55f8b7 SHA256 (Z3Prover-z3-z3-4.8.13_GH0.tar.gz) = 59a0b35711fa7ae48dd535116d2067a6a16955fcbf2623c516a3f630cd2832d8
SIZE (Z3Prover-z3-z3-4.8.12_GH0.tar.gz) = 4803435 SIZE (Z3Prover-z3-z3-4.8.13_GH0.tar.gz) = 5103999