Now works for windows and includes scalaz3 correctly.

Instructions added.

Author: MikaelMayer

README.md

@@ -31,12 +31,29 @@ For testing, run
 Windows
 -------
 
+### Prerequisites
+
 Install Visual Studio Community edition 2015
 Make sure to have the following:
 - Programming Languages
   - Visual C++
     - Common tools for Visual C++ 2015 (CHECK)
 
+Install JDK 1.8
+* There is a folder `include` in `C:\Program Files\Java\jdk1.8.0_121`. Create a copy of this `include` folder directly in `C:\Program Files\Java\`
+
+Install a 64-bit version of GCC. To chec that, run `gcc -v`, it should display 64. If it shows  `mingw32` you need to install a new version.
+
+We were able to successfully package and test ScalaZ3 with the MinGW 64bit compiler suite with the following options.
+
+    Version: 6.3.0
+    Architecture: x86_64
+    Threads: wind32
+    Esception: seh
+    Build revision: 2
+
+### Packaging instructions
+
 Open the native x64 command prompt (available in the start menu under the Visual Studio folder)
 
 Now navigate to the scalaz3 folder and type:
@@ -45,3 +62,15 @@ Now navigate to the scalaz3 folder and type:
 
 The JAR files will be in `target/scala-2.XX/scalaz3_2.XX-3.0.jar` and will contain the shared library
 dependencies.
+
+### Test your package.
+
+Run
+
+    sbt test
+
+If this does not work, check that `lib-bin/scalaz3.dll` is a correctly set up 64 bit dll:
+
+    dumpbin /headers lib-bin/scalaz3.dll | findstr machine
+
+The output should be (x64). If you encounter any other issue, please let us know.

lib-bin/libz3.dll

@@ -208,13 +208,13 @@ object ScalaZ3Build extends Build {
            "-lz3 -fPIC -O2 -fopenmp", s)
 
     } else if (isWindows) {
-      exec("gcc -std=gnu89 -shared -o " + libBinFilePath.absolutePath + " " +
+      exec("gcc -std=gnu89 -m64 -shared -o " + libBinFilePath.absolutePath + " " +
            "-D_JNI_IMPLEMENTATION_ -Wl,--kill-at " +
            "-D__int64=\"long long\" " +
            "-I " + "\"" + jdkIncludePath.absolutePath + "\" " +
            "-I " + "\"" + jdkWinIncludePath.absolutePath + "\" " +
-           "-Wreturn-type " +
-           z3BinFilePath.absolutePath + "\" ", s)
+           "-I " + "\"" + z3BinFilePath.getParentFile.absolutePath + "\" " +
+           "-Wreturn-type ", s)
 
     } else if (isMac) {
       val frameworkPath = "/System/Library/Frameworks/JavaVM.framework/Versions/Current/Headers"