org.handhelds.familiar/packages/jamvm/jamvm/debian-jni.patch

   1 --- jamvm/src/dll.c.orig        2004-09-09 15:48:45.000000000 +0000
   2 +++ jamvm/src/dll.c     2004-09-09 15:50:32.000000000 +0000
   3 @@ -189,6 +189,16 @@
   4  #ifndef NO_JNI
   5      /* Init hash table, and create lock */
   6      initHashTable(hash_table, HASHTABSZE, TRUE);
   7 +
   8 +    /* XXX: Add Debian JNI directory and /usr/lib.  */
   9 +    char* path = getenv("LD_LIBRARY_PATH");
  10 +
  11 +    if (path != NULL)
  12 +      path = strcat(path, ":/usr/lib:/usr/lib/jni");
  13 +    else
  14 +      path = "/usr/lib:/usr/lib/jni";
  15 +
  16 +    setenv("LD_LIBRARY_PATH", path, 1);
  17  #endif
  18  }
  19