#!/bin/sh
# $Id: gcc.in 5608 2010-01-07 19:51:45Z cher $
# Copyright (c) 2001-2010 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}/gcc.cfg"

if [ -f "${EJUDGE_LANG_CONFIG}" ]
then
  . "${EJUDGE_LANG_CONFIG}"
else
  version="unknown"
  GCCRUN="gcc"
  GCCDIR=
fi

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

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

[ x"${EJUDGE_FLAGS}" = x ] && EJUDGE_FLAGS="-Wall -O2 -std=gnu99"

unset LANG
unset LC_ALL
unset LC_MESSAGES
unset LANGUAGE

exec "${GCCRUN}" ${EJUDGE_FLAGS} -static "$1" -o "$2" -lm