#!/bin/bash #set -e set -vx echo -e "*****************************\n* Install titan\n*****************************\n" SRC_DIR=${HOME}/src/titan export TTCN3_DIR=$HOME/frameworks/titan [ -f /usr/bin/java ] && export JAVA_HOME=`readlink -f /usr/bin/java | sed "s:bin/java::"` TITAN_REPO=`cat ${HOME}/etc/titan_repos.txt | grep 'titan\.core\.git' | head -n 1` export PATH=$PATH:$TTCN3_DIR/bin mkdir -p "$SRC_DIR" cd "$SRC_DIR" || exit 1 echo "export TTCN3_DIR=$TTCN3_DIR" >> $HOME/.bashrc echo "export PATH=\$PATH:\$TTCN3_DIR/bin" >> $HOME/.bashrc # Install titan core git clone --progress "$TITAN_REPO" || exit 1 mkdir -p "$TTCN3_DIR" cd titan.core || exit 1 cat >Makefile.personal <