summaryrefslogtreecommitdiffstats
path: root/rba.tool.editor.endpoint/lib/linux/z3/include/z3_macros.h
diff options
context:
space:
mode:
authorKenji Hosokawa <khosokawa@jp.adit-jv.com>2021-08-26 22:48:28 +0900
committerKenji Hosokawa <khosokawa@jp.adit-jv.com>2021-08-26 22:58:27 +0900
commit44a3da18a257cc46aa0dbfd01947deeb377ab049 (patch)
tree854c7a5f1e1d671ddcccc7f1f60e55080e50ec43 /rba.tool.editor.endpoint/lib/linux/z3/include/z3_macros.h
parent6166bddbc4c94c4e0da3c884e1a592dfa1faa4ad (diff)
Signed-off-by: Kenji Hosokawa <khosokawa@jp.adit-jv.com>
Diffstat (limited to 'rba.tool.editor.endpoint/lib/linux/z3/include/z3_macros.h')
-rw-r--r--rba.tool.editor.endpoint/lib/linux/z3/include/z3_macros.h21
1 files changed, 21 insertions, 0 deletions
diff --git a/rba.tool.editor.endpoint/lib/linux/z3/include/z3_macros.h b/rba.tool.editor.endpoint/lib/linux/z3/include/z3_macros.h
new file mode 100644
index 0000000..d1ac188
--- /dev/null
+++ b/rba.tool.editor.endpoint/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