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:

[[http://five-sigma.com/tmp/standalone_versions/FoRTReSS_Ubuntu_20.04_gcc_9.3_jdk_8.tar.gz|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:

[[http://five-sigma.com/tmp/standalone_versions/FoRTReSS_Ubuntu_18.04_gcc_7.5_jdk_8.tar.gz|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: 

[[http://five-sigma.com/tmp/standalone_versions/FoRTReSS_Ubuntu16.04_x86_64.tar.gz|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''