Compiling and Executing SPARK Ada programs

• Examples of using IO can be found in Guide to SPARK Ada Examples
• For compiling using gps open the main.adb file (or other .adb file) you want to compile then use
  Build -> Project -> Build <current file>
• For compiling using commandline use
  gnatmake
• For running use under gps
  Build -> Run -> Custom
  
  and then untick everything
  and have as command
  
  xterm -hold -e ./main
  
  in case the file which was compiled was main.adb
  If it was filename.adb then the command would be
  
  xterm -hold -e ./filename
  
• For executing from commandshell use in case of main.adb
  
  ./main
  
  ("./" is needed if "." is not an element of your path)