diff --git a/provisioning/install-dune.sh b/provisioning/install-dune.sh index 651fffc..074aefd 100755 --- a/provisioning/install-dune.sh +++ b/provisioning/install-dune.sh @@ -70,7 +70,8 @@ if [ ! -d "dumux/" ]; then fi # Build DuMux -./dune-common/bin/dunecontrol --only=dumux -DCMAKE_DISABLE_FIND_PACKAGE_Kokkos=TRUE all +./dune-common/bin/dunecontrol --only=dumux cmake -DCMAKE_DISABLE_FIND_PACKAGE_Kokkos=TRUE +./dune-common/bin/dunecontrol --only=dumux make if [ ! -d "dumux-adapter/" ]; then git clone --depth 1 --branch v2.0.0 https://github.com/precice/dumux-adapter.git