Bonjour,
en l'absence d'un forum consacré à SPARK (dialecte d'ADA optimisé pour la fiabilité et la sécurité), je me permets de placer mon post ici
Je suis en train de tenter d'installer SPARK GPL sous Ubuntu 10.04, après avoir installer GNAT GPL et GPS d'AdaCore à partir des sources disponibles sur http://libre.adacore.com et malheureusement l'examineur 'spark' lancé sur un programme de test (hello world trouvé ici) ne reconnait pas la libraire spark_io :
Code : Sélectionner tout - Visualiser dans une fenêtre à part
1
2
3
4
5
6
7
8
9
10
11 with Spark_IO; --# inherit Spark_IO; --# main_program; procedure Hello_World --# global in out Spark_IO.Outputs; --# derives Spark_IO.Outputs from Spark_IO.Outputs; is begin Spark_IO.Put_Line (Spark_IO.Standard_Output, "Hello World!", 0); end Hello_World;
L'archive contenant Spark ne contient aucune instruction pour l'installation, j'ai donc simplement copié le contenu des répertoires bin, lib et share dans /usr/bin, /usr/lib et /usr/share3 --# inherit Spark_IO;
^
*** Semantic Error :135: The package Spark_IO is undeclared or not visible, or there is a circularity in the list of inherited packages.
Apparemment un collègue ayant employé la même méthode n'a pas ce soucis mais il travaille sous Debian (et je crois qu'il a installé GNAT et GPS depuis les dépôts et non les sources du site d'AdaCore)...
Quelqu'un aurait-il des réponses à m'apporter ou un simple retour d'expérience?
Merci d'avance
Partager