/usr/bin/tos-install-jni is in tinyos-tools 1.4.2-1.
This file is owned by root:root, with mode 0o755.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 | #!/bin/sh
prefix=/usr
exec_prefix=${prefix}
libdir=${prefix}/lib/x86_64-linux-gnu
tinyoslibdir=$libdir/tinyos
jni=`tos-locate-jre --jni`
if [ $? -ne 0 ]; then
echo "Java not found, not installing JNI code"
exit 1
fi
if [ -x /bin/cygwin1.dll ] || [ `uname` = "Darwin" ]; then
echo "Installing Java JNI code in $jni ... "
for lib in $tinyoslibdir/*.so; do
install $lib "$jni" || exit 1
done
else
java=`tos-locate-jre --java`
bits=32
if [ $? -ne 0 ]; then
echo "java command not found - assuming 32 bits"
elif file -L $java/java | grep -q 64-bit; then
bits=64
fi
echo "Installing $bits-bit Java JNI code in $jni ... "
for lib in $tinyoslibdir/*-$bits.so; do
realname=`basename $lib | sed -e s/-$bits\.so/.so/`
install $lib "$jni/$realname" || exit 1
done
fi
echo "done."
|