diff options
| author | John J. Camilleri <john@digitalgrammars.com> | 2018-05-21 09:14:26 +0200 |
|---|---|---|
| committer | John J. Camilleri <john@digitalgrammars.com> | 2018-05-21 09:14:26 +0200 |
| commit | 41af91f6978f97e667c6f3453e219f7492c608db (patch) | |
| tree | 9d21c3b0c66d189f9cb800b602369083b13cdeb7 /src/runtime/java | |
| parent | ba4057b214c4a655064133b07f5a4428a69f4252 (diff) | |
Update info about path to jni.h in Java binding install notes
Diffstat (limited to 'src/runtime/java')
| -rw-r--r-- | src/runtime/java/INSTALL | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/src/runtime/java/INSTALL b/src/runtime/java/INSTALL index 6d97dd279..c0e91a355 100644 --- a/src/runtime/java/INSTALL +++ b/src/runtime/java/INSTALL @@ -1,10 +1,12 @@ -Before compiling the Java binding you first need to have the C runtime +Before compiling the Java binding you first need to have the C runtime compiled and installed. You also need to find where your jni.h header is installed. It is part of the Java JDK, but it might be placed -in different places on different platforms. The path to the jni.h -header should be assigned to the JNI_PATH variable in the beginning -of the Makefile that you will find in the root directory of -the binding. Once this is done type: +in different places on different platforms. +The Makefile in this directory will try to figure out the location of +jni.h, but if it doesn't succeed you should add it manually to the +JNI_INCLUDES variable in the beginning of the Makefile. + +Once this is done type: $ make $ make install |