tools: copy jar files into $prefix/lib/java

Only if requested by ./configure --prefix=...

Author: jdede

tools/configure.ac

@@ -111,7 +111,13 @@ JDK=`dirname "$JAVAC_DIR"`
 AC_MSG_RESULT($JDK)
 
 AC_MSG_CHECKING(for location to put JARs)
-JAR_DIR=`/bin/sh tinyos/misc/tos-locate-jre --jni`/../ext
+
+if test "$prefix" != "NONE"; then
+    JAR_DIR="$prefix/lib/java"
+else
+    JAR_DIR=`/bin/sh tinyos/misc/tos-locate-jre --jni`/../ext
+fi
+
 AC_MSG_RESULT($JAR_DIR)
 
 function jnimap {