This is an old revision of the document!
FoRTReSS is supported on Ubuntu 14.04, 16.04, 18.04 and 20.04 desktop platforms.
You need a valid license file to use FoRTReSS. To receive a free 30 day evaluation license, email the following information to fortress (dot) leat (at) unice (dot) fr
:
Object: FoRTReSS evaluation license request
First Name:
Last Name:
Company:
Address:
Upon reception, save file fortress.lic
in FoRTReSS root directory.
Instructions to run an exploration example are provided in the Application example section.
Download the following archive:
DOWNLOAD LINK
Extract previous archive in your home directory (assuming /home/$USER in the following). You should see a new FoRTReSS_Ubuntu_20.04_gcc_9.4_jdk_8 directory in your home folder.
Install gcc / g++ 9.4:
sudo apt install gcc-9
sudo apt install g++-0
Configure update-alternatives for gcc / g++ 9.4:
sudo update-alternatives –install /usr/bin/gcc gcc /usr/bin/gcc-9 100
sudo update-alternatives –install /usr/bin/g++ g++ /usr/bin/g++-9 100
sudo update-alternatives –config gcc
sudo update-alternatives –config g++
Check out gcc / g++ version with:
gcc -v
g++ -v
which should return 7.5 in both cases.
FoRTReSS also requires Java Runtime Environment, JRE7 strictly speaking but it may work with JRE8 which is easier to install. Install JRE8:
sudo apt install openjdk-8-jre
Check out java version with:
java -version
which should return: openjdk version “1.8.0_312”
Or install JRE7:
Uncompress the archive present in /home/$USER/FoRTReSS_Ubuntu_20.04_gcc_9.4_jdk_8
):
tar -xvzf jre-7u80-linux-x64.tar.gz
Configure update-alternatives for JRE7:
sudo update-alternatives –config java
sudo update-alternatives –install /usr/bin/java java /home/$USER/FoRTReSS_Ubuntu_20.04_gcc_9.4_jdk_8/jre1.7.0_80/bin/java 100
Check out java version with:
java -version
which should return: java version “1.7.0_80”
To start FoRTReSS GUI, open a terminal:
cd /home/$USER/FoRTReSS_Ubuntu_20.04_gcc_9.4_jdk_8
source fortress_env.sh
./fortress
Install gcc / g++ 4.8:
sudo apt-get install python-software-properties
sudo add-apt-repository ppa:ubuntu-toolchain-r/test
sudo apt-get update
sudo apt-get install gcc-4.8
sudo apt-get install g++-4.8
Configure gcc / g++ 4.8 (assuming gcc-5.4 / g++-5.4 originally installed):
sudo update-alternatives –install /usr/bin/gcc gcc /usr/bin/gcc-4.8 10
sudo update-alternatives –install /usr/bin/gcc gcc /usr/bin/gcc-5.4 20
sudo update-alternatives –install /usr/bin/g++ g++ /usr/bin/g++-4.8 10
sudo update-alternatives –install /usr/bin/g++ g++ /usr/bin/g++-5.4 20
sudo update-alternatives –config gcc
sudo update-alternatives –config g++
Check out gcc / g++ version with:
gcc -v
g++ -v
which should return 4.8
in both cases.
FoRTReSS also requires Java Runtime Environment 7 (JRE7):
sudo add-apt-repository ppa:openjdk-r/ppa
sudo apt-get update
sudo apt install openjdk-7-jre
Check out JRE7 installation with:
java -version
which should return:
java version “1.7.0_95”
Proceed with installation as for Ubuntu 14.04
Download the following archive:
Extract previous archive in your home directory (assuming /home/$USER
in the following). You should see a new FoRTReSS_Ubuntu16.04_x86_64
directory in your home folder.
To start FoRTReSS GUI, open a terminal:
cd /home/$USER/FoRTReSS_Ubuntu16.04_x86_64
source fortress_env.sh
./fortress