Searched refs:jdk (Results 1 – 6 of 6) sorted by relevance
30 # See https://hg.openjdk.java.net/jdk9/jdk9/jdk/file/tip/src/java.base/share/classes/jdk/internal/j…36 # See https://hg.openjdk.java.net/jdk9/jdk9/jdk/file/tip/src/java.base/share/native/libjimage/image…
6 sudo apt-get -qq install --no-install-recommends curl tar zip unzip perl openjdk-8-jdk autoconf aut…
1143 jdk = gen_obj._libraries['java_sdk'] variable1145 if os.path.isfile(os.path.join(jdk.lib_dir, '../bin/java.exe')):1146 java_exe = os.path.join(jdk.lib_dir, '../bin/java.exe')
1523 Please specify a suitable JDK using the --with-jdk option.])
1705 --with-jdk=PATH Try to use 'PATH/include' to find the JNI headers.27708 Please specify a suitable JDK using the --with-jdk option." "$LINENO" 5
3692 * allow passing --with-jdk to gen-make.py on Windows (r966167)