the install script now compiles all dune modules and creates an opts file

bin/install_all_dune_modules.sh

@@ -6,6 +6,7 @@ if [ $# -lt 1 ]; then
 fi
 
 DUNE_BASE_DIR="$1"
+NUM_PROCS=$(nproc --all)
 
 mkdir -p ${DUNE_BASE_DIR}
 cd ${DUNE_BASE_DIR}
@@ -26,10 +27,19 @@ for MOD in ${EXTENSIONS_MODULES[*]}; do
   git clone https://gitlab.dune-project.org/extensions/${MOD}.git --branch releases/2.6 --single-branch
 done
 
+cat << EOF >> ${DUNE_BASE_DIR}/dune.opts
+CMAKE_FLAGS="-DCMAKE_BUILD_TYPE=Release -DCMAKE_CXX_FLAGS=\"-march=native\""
+MAKE_FLAGS="-j${NUM_PROCS}"
+EOF
+
+DUNE_CONTROL_PATH=${DUNE_BASE_DIR} ${DUNE_BASE_DIR}/dune-common/bin/dunecontrol --opts=${DUNE_BASE_DIR}/dune.opts all
+
 echo ""
 echo "=============================================================="
-echo "To build all dune modules run the commands...                 "
-echo "  export PATH=${DUNE_BASE_DIR}/dune-common/bin:\${PATH}"
-echo "  DUNE_CONTROL_PATH=${DUNE_BASE_DIR} dunecontrol configure"
-echo "  DUNE_CONTROL_PATH=${DUNE_BASE_DIR} dunecontrol make -j4 "
+echo "You should add the following lines to you .bashrc file        "
+echo "  export DUNE_CONTROL_PATH=${DUNE_BASE_DIR}                   "
+echo "  export PATH=${DUNE_BASE_DIR}/dune-common/bin:\${PATH}       "
+echo "                                                              "
+echo "In order to compile your module, just run                     "
+echo "  duncontrol --opts=${DUNE_BASE_DIR}/dune.opts --current all  "
 echo "=============================================================="
\ No newline at end of file