Dies ist der Befehl gprinstall, der beim kostenlosen Hosting-Anbieter OnWorks mit einer unserer zahlreichen kostenlosen Online-Workstations wie Ubuntu Online, Fedora Online, dem Windows-Online-Emulator oder dem MAC OS-Online-Emulator ausgeführt werden kann
PROGRAMM:
NAME/FUNKTION
gprbuild, gprclean, gprinstall, gprconfig, gprslave – mehrsprachiges, erweiterbares Build-Tool
BESCHREIBUNG
Diese Programme kompilieren, bereinigen und installieren mehrsprachige Projekte, die durch ein .gpr-GNAT angegeben werden
Projektdatei.
Das gprconfig-Tool erstellt Konfigurationsdateien für die anderen, sofern nicht interaktiv
--Charge gegeben ist.
Das gprslave-Tool wird für verteilte Builds verwendet.
Jeder von ihnen listet verstandene Optionen in der Standardausgabe mit auf --help.
Für Beispiele und bekannte Probleme installieren Sie bitte das gprbuild-doc-Paket und schauen Sie dann in der
/usr/share/doc/gprbuild-doc Verzeichnis. Einige Debian-spezifische Hinweise finden Sie in
/usr/share/doc/gprbuild/README.Debian. Das vollständige gprbuild-Benutzerhandbuch kann nicht vorliegen
wird von Debian vertrieben, da es unter der GNU Free Documentation License mit lizenziert ist
Invariante Abschnitte und Covertexte. Es wird von Upstream-Autoren unter veröffentlicht
http://docs.adacore.com/gprbuild-docs/html/gprbuild_ug.html.
Verwenden Sie gprinstall online über die Dienste von onworks.net
