diff options
author | Rene Engelhard <rene@debian.org> | 2010-12-21 15:40:45 +0100 |
---|---|---|
committer | Rene Engelhard <rene@debian.org> | 2010-12-21 15:41:28 +0100 |
commit | 84e95a7ee6c08de2d4e237a002da9471365deee9 (patch) | |
tree | 3c13594b868afd966c823d46b7361f7fd6966bdb /configure.in | |
parent | 52b977a42c4c157a0256d8759ae13f1af8df29fc (diff) |
check for mdds/mixed_type_matrix.hpp
Diffstat (limited to 'configure.in')
-rwxr-xr-x | configure.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/configure.in b/configure.in index 85856164c506..b8a8d84c20f9 100755 --- a/configure.in +++ b/configure.in @@ -4792,6 +4792,8 @@ if test -n "$with_system_mdds" -o -n "$with_system_headers" && \ AC_LANG_PUSH([C++]) AC_CHECK_HEADER(mdds/flat_segment_tree.hpp, [], [AC_MSG_ERROR(mdds/flat_segment_tree.hpp not found. install mdds)], []) + AC_CHECK_HEADER(mdds/mixed_type_matrix.hpp, [], + [AC_MSG_ERROR(mdds/mixed_type_matrix.hpp not found. install mdds >= 0.4.0)], []) AC_LANG_POP([C++]) else AC_MSG_RESULT([internal]) |