#!/bin/bash

cd ~/Desktop/artifact/packages-pip3
sudo dpkg -i *.deb
sudo dpkg -i *.deb
sudo dpkg -i *.deb

cd ~/Desktop/artifact/packages-pytest
sudo dpkg -i *.deb

cd ~/Desktop/artifact/packages-virtualenv
sudo dpkg -i *.deb

cd ~/Desktop/artifact/
virtualenv -p python3 env

source ~/Desktop/artifact/env/bin/activate

cd ~/Desktop/artifact/packages-pycarl
sudo dpkg -i *.deb
pip3 install wcwidth-0.1.7-py2.py3-none-any.whl py-1.8.0-py2.py3-none-any.whl pluggy-0.12.0-py2.py3-none-any.whl pyparsing-2.4.0-py2.py3-none-any.whl packaging-19.0-py2.py3-none-any.whl atomicwrites-1.3.0-py2.py3-none-any.whl more_itertools-7.0.0-py3-none-any.whl zipp-0.5.1-py2.py3-none-any.whl importlib_metadata-0.18-py2.py3-none-any.whl six-1.12.0-py2.py3-none-any.whl attrs-19.1.0-py2.py3-none-any.whl pytest-4.6.3-py2.py3-none-any.whl 

cd ~/Desktop/artifact/pycarl
python3 setup.py develop

cd ~/Desktop/artifact/packages-stormpy
sudo dpkg -i *.deb

cd ~/Desktop/artifact/stormpy
python3 setup.py develop


cd ~/Desktop/artifact/packages-prophesy
sudo dpkg -i *.deb
cd ~/Desktop/artifact/dependencies-prophesy
pip install click numpy heuristic_optimization
pip install ./Prophesy-2.0.10.tar.gz  --no-deps

cd ~/Desktop/artifact/

