mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-16 05:48:44 +00:00
Code Activity

move definition of Z3_API to the right file

Browse source 
Signed-off-by: Nuno Lopes <a-nlopes@microsoft.com>
This commit is contained in:
Nuno Lopes 2015-02-22 11:57:40 +00:00
parent 1e30fd2c65
commit a106b4125a
2 changed files with 5 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/api/z3.h
View file

@ -21,10 +21,6 @@ Notes:
#ifndef _Z3__H_
#define _Z3__H_
#ifdef __GNUC__
# define Z3_API __attribute__ ((visibility ("default")))
#endif
#include<stdio.h>
#include"z3_macros.h"
#include"z3_api.h"

6
src/api/z3_macros.h
View file

@ -35,7 +35,11 @@
#endif
#ifndef Z3_API
#define Z3_API
# ifdef __GNUC__
# define Z3_API __attribute__ ((visibility ("default")))
# else
# define Z3_API
# endif
#endif
#ifndef DEFINE_TYPE