/* take care of DLL usage madness */
#ifdef _XBT_DLL_EXPORT
- #define DLL_EXPORT
+ #ifndef DLL_EXPORT
+ #define DLL_EXPORT
+ #endif
#else
#ifdef _XBT_DLL_STATIC
- #define DLL_STATIC
+ #ifndef DLL_STATIC
+ #define DLL_STATIC
+ #endif
#else
- #define DLL_IMPORT
+ #ifndef DLL_EXPORT
+ #define DLL_IMPORT
+ #endif
#endif
#endif
/* If __thread is available */
#cmakedefine HAVE_THREAD_LOCAL_STORAGE @HAVE_THREAD_LOCAL_STORAGE@
+/* If Model-Checking support was requested */
+#cmakedefine HAVE_MC @HAVE_MC@
SG_END_DECL()
#endif /* SIMGRID_PUBLIC_CONFIG_H */