From 10e95bc8150fe47e92a8074a1eeaa05d5bad7539 Mon Sep 17 00:00:00 2001
From: Incardona Pietro <incardon@mpi-cbg.de>
Date: Wed, 17 Nov 2021 19:58:56 +0100
Subject: [PATCH] Fixing installation

---
 install | 1 +
 1 file changed, 1 insertion(+)

diff --git a/install b/install
index 4e078ee17..8f15bbbe9 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
-- 
GitLab