diff options
Diffstat (limited to 'src/include/cvc4_config.h')
| -rw-r--r-- | src/include/cvc4_config.h | 41 |
1 files changed, 41 insertions, 0 deletions
diff --git a/src/include/cvc4_config.h b/src/include/cvc4_config.h new file mode 100644 index 000000000..e571f5969 --- /dev/null +++ b/src/include/cvc4_config.h @@ -0,0 +1,41 @@ +/********************* -*- C++ -*- */ +/** cvc4_config.h + ** This file is part of the CVC4 prototype. + ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys) + ** Courant Institute of Mathematical Sciences + ** New York University + ** See the file COPYING in the top-level source directory for licensing + ** information. + ** + ** [[ Add file-specific comments here ]] + **/ + +#ifdef __BUILDING_CVC4LIB + +# if defined _WIN32 || defined __CYGWIN__ +# ifdef BUILDING_DLL +# ifdef __GNUC__ +# define CVC4_PUBLIC __attribute__((dllexport)) +# else /* ! __GNUC__ */ +# define CVC4_PUBLIC __declspec(dllexport) +# endif /* __GNUC__ */ +# else /* BUILDING_DLL */ +# ifdef __GNUC__ +# define CVC4_PUBLIC __attribute__((dllimport)) +# else /* ! __GNUC__ */ +# define CVC4_PUBLIC __declspec(dllimport) +# endif /* __GNUC__ */ +# endif /* BUILDING_DLL */ +# else /* !( defined _WIN32 || defined __CYGWIN__ ) */ +# if __GNUC__ >= 4 +# define CVC4_PUBLIC __attribute__ ((visibility("default"))) +# else /* !( __GNUC__ >= 4 ) */ +# define CVC4_PUBLIC +# endif /* __GNUC__ >= 4 */ +# endif /* defined _WIN32 || defined __CYGWIN__ */ + +#else /* ! __BUILDING_CVC4LIB */ + +# define CVC4_PUBLIC + +#endif /* __BUILDING_CVC4LIB */ |