Gilbertos Source

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

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.