X-Git-Url: http://pilppa.org/gitweb/?a=blobdiff_plain;f=org.handhelds.familiar%2Fpackages%2Fjamvm%2Fjamvm%2Fdebian-jni.patch;fp=org.handhelds.familiar%2Fpackages%2Fjamvm%2Fjamvm%2Fdebian-jni.patch;h=ac39cb37da6134c2986e91eb61b5b9b6f62a05f6;hb=b492863e15325032f4734aec08209761b8fff5ac;hp=0000000000000000000000000000000000000000;hpb=85ce83e67fcc22bb92e118f00db328325fcb6e95;p=familiar-h63xx-build.git

diff --git a/org.handhelds.familiar/packages/jamvm/jamvm/debian-jni.patch b/org.handhelds.familiar/packages/jamvm/jamvm/debian-jni.patch
new file mode 100644
index 0000000..ac39cb3
--- /dev/null
+++ b/org.handhelds.familiar/packages/jamvm/jamvm/debian-jni.patch
@@ -0,0 +1,19 @@
+--- jamvm/src/dll.c.orig	2004-09-09 15:48:45.000000000 +0000
++++ jamvm/src/dll.c	2004-09-09 15:50:32.000000000 +0000
+@@ -189,6 +189,16 @@
+ #ifndef NO_JNI
+     /* Init hash table, and create lock */
+     initHashTable(hash_table, HASHTABSZE, TRUE);
++
++    /* XXX: Add Debian JNI directory and /usr/lib.  */
++    char* path = getenv("LD_LIBRARY_PATH");
++
++    if (path != NULL)
++      path = strcat(path, ":/usr/lib:/usr/lib/jni");
++    else
++      path = "/usr/lib:/usr/lib/jni";
++    
++    setenv("LD_LIBRARY_PATH", path, 1);
+ #endif
+ }
+