diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-06-27 16:48:28 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-06-27 16:48:28 +0000 |
| commit | f8d4738a436c32c7c71e975b2dfd5559f9ebc73a (patch) | |
| tree | 618c172d0b792a0bb4687a68307b9ae1a38bd4b9 /download/gfc | |
| parent | 7d7d951c05b9eb4c63c542fa0fd2cd46e43ad5bd (diff) | |
added api/Combinators for Eng
Diffstat (limited to 'download/gfc')
| -rw-r--r-- | download/gfc | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/download/gfc b/download/gfc new file mode 100644 index 000000000..7c1d30515 --- /dev/null +++ b/download/gfc @@ -0,0 +1,25 @@ +#!/bin/sh + +prefix="/usr/local" + +case "i386-apple-darwin9.3.0" in + *-cygwin) + prefix=`cygpath -w "$prefix"`;; +esac + +exec_prefix="${prefix}" +GF_BIN_DIR="${exec_prefix}/bin" +GF_DATA_DIR="${prefix}/share/GF-3.0-beta" + +GFBIN="$GF_BIN_DIR/gf" + +if [ ! -x "${GFBIN}" ]; then + GFBIN=`which gf` +fi + +if [ ! -x "${GFBIN}" ]; then + echo "gf not found." + exit 1 +fi + +exec $GFBIN --batch "$@" |
