If JAVA_HOME is present on a Linux system, use it to find Java support
This commit was SVN r27255.
Этот коммит содержится в:
родитель
36acbe4ca6
Коммит
876d78f36a
@ -100,7 +100,11 @@ AC_DEFUN([ORTE_SETUP_JAVA],[
|
||||
|
||||
if test "$found" = "0"; then
|
||||
# Various Linux
|
||||
if -z "$JAVA_HOME"; then
|
||||
dir='/usr/lib/jvm/java-*-openjdk-*/include/'
|
||||
else
|
||||
dir=$JAVA_HOME/include
|
||||
fi
|
||||
jnih=`ls $dir/jni.h 2>/dev/null | head -n 1`
|
||||
AC_MSG_CHECKING([Linux locations])
|
||||
AS_IF([test -r "$jnih"],
|
||||
|
Загрузка…
Ссылка в новой задаче
Block a user