Skip to content

GitLab

taste-setup
taste-setup
Commit 6746acb9 authored by Maxime Perrotin's avatar Maxime Perrotin
Browse files
Options

Add opengeode and model checker install scripts

parent 78f0be6a
Hide whitespace changes
Inline Side-by-side
Showing with 9 additions and 0 deletions
install/50_opengeode.sh 0 → 100755
View file @ 6746acb9
#!/bin/bash
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
cd $DIR/../opengeode || exit 1
pip install --user --upgrade . || exit 1
install/70_taste-model-checker.sh 0 → 100755
View file @ 6746acb9
#!/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