How To Install gprbuild-doc on Debian 11

In this tutorial we learn how to install gprbuild-doc on Debian 11. gprbuild-doc is multi-language extensible build tool (documentation)

Introduction

In this tutorial we learn how to install gprbuild-doc on Debian 11.

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 Debian 11. 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 Debian. 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 Debian 11

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 Debian 11, 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 Debian 11 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

Dependencies

gprbuild-doc have the following dependencies:

References

Summary

In this tutorial we learn how to install gprbuild-doc package on Debian 11 using different package management tools: apt, apt-get and aptitude.