GPS und Emacs (Ada-Modus) sind beide unter der GPL lizenziert, aber das ist nicht wichtig, weil Sie sie nicht an Ihre Benutzer liefern werden. Sie sind beide Umgebungen, die aktivieren Sie bis führen Sie einen Compiler und zugehörige Tools.
Wenn Sie Ihre-Software von einer unabhängigen Behörde zertifiziert liefern müssen, werden Sie wahrscheinlich viel mehr als einen Support-Vertrag von AdaCore bezahlen, und sie werden wahrscheinlich möchten, dass Sie mehr Tool-Unterstützung haben als Sie mit AdaCores GPL-Toolset bekommen.
Aber wenn Sie keine Zertifizierung oder Unterstützung Fragen haben, dann können Sie GPS oder Emacs mit einem Compiler Ihrer Wahl verwenden:
- , wenn Sie in der Lage sind, Ihre Software unter der GPL zu veröffentlichen, Sie kann AdaCores GNAT GPL Compiler verwenden;
- Wenn nicht, können Sie einen FSF GCC Ada Compiler verwenden.
Sie erwähnen "Open Source" und "frei" in der gleichen Post, und ich vermute, dass Letzteres "frei wie in Freibier" ist. Sie müssen hier die Sprache klären. Wenn Sie sicherheitsrelevanten Code ausführen möchten, müssen Sie sich irgendwann auf qualifizierte Tools verlassen, und diese Tools sind teuer in der Entwicklung und Wartung. – manuBriot
Wenn der Schwerpunkt auf "ausprobieren" liegt, dann ist GNAT Programming Studio auch kostenlos verfügbar, ebenso wie Eclipse-basierte IDEs (AdaCore, PTC) und vielleicht andere zur Evaluierung. – B98