diff options
| author | Gleb Popov <arrowd@FreeBSD.org> | 2023-02-12 15:01:32 +0000 |
|---|---|---|
| committer | Gleb Popov <arrowd@FreeBSD.org> | 2023-02-12 15:02:15 +0000 |
| commit | 5670e678a75aee8b33ae908234e501925e7c0944 (patch) | |
| tree | bc61308316486873781978136f27f2800b6a9571 | |
| parent | 39156702387663e0b8ed05172f75a58022e16ee3 (diff) | |
| download | ports-5670e678a75aee8b33ae908234e501925e7c0944.tar.gz ports-5670e678a75aee8b33ae908234e501925e7c0944.zip | |
| -rw-r--r-- | math/z3/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
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 |