diff options
| author | paltherr <paltherr@epfl.ch> | 2004-09-21 17:26:04 +0000 |
|---|---|---|
| committer | paltherr <paltherr@epfl.ch> | 2004-09-21 17:26:04 +0000 |
| commit | 659b75996564abf6c87045eb7c096324702897c8 (patch) | |
| tree | 3c03520cc5553ab9aeda7cf8a67c5a9d6ce16c48 /bin/.scala_wrapper | |
| parent | d59e2e7bafc463164a6872f092437d4cb95e4e81 (diff) | |
| download | scala-659b75996564abf6c87045eb7c096324702897c8.tar.gz scala-659b75996564abf6c87045eb7c096324702897c8.tar.bz2 scala-659b75996564abf6c87045eb7c096324702897c8.zip | |
- Moved scala scripts from ./bin to ./object/ma...
- Moved scala scripts from ./bin to ./object/main/bin
Diffstat (limited to 'bin/.scala_wrapper')
| -rwxr-xr-x | bin/.scala_wrapper | 48 |
1 files changed, 48 insertions, 0 deletions
diff --git a/bin/.scala_wrapper b/bin/.scala_wrapper new file mode 100755 index 0000000000..4906ec4835 --- /dev/null +++ b/bin/.scala_wrapper @@ -0,0 +1,48 @@ +#!/bin/sh +############################################################################## +# __ # +# ________ ___ / / ___ Scala Tools Launch Script # +# / __/ __// _ | / / / _ | (c) 2002-2003, LAMP/EPFL # +# __\ \/ /__/ __ |/ /__/ __ | # +# /____/\___/_/ |_/____/_/ | | # +# |/ # +############################################################################## + +# $Id$ + +############################################################################## +# Definition of UNAME, SOURCE, SCRIPT, PREFIX and VERSION + +unset SCRIPT; +UNAME=`uname`; +SOURCE=$0; +SCRIPT=`basename "$SOURCE"`; +while [ -h "$SOURCE" ]; do + SCRIPT=`basename "$SOURCE"`; + LOOKUP=`ls -ld "$SOURCE"`; + TARGET=`expr "$LOOKUP" : '.*-> \(.*\)$'`; + if expr "${TARGET:-.}/" : '/.*/$' > /dev/null; then + SOURCE=${TARGET:-.}; + else + SOURCE=`dirname "$SOURCE"`/${TARGET:-.}; + fi; +done; +PREFIX=`dirname "$SOURCE"`/..; +prefix=$PREFIX; +PREFIX=`cd "$PREFIX"; pwd`; + +VERSION={#VERSION#}; +VERSION=${VERSION:-"unknown version"}; + +############################################################################## +# Main + +echo 1>&2 "$0: This script is obsolete."; +echo 1>&2 "All scripts that used to be in $PREFIX/bin/ have been moved to" \ + "$PREFIX/objects/main/bin/. You should remove all remaining symbolic" \ + "links in $PREFIX/bin/ or replace them by links pointing to the new" \ + "location." + +exit 1; + +############################################################################## |