AC_INIT(cfa-cc, 1.0, cforall@plg.uwaterloo.ca)
AC_CONFIG_SRCDIR([translator/main.cc])

AM_INIT_AUTOMAKE(cfa, 1.0)
AM_CONFIG_HEADER(config.h)

dnl This comes from `autoscan'
dnl Checks for programs.
AC_PROG_YACC
AC_PROG_CXX
AC_PROG_CC # ???
AM_PROG_LEX
AC_PROG_MAKE_SET
AC_PROG_INSTALL

dnl Checks for header libraries.

dnl Checks for header files.
AC_CHECK_HEADERS([malloc.h unistd.h])

dnl Checks for typedefs, structures, and compiler characteristics.
AC_C_CONST
AC_C_INLINE
AC_STRUCT_TM

test "${prefix}" != "NONE" || prefix=$ac_default_prefix

preludedir=${prefix}/share/cfa
AC_ARG_WITH(preludedir, 
            [  --with-preludedir=DIR      DIR that contains prelude.cf and other necessary files ], 
            preludedir=$withval )
AC_SUBST(preludedir)

AC_ARG_WITH(backend-compiler, 
            [  --with-backend-compiler=PROGRAM     PROGRAM that performs the final code compilation (must be gcc-compatible) ], 
            backcompiler=$withval, backcompiler="")
  if test x$backcompiler != x; then
     AC_DEFINE_UNQUOTED(GCC_PATH, "${backcompiler}")
     BACKEND_CC=${backcompiler}
  else
     AC_PATH_PROG(GCC_PATH, gcc, N/A)
     if test "$GCC_PATH" = "N/A"; then
        AC_MSG_ERROR(some version of gcc is needed. Get it at ftp://ftp.gnu.org)
        exit 1
     fi
     AC_DEFINE_UNQUOTED(GCC_PATH, "${GCC_PATH}")
     BACKEND_CC=${GCC_PATH}
  fi
AC_SUBST(BACKEND_CC)

AC_PATH_PROG(CPP_PATH, cpp, N/A)
if test "$CPP_PATH" = "N/A"; then
   AC_MSG_ERROR(cpp not found)
   exit 1
fi
AC_DEFINE_UNQUOTED(CPP_PATH, "${CPP_PATH}")

# Purify instrumenting
dnl AC_ARG_WITH(enablepurify, 
dnl             [  --with-purify     Enable Purify ], 

dnl Installation paths
CFA_PREFIX=
if test "x$prefix" = "xNONE"; then
 	cfa_prefix=${ac_default_prefix}
else
 	cfa_prefix=${prefix}
fi 
AC_DEFINE_UNQUOTED(CFA_PREFIX, "${cfa_prefix}")
CFA_PREFIX=${cfa_prefix}
AC_SUBST(CFA_PREFIX)

CFA_BINDIR=
if test "$bindir" = '${exec_prefix}/bin'; then
 	cfa_bindir="${cfa_prefix}/bin"
else
 	cfa_bindir=${bindir}
fi 
AC_DEFINE_UNQUOTED(CFA_BINDIR, "${cfa_bindir}")
CFA_BINDIR=${cfa_bindir}
AC_SUBST(CFA_BINDIR)

CFA_LIBDIR=
if test "$libdir" = '${exec_prefix}/lib'; then
 	cfa_libdir=${cfa_prefix}/lib
else
 	cfa_libdir=${libdir}
fi 
AC_DEFINE_UNQUOTED(CFA_LIBDIR, "${cfa_libdir}")
CFA_LIBDIR=${cfa_libdir}
AC_SUBST(CFA_LIBDIR)

AC_OUTPUT([ Makefile translator/Makefile driver/Makefile libcfa/Makefile ])

dnl Final text

AC_MSG_RESULT(The CForAll translator is now configured for your system)
AC_MSG_RESULT()
AC_MSG_RESULT(Perhaps you'd like to inspect the created Makefiles)