#!/bin/sh
# $Id: gprolog.in 7005 2012-08-28 09:13:19Z cher $
# Copyright (c) 2003-2012 Alexander Chernov <cher@ejudge.ru>

# using EJUDGE_FLAGS we may pass additional flags

LANG_CONFIG_DIR="/home/judges/compile/conf/lang.d"
[ "${EJUDGE_LANG_CONFIG}" = "" ] && EJUDGE_LANG_CONFIG="${LANG_CONFIG_DIR}/gprolog.cfg"

if [ -f "${EJUDGE_LANG_CONFIG}" ]
then
  . "${EJUDGE_LANG_CONFIG}"
else
  version="unknown"
  GPLCRUN="gplc"
  GPROLOGDIR=""
fi

if [ x"${version}" = x ]
then
  echo "This language is not supported." >&2
  exit 1
fi

if [ x"${GPROLOGDIR}" != x ]
then
    PATH="${GPROLOGDIR}:${PATH}"
fi

unset LANG
unset LC_ALL
unset LC_MESSAGES
unset LANGUAGE

exec "${GPLCRUN}" --min-size ${EJUDGE_FLAGS} "$1" -o "$2"