gprbuild:tldr:d02a5
gprbuild: Install compiled binaries.
$ gprinstall --prefix ${path-to-installation-dir}
try on your machine
The command gprinstall is a tool used in the Ada programming language to install Ada components (libraries, packages, etc.) into a specified directory. The --prefix flag is used to specify the installation directory where the components will be installed.
In the command gprinstall --prefix ${path-to-installation-dir}, ${path-to-installation-dir} should be replaced with the actual path to the desired installation directory on your system.
When you execute this command, gprinstall will install the Ada components into the specified directory, making them available for use in your Ada projects.
This explanation was created by an AI. In most cases those are correct. But please always be careful and
never run a command you are not sure if it is safe.