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:03]
admin
installation_instructions [2021/12/28 18:03] (current)
admin
Line 21: Line 21:
 Download the following archive: Download the following archive:
  
-DOWNLOAD LINK+[[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. ​+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:  Install gcc / g++ 9.4: 
-sudo apt install gcc-9 + 
-sudo apt install g++-0+''​sudo apt install gcc-9''​ 
 + 
 +''​sudo apt install g++-9''​
  
 Configure update-alternatives for gcc / g++ 9.4:  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++-100 +''​sudo update-alternatives --install /​usr/​bin/​gcc gcc /​usr/​bin/​gcc-9 100''​ 
-sudo update-alternatives --config gcc + 
-sudo update-alternatives --config g+++''​sudo update-alternatives --install /​usr/​bin/​g++ g++ /​usr/​bin/​g++-100''​ 
 + 
 +''​sudo update-alternatives --config gcc''​ 
 + 
 +''​sudo update-alternatives --config g++''​
  
 Check out gcc / g++ version with: 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 may work with JRE8 which is easier to install.  +''​gcc -v''​ 
-Install JRE8:   + 
-sudo apt install openjdk-8-jre+''​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: Check out java version with:
-java -version+ 
 +''​java -version''​ 
 which should return: openjdk version "​1.8.0_312"​ which should return: openjdk version "​1.8.0_312"​
  
-Or install JRE7:  +  * Or install JRE7:  
-Uncompress the archive present in /​home/​$USER/​FoRTReSS_Ubuntu_20.04_gcc_9.4_jdk_8):+Uncompress the archive present in ''​/​home/​$USER/​FoRTReSS_Ubuntu_20.04_gcc_9.4_jdk_8''​: 
 ''​tar -xvzf jre-7u80-linux-x64.tar.gz''​ ''​tar -xvzf jre-7u80-linux-x64.tar.gz''​
 +
 Configure update-alternatives for JRE7: 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''​ ''​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: Check out java version with:
 +
 ''​java -version''​ ''​java -version''​
 +
 which should return: java version "​1.7.0_80"​ which should return: java version "​1.7.0_80"​
  
 To start FoRTReSS GUI, open a terminal: To start FoRTReSS GUI, open a terminal:
 +
 ''​cd /​home/​$USER/​FoRTReSS_Ubuntu_20.04_gcc_9.4_jdk_8''​ ''​cd /​home/​$USER/​FoRTReSS_Ubuntu_20.04_gcc_9.4_jdk_8''​
 +
 ''​source fortress_env.sh''​ ''​source fortress_env.sh''​
 +
 ''​./​fortress''​ ''​./​fortress''​
  
  
 ====== Ubuntu 18.04 ====== ====== 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 ====== ====== Ubuntu 16.04 ======
  
Line 127: 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. ​