Wiki

Clone wiki

texada / Automating Texada installation on Ubuntu

Automating Texada installation on Ubuntu

Texada depends on Google Test, Boost, and SPOT libraries. Getting everything installed takes a while. If you are installing on Ubuntu, here is a sequence of steps to automate the installation. Tested on Ubuntu 14.04.1 LTS running Linux 3.13.0-35-generic. These commands must be run with root/sudo.

apt-get install cmake
apt-get install libgtest-dev
apt-get install g++
apt-get install mercurial

# compile and setup google test:
cd /usr/src/gtest
cmake CMakeLists.txt
make
cp *.a /usr/lib

# install boost:
apt-get install libboost-all-dev

# install spot:
cd ~/
wget http://spot.lip6.fr/dl/spot-1.2.5.tar.gz
tar -zxvf spot-1.2.5.tar.gz
cd spot-1.2.5/
./configure
make
make check
make install

# grab texada:
cd ~/
hg clone https://bestchai@bitbucket.org/bestchai/texada
cd texada

# setup environment to run texada (you'll want to add this line to your .bashrc or similar):
export TEXADA_HOME=$HOME/texada

# set up the uservars.mk file based on the example that's there:
cp uservars.mk.example uservars.mk

# only change the SPOT_INCL location since all other location
# vars are available system-wide and need not be changed:
sed -i "/^SPOT_INCL:=/c\SPOT_INCL:=${PWD%/*}/spot-1.2.5/src/" uservars.mk

# build texada and texadatest
make

# run texadatest to make sure all the tests pass
./texadatest

References:

Notes:

  • This mostly works on Ubuntu 12.04, but you'll need to get g++ 4.8 (default g++ on 12.04 is 4.6)

Updated