diff options
| author | anwu1219 <haozewu@stanford.edu> | 2018-09-25 10:38:50 -0700 |
|---|---|---|
| committer | anwu1219 <haozewu@stanford.edu> | 2018-09-25 10:38:50 -0700 |
| commit | 35353be470c5b73b7c19d9aea27d09695d9b4dfc (patch) | |
| tree | 9d1ebe00b9e1fdb3af024a699f2e0eb8d2b09871 /cryptominisat5/build/cmsat5-src/libcryptominisat5_export.h | |
| parent | 43e3983647365e36ec616b4ee92a223537bf4616 (diff) | |
revert space
Diffstat (limited to 'cryptominisat5/build/cmsat5-src/libcryptominisat5_export.h')
| -rw-r--r-- | cryptominisat5/build/cmsat5-src/libcryptominisat5_export.h | 42 |
1 files changed, 42 insertions, 0 deletions
diff --git a/cryptominisat5/build/cmsat5-src/libcryptominisat5_export.h b/cryptominisat5/build/cmsat5-src/libcryptominisat5_export.h new file mode 100644 index 000000000..8e27dc6d9 --- /dev/null +++ b/cryptominisat5/build/cmsat5-src/libcryptominisat5_export.h @@ -0,0 +1,42 @@ + +#ifndef LIBCRYPTOMINISAT5_EXPORT_H +#define LIBCRYPTOMINISAT5_EXPORT_H + +#ifdef LIBCRYPTOMINISAT5_STATIC_DEFINE +# define LIBCRYPTOMINISAT5_EXPORT +# define LIBCRYPTOMINISAT5_NO_EXPORT +#else +# ifndef LIBCRYPTOMINISAT5_EXPORT +# ifdef libcryptominisat5_EXPORTS + /* We are building this library */ +# define LIBCRYPTOMINISAT5_EXPORT +# else + /* We are using this library */ +# define LIBCRYPTOMINISAT5_EXPORT +# endif +# endif + +# ifndef LIBCRYPTOMINISAT5_NO_EXPORT +# define LIBCRYPTOMINISAT5_NO_EXPORT +# endif +#endif + +#ifndef LIBCRYPTOMINISAT5_DEPRECATED +# define LIBCRYPTOMINISAT5_DEPRECATED __attribute__ ((__deprecated__)) +#endif + +#ifndef LIBCRYPTOMINISAT5_DEPRECATED_EXPORT +# define LIBCRYPTOMINISAT5_DEPRECATED_EXPORT LIBCRYPTOMINISAT5_EXPORT LIBCRYPTOMINISAT5_DEPRECATED +#endif + +#ifndef LIBCRYPTOMINISAT5_DEPRECATED_NO_EXPORT +# define LIBCRYPTOMINISAT5_DEPRECATED_NO_EXPORT LIBCRYPTOMINISAT5_NO_EXPORT LIBCRYPTOMINISAT5_DEPRECATED +#endif + +#if 0 /* DEFINE_NO_DEPRECATED */ +# ifndef LIBCRYPTOMINISAT5_NO_DEPRECATED +# define LIBCRYPTOMINISAT5_NO_DEPRECATED +# endif +#endif + +#endif |