Microsoft Z3 plugin is missing native libraries
Since the continuous and nightly builds are working again, one problem
remains:
com.microsoft.z3 plugin does not ship any native libraries.
I believe these must be added in order for that code to work.
Please, refer to org.fortiss.tooling.graphicsGL.ui plugin for an
example
of how to include native libraries in plugins. (And, yes, that long
line
in that MANIFEST.MF pointing to the native libs is intentionally a
single
line).
(from redmine: issue id 2116, created on 2014-09-02, closed on 2016-01-25)
- Relations:
- parent #2101 (closed)