Setting up Linux Machines in Linux Lab at Swansea University for Spark Ada Using Shell

• The following is if you want to use Spark Ada from the command line.
• In the following by "Directory" I mean what is sometimes called "Folder".
  
• By "command shell" I mean in the following "Konsole" or "terminal".
• If you are not using the machines in the Linux lab you may need to add a line with the path to the gnat installation to your file ~/.bashrc (in the home directory)
  
  export PATH=/usr/local/gnat/bin/:$PATH
  
  where the path (here /usr/local/gnat/bin/ ) is shown during installation of gnatstudio. The easiest way to cut and paste the two lines below starting with "echo ' " and ending with "bashrc" in one go into a command shell.
  Then press return
  
  echo '
  export PATH=/usr/local/gnat/bin/:$PATH' >> ~/.bashrc
  
  
• Open a new command shell. Now if you execute
  
  echo $PATH
  
  you should get a sequence of paths (separated by :) starting with
  
  /usr/local/gnat/bin/:
  
  For instance (depending on your installation) it could like this:
  
  /usr/local/gnat/bin/:/usr/lib64/mpi/gcc/openmpi/bin:/home/staff/cssetzer/bin:/usr/local/bin:/usr/bin:/bin:/usr/bin/X11:/usr/X11R6/bin
  
  
• In order to activate the why3 system (likely not necessary 2022/23) you need to do the same steps as above, but with path /usr/bin/
  So in more details this is done as follows:
  • You need to add the following line to your file ~/.bashrc (in the home directory)
    
    export PATH=/usr/bin/:$PATH
    
    The easiest way to cut and paste the two lines below starting with "echo ' " and ending with "bashrc" in one go into a command shell.
    Then press return
    
    echo '
    export PATH=/usr/bin/:$PATH' >> ~/.bashrc
    
    
  • Open a new command shell. Now if you execute
    
    echo $PATH
    
    you should get a sequence of paths (separated by :) starting with
    
    /usr/local/bin/:
    
    For instance (depending on your installation) it could like this:
    
    /usr/local/bin/:/usr/local/gnat/bin/:/usr/lib64/mpi/gcc/openmpi/bin:/home/staff/cssetzer/bin:/usr/local/bin:/usr/bin:/bin:/usr/bin/X11:/usr/X11R6/bin