diff options
| author | Joseph Mingrone <jrm@FreeBSD.org> | 2017-09-05 15:26:54 +0000 |
|---|---|---|
| committer | Joseph Mingrone <jrm@FreeBSD.org> | 2017-09-05 15:26:54 +0000 |
| commit | 533097adc5449bbd4a4ecbb5e69be2631e30f940 (patch) | |
| tree | 75447fdca02923bede672a5f8cf3fc5fed50f7d0 /math/z3/Makefile | |
| parent | d3788a9521c7e2f9b3d2e2cb54ab6d5d3de39d22 (diff) | |
Notes
Diffstat (limited to 'math/z3/Makefile')
| -rw-r--r-- | math/z3/Makefile | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/math/z3/Makefile b/math/z3/Makefile index 7f5e2ec97aaf..d83fc8318b94 100644 --- a/math/z3/Makefile +++ b/math/z3/Makefile @@ -1,8 +1,9 @@ # $FreeBSD$ PORTNAME= z3 -PORTVERSION= 4.5.0 DISTVERSIONPREFIX= ${PORTNAME}- +DISTVERSION= 4.5.0 +PORTREVISION= 1 CATEGORIES= math MAINTAINER= 6yearold@gmail.com @@ -25,9 +26,10 @@ OPTIONS_SUB= yes DEBUG_CONFIGURE_ON= --debug -PYTHON_DESC= Enable python bindings +PYTHON_DESC= Enable python bindings PYTHON_CONFIGURE_ON= --python PYTHON_USES= python +PYTHON_USES_OFF= python:build STATIC_DESC= Build static z3 library STATIC_CONFIGURE_ON= --staticlib |