User Tools


Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
installation_instructions [2021/12/28 16:00]
admin
installation_instructions [2021/12/28 18:03] (current)
admin
Line 16: Line 16:
  
 Instructions to run an exploration example are provided in the [[Application example]] section. ​ Instructions to run an exploration example are provided in the [[Application example]] section. ​
-  + 
-====== Ubuntu ​16.04 (64-bit) ======+====== 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 ======
  
  
Line 77: Line 216:
 Download the following archive: ​ Download the following archive: ​
  
-[[http://fortress-toolbox.unice.fr/​FoRTReSS_Ubuntu16.04_x86_64.tar.gz|DOWNLOAD LINK]]+[[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. ​ 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. ​