/usr/share/dune/aclocal/dune_extra_utils.m4 is in libdune-grid-dev 2.2.1-2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 | ## -*- autoconf -*-
AC_DEFUN([DUNE_EXTRA_UTILS], [
AC_ARG_ENABLE([extra-utils],
[AS_HELP_STRING(
[--enable-extra-utils],
[Enable compilation and installation of extra utilities from the
"src" subdirectory.])],
[], [enable_extra_utils=no])
case "$enable_extra_utils" in
yes|no)
DUNE_ADD_SUMMARY_ENTRY([Extra utils enabled], [$enable_extra_utils]);;
*) AC_MSG_ERROR([invalid argument for --enable-extra-utils: $enable_extra_utils]);;
esac
AM_CONDITIONAL([EXTRA_UTILS], [test "x$enable_extra_utils" = xyes])
])
|