compilateurs Ada pour Linux
https://stackoverflow.com/questions/2067210
-
20-09-2019 - |
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
RussianQuestion
Je fais une étude commerciale pour le développement Ada sur Linux. Avez-vous bon compilateur / recommandations OS?
Jusqu'à présent, j'ai GNAT de AdaCore en cours d'exécution sur CentOS 5.4, et je demande de licence pour Rational dans Apex et Aonix ObjectAda.
Ceci est un effort de portage. Le code de base est d'origine Apex 3.0 sur OSF1 4.0d.
autre chose que je devrais envisageais? , Il serait idéalement un environnement pris en charge.
La solution
Une question que vous devez prendre en considération est de déterminer dans quelle mesure votre système qui utilise des paquets en cours de portage fournis par le fabricant à remplir sa fonction. Ce que j'ai vu avec les anciens, les grands systèmes, en particulier les Apex, est une propension pour les gourous de la langue pendant son temps de développement d'avoir décidé que la vanille Ada était tout simplement pas assez bon, et ainsi attacher à tous ces paquets fournis par le fabricant. Si c'est ce que votre système ne en ce moment, il est un argument fort pour la mise à niveau au sein du fournisseur et coller avec Apex (toutes choses étant égales la plupart du temps).
Chaque fois que je l'ai fait les ports de ces systèmes, si on leur donne l'occasion que je l'ai fait de mon mieux pour arracher tous les trucs du fournisseur fourni - neuf fois sur dix remplacer les choses spécifiques au fournisseur à la vanille implémentations Ada travail tout aussi bien, et vous n'avez plus à traiter les bizarreries d'un package compilateur spécifique. De plus, vous augmentez la portabilité et la maintenabilité du système, ce qui permet de mieux adapter aux changements futurs.
Autres conseils
Il y a toujours SPARK, mais je crois que sa une version spécialisée / subsetted de la langue Ada. Vous pouvez contacter SigAda ou le groupe usenet Ada pour voir s'il y a d'autres idées.
Honnêtement, GNAT est un ensemble d'outils. Vous pouvez utiliser GNATBench, une interface Eclipse, ou GPS, un poids léger GTK + IDE, interface avec les outils GNAT.
D'autres compilateurs Je suis au courant sont Green Hills AdaMULTI (pour diverses RTOS) et DDC-de POINTAGE I (également pour divers RTOS)
Les fournisseurs de compilateurs certifiés qui prennent en charge Linux (en plus de ceux qui sont énumérés dans la question):
