From 964cb66fa8a93c517eef9b9ae96ec374242962d3 Mon Sep 17 00:00:00 2001 From: Tom Robinson Date: Fri, 3 Oct 2008 03:56:12 -0700 Subject: [PATCH] press command line tool --- Tools/build.xml | 1 + Tools/press/build.xml | 39 +++++++++++++++++++++++++++++++++++++++ Tools/press/press | 36 ++++++++++++++++++++++++++++++++++++ 3 files changed, 76 insertions(+) create mode 100644 Tools/press/build.xml create mode 100644 Tools/press/press diff --git a/Tools/build.xml b/Tools/build.xml index 19e76ab2c..abc52c86a 100644 --- a/Tools/build.xml +++ b/Tools/build.xml @@ -10,6 +10,7 @@ + diff --git a/Tools/press/build.xml b/Tools/press/build.xml new file mode 100644 index 000000000..0618262c1 --- /dev/null +++ b/Tools/press/build.xml @@ -0,0 +1,39 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/Tools/press/press b/Tools/press/press new file mode 100644 index 000000000..7d4d3d34f --- /dev/null +++ b/Tools/press/press @@ -0,0 +1,36 @@ +#!/bin/sh + +# if OBJJ_HOME isn't set, try to determine it +if [ -z $OBJJ_HOME ]; then + # get path of the executable + SELF_PATH=$(cd -P -- "$(dirname -- "$0")" && pwd -P) && SELF_PATH=$SELF_PATH/$(basename -- "$0") + + # resolve symlinks + if [ -h $SELF_PATH ]; then + SELF_PATH=`readlink $SELF_PATH` + fi + + # get second ancestor directory + SELF_DIR=`dirname $SELF_PATH` + export OBJJ_HOME=`dirname $SELF_DIR` + + # check to ensure it exists, print message + if [ -d $OBJJ_HOME ]; then + echo "OBJJ_HOME not set, defaulting to $OBJJ_HOME" 1>&2 + else + echo "OBJJ_HOME not set, default at $OBJJ_HOME doesn't exist, exiting" 1>&2 + exit 2 + fi +fi + +OBJJ_LIB="$OBJJ_HOME/lib" + +PRESS="$OBJJ_LIB/press.j" + +# convert paths for Cygwin +if [[ `uname` == CYGWIN* ]]; then + OBJJ_HOME=`cygpath -w "$OBJJ_HOME"` + PRESS=`cygpath -w "$PRESS"` +fi + +objj $PRESS $@