How To Install gprbuild-doc on Ubuntu 22.04
Introduction
In this tutorial we learn how to install gprbuild-doc on Ubuntu 22.04.
What is gprbuild-doc
gprbuild-doc 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.
This package contains the documentation.
There are three methods to install gprbuild-doc on Ubuntu 22.04. 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-doc 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-doc using apt-get by running the following command:
sudo apt-get -y install gprbuild-doc
Install gprbuild-doc Using apt
Update apt database with apt using the following command.
sudo apt update
After updating apt database, We can install gprbuild-doc using apt by running the following command:
sudo apt -y install gprbuild-doc
Install gprbuild-doc 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 Ubuntu. Update apt database with aptitude using the following command.
sudo aptitude update
After updating apt database, We can install gprbuild-doc using aptitude by running the following command:
sudo aptitude -y install gprbuild-doc
How To Uninstall gprbuild-doc on Ubuntu 22.04
To uninstall only the gprbuild-doc package we can use the following command:
sudo apt-get remove gprbuild-doc
Uninstall gprbuild-doc And Its Dependencies
To uninstall gprbuild-doc and its dependencies that are no longer needed by Ubuntu 22.04, we can use the command below:
sudo apt-get -y autoremove gprbuild-doc
Remove gprbuild-doc Configurations and Data
To remove gprbuild-doc configuration and data from Ubuntu 22.04 we can use the following command:
sudo apt-get -y purge gprbuild-doc
Remove gprbuild-doc configuration, data, and all of its dependencies
We can use the following command to remove gprbuild-doc configurations, data and all of its dependencies, we can use the following command:
sudo apt-get -y autoremove --purge gprbuild-doc
References
Summary
In this tutorial we learn how to install gprbuild-doc package on Ubuntu 22.04 using different package management tools: apt, apt-get and aptitude.
