Tools Installation

If you are a SPARK Pro customer, the tools can be downloaded from AdaCore’s website via GNAT Tracker. If you are a free software developer or an academic you can use the SPARK GPL toolset available on AdaCore’s Libre site. Visit the Tokeneer tools page for more information.

For GPS users, you need to also install the suitable GPS plug-in for SPARK.

  • For GPS 4.4.1, Replace the file spark.py in the directory gnatpro/share/gps/plug-ins/ with the copy in the directory tokeneer/tools/plug_ins/gps4.4.1/.
  • For GPS 4.3.1, Replace the file spark.py in the directory gnatpro/share/gps/plug-ins/ with the copy in the directory tokeneer/tools/plug_ins/gps4.3.1/.

 

For users using versions below GPS 4.3.1, please upgrade your GPS to the latest version.