diff --git a/configure.in b/configure.in index 8e12a0d..5937c43 100644 --- a/configure.in +++ b/configure.in @@ -447,53 +447,6 @@ else fi dnl }}} -dnl {{{ --with-hoard -AC_ARG_WITH(hoard, - [AS_HELP_STRING([--with-hoard],[specify Hoard install prefix]) - ], - [ ], - [with_hoard=no] -) - -AC_MSG_CHECKING([if Hoard compiled-in support is enabled]) - -if test "x$with_hoard" = "xno"; then - AC_MSG_RESULT([no]) -else - AC_MSG_RESULT([yes]) - AC_MSG_CHECKING([Hoard install prefix]) - - if test "x$with_hoard" = "xyes"; then - for i in `echo "$STANDARD_PREFIXES"`; do - if test -f "$i/include/hoard.h"; then - HOARD_DIR="$i" - break; - fi - done - else - if test -f "$with_hoard/include/hoard.h"; then - HOARD_DIR="$with_hoard" - else - AC_MSG_ERROR([Can't find Hoard headers under $with_hoard directory]) - fi - fi - - if test "x$HOARD_DIR" = "x"; then - AC_MSG_ERROR([Unable to locate Hoard headers, please use --with-hoard=