src/jgf.in


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39

#!/bin/sh

prefix=@prefix@
exec_prefix=@exec_prefix@
GF_BIN_DIR=@bindir@
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

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 $*'"

echo $COMMAND
exec $COMMAND