mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-24 04:33:24 +00:00
9827456d7b
o jude_take -> jude-community PR: ports/73702 Submitted by: Yoshihiko Sarumaru <mistral@imasy.or.jp> (maintainer) Repo copied by: marcus (portmgr)
21 lines
611 B
Plaintext
21 lines
611 B
Plaintext
--- jude.orig Tue Oct 26 21:21:53 2004
|
|
+++ jude Tue Nov 9 13:58:28 2004
|
|
@@ -3,13 +3,14 @@
|
|
#Remove "#" from following two lines, if you'd like to use j2sdk.
|
|
#JAVA_HOME=/usr/lib/j2sdk1.4/;export JAVA_HOME
|
|
#PATH=$JAVA_HOME/bin; export PATH
|
|
+PATH=%%DATADIR%%:$PATH
|
|
|
|
-#JUDE_HOME=/usr/local/share/jude_community
|
|
-JUDE_HOME=`dirname $0`
|
|
+JUDE_HOME=%%DATADIR%%
|
|
+#JUDE_HOME=`dirname $0`
|
|
JUDE_JAR=jude-community.jar
|
|
|
|
CLASSPATH=$JUDE_HOME/$JUDE_JAR
|
|
|
|
JAVA_OPTS="-Xms16m -Xmx512m -Xss2m"
|
|
|
|
-java $JAVA_OPTS -jar $JUDE_HOME/$JUDE_JAR $1 $2 $3
|
|
+%%JAVA_HOME%%/bin/java $JAVA_OPTS -jar $JUDE_HOME/$JUDE_JAR $1 $2 $3
|