changeset 17014:6a30738791f7

mx: add helper for determine jli location
author Bernhard Urban <bernhard.urban@jku.at>
date Tue, 02 Sep 2014 14:46:50 +0200
parents 0b2675391d01
children ffddcdca8e74
files mx/mx_graal.py
diffstat 1 files changed, 10 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/mx/mx_graal.py	Tue Sep 02 14:46:22 2014 +0200
+++ b/mx/mx_graal.py	Tue Sep 02 14:46:50 2014 +0200
@@ -357,6 +357,16 @@
         return join(jdk, 'jre', 'bin')
     return join(jdk, 'jre', 'lib', mx.get_arch())
 
+def _vmJliLibDirs(jdk):
+    """
+    Get the directories within a JDK where the jli library designates to.
+    """
+    if platform.system() == 'Darwin':
+        return [join(jdk, 'jre', 'lib', 'jli')]
+    if platform.system() == 'Windows':
+        return [join(jdk, 'jre', 'bin'), join(jdk, 'bin')]
+    return [join(jdk, 'jre', 'lib', mx.get_arch(), 'jli'), join(jdk, 'lib', mx.get_arch(), 'jli')]
+
 def _vmCfgInJdk(jdk):
     """
     Get the jvm.cfg file.