diff options
| author | krasimir <krasimir@chalmers.se> | 2009-12-13 18:50:29 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-12-13 18:50:29 +0000 |
| commit | f85232947e74ee7ef8c7b0ad2338212e7e68f1be (patch) | |
| tree | 667b886a5e3a4b026a63d4e3597f32497d824761 /deprecated/gfc.in | |
| parent | d88a865faff59c98fc91556ff8700b10ee5f2df8 (diff) | |
reorganize the directories under src, and rescue the JavaScript interpreter from deprecated
Diffstat (limited to 'deprecated/gfc.in')
| -rw-r--r-- | deprecated/gfc.in | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/deprecated/gfc.in b/deprecated/gfc.in new file mode 100644 index 000000000..bd08db0b8 --- /dev/null +++ b/deprecated/gfc.in @@ -0,0 +1,30 @@ +#!/bin/sh + +prefix="@prefix@" + +case "@host@" in + *-cygwin) + prefix=`cygpath -w "$prefix"`;; +esac + +exec_prefix="@exec_prefix@" +GF_BIN_DIR="@bindir@" +GF_DATA_DIR="@datadir@/GF-@PACKAGE_VERSION@" + +GFBIN="$GF_BIN_DIR/gf" + +if [ ! -x "${GFBIN}" ]; then + GF_BIN_DIR=`dirname $0` + GFBIN="$GF_BIN_DIR/gf" +fi + +if [ ! -x "${GFBIN}" ]; then + GFBIN=`which gf` +fi + +if [ ! -x "${GFBIN}" ]; then + echo "gf not found." + exit 1 +fi + +exec $GFBIN --batch "$@" |
