From cc99e967866de3b975ce9facf08e02cec0df1db7 Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Fri, 24 Oct 2014 18:00:36 +0100 Subject: [PATCH] Java API Cleanup Signed-off-by: Christoph M. Wintersteiger --- examples/java/README | 10 ++++------ src/api/java/README | 3 +++ src/api/java/manifest | 2 +- 3 files changed, 8 insertions(+), 7 deletions(-) diff --git a/examples/java/README b/examples/java/README index fa1f20a63..6da4958e4 100644 --- a/examples/java/README +++ b/examples/java/README @@ -1,7 +1,5 @@ -### This is work-in-progress and does not work yet. - -Small example using the Z3 Java bindings. -To build the example execute +A small example using the Z3 Java bindings. +To build the example, configure Z3 with the --java option to scripts/mk_make.py, build via make examples in the build directory. @@ -11,5 +9,5 @@ which can be run on Windows via On Linux and FreeBSD, we must use LD_LIBRARY_PATH=. java -cp com.microsoft.z3.jar:. JavaExample - - \ No newline at end of file +On OSX, the corresponding option is DYLD_LIBRARY_PATH: + DYLD_LIBRARY_PATH=. java -cp com.microsoft.z3.jar:. JavaExample diff --git a/src/api/java/README b/src/api/java/README index 7afe098fb..c9dbcf8f7 100644 --- a/src/api/java/README +++ b/src/api/java/README @@ -1,3 +1,6 @@ Java bindings ------------- +The Java bindings will be included in the Z3 build if it is configured with +the option --java to python scripts/mk_make.py. This will produce the +com.microsoft.z3.jar package in the build directory. diff --git a/src/api/java/manifest b/src/api/java/manifest index b54445cf2..88eac9a3a 100644 --- a/src/api/java/manifest +++ b/src/api/java/manifest @@ -1,2 +1,2 @@ Manifest-Version: 1.0 -Created-By: 4.3.0 (Microsoft Research LTD.) +Created-By: 4.3.2 (Microsoft Research LTD.)