configure.ac

#                                               -*- Autoconf -*-
# Process this file with autoconf to produce a configure script.

AC_PREREQ(2.52)
AC_INIT([Agda], [2.0], [ulfn@cs.chalmers.se])

#
# Check for programs
#

# C compiler (also does other stuff like figure out extension of executables)
AC_PROG_CC

# Building Agda
AGDA_WITH_PROG_VERSION(GHC,ghc,6.4)
AGDA_WITH_PROG_VERSION(ALEX,alex,2.0)
AGDA_WITH_PROG_VERSION(HAPPY,happy,1.14)

# We need to know if we have ghc 7.7
FP_COMPARE_VERSIONS($GHC_VERSION,[-ge],7.7,
    [HAVE_GHC_7_7=Yes],[HAVE_GHC_7_7=No]
)
AC_SUBST(HAVE_GHC_7_7)

# Building the documentation
AGDA_WITH_OPTIONAL_PROG_VERSION(HADDOCK,haddock,0.6,
    [AC_MSG_WARN(haddock is needed to build parts of the documentation.)]
)

AGDA_WITH_OPTIONAL_PROG(LATEX,latex)
AGDA_WITH_OPTIONAL_PROG(PDFLATEX,pdflatex)

AS_IF([test $HAVE_LATEX == No -a $HAVE_PDFLATEX == No],
      [AC_MSG_WARN(You need at least one of latex and pdflatex to build parts of the documentation.)
      ]
)

# Utility programs
AC_PROG_INSTALL
AGDA_WITH_OPTIONAL_PROG(WGET,wget)
AGDA_WITH_PROG(FALSE,false)
AGDA_WITH_PROG(FIND,find)
AGDA_WITH_PROG(DIFF,diff)
AGDA_WITH_OPTIONAL_PROG(DARCS,darcs)
AGDA_WITH_PROG(MKDIR,mkdir)
AGDA_WITH_OPTIONAL_PROG(RUNHASKELL,runhaskell)

# Output
AC_CONFIG_FILES([mk/config.mk])
AC_OUTPUT