...
 
Commits (10)
......@@ -14,8 +14,7 @@ Bundle-Activator: com.microsoft.z3.AF3z3Activator
Bundle-NativeCode: lib/x64/libz3.so ; lib/x64/libz3java.so ; osname = linux ; processor = x86_64,
lib/x64/libz3.dll ; lib/x64/libz3java.dll ; osname = win32 ; osname = "Windows 10"; osname = "Windows 7" ; osname = Windows7 ; osname = Win7 ; osname = "Windows 8" ; osname = Windows8 ; osname = Win8 ; osname = "Windows 8.1" ; osname = Windows8.1 ; osname = Win8.1 ; processor = x86_64,
lib/x64/libz3.dylib ; lib/x64/libz3java.dylib ; osname = macosx ; processor = x86_64,
lib/x32/libz3.so ; lib/x32/libz3java.so ; osname = linux ; processor = x86,
lib/x32/libz3.dll ; lib/x32/libz3java.dll ; lib/x32/msvcp110.dll ; lib/x32/msvcr110.dll ; lib/x32/vcomp110.dll ; lib/x32/Microsoft.Z3.dll ; osname = win32 ; osname = Windows 7 ; osname = Windows7 ; osname = Win7 ; processor = x86
lib/x32/libz3.dll ; lib/x32/libz3java.dll ; lib/x32/msvcp140.dll ; lib/x32/vcomp140.dll ; lib/x32/Microsoft.Z3.dll ; osname = win32 ; osname = Windows 7 ; osname = Windows7 ; osname = Win7 ; processor = x86
Export-Package: com.microsoft.z3,
com.microsoft.z3.enumerations
Eclipse-BundleShape: dir
......
# Howto update the Z3 base libraries
## Getting and placing the libraries
* Fetch the osx & debian & win 32-bit & win 64 binary archives from https://github.com/Z3Prover/z3/releases.
* For the Windows 32 bit version, copy all dll files from the bin folder into the x32 folder of this plugin.
* The same applies for Windows 64 bits and the x64 folder respectively.
* For Linux, copy the *.so libraries to the x64 folder.
* For MacOS, copy the *.dylib files to the x64 folder.
* From any of the above archives, copy the com.microsoft.jar file to this folder.
* Fetch the osx & debian & win 32-bit & win 64 binary archives from <https://github.com/Z3Prover/z3/releases>.
* For the Windows 32 bit version, copy all `.dll` files from the bin folder into the `x32` folder of this plugin.
* The same applies for Windows 64 bits and the `x64` folder respectively.
* For Linux, copy the `.so` libraries to the `x64` folder.
* For MacOS, copy the `.dylib` files to the `x64` folder.
* From any of the above archives, copy the `com.microsoft.jar` file to this folder.
## Prepare for use in AF3
* For Linux, execute "patchelf --set-rpath '$ORIGIN' <path/to/libz3java.so>" in a terminal. You may need to install patchelf first.
* In case an update renamed, added, or removed libraries, be sure to adapt the `AF3z3Activator` and the `MANIFEST.MF`
* For Linux, execute `patchelf --set-rpath '$ORIGIN' <path/to/libz3java.so>` in a terminal. You may need to install `patchelf` first.
* Update the source jar to the current version (needed for the online documentation)
* Download `z3-<version>.zip` source distribution and extract it
* `cd z3-<version>/src/api/java`
* `mkdir -p com/microsoft/z3`
* `mv *.java com/microsoft/z3`
* `jar cf com.microsoft.z3-src.jar com`
* Copy `com.microsoft.z3-src.jar` to this folder
\ No newline at end of file
AF3z3Activator.java e9ff1932a62e74d66260edab2132501a327f08b6 GREEN
AF3z3Activator.java 9086ea9b6989cafac4a32835b953fd0c2ac31c6b GREEN
Z3Type.java 73e319ae206d2fd456ec9430c01b5ff7fc7282d0 GREEN
Z3javaAPIWrapper.java d21fa89f50dd9afe49eaad0901384bdf99df548f GREEN
......@@ -42,9 +42,10 @@ public class AF3z3Activator extends Plugin {
// Load additional libraries needed on Windows
loadPluginLocalLibrary(getBundle(), path, "Microsoft.Z3", "libz3");
loadPluginLocalLibrary(getBundle(), path, "msvcr110", "libz3");
loadPluginLocalLibrary(getBundle(), path, "msvcp110", "libz3");
loadPluginLocalLibrary(getBundle(), path, "vcomp110", "libz3");
loadPluginLocalLibrary(getBundle(), path, "msvcp140", "libz3");
loadPluginLocalLibrary(getBundle(), path, "vcomp140", "libz3");
} else if(!isOs64BitArch()) {
System.out.println("[Z3] Warning: 32 bit support is only on Windows.");
}
loadPluginLocalLibrary(getBundle(), path, prefix + "z3", "libz3");
......