58 lines
928 B
Bash
Executable File
58 lines
928 B
Bash
Executable File
#!/bin/bash
|
|
|
|
echo
|
|
echo " ------------------------------------------------"
|
|
echo " -- ReactICS -- Reaction Systems Model Checker --"
|
|
echo " ------------------------------------------------"
|
|
echo
|
|
|
|
mode="$1"
|
|
shift
|
|
|
|
REACTICS_BDD="$(pwd)/reactics-bdd"
|
|
REACTICS_SMT="$(pwd)/reactics-smt"
|
|
|
|
if [[ "$mode" == "bdd" ]]
|
|
then
|
|
|
|
echo $*
|
|
if [[ ! -x $REACTICS_BDD/reactics ]]
|
|
then
|
|
echo "Make sure to run setup first!"
|
|
fi
|
|
|
|
reactics-bdd/reactics $*
|
|
|
|
elif [[ "$mode" == "smt" ]]
|
|
then
|
|
|
|
export PYTHONPATH="$PYTHONPATH:$REACTICS_SMT"
|
|
if [[ "$*" != "" ]]
|
|
then
|
|
python3 $*
|
|
else
|
|
echo "Nothing to do"
|
|
fi
|
|
|
|
elif [[ "$mode" == "setup" ]]
|
|
then
|
|
|
|
git pull
|
|
cd $REACTICS_BDD
|
|
./build_cudd.sh
|
|
make
|
|
|
|
else
|
|
|
|
echo "Usage: $0 <mode>"
|
|
echo
|
|
echo "mode:"
|
|
echo " - bdd -- uses BDD-based module"
|
|
echo " - smt -- used SMT-based module"
|
|
echo " - setup -- builds what is required"
|
|
echo
|
|
|
|
fi
|
|
|
|
# EOF
|