Java Entwicklungsumgebung
stephan
stephan at hera.osk.uni-bielefeld.de
Wed Feb 16 21:12:00 CET 2000
Hallo Leute
Ich versuche die Java-Entwicklungsumgebung Jedi zum "Laufen" zu bringen.
Ich setze Linux ein, auf dem JDK 1.1.7 installiert ist, das Verzeichnis
der binariers lautet: /usr/lib/jdk1.1.7/bin/, das Verzeichnis für die
libraries lautet: /usr/lib/jdk1.1.7/lib/, die Entwicklungsumgebung ist
unter /usr/local/Jedi/ installiert, das starten des Programms erfolgt
über folgendes Shellscript:
#!/bin/csh
# Find out JAVA_HOME
set JAVA_BIN=`which java`
if ($status != 0) then
echo "ERROR: Command 'java' not found. Please add it to your path."
exit 5
endif
set JAVA_BIN_DIR=`dirname $JAVA_BIN`
set JAVA_HOME=`dirname $JAVA_BIN_DIR`
# Find out PROGDIR
set BINDIR=`dirname $0`
set PROGDIR=`dirname $BINDIR`
# Collect JAR/ZIP files for CPATH
set CPATH=$JAVA_HOME/lib/classes.zip
foreach file (`ls $PROGDIR/lib`)
set CPATH=$CPATH\:$PROGDIR/lib/$file
end
# And start the JavaVM with the correct start class
$JAVA_HOME/bin/java -mx64m -classpath $CPATH -Djedi.root=$PROGDIR
-Djedi.class.path=$CLASSPATH jedi.Jedi
Dort müssen nur die entsprechenden Pfade gesetzt werden. Leider nutzt
die Angabe der o. a. Pfade wenig. Wer kann helfen?
Gruss, Stephan Gringard
More information about the Linux
mailing list