Repos Dependencies
This script will install and configure all repos dependencies.YAHSP2
git clone https://github.com/aldukeman/yahsp2.git ${HOME}/dev/yahsp2/
cd ${HOME}/dev/yahsp2/
./build
CPT
wget -P ${HOME}/Downloads/ http://www.cril.univ-artois.fr/${HOME}vidal/cpt/cpt-1.0.tar.gz
tar -xvzf ${HOME}/Downloads/cpt-1.0.tar.gz -C ${HOME}/Downloads/
rm -Rf ${HOME}/Downloads/cpt-1.0.tar.gz
cd ${HOME}/Downloads/cpt-1.0/
./build fast
Z3
git clone https://github.com/Z3Prover/z3 ${HOME}/dev/z3/
cd ${HOME}/dev/z3/
python scripts/mk_make.py
cd build
make
sudo make install
Piranha
git clone https://github.com/bluescarni/piranha ${HOME}/dev/piranha/
mkdir ${HOME}/dev/piranha/build/
cd ${HOME}/dev/piranha/build/
cmake ../
sudo make install
SMTPlan+
git clone https://github.com/KCL-Planning/SMTPlan.git ${HOME}/dev/SMTPlan/
sed -i '15i\set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -pthread -Wno-deprecated-declarations")' ${HOME}/dev/SMTPlan/SMTPlan/CMakeLists.txt
cd ${HOME}/dev/SMTPlan/SMTPlan/
mkdir build
cd build
cmake ..
make
APPL
wget -P ${HOME}/Downloads/ http://bigbird.comp.nus.edu.sg/pmwiki/farm/appl/uploads/Main/appl-0.96.tar.gz
tar -xvzf ${HOME}/Downloads/appl-0.96.tar.gz -C ${HOME}/dev/
rm -f ${HOME}/Downloads/appl-0.96.tar.gz
mv -f ${HOME}/dev/appl-0.96 ${HOME}/dev/appl
cd ${HOME}/dev/appl/src/
make
SPUDD
git clone git@gitlab.com:human-machine-teaming/spudd.git ${HOME}/dev/spudd/
cd ${HOME}/dev/spudd/
./build.sh
RDDL
git clone https://github.com/ssanner/rddlsim.git ${HOME}/dev/rddlsim/
cd ${HOME}/dev/rddlsim/
sudo chmod +x compile
./compile
Buddy
wget -P ${HOME}/Downloads/ https://downloads.sourceforge.net/project/buddy/buddy/BuDDy%202.4/buddy-2.4.tar.gz
tar -xvzf ${HOME}/Downloads/buddy-2.4.tar.gz -C ${HOME}/Downloads/
cd ${HOME}/Downloads/buddy-2.4/
./configure --prefix=/
make
sudo make install
cd ${HOME}
rm -Rf ${HOME}/Downloads/buddy-2.4*
PROST Install and Config
./prost.sh
Glutton
git clone git@gitlab.com:human-machine-teaming/g-pack.git ${HOME}/dev/g-pack/
cd ${HOME}/dev/g-pack/
make
Fast Forward
wget -P ${HOME}/Downloads/ https://fai.cs.uni-saarland.de/hoffmann/ff/FF-v2.3.tgz
tar -xvzf ${HOME}/Downloads/FF-v2.3.tgz -C ${HOME}/Downloads/
cd ${HOME}/Downloads/FF-v2.3
make
Fast Downward
hg clone http://hg.fast-downward.org ${HOME}/dev/fd/
cd ${HOME}/dev/fd/
./build.py
cp ${TOOLS}plan ${HOME}/dev/fd/
Cleanup
rm -Rf ${HOME}/Downloads/*
Follow this link for the raw script.