Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
#! /bin/tcsh -f
## This script presumes it is operating from a release.
## It checks and sets various environment variables and then invokes the
## escj script to run the escjava2 tool.
## To save the work of guessing appropriate values for the environment
## variables, the user should set these:
## The directory containing the release files
setenv ESCTOOLS_ROOT '/usr/local/escjava'
## The name of a Simplify executable in $ESCTOOLS_RELEASE
setenv SIMPLIFY 'Simplify-1.5.4.exe'
########## Check if ESCTOOLS_RELEASE is defined; try to guess it if it is not
setenv ESCTOOLS_RELEASE "$ESCTOOLS_ROOT"
if ( ! $?ESCTOOLS_RELEASE ) then
set NAME=$PWD/$0
if ( -e $NAME ) then
setenv ESCTOOLS_RELEASE $NAME:h
echo Guessing ESCTOOLS_RELEASE = $ESCTOOLS_RELEASE
else if ( -e $0 ) then
setenv ESCTOOLS_RELEASE $0:h
echo Guessing ESCTOOLS_RELEASE = $ESCTOOLS_RELEASE
endif
if ( ! $?ESCTOOLS_RELEASE ) then
echo "Error: ESCTOOLS_RELEASE is not set and guessing was unsuccessful."
exit 2
endif
endif
######## Execute
echo -n "About to run escjava with CLASSPATH: "
printenv CLASSPATH
echo "$ESCTOOLS_RELEASE"
exec "$ESCTOOLS_RELEASE/escj" $*