git: 5670e678a75a - main - math/z3: Restore accidentally removed DEBUG option.

From: Gleb Popov <arrowd_at_FreeBSD.org>
Date: Sun, 12 Feb 2023 15:02:49 UTC 
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