How To Install gprbuild on Debian 9
Introduction
In this tutorial we learn how to install gprbuild
on Debian 9.
What is gprbuild
gprbuild is:
A set of tools for processing GNAT project files: gprconfig detects available compilers, gprbuild runs them; gprslave helps distributing the build work across the network; gprinstall copies the objects to their final destination; gprclean removes them. The default configuration supports Ada, Assembler, C, C++, Fortran, and can be extended to support user source processing tools.
The complete gprbuild user guide cannot be distributed by Debian because it is licensed under the GNU Free Documentation License with Invariant Sections and Cover Texts. It is published by upstream authors at http://docs.adacore.com/gprbuild-docs/html/gprbuild_ug.html.
There are three methods to install gprbuild
on Debian 9. We can use apt-get
, apt
and aptitude
. In the following sections we will describe each method. You can choose one of them.
Install gprbuild Using apt-get
Update apt database with apt-get
using the following command.
sudo apt-get update
After updating apt database, We can install gprbuild
using apt-get
by running the following command:
sudo apt-get -y install gprbuild
Install gprbuild Using apt
Update apt database with apt
using the following command.
sudo apt update
After updating apt database, We can install gprbuild
using apt
by running the following command:
sudo apt -y install gprbuild
Install gprbuild Using aptitude
If you want to follow this method, you might need to install aptitude first since aptitude is usually not installed by default on Debian. Update apt database with aptitude
using the following command.
sudo aptitude update
After updating apt database, We can install gprbuild
using aptitude
by running the following command:
sudo aptitude -y install gprbuild
How To Uninstall gprbuild on Debian 9
To uninstall only the gprbuild
package we can use the following command:
sudo apt-get remove gprbuild
Uninstall gprbuild And Its Dependencies
To uninstall gprbuild
and its dependencies that are no longer needed by Debian 9, we can use the command below:
sudo apt-get -y autoremove gprbuild
Remove gprbuild Configurations and Data
To remove gprbuild
configuration and data from Debian 9 we can use the following command:
sudo apt-get -y purge gprbuild
Remove gprbuild configuration, data, and all of its dependencies
We can use the following command to remove gprbuild
configurations, data and all of its dependencies, we can use the following command:
sudo apt-get -y autoremove --purge gprbuild
Dependencies
gprbuild have the following dependencies:
References
Summary
In this tutorial we learn how to install gprbuild
package on Debian 9 using different package management tools: apt
, apt-get
and aptitude
.