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:
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++-9
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 9.4 in both cases.
FoRTReSS also requires Java Runtime Environment, JRE7 strictly speaking but it may work with JRE8 which is easier to install.
sudo apt install openjdk-8-jre
Check out java version with:
java -version
which should return: openjdk version “1.8.0_312”
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 –install /usr/bin/java java /home/$USER/FoRTReSS_Ubuntu_20.04_gcc_9.4_jdk_8/jre1.7.0_80/bin/java 100
sudo update-alternatives –config java
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
Download the following archive:
Extract previous archive in your home directory (assuming /home/$USER in the following). You should see a new FoRTReSS_Ubuntu_18.04_gcc_7.5_jdk_8 directory in your home folder.
Install gcc / g++ 7.5:
sudo apt install gcc-7
sudo apt install g++-7
Configure update-alternatives for gcc / g++ 7.5:
sudo update-alternatives –install /usr/bin/gcc gcc /usr/bin/gcc-7 100
sudo update-alternatives –install /usr/bin/g++ g++ /usr/bin/g++-7 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.
sudo apt install openjdk-8-jre
Check out java version with:
java -version
which should return: openjdk version “1.8.0_312”
Uncompress the archive present in /home/$USER/FoRTReSS_Ubuntu_18.04_gcc_7.5_jdk_8:
tar -xvzf jre-7u80-linux-x64.tar.gz
Configure update-alternatives for JRE7:
sudo update-alternatives –install /usr/bin/java java /home/$USER/FoRTReSS_Ubuntu_18.04_gcc_7.5_jdk_8/jre1.7.0_80/bin/java 100
sudo update-alternatives –config java
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_18.04_gcc_7.5_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