dnl
dnl Process this file with autoconf to produce a configure script.
dnl
dnl $Id: configure.in,v 1.33 2008/02/08 15:10:17 adeniz Exp $
dnl
dnl autoconf input for the MicroNeil SNF4CGP distribution.
dnl
dnl Author: Alban Deniz
dnl
dnl Copyright (C) 2008 by MicroNeil Corporation. All rights reserved.
dnl See www.armresearch.com for the copyright terms.
dnl
dnl
AC_PREREQ(2.52)

AC_INIT(snf4cgp, 0.1.4)
AC_CONFIG_SRCDIR(source/SNF4CGP/OutputProcessor.cpp)
AC_CONFIG_AUX_DIR(config)
AM_INIT_AUTOMAKE(AC_PACKAGE_NAME, AC_PACKAGE_VERSION)

AM_CONFIG_HEADER(config.h)

AC_LANG(C++)

AC_DISABLE_SHARED
AC_PROG_LIBTOOL
AC_PROG_CXX
AC_PROG_CC
AC_PROG_INSTALL
AC_PROG_MAKE_SET

dnl
dnl Check for programs.
dnl
AC_CHECK_PROG(haveCURL, curl, true, false)
if [[ $haveCURL == "false" ]]
then
        AC_MSG_ERROR([The CURL program was not found]);
fi

dnl
dnl Load whether this is for a package.
dnl
AC_ARG_ENABLE(for-package,
        [AS_HELP_STRING([--enable-for-package],
        [enable if building for a package])],
        [FOR_PACKAGE="${enableval}" ])
AM_CONDITIONAL([ForPackage], [test x$FOR_PACKAGE = xyes])

dnl
dnl Check libraries.
dnl

dnl
dnl pthread library.
dnl
AC_CHECK_LIB(pthread, pthread_create,,
	     AC_MSG_ERROR([libpthread is required to build AC_PACKAGE_NAME]))

dnl
dnl Additional compile-time and link-time flags.
dnl
OTHER_CXXFLAGS='-O3'
SNF_CXXFLAGS='$(OTHER_CXXFLAGS) -pthread'
SNF_LIBS=''

AC_SUBST(OTHER_CXXFLAGS)
AC_SUBST(SNF_CXXFLAGS)
AC_SUBST(SNF_LIBS)

dnl
dnl Output the makefiles.
dnl

AC_OUTPUT([Makefile
	binary/SNF4CGP/Makefile
	binary/SNF2Check/Makefile
	binary/SNFClient/Makefile
	Scripts/Makefile
	Doc/Makefile
	config_files/Makefile])

echo "
Type "make" to build the system using the default (optimized) parameters.

Type "make OTHER_CXXFLAGS=flags" to build the system with compiler
flags 'flags'.

For example:

    Type "make OTHER_CXXFLAGS=-g" to build the system for debugging.

    Type "make OTHER_CXXFLAGS=-Wall" to enable all warnings.

    Type "make OTHER_CXXFLAGS=-Wall -O3" to enable warnings and O3
    optimizations.

Default value:  $OTHER_CXXFLAGS

Done
"