diff options
Diffstat (limited to 'tool_bin/lib/linux/z3/include/z3_macros.h')
-rw-r--r-- | tool_bin/lib/linux/z3/include/z3_macros.h | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/tool_bin/lib/linux/z3/include/z3_macros.h b/tool_bin/lib/linux/z3/include/z3_macros.h new file mode 100644 index 0000000..d1ac188 --- /dev/null +++ b/tool_bin/lib/linux/z3/include/z3_macros.h @@ -0,0 +1,21 @@ + +/*++ +Copyright (c) 2015 Microsoft Corporation + +--*/ + +#ifndef Z3_bool_opt +#define Z3_bool_opt Z3_bool +#endif + +#ifndef Z3_API +# ifdef __GNUC__ +# define Z3_API __attribute__ ((visibility ("default"))) +# else +# define Z3_API +# endif +#endif + +#ifndef DEFINE_TYPE +#define DEFINE_TYPE(T) typedef struct _ ## T *T +#endif |