Date: Sun, 12 Feb 2023 15:02:49 GMT From: Gleb Popov <arrowd@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: 5670e678a75a - main - math/z3: Restore accidentally removed DEBUG option. Message-ID: <202302121502.31CF2naA081436@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
The branch main has been updated by arrowd: URL: https://cgit.FreeBSD.org/ports/commit/?id=5670e678a75aee8b33ae908234e501925e7c0944 commit 5670e678a75aee8b33ae908234e501925e7c0944 Author: Gleb Popov <arrowd@FreeBSD.org> AuthorDate: 2023-02-12 15:01:32 +0000 Commit: Gleb Popov <arrowd@FreeBSD.org> CommitDate: 2023-02-12 15:02:15 +0000 math/z3: Restore accidentally removed DEBUG option. Fixes: f52ed517f2ef24237c31e657f442dd1ec4038bf2 --- math/z3/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/math/z3/Makefile b/math/z3/Makefile index 5a42937e41d7..8f0ea09c0f9e 100644 --- a/math/z3/Makefile +++ b/math/z3/Makefile @@ -18,7 +18,7 @@ HAS_CONFIGURE= yes CONFIGURE_ARGS= --prefix=${PREFIX} USE_LDCONFIG= yes -OPTIONS_DEFINE= STATIC GMP +OPTIONS_DEFINE= DEBUG STATIC GMP OPTIONS_SUB= yes
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202302121502.31CF2naA081436>