diff --git a/install/50_opengeode.sh b/install/50_opengeode.sh new file mode 100755 index 0000000000000000000000000000000000000000..29620689b60e3e3df0d1f496744c31ad78506b4f --- /dev/null +++ b/install/50_opengeode.sh @@ -0,0 +1,4 @@ +#!/bin/bash +DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" +cd $DIR/../opengeode || exit 1 +pip install --user --upgrade . || exit 1 diff --git a/install/70_taste-model-checker.sh b/install/70_taste-model-checker.sh new file mode 100755 index 0000000000000000000000000000000000000000..30b208240af54b8dbb4ee6556498b6dd552b7e1b --- /dev/null +++ b/install/70_taste-model-checker.sh @@ -0,0 +1,5 @@ +#!/bin/bash +DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" +cd $DIR/../taste-model-checker || exit 1 +make install || exit 1 +make clean || exit 1