13 lines
195 B
Bash
Executable File
13 lines
195 B
Bash
Executable File
#!/usr/bin/env bash
|
|
set -e
|
|
|
|
pushd . > /dev/null
|
|
git clone https://github.com/dune-project/dune-istl.git
|
|
cd dune-istl
|
|
git checkout tags/v2.3.1
|
|
mkdir build
|
|
cd build
|
|
cmake ../
|
|
make
|
|
popd > /dev/null
|