Differences

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

--- installation_instructions [2021/12/28 16:12]
admin [Ubuntu 20.04]
+++ installation_instructions [2021/12/28 18:03] (current)
admin
@@ Line 21: / Line 21: @@
 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:
@@ Line 51: / Line 51: @@
 FoRTReSS also requires Java Runtime Environment, JRE7 strictly speaking but it may work with JRE8 which is easier to install.
-  * Unordered List ItemInstall JRE8:
+  * Install JRE8:
 ''sudo apt install openjdk-8-jre''
@@ Line 61: / Line 61: @@
 which should return: openjdk version "1.8.0_312"
-  * Unordered List ItemOr 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''
@@ Line 68: / Line 68: @@
 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 --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 144: / Line 216: @@
 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.

User Tools

Differences

Page Tools

FoRTReSS

Site Tools