Commit 99e41047 authored by Thanassis Tsiodras's avatar Thanassis Tsiodras

Merge branch 'master' of gitrepos.estec.esa.int:taste/taste-setup

parents e36f50f5 54509574
#!/bin/bash
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
cd $DIR/../opengeode || exit 1
pip install --user --upgrade . || exit 1
#!/bin/bash
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
cd $DIR/../taste-model-checker || exit 1
make install || exit 1
make clean || exit 1
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment