diff options
| author | bringert <unknown> | 2005-05-10 11:05:40 +0000 |
|---|---|---|
| committer | bringert <unknown> | 2005-05-10 11:05:40 +0000 |
| commit | 09efc28c0116400801c6a36c61a8f9749d994eac (patch) | |
| tree | e94cf93ffc66b22c753c6c77848df6c444d733a3 /src/jgf.in | |
| parent | 6896332b66200df120860558542ba11aefaceeb0 (diff) | |
Allow disabling building of Java components
Diffstat (limited to 'src/jgf.in')
| -rw-r--r-- | src/jgf.in | 23 |
1 files changed, 20 insertions, 3 deletions
diff --git a/src/jgf.in b/src/jgf.in index 621daeb74..4a3085192 100644 --- a/src/jgf.in +++ b/src/jgf.in @@ -7,15 +7,32 @@ GF_DATA_DIR=@datadir@/GF-@PACKAGE_VERSION@ JAVA=@JAVA@ +GF=$GF_BIN_DIR/gf +JARFILE=$GF_DATA_DIR/gf-java.jar + if [ ! -x "$JAVA" ]; then JAVA=`which java` fi if [ ! -x "$JAVA" ]; then echo "No Java VM found" + exit 1 fi -GF=$GF_BIN_DIR/gf -JARFILE=$GF_DATA_DIR/gf-java.jar +if [ ! -f "$JARFILE" ]; then + echo "JAR file $JARFILE not found" + exit 1 +fi + +if [ ! -x "$GF" ]; then + GF=`which gf` +fi + +if [ ! -x "$GF" ]; then + echo "gf not found" + exit 1 +fi + +COMMAND=$JAVA -jar $JARFILE "$GF -java $*" -exec $JAVA -jar $JARFILE "$GF -java $*" +exec $COMMAND |