Please sign in to comment.
Add new possible path for jni (#430)
In recent ubuntu18.04, the default-jdk is jdk11, and its jnilocate may be /usr/lib/jvm/java-11-openjdk-amd64/lib. Details as follows: 1) in file tos-locate-jre, line 88 to get pathlocate of javac -- /usr/lib/jvm/java-11-openjdk-amd64/bin/javac 2) line 110 to get jbin -- /usr/lib/jvm/java-11-open-openjdk-amd64/bin 3) line 111 to get jhome -- /usr/lib/jvm/java-11-open-openjdk-amd64 4) different with previous jdk, there is not a seperate jre directory in jdk11, and there is no amd64/ or i386/ in $jhome/lib, so the possible jni path may be $jhome/lib. 5) with the method in http://tinyprod.net/repos/debian it returned "JAVA not found.." when I used apt-get to install tinyos, however after I changed the tos-locate-jre, then executed tos-install-jni, it finally succeeded in reinstalling.
- Loading branch information