AGDA_TEST_FLAGS = --ignore-interfaces

INSTALL		= @INSTALL@
INSTALL_DATA	= @INSTALL_DATA@

CC		= @CC@
CFLAGS		= @CFLAGS@
EXEEXT		= @EXEEXT@
OBJEXT		= @OBJEXT@

GHC		= @GHC@
GHC_VERSION	= @GHC_VERSION@
HAVE_GHC_7_7	= @HAVE_GHC_7_7@
GHC_FLAGS	= -O -Wall -Werror \
			-fno-warn-missing-signatures \
			-fno-warn-name-shadowing \
			-fno-warn-simple-patterns \
			-fno-warn-unused-matches \
			-fno-warn-unused-binds \
			-fno-warn-unused-imports \
			-fno-warn-type-defaults \
			-fno-warn-orphans

HAPPY		= @HAPPY@
HAPPY_VERSION	= @HAPPY_VERSION@
HAPPY_FLAGS	= -agc

ALEX		= @ALEX@
ALEX_VERSION	= @ALEX_VERSION@
ALEX_FLAGS	= -g

HADDOCK		= @HADDOCK@
HADDOCK_VERSION	= @HADDOCK_VERSION@
HAVE_HADDOCK	= @HAVE_HADDOCK@

LATEX		= @LATEX@
HAVE_LATEX	= @HAVE_LATEX@

PDFLATEX	= @PDFLATEX@
HAVE_PDFLATEX	= @HAVE_PDFLATEX@

WGET		= @WGET@
HAVE_WGET	= @HAVE_WGET@

DARCS		= @DARCS@
HAVE_DARCS	= @HAVE_DARCS@

FALSE		= @FALSE@
FIND		= @FIND@
MKDIR		= @MKDIR@
DIFF		= @DIFF@

RUNHASKELL	= @RUNHASKELL@
HAVE_RUNHASKELL	= @HAVE_RUNHASKELL@

