Skip to content
Snippets Groups Projects
Commit ed7e6247 authored by Ned Coltman's avatar Ned Coltman
Browse files

[install] add check for existing cmake.opts file

parent 204468d5
No related branches found
No related tags found
1 merge request!1965Cleanup/installscript
......@@ -82,7 +82,12 @@ echo "(2/3) Configure and build dune modules and dumux using dunecontrol. This m
echo "**************************************************************************************************"
# run dunecontrol
wget https://git.iws.uni-stuttgart.de/dumux-repositories/dumux/-/raw/releases/3.2/cmake.opts
if [ ! -f "cmake.opts" ]; then
wget https://git.iws.uni-stuttgart.de/dumux-repositories/dumux/-/raw/releases/3.2/cmake.opts
else
echo "A cmake.opts file already exists. The existing file will be used to configure dumux."
fi
./dune-common/bin/dunecontrol --opts=cmake.opts all
if [ $? -ne 0 ]; then
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment