diff --git a/scripts/opts/minimal.opts b/scripts/opts/minimal.opts index 5672b86894657ebbe9bd60586805c5c9c7b3bc9d..ae6a56cc87d7e8c2ba93ebf0456599af5d2f40b4 100644 --- a/scripts/opts/minimal.opts +++ b/scripts/opts/minimal.opts @@ -2,6 +2,7 @@ # #AUTOGEN_FLAGS="--ac=2.59 --am=-1.8" MODULEDIR=/hosts/raid5/aragorn/dune/modules/$HOSTTYPE CONFIGURE_FLAGS="\ +--no-cmake \ --enable-experimental-grid-extensions \ --enable-fieldvector-size-is-method \ --without-gmp \