How To Install gnat-10 on Ubuntu 20.04
Introduction
In this tutorial we learn how to install gnat-10
on Ubuntu 20.04.
What is gnat-10
gnat-10 is:
GNAT is a compiler for the Ada programming language. It produces optimized code on platforms supported by the GNU Compiler Collection (GCC).
This package provides the compiler, tools and runtime library that handles exceptions using the default zero-cost mechanism.
Package: gnat-10 Architecture: amd64 Version: 10-20200411-0ubuntu1 Priority: optional Section: universe/devel Source: gcc-10 Origin: Ubuntu Maintainer: Ubuntu Core developers [email protected] Original-Maintainer: Debian GCC Maintainers [email protected] Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 79259 Depends: gcc-10-base (= 10-20200411-0ubuntu1), gcc-10 (>= 10), libgnat-10 (>= 10-20200411-0ubuntu1), libc6-dev (>= 2.13-0ubuntu6), libc6 (>= 2.28), libgmp10 (>= 2:5.0.1~), libgnat-util10 (>= 10-20200411-0ubuntu1), libisl22 (>= 0.15), libmpc3, libmpfr6 (>= 3.1.3), libzstd1 (>= 1.3.2), zlib1g (>= 1:1.1.4) Suggests: gnat-10-doc, ada-reference-manual-2012, gnat-10-sjlj Conflicts: gnat-4.9, gnat-5, gnat-6, gnat-7, gnat-8, gnat-9 Breaks: gnat-4.9-base (= 4.9-20140330-1) Replaces: gnat-4.9-base (= 4.9-20140330-1) Filename: pool/universe/g/gcc-10/gnat-10_10-20200411-0ubuntu1_amd64.deb Size: 14740352 MD5sum: b9136a56c8ef9ac2461cb2042935cd17 SHA1: d031adf18a971137abaab0f5adf58a8b16323f58 SHA256: d0d6b0cce91de77b579f367b1b9d24af7dddf8cc889933ca81357db0902a79b5 Homepage: http://gcc.gnu.org/ Description-en: GNU Ada compiler GNAT is a compiler for the Ada programming language. It produces optimized code on platforms supported by the GNU Compiler Collection (GCC).
This package provides the compiler, tools and runtime library that handles exceptions using the default zero-cost mechanism.
There are three methods to install gnat-10
on Ubuntu 20.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 gnat-10 Using apt-get
Update apt database with apt-get
using the following command.
sudo apt-get update
After updating apt database, We can install gnat-10
using apt-get
by running the following command:
sudo apt-get -y install gnat-10
Install gnat-10 Using apt
Update apt database with apt
using the following command.
sudo apt update
After updating apt database, We can install gnat-10
using apt
by running the following command:
sudo apt -y install gnat-10
Install gnat-10 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 gnat-10
using aptitude
by running the following command:
sudo aptitude -y install gnat-10
How To Uninstall gnat-10 on Ubuntu 20.04
To uninstall only the gnat-10
package we can use the following command:
sudo apt-get remove gnat-10
Uninstall gnat-10 And Its Dependencies
To uninstall gnat-10
and its dependencies that are no longer needed by Ubuntu 20.04, we can use the command below:
sudo apt-get -y autoremove gnat-10
Remove gnat-10 Configurations and Data
To remove gnat-10
configuration and data from Ubuntu 20.04 we can use the following command:
sudo apt-get -y purge gnat-10
Remove gnat-10 configuration, data, and all of its dependencies
We can use the following command to remove gnat-10
configurations, data and all of its dependencies, we can use the following command:
sudo apt-get -y autoremove --purge gnat-10
References
Summary
In this tutorial we learn how to install gnat-10
package on Ubuntu 20.04 using different package management tools: apt
, apt-get
and aptitude
.