annotate configure.ac @ 1373:04bd0d91b74c

Latest attempt to get readUtc working properly
author Adam Chlipala <adam@chlipala.net>
date Wed, 29 Dec 2010 14:16:56 -0500
parents 1a78ca089bd0
children 8524a1709821
rev   line source
adamc@1132 1 AC_INIT([urweb], [1.0])
adamc@1149 2 AC_USE_SYSTEM_EXTENSIONS
adamc@1148 3 AM_INIT_AUTOMAKE([-Wall -Werror foreign no-define])
adamc@1132 4 AC_PROG_CC()
adamc@1132 5 AC_PROG_LIBTOOL()
adamc@1141 6 AC_CONFIG_MACRO_DIR([m4])
adamc@1263 7 AC_CONFIG_HEADERS([config.h])
adamc@378 8
adam@1369 9 AX_CHECK_OPENSSL([echo >/dev/null], [echo "You must install OpenSSL development files."; exit 1])
adamc@1165 10
adamc@1165 11 AC_CHECK_PROG(MLTON, mlton, yes, [])
adamc@1165 12
adamc@1165 13 if test [-z $MLTON]; then
adamc@1165 14 echo "You must install MLton."
adamc@1165 15 exit 1
adamc@1165 16 fi
adamc@1165 17
adamc@1165 18 AC_CHECK_PROG(MLLEX, mllex, yes, [])
adamc@1165 19
adamc@1165 20 if test [-z $MLLEX]; then
adamc@1165 21 echo "You must install MLton (to get mllex)."
adamc@1165 22 exit 1
adamc@1165 23 fi
adamc@1165 24
adamc@1165 25 AC_CHECK_PROG(MLYACC, mlyacc, yes, [])
adamc@1165 26
adamc@1165 27 if test [-z $MLYACC]; then
adamc@1165 28 echo "You must install MLton (to get mlyacc)."
adamc@1165 29 exit 1
adamc@1165 30 fi
adamc@1165 31
adamc@429 32 if test [$prefix = "NONE"]; then
adamc@429 33 prefix=/usr/local
adamc@429 34 fi
adamc@429 35
adamc@378 36 if test [-z $BIN]; then
adamc@429 37 BIN=$prefix/bin
adamc@378 38 fi
adamc@378 39
adamc@378 40 if test [-z $LIB]; then
adamc@429 41 LIB=$prefix/lib/urweb
adamc@378 42 fi
adamc@378 43
adamc@378 44 if test [-z $INCLUDE]; then
adamc@429 45 INCLUDE=$prefix/include/urweb
adamc@378 46 fi
adamc@378 47
adamc@378 48 if test [-z $SITELISP]; then
adamc@429 49 SITELISP=$prefix/share/emacs/site-lisp/urweb-mode
adamc@378 50 fi
adamc@378 51
adamc@378 52 AC_SUBST(BIN)
adamc@378 53 AC_SUBST(LIB)
adamc@378 54 AC_SUBST(INCLUDE)
adamc@378 55 AC_SUBST(SITELISP)
adamc@435 56 AC_SUBST(GCCARGS)
adamc@378 57
adamc@1132 58 AC_CONFIG_FILES([
adamc@1132 59 Makefile
adamc@1132 60 src/c/Makefile
adamc@1132 61 src/config.sml
adamc@1132 62 ])
adamc@378 63
adamc@378 64 AC_OUTPUT()
adamc@378 65
adamc@378 66 cat <<EOF
adamc@378 67
adamc@378 68 Ur/Web configuration:
adam@1317 69 bin directory: BIN $BIN
adam@1317 70 lib directory: LIB $LIB
adam@1317 71 include directory: INCLUDE $INCLUDE
adam@1317 72 site-lisp directory: SITELISP $SITELISP
adam@1317 73 Extra GCC args: GCCARGS $GCCARGS
adamc@378 74 EOF