annotate configure.ac @ 1227:1d8fba74e7f5

Iflow working with a UNION
author Adam Chlipala <adamc@hcoop.net>
date Sun, 11 Apr 2010 16:06:16 -0400
parents 7a17588edbff
children be2ef50780ed
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@378 7
adamc@1165 8 AC_CHECK_LIB(mhash, mhash_get_block_size, [], [echo "You must install libmhash."; exit 1])
adamc@1165 9 AC_CHECK_HEADER([mhash.h], [], [echo "You must install libmhash dev 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:
adamc@378 69 bin directory: BIN $BIN
adamc@378 70 lib directory: LIB $LIB
adamc@378 71 include directory: INCLUDE $INCLUDE
adamc@378 72 site-lisp directory: SITELISP $SITELISP
adamc@435 73 Extra GCC args: GCCARGS $GCCARGS
adamc@378 74 EOF