summaryrefslogtreecommitdiff
path: root/download/gfc
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2008-06-27 16:48:28 +0000
committeraarne <aarne@cs.chalmers.se>2008-06-27 16:48:28 +0000
commitf8d4738a436c32c7c71e975b2dfd5559f9ebc73a (patch)
tree618c172d0b792a0bb4687a68307b9ae1a38bd4b9 /download/gfc
parent7d7d951c05b9eb4c63c542fa0fd2cd46e43ad5bd (diff)
added api/Combinators for Eng
Diffstat (limited to 'download/gfc')
-rw-r--r--download/gfc25
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 "$@"