push pre-built toolneedlefish_13.93.0needlefish/13.93.0marlin_12.93.0marlin_12.92.0marlin_12.91.0marlin_12.90.1marlin/12.93.0marlin/12.92.0marlin/12.91.0marlin/12.90.1lamprey_12.1.6lamprey_12.1.5lamprey_12.1.4lamprey_12.1.3lamprey_12.1.2lamprey_12.1.1lamprey_12.1.0lamprey/12.1.6lamprey/12.1.5lamprey/12.1.4lamprey/12.1.3lamprey/12.1.2lamprey/12.1.1lamprey/12.1.0koi_11.0.5koi/11.0.513.93.012.93.012.92.012.91.012.90.112.1.612.1.512.1.412.1.312.1.212.1.112.1.011.0.5

Signed-off-by: Kenji Hosokawa <khosokawa@jp.adit-jv.com>

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