Process this file with autoconf to produce a configure script.
AC_REVISION($Id: configure.in,v 1.25 2001/09/13 14:08:28 bertl Exp $)
AC_PREREQ(2.12)

AC_INIT(src/librw.c)
AC_CONFIG_HEADER(config.h)
AC_PREFIX_DEFAULT(`pwd`)

if test "${prefix}" = "NONE"
then
    echo "The top directory of this installation will be `pwd`"
else
    echo "The top directory of this installation will be ${prefix}"
fi

dnl Determine machine architecture
AC_CANONICAL_HOST
machine=${host_cpu}

VERSION="2.10.1"
AC_SUBST(VERSION)
distdir="$HOME/mcrl-${VERSION}"
AC_SUBST(distdir)

INSTALL='$(top_srcdir)/install-sh -c'
AC_SUBST(INSTALL)
INSTALL_DATA="${INSTALL} -m 644"
AC_SUBST(INSTALL_DATA)
INSTALL_PROGRAM=${INSTALL}
AC_SUBST(INSTALL_PROGRAM)


AC_CHECK_PROG(MAKE,gmake,gmake,make)
AC_PROG_MAKE_SET

dnl Which compiler will be used
AC_ARG_ENABLE(cc,
    [  --enable-cc             use cc instead of gcc],
    [
    if test $enableval  = "yes"; then
	if test -z "${CC}"; then
	    CC=cc
	fi
    else
	CC=gcc
    fi
    ])
if test -z "${CFLAGS}"; then
    CFLAGS="-O"
    AC_PROG_CC
    if test "${GCC}" = "yes"; then
	CFLAGS="-O4"
    fi
else
    dnl CFLAGS are already given
    AC_PROG_CC
fi

AC_ISC_POSIX
AC_HEADER_STDC

ARCH='unknown'
case ${machine} in
    mips) ARCH='sgi' ;;
    sparc) ARCH='sun4' ;;
    i686* | i586*) ARCH='i686' ;;
    powerpc*) ARCH='powerpc' ;;
    *) AC_MSG_ERROR([This machine is unknown ${machine}]) ;;
esac

if test -z "${LDDEFS}" ; then
case ${ARCH} in
    sgi) LDDEFS="-shared" ;;
    sun4) LDDEFS="-Wl,-dy -Wl,-G" ;;
    i686) LDDEFS="-shared"
	    LDFLAGS="$LDFLAGS -export-dynamic" ;;
    powerpc) LDDEFS="-shared" ;; 
esac
fi
AC_DEFINE_UNQUOTED(LDFLAGS,"${LDDEFS}")
AC_SUBST(ARCH)

exampledir="${datadir}/examples"
docdir="${datadir}/doc"
AC_SUBST(exampledir)
AC_SUBST(docdir)

dnl Define defs
CPPFLAGS="-DNDEBUG"
AC_DEFINE_UNQUOTED(CC,"${CC}")
AC_DEFINE_UNQUOTED(CFLAGS,"${CFLAGS}")
AC_DEFINE_UNQUOTED(CPPFLAGS,"${CPPFLAGS}")
AC_DEFINE_UNQUOTED(VERSION,"${VERSION}")

dnl Checks for header files.
case ${machine} in
    hp*) AC_CHECK_HEADER(dl.h,AC_MSG_RESULT([Dynamic linking is supported]), \
	AC_MSG_ERROR([Dynamic linking is not supported]));;
    *) AC_CHECK_HEADER(dlfcn.h,AC_MSG_RESULT([Dynamic linking is supported]),\
		AC_MSG_ERROR([Dynamic linking is not supported]));;
esac

dnl Dynamic library
AC_CHECK_LIB(m,dlopen,
    [
    LIBS=""
    AC_MSG_CHECKING("if -ldl is needed")
    echo "no"
    ],
    [
    AC_CHECK_LIB(dl,dlopen)
    ]
    )

FROM_CONFIG_SITE=${LDFLAGS}

if test "${GCC}" = "yes"; then
    AC_PATH_PROG(LEXDIR, flex)
    LEXDIR=`dirname ${LEXDIR}`
    LEXDIR=`dirname ${LEXDIR}`/lib
    LDFLAGS="-L${LEXDIR} ${LDFLAGS}"
    AC_PROG_LEX
    AC_PROG_YACC
    if test -n "${LEXLIB}"; then
	LEXLIB="-L${LEXDIR} ${LEXLIB}"
	echo "LEXLIB = ${LEXLIB}"
    fi
else
    LEX=lex
    YACC=yacc
fi

AC_ARG_ENABLE(simulator, [  --disable-simulator	  no simulator will be installed ],, \
    enable_simulator="yes")
AC_ARG_ENABLE(svc, \
[  --disable-svc		  no interface to svc library will be installed ],, \
    enable_svc="yes")

AC_ARG_ENABLE(svctools, \
[  --disable-svctools	  no svc tools will be installed ],, \
    test -z "${enable_svctools}" && ${MAKE} -v -f/dev/null >/dev/null  && \
    enable_svctools="yes")
test -z "${enable_svctools}" && enable_svctools="no"

AC_ARG_ENABLE(bcg, \
[  --disable-bcg		  no interface to bcg library will be installed ],, \
    test ! -z "$CADP" && test -d "$CADP" && enable_bcg="yes")
(test -z "$CADP" || test ! -d "$CADP") && enable_bcg="no"

AC_ARG_ENABLE(prover, \
[  --disable-prover	  no prover will be installed ],, \
    test -z "${enable_prover}" && ${MAKE} -v -f/dev/null >/dev/null  && \
    enable_prover="yes")
test -z "${enable_prover}" && enable_prover="no"

AC_ARG_ENABLE(mcrldesk, \
[  --disable-mcrldesk	  no mcrldesk will be installed ],, \
    test -z "${enable_mcrldesk}" && \
    enable_mcrldesk="yes")
test -z "${enable_mcrldesk}" && enable_mcrldesk="no"

if test "${enable_mcrldesk}" = "yes"; then
    AC_CHECK_PROG(java_found, java, yes, no)
fi
if test "${java_found}" = "no"; then
   enable_mcrldesk="no"
fi
AC_MSG_RESULT([Mcrldesk available? ${enable_mcrldesk}])

if test "${enable_simulator}" = "yes"; then
    AC_ARG_WITH(tcldir,
    [  --with-tcldir=DIR       which contains file \"include/tcl.h\"], TCLDIR=${withval})
    if test "${ARCH}" = "sun4"; then
	if test -z "$TCLDIR";then
	    TCLDIR=/usr/local
	fi
	LDFLAGS="-R$TCLDIR/lib $LDFLAGS"
    fi
    if test "${ARCH}" = "i686"; then
	if test -z "$TCLDIR";then
	    TCLDIR=/usr
	fi
	LDFLAGS="-Xlinker -rpath $TCLDIR/lib $LDFLAGS"
    fi
    if test -z "$TCLDIR";then
	TCLDIR=/usr/local
    fi
    CPPFLAGS="-I$TCLDIR/include $CPPFLAGS" 
    LDFLAGS="-L$TCLDIR/lib $LDFLAGS"

    AC_ARG_WITH(tkdir,
    [  --with-tkdir=DIR        which contains file \"include/tk.h\"], TKDIR=${withval})
    if test "${ARCH}" = "sun4"
    then
	if test -z "$TKDIR";then
	    TKDIR=/usr/local
	fi
	LDFLAGS="$LDFLAGS -R$TKDIR/lib"
    fi
    if test "${ARCH}" = "i686"; then
	if test -z "$TKDIR";then
	    TKDIR=/usr
	fi
	LDFLAGS="-Xlinker -rpath $TKDIR/lib $LDFLAGS"
    fi
    if test -z "$TKDIR";then
	TKDIR=/usr/local
    fi
    CPPFLAGS="-I${TKDIR}/include $CPPFLAGS" 
    LDFLAGS="-L${TKDIR}/lib $LDFLAGS"
    AC_CHECK_HEADER(tcl.h,,enable_simulator="no")
    AC_CHECK_HEADER(tk.h,,enable_simulator="no")
fi

CFLAGS="${CFLAGS} ${CPPFLAGS} -I${includedir}"

if test "${enable_simulator}" = "yes"
then
    AC_MSG_CHECKING("Find library belonging to tcl.h")
    echo $CFLAGS
    TCL=`AC_TRY_RUN([#include <tcl.h> 
    main(){printf("tcl%s",TCL_VERSION);exit(0);}
    ],,echo "tcl",echo "tcl")`
    AC_MSG_RESULT($TCL)
    AC_MSG_CHECKING("Find library belonging to tk.h")
    TK=`AC_TRY_RUN([#include <tk.h> 
    main(){printf("tk%s",TK_VERSION);exit(0);}
    ],,echo "tk",echo "tk")`
    AC_MSG_RESULT($TK)
fi
dnl simulator
AC_CHECK_LIB(socket, socket,[TCLLIBS="-lsocket $TCLLIBS" ], \
    AC_CHECK_LIB(sun, socket,[TCLLIBS="-lsun $TCLLIBS" ], \
	AC_MSG_RESULT([No socket library found])))
if test "${enable_simulator}" = "yes"
then
    AC_PATH_XTRA
    LDFLAGS="${LDFLAGS} ${X_LIBS} ${X_EXTRA_LIBS} -lX11 ${X_PRE_LIBS} -lm" 
dnl Check tcl library
    AC_CHECK_LIB($TCL,Tcl_AppendResult, TCLLIBS="${TCLLIBS} -l${TCL}", \
    AC_CHECK_LIB(tcl,Tcl_AppendResult, TCLLIBS="${TCLLIBS} -ltcl", \
    enable_simulator="no")) 
dnl Check tk library
    AC_CHECK_LIB($TK,Tk_MainLoop, TCLLIBS="${TCLLIBS} -l${TK}", \ 
    AC_CHECK_LIB(tk,Tk_MainLoop, TCLLIBS="-ltk ${TCLLIBS}", \
    enable_simulator="no",-ltcl),-l${TCL}) 
dnl Result checks
    AC_MSG_RESULT([Output variable TCLLIBS: ${TCLLIBS}])
    AC_SUBST(TCLLIBS)
    AC_MSG_RESULT([Simulator available? ${enable_simulator}])
    if test ${enable_simulator} = "yes";then
	TCLLIBS="${LDFLAGS} ${TCLLIBS}"
	LDFLAGS=${FROM_CONFIG_SITE}
    fi
else
AC_MSG_RESULT([Installation of toolset without simulator])
fi
SIMULATOR=${enable_simulator}
AC_SUBST(SIMULATOR)
SVC=${enable_svc}
AC_SUBST(SVC)
SVCTOOLS=${enable_svctools}
AC_SUBST(SVCTOOLS)
BCG=${enable_bcg}
AC_SUBST(BCG)
PROVER=${enable_prover}
AC_SUBST(PROVER)
MCRLDESK=${enable_mcrldesk}
AC_SUBST(MCRLDESK)

dnl Update LIBS variable
LIBRARY_SEARCH_PATH='-L$(exec_prefix)/lib'
AC_SUBST(LIBRARY_SEARCH_PATH)
if test "${enable_svc}" = "yes"; then
    LIBS="${LIBS} -lsvc"
fi
if test "${enable_bcg}" = "yes"; then
    LIBS="${LIBS} -L${CADP}/bin.`${CADP}/com/arch` -lBCG_IO -lBCG -lm"
    CFLAGS="${CFLAGS} -I${CADP}/incl"
fi
LIBS="${LIBS} -lATerm"
dnl Update CPPFLAGS 
HEADER_SEARCH_PATH='-I$(prefix)/include'
AC_SUBST(HEADER_SEARCH_PATH)

dnl Create makefiles
MCRLMAKEFILES="Makefile aterm/Makefile lin/Makefile src/Makefile data/Makefile doc/Makefile"
if test "${enable_svc}" = "yes"
then
    AC_MSG_RESULT([SVC library available? ${enable_svc}])
    SVCMAKEFILES="svc/Makefile svc/src/Makefile svc/man/Makefile"
else
    AC_MSG_RESULT([SVC library available? ${enable_svc}])
fi
if test "${enable_svctools}" = "yes"
then
    AC_MSG_RESULT([SVC tools available? ${enable_svctools}])
    SVCTOOLSMAKEFILES="svctools/Makefile svctools/src/Makefile svctools/man/Makefile"
else
    AC_MSG_RESULT([SVC tools available? ${enable_svctools}])
fi
AC_MSG_RESULT([BCG library available? ${enable_bcg}])

if test "${enable_prover}" = "yes"
then
    AC_MSG_RESULT([Prover available? ${enable_prover}])
    PROVERMAKEFILES="prover/Makefile prover/src/Makefile prover/man/Makefile prover/doc/Makefile"
else
    AC_MSG_RESULT([Prover available? ${enable_prover}])
fi
AC_OUTPUT($MCRLMAKEFILES $SVCMAKEFILES $SVCTOOLSMAKEFILES $PROVERMAKEFILES)
AC_MSG_RESULT([Configure successfully finished])
AC_MSG_RESULT(
[For compiling, linking, and installing the toolset, enter ${MAKE} install]
)