diff --git a/scripts/opts/minimal.opts b/scripts/opts/minimal.opts index e7c75ce4918e901ec00a4373bdd74f22f7f37faf..5672b86894657ebbe9bd60586805c5c9c7b3bc9d 100644 --- a/scripts/opts/minimal.opts +++ b/scripts/opts/minimal.opts @@ -8,10 +8,8 @@ CONFIGURE_FLAGS="\ --enable-parallel \ --with-petsc=$MODULEDIR/petsc \ --prefix=/hosts/gandalf/raid5/morgoth/dune/src/dune \ ---with-alberta=$MODULEDIR/alberta \ --x-includes=/usr/X11R6/include \ --x-libraries=/usr/X11R6/lib \ ---enable-fieldvector-size-is-method \ --disable-documentation" MAKE_FLAGS=