User Tools


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.

Ubuntu 20.04

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++-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.

  • 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 –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

Ubuntu 18.04

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_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.

  • 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_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

Ubuntu 16.04

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

Ubuntu 14.04 (64-bit)

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_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