annotate configure.ac @ 1278:cd8d2c73ccf4

Catch a missed ReduceLocal of field projection annotations
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Jun 2010 14:13:06 -0400
parents be2ef50780ed
children e12cef71aa1a
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
adamc@1165 9 AC_CHECK_LIB(mhash, mhash_get_block_size, [], [echo "You must install libmhash."; exit 1])
adamc@1165 10 AC_CHECK_HEADER([mhash.h], [], [echo "You must install libmhash dev files."; exit 1])
adamc@1165 11
adamc@1165 12 AC_CHECK_PROG(MLTON, mlton, yes, [])
adamc@1165 13
adamc@1165 14 if test [-z $MLTON]; then
adamc@1165 15 echo "You must install MLton."
adamc@1165 16 exit 1
adamc@1165 17 fi
adamc@1165 18
adamc@1165 19 AC_CHECK_PROG(MLLEX, mllex, yes, [])
adamc@1165 20
adamc@1165 21 if test [-z $MLLEX]; then
adamc@1165 22 echo "You must install MLton (to get mllex)."
adamc@1165 23 exit 1
adamc@1165 24 fi
adamc@1165 25
adamc@1165 26 AC_CHECK_PROG(MLYACC, mlyacc, yes, [])
adamc@1165 27
adamc@1165 28 if test [-z $MLYACC]; then
adamc@1165 29 echo "You must install MLton (to get mlyacc)."
adamc@1165 30 exit 1
adamc@1165 31 fi
adamc@1165 32
adamc@429 33 if test [$prefix = "NONE"]; then
adamc@429 34 prefix=/usr/local
adamc@429 35 fi
adamc@429 36
adamc@378 37 if test [-z $BIN]; then
adamc@429 38 BIN=$prefix/bin
adamc@378 39 fi
adamc@378 40
adamc@378 41 if test [-z $LIB]; then
adamc@429 42 LIB=$prefix/lib/urweb
adamc@378 43 fi
adamc@378 44
adamc@378 45 if test [-z $INCLUDE]; then
adamc@429 46 INCLUDE=$prefix/include/urweb
adamc@378 47 fi
adamc@378 48
adamc@378 49 if test [-z $SITELISP]; then
adamc@429 50 SITELISP=$prefix/share/emacs/site-lisp/urweb-mode
adamc@378 51 fi
adamc@378 52
adamc@378 53 AC_SUBST(BIN)
adamc@378 54 AC_SUBST(LIB)
adamc@378 55 AC_SUBST(INCLUDE)
adamc@378 56 AC_SUBST(SITELISP)
adamc@435 57 AC_SUBST(GCCARGS)
adamc@378 58
adamc@1132 59 AC_CONFIG_FILES([
adamc@1132 60 Makefile
adamc@1132 61 src/c/Makefile
adamc@1132 62 src/config.sml
adamc@1132 63 ])
adamc@378 64
adamc@378 65 AC_OUTPUT()
adamc@378 66
adamc@378 67 cat <<EOF
adamc@378 68
adamc@378 69 Ur/Web configuration:
adamc@378 70 bin directory: BIN $BIN
adamc@378 71 lib directory: LIB $LIB
adamc@378 72 include directory: INCLUDE $INCLUDE
adamc@378 73 site-lisp directory: SITELISP $SITELISP
adamc@435 74 Extra GCC args: GCCARGS $GCCARGS
adamc@378 75 EOF