Fixes for DLL building on Windows.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1738 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/include/PrismNativeGlob.h

@@ -26,6 +26,13 @@
 
 #include <jni.h>
 
+// Flags for building Windows DLLs
+#ifdef __MINGW32__
+	#define EXPORT __declspec(dllexport)
+#else
+	#define EXPORT
+#endif
+
 //------------------------------------------------------------------------------
 
 // Constants - these need to match the definitions in prism/Prism.java
@@ -39,8 +46,8 @@ const int EXPORT_ADV_MDP = 2;
 // External refs to global variables
 
 // adversary export mode
-extern int export_adv;
+EXPORT extern int export_adv;
 // adversary export filename
-extern const char *export_adv_filename;
+EXPORT extern const char *export_adv_filename;
 
 //------------------------------------------------------------------------------

prism/src/prism/PrismNative.cc

@@ -28,12 +28,13 @@
 #include <stdio.h>
 #include <string.h>
 #include <limits.h>
+#include "PrismNativeGlob.h"
 #include "jnipointer.h"
 
 // adversary export mode
-int export_adv;
+EXPORT int export_adv;
 // adversary export filename
-const char *export_adv_filename;
+EXPORT const char *export_adv_filename;
 
 //------------------------------------------------------------------------------
 // Set methods for options in native code