mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
Enable HAS_MALLOC_USABLE_SIZE on FreeBSD (#6402)
This commit is contained in:
parent
a25247aa7b
commit
5b76a7c2f2
|
@ -17,6 +17,10 @@ Copyright (c) 2015 Microsoft Corporation
|
|||
# include <malloc.h>
|
||||
# define HAS_MALLOC_USABLE_SIZE
|
||||
#endif
|
||||
#ifdef __FreeBSD__
|
||||
# include <malloc_np.h>
|
||||
# define HAS_MALLOC_USABLE_SIZE
|
||||
#endif
|
||||
|
||||
// The following two function are automatically generated by the mk_make.py script.
|
||||
// The script collects ADD_INITIALIZER and ADD_FINALIZER commands in the .h files.
|
||||
|
|
Loading…
Reference in a new issue