Examples in the Distribution of SPARK Ada

• Examples in the distribution
  • In the distribution there are examples of SPARK Ada programs located at depending where it was installed initially.
  • In a Linux installation typical places are (note you need to navigate to this place starting from Root)
    /usr/gnat/share/examples/spark/
    
    or
    
    /opt/spark2014/share/examples/spark/
    
    
    • Examples involving IO are located in
      /usr/gnat/share/examples/spark/spark_io/
      
      or
      
      /opt/spark2014/share/examples/spark/spark_io/