diff options
Diffstat (limited to 'dev-lang/yap/files')
| -rw-r--r-- | dev-lang/yap/files/yap-5.1.1-jpl.patch | 47 |
1 files changed, 47 insertions, 0 deletions
diff --git a/dev-lang/yap/files/yap-5.1.1-jpl.patch b/dev-lang/yap/files/yap-5.1.1-jpl.patch new file mode 100644 index 000000000000..72b0e5f51602 --- /dev/null +++ b/dev-lang/yap/files/yap-5.1.1-jpl.patch @@ -0,0 +1,47 @@ +--- Yap-5.1.1.orig/LGPL/JPL/src/jpl.c 2006-02-02 02:28:56.000000000 +1300 ++++ Yap-5.1.1/LGPL/JPL/src/jpl.c 2007-02-03 17:16:56.000000000 +1300 +@@ -1827,7 +1827,7 @@ + + + //=== JVM initialisation, startup etc. ============================================================= +- ++/* + // this isn't much use; it can't discover JDK 1.2 support... + static int + jni_supported_jvm_version( +@@ -1848,7 +1848,7 @@ + && minor == mlo + ; + } +- ++*/ + + static int + jni_get_created_jvm_count(void) +@@ -1930,7 +1930,7 @@ + ); + } + +- ++/* + static foreign_t + jni_supported_jvm_version_plc( // not as useful as I'd hoped... + term_t t1, +@@ -1945,7 +1945,7 @@ + && jni_supported_jvm_version(major,minor) + ; + } +- ++*/ + + static foreign_t + jni_get_created_jvm_count_plc( +@@ -3879,7 +3879,7 @@ + static + PL_extension predspecs[] = + { { "jni_create_jvm", 2, jni_create_jvm_plc, 0 }, +- { "jni_supported_jvm_version", 2, jni_supported_jvm_version_plc, 0 }, ++/* { "jni_supported_jvm_version", 2, jni_supported_jvm_version_plc, 0 },*/ + { "jni_get_created_jvm_count", 1, jni_get_created_jvm_count_plc, 0 }, + { "jni_ensure_jvm", 0, jni_ensure_jvm_plc, 0 }, + { "jni_tag_to_iref", 2, jni_tag_to_iref_plc, 0 }, |