blob: 4906ec4835ca687ac17f282b4b3e31f2dcdccd29 (
plain) (
tree)
|
|
#!/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;
##############################################################################
|