Mercurial > hg > octave-nkf

annotate build-aux/OctJavaQry.java @ 15982:131d40cd805b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
gui: cleanup some string constants for translations * file-editor.h: deleted constants for file filters and name for new files * file-editor.cc (request_open_file): translate file filter in open dialog * file-editor.cc (request_new_file): create new edit tab with empty title because the title is updated later * file-editor-tab.cc (update_window_title): translate unnamed title * file-editor-tab.cc (save_file_as): translate file filter, shorter warning message when new file name is the same as the current one
author Torsten <ttl@justmail.de>
date Sun, 27 Jan 2013 22:22:19 +0100
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 }