How To Install robin-map-dev on Ubuntu 20.04
Introduction
In this tutorial we learn how to install robin-map-dev
on Ubuntu 20.04.
What is robin-map-dev
robin-map-dev is:
The robin-map library is a C++ implementation of a fast hash map and hash set using open-addressing and linear robin hood hashing with backward shift deletion to resolve collisions.
Four classes are provided: tsl::robin_map, tsl::robin_set, tsl::robin_pg_map and tsl::robin_pg_set. The first two are faster and use a power of two growth policy, the last two use a prime growth policy instead and are able to cope better with a poor hash function. Use the prime version if there is a chance of repeating patterns in the lower bits of your hash (e.g. you are storing pointers with an identity hash function).
There are three methods to install robin-map-dev
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 robin-map-dev Using apt-get
Update apt database with apt-get
using the following command.
sudo apt-get update
After updating apt database, We can install robin-map-dev
using apt-get
by running the following command:
sudo apt-get -y install robin-map-dev
Install robin-map-dev Using apt
Update apt database with apt
using the following command.
sudo apt update
After updating apt database, We can install robin-map-dev
using apt
by running the following command:
sudo apt -y install robin-map-dev
Install robin-map-dev 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 robin-map-dev
using aptitude
by running the following command:
sudo aptitude -y install robin-map-dev
How To Uninstall robin-map-dev on Ubuntu 20.04
To uninstall only the robin-map-dev
package we can use the following command:
sudo apt-get remove robin-map-dev
Uninstall robin-map-dev And Its Dependencies
To uninstall robin-map-dev
and its dependencies that are no longer needed by Ubuntu 20.04, we can use the command below:
sudo apt-get -y autoremove robin-map-dev
Remove robin-map-dev Configurations and Data
To remove robin-map-dev
configuration and data from Ubuntu 20.04 we can use the following command:
sudo apt-get -y purge robin-map-dev
Remove robin-map-dev configuration, data, and all of its dependencies
We can use the following command to remove robin-map-dev
configurations, data and all of its dependencies, we can use the following command:
sudo apt-get -y autoremove --purge robin-map-dev
References
Summary
In this tutorial we learn how to install robin-map-dev
package on Ubuntu 20.04 using different package management tools: apt
, apt-get
and aptitude
.