USE_CMAKE=no CONFIGURE_FLAGS="\ --disable-documentation \ --enable-experimental-grid-extensions \ --without-gmp \ --prefix=/hosts/gandalf/raid5/morgoth/dune/src/dune \ --disable-dependency-tracking " # These flags are necessary to perform grid specific checks! MAKE_CHECK_FLAGS="GRIDTYPE=YASPGRID GRIDDIM=2" MAKE_FLAGS=-j8