Mercurial > hg > octave-nkf

annotate build-aux/OctJavaQry.java @ 17886:326963e47984

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
use stl_algo.h-fixed for GCC 4.8.0 and 4.8.1 if nth_element bug is detected * acinclude.m4 (OCTAVE_CHECK_BROKEN_STL_ALGO_H): If nth_element test fails and we are using GCC 4.8.0 or 4.8.1, then don't reset octave_cv_broken_stl_algo_h. Someone may have patched their 4.8.0 or 4.8.1 GCC with the buggy performance patch for 4.8.2. Ubuntu, I'm looking at you.
author John W. Eaton <jwe@octave.org>
date Fri, 08 Nov 2013 11:42:44 -0500
parents fafd51a1b0f0
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
15763
56239ff815a3 build: Overhaul auto-detection of Java when JAVA_HOME is not set.
Rik <rik@octave.org>
parents:
diff changeset
1 // Code used by configure script to locate Java installation variables.
56239ff815a3 build: Overhaul auto-detection of Java when JAVA_HOME is not set.
Rik <rik@octave.org>
parents:
diff changeset
2 // Only compiled code, OctJavaQry.class, is distributed.
56239ff815a3 build: Overhaul auto-detection of Java when JAVA_HOME is not set.
Rik <rik@octave.org>
parents:
diff changeset
3 public class OctJavaQry
56239ff815a3 build: Overhaul auto-detection of Java when JAVA_HOME is not set.
Rik <rik@octave.org>
parents:
diff changeset
4 {
56239ff815a3 build: Overhaul auto-detection of Java when JAVA_HOME is not set.
Rik <rik@octave.org>
parents:
diff changeset
5 public static void main (String[] args)
56239ff815a3 build: Overhaul auto-detection of Java when JAVA_HOME is not set.
Rik <rik@octave.org>
parents:
diff changeset
6 {
56239ff815a3 build: Overhaul auto-detection of Java when JAVA_HOME is not set.
Rik <rik@octave.org>
parents:
diff changeset
7 if (args.length > 0)
56239ff815a3 build: Overhaul auto-detection of Java when JAVA_HOME is not set.
Rik <rik@octave.org>
parents:
diff changeset
8 {
56239ff815a3 build: Overhaul auto-detection of Java when JAVA_HOME is not set.
Rik <rik@octave.org>
parents:
diff changeset
9 if (args[0].equals ("JAVA_HOME"))
56239ff815a3 build: Overhaul auto-detection of Java when JAVA_HOME is not set.
Rik <rik@octave.org>
parents:
diff changeset
10 {
56239ff815a3 build: Overhaul auto-detection of Java when JAVA_HOME is not set.
Rik <rik@octave.org>
parents:
diff changeset
11 System.out.println (System.getProperty ("java.home"));
56239ff815a3 build: Overhaul auto-detection of Java when JAVA_HOME is not set.
Rik <rik@octave.org>
parents:
diff changeset
12 }
56239ff815a3 build: Overhaul auto-detection of Java when JAVA_HOME is not set.
Rik <rik@octave.org>
parents:
diff changeset
13 else if (args[0].equals ("JAVA_LDPATH"))
56239ff815a3 build: Overhaul auto-detection of Java when JAVA_HOME is not set.
Rik <rik@octave.org>
parents:
diff changeset
14 {
56239ff815a3 build: Overhaul auto-detection of Java when JAVA_HOME is not set.
Rik <rik@octave.org>
parents:
diff changeset
15 System.out.println (System.getProperty ("java.library.path"));
56239ff815a3 build: Overhaul auto-detection of Java when JAVA_HOME is not set.
Rik <rik@octave.org>
parents:
diff changeset
16 }
15766
fafd51a1b0f0 build: Add more searching for Java libjvm.so.
Rik <rik@octave.org>
parents: 15763
diff changeset
17 else if (args[0].equals ("JAVA_BOOTPATH"))
fafd51a1b0f0 build: Add more searching for Java libjvm.so.
Rik <rik@octave.org>
parents: 15763
diff changeset
18 {
fafd51a1b0f0 build: Add more searching for Java libjvm.so.
Rik <rik@octave.org>
parents: 15763
diff changeset
19 System.out.println (System.getProperty ("sun.boot.library.path"));
fafd51a1b0f0 build: Add more searching for Java libjvm.so.
Rik <rik@octave.org>
parents: 15763
diff changeset
20 }
15763
56239ff815a3 build: Overhaul auto-detection of Java when JAVA_HOME is not set.
Rik <rik@octave.org>
parents:
diff changeset
21 }
56239ff815a3 build: Overhaul auto-detection of Java when JAVA_HOME is not set.
Rik <rik@octave.org>
parents:
diff changeset
22 }
56239ff815a3 build: Overhaul auto-detection of Java when JAVA_HOME is not set.
Rik <rik@octave.org>
parents:
diff changeset
23 }