diff --git a/install b/install index 4e078ee175e20359a51a9c2003d551259e272023..8f15bbbe90151070c9a33ac9a292b2b4508043ab 100755 --- a/install +++ b/install @@ -268,6 +268,7 @@ fi lin_alg_dir="" lin_alg_lib="" lin_alg_inc="" +configure_options="CXX=$CXX $configure_options" if [ -d "$i_dir/BOOST" ]; then configure_options=" $configure_options --with-boost=$i_dir/BOOST " fi