diff options
| author | Robert Schuster <thebohemian@gmx.net> | 2008-02-09 03:14:56 +0000 |
|---|---|---|
| committer | Robert Schuster <thebohemian@gmx.net> | 2008-02-09 03:14:56 +0000 |
| commit | d444ca375061d1fa88566455932c0644715c6fa4 (patch) | |
| tree | b3018f6d615531c63253daf603087b93ca6f3350 /packages/jamvm/files/debian-jni.patch | |
| parent | 5de12a6ba0bc1fc8c0c23e718586250b24954c28 (diff) | |
jamvm: Added support for variable JNI path.
Diffstat (limited to 'packages/jamvm/files/debian-jni.patch')
| -rw-r--r-- | packages/jamvm/files/debian-jni.patch | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/packages/jamvm/files/debian-jni.patch b/packages/jamvm/files/debian-jni.patch new file mode 100644 index 0000000000..040163da69 --- /dev/null +++ b/packages/jamvm/files/debian-jni.patch @@ -0,0 +1,19 @@ +--- src/dll.c.orig 2004-09-09 15:48:45.000000000 +0000 ++++ 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. */ ++ char* path = getenv("LD_LIBRARY_PATH"); ++ ++ if (path != NULL) ++ path = strcat(path, ":OE_LIBDIR_JNI"); ++ else ++ path = "OE_LIBDIR_JNI"; ++ ++ setenv("LD_LIBRARY_PATH", path, 1); + #endif + } + |