Setting up Linux Machines using Suse manually for use of SPARK Ada and why3 via File Manager (Computer Science, Swansea University)

The following are the steps for configuring the settings in the Linux Lab so that SPARK Ada and why3 can be started from the file Manager without using the Command Shell.