diff --git a/bin/install_all_dune_modules.sh b/bin/install_all_dune_modules.sh index c28675ab4964b616b61d5c9a57733a23feaf6356..d3bc9b10704558c249259466c8a4bb6cc3e66c07 100755 --- a/bin/install_all_dune_modules.sh +++ b/bin/install_all_dune_modules.sh @@ -1,14 +1,14 @@ #!/usr/bin/env bash if [ $# -lt 1 ]; then - echo "usage: $0 DOWNLOAD_DIR" + echo "usage: $0 DUNE_BASE_DIR" exit 1 fi -DOWNLOAD_DIR="$1" +DUNE_BASE_DIR="$1" -mkdir -p ${DOWNLOAD_DIR}/dune -cd ${DOWNLOAD_DIR}/dune +mkdir -p ${DUNE_BASE_DIR} +cd ${DUNE_BASE_DIR} CORE_MODULES=("dune-common" "dune-geometry" "dune-grid" "dune-istl" "dune-localfunctions") STAGING_MODULES=("dune-functions" "dune-typetree" "dune-uggrid") @@ -29,6 +29,7 @@ done echo "" echo "==============================================================" echo "To build all dune modules run the commands... " -echo " DUNE_CONTROL_PATH=${DOWNLOAD_DIR}/dune dunecontrol configure" -echo " DUNE_CONTROL_PATH=${DOWNLOAD_DIR}/dune dunecontrol make -j4 " +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 "==============================================================" \ No newline at end of file