diff -ur root-6.06.02.orig/configure root-6.06.02/configure --- root-6.06.02.orig/configure 2016-03-20 15:54:26.038192410 +0100 +++ root-6.06.02/configure 2016-03-20 16:48:49.767492974 +0100 @@ -202,7 +202,7 @@ enable_unuran=yes enable_vc=yes enable_vdt=yes - #enable_r=yes + enable_r=yes fi # Remove old log file @@ -2288,7 +2288,7 @@ f=`echo $1 | sed -e 's/--//' -e 's/-/_/g' -e 's/++11/xx11/'` eval prev='$'`echo ${f}` eval prev_expl='$'`echo ${f}_explicit` - if test ! "x`echo ${deprecated_options} | grep ${f}`" = "x"; then + if test ! "x`echo ${deprecated_options}' ' | grep ${f}' '`" = "x"; then echo "WARNING: option $1 is deprecated and ignored"'!' else if test "${prev}:${prev_expl}" = "yes:"; then @@ -2318,7 +2318,7 @@ f=`echo $1 | sed -e 's/--disable/enable/' -e 's/-/_/g' -e 's/++11/xx11/'` eval prev='$'`echo ${f}` eval prev_expl='$'`echo ${f}_explicit` - if test ! "x`echo ${deprecated_options} | grep ${f}`" = "x"; then + if test ! "x`echo ${deprecated_options}' ' | grep ${f}' '`" = "x"; then echo "WARNING: option $1 is deprecated and ignored"'!' else if test "${prev}:${prev_expl}" = "xno:"; then