|
Используемая версия PHP - PHP 5.3.10
Скрипт для обработки программ на PHP:
LANG_CONFIG_DIR="/home/ejudge/contests/compile/conf/lang.d"
[ "${EJUDGE_LANG_CONFIG}" = "" ] && EJUDGE_LANG_CONFIG="${LANG_CONFIG_DIR}/php.cfg"
if [ -f "${EJUDGE_LANG_CONFIG}" ]
then
. "${EJUDGE_LANG_CONFIG}"
else
version="unknown"
PHPPATH="/usr/bin/php"
fi
if [ x"${version}" = x ]
then
echo "This language is not supported." >&2
exit 1
fi
echo "#! ${PHPPATH} -nf" > $2
echo >> $2
cat $1 >> $2
chmod +x $2
exit 0
|