How To Install erlang-dialyzer on CentOS 8

erlang-dialyzer is A DIscrepancy AnaLYZer for ERlang programs

Introduction

In this tutorial we learn how to install erlang-dialyzer on CentOS 8.

What is `erlang-dialyzer`

A DIscrepancy AnaLYZer for ERlang programs.

We can use yum or dnf to install erlang-dialyzer on CentOS 8. In this tutorial we discuss both methods but you only need to choose one of method to install erlang-dialyzer.

Install erlang-dialyzer on CentOS 8 Using dnf

Update yum database with dnf using the following command.

sudo dnf makecache --refresh

The output should look something like this:

CentOS Linux 8 - AppStream                                       43 kB/s | 4.3 kB     00:00    
CentOS Linux 8 - BaseOS                                          65 kB/s | 3.9 kB     00:00    
CentOS Linux 8 - ContinuousRelease                               43 kB/s | 3.0 kB     00:00    
CentOS Linux 8 - Extras                                          23 kB/s | 1.5 kB     00:00    
CentOS Linux 8 - FastTrack                                       40 kB/s | 3.0 kB     00:00    
CentOS Linux 8 - HighAvailability                                36 kB/s | 3.9 kB     00:00    
CentOS Linux 8 - Plus                                            24 kB/s | 1.5 kB     00:00    
CentOS Linux 8 - PowerTools                                      50 kB/s | 4.3 kB     00:00    
Extra Packages for Enterprise Linux Modular 8 - x86_64           13 kB/s | 9.2 kB     00:00    
Extra Packages for Enterprise Linux 8 - x86_64                   24 kB/s | 8.5 kB     00:00    
Metadata cache created.

After updating yum database, We can install erlang-dialyzer using dnf by running the following command:

sudo dnf -y install erlang-dialyzer

Install erlang-dialyzer on CentOS 8 Using yum

Update yum database with yum using the following command.

sudo yum makecache --refresh

The output should look something like this:

CentOS Linux 8 - AppStream                                       43 kB/s | 4.3 kB     00:00    
CentOS Linux 8 - BaseOS                                          65 kB/s | 3.9 kB     00:00    
CentOS Linux 8 - ContinuousRelease                               43 kB/s | 3.0 kB     00:00    
CentOS Linux 8 - Extras                                          23 kB/s | 1.5 kB     00:00    
CentOS Linux 8 - FastTrack                                       40 kB/s | 3.0 kB     00:00    
CentOS Linux 8 - HighAvailability                                36 kB/s | 3.9 kB     00:00    
CentOS Linux 8 - Plus                                            24 kB/s | 1.5 kB     00:00    
CentOS Linux 8 - PowerTools                                      50 kB/s | 4.3 kB     00:00    
Extra Packages for Enterprise Linux Modular 8 - x86_64           13 kB/s | 9.2 kB     00:00    
Extra Packages for Enterprise Linux 8 - x86_64                   24 kB/s | 8.5 kB     00:00    
Metadata cache created.

After updating yum database, We can install erlang-dialyzer using yum by running the following command:

sudo yum -y install erlang-dialyzer

How To Uninstall erlang-dialyzer on CentOS 8

To uninstall only the erlang-dialyzer package we can use the following command:

sudo dnf remove erlang-dialyzer

erlang-dialyzer Package Contents on CentOS 8

/usr/bin/dialyzer
/usr/bin/typer
/usr/lib/.build-id
/usr/lib/.build-id/42
/usr/lib/.build-id/42/bf2c6d75c2f86bcd7ec6ecdabb9d7ed9822696
/usr/lib/.build-id/a1
/usr/lib/.build-id/a1/b961ef3bab11a2b842ca133b7eddf5b42ce164
/usr/lib64/erlang/bin/dialyzer
/usr/lib64/erlang/bin/typer
/usr/lib64/erlang/erts-10.4.4/bin/dialyzer
/usr/lib64/erlang/erts-10.4.4/bin/typer
/usr/lib64/erlang/lib/dialyzer-4.0.3
/usr/lib64/erlang/lib/dialyzer-4.0.3/ebin
/usr/lib64/erlang/lib/dialyzer-4.0.3/ebin/dialyzer.app
/usr/lib64/erlang/lib/dialyzer-4.0.3/ebin/dialyzer.appup
/usr/lib64/erlang/lib/dialyzer-4.0.3/ebin/dialyzer.beam
/usr/lib64/erlang/lib/dialyzer-4.0.3/ebin/dialyzer_analysis_callgraph.beam
/usr/lib64/erlang/lib/dialyzer-4.0.3/ebin/dialyzer_behaviours.beam
/usr/lib64/erlang/lib/dialyzer-4.0.3/ebin/dialyzer_callgraph.beam
/usr/lib64/erlang/lib/dialyzer-4.0.3/ebin/dialyzer_cl.beam
/usr/lib64/erlang/lib/dialyzer-4.0.3/ebin/dialyzer_cl_parse.beam
/usr/lib64/erlang/lib/dialyzer-4.0.3/ebin/dialyzer_codeserver.beam
/usr/lib64/erlang/lib/dialyzer-4.0.3/ebin/dialyzer_contracts.beam
/usr/lib64/erlang/lib/dialyzer-4.0.3/ebin/dialyzer_coordinator.beam
/usr/lib64/erlang/lib/dialyzer-4.0.3/ebin/dialyzer_dataflow.beam
/usr/lib64/erlang/lib/dialyzer-4.0.3/ebin/dialyzer_dep.beam
/usr/lib64/erlang/lib/dialyzer-4.0.3/ebin/dialyzer_explanation.beam
/usr/lib64/erlang/lib/dialyzer-4.0.3/ebin/dialyzer_gui_wx.beam
/usr/lib64/erlang/lib/dialyzer-4.0.3/ebin/dialyzer_options.beam
/usr/lib64/erlang/lib/dialyzer-4.0.3/ebin/dialyzer_plt.beam
/usr/lib64/erlang/lib/dialyzer-4.0.3/ebin/dialyzer_race_data_server.beam
/usr/lib64/erlang/lib/dialyzer-4.0.3/ebin/dialyzer_races.beam
/usr/lib64/erlang/lib/dialyzer-4.0.3/ebin/dialyzer_succ_typings.beam
/usr/lib64/erlang/lib/dialyzer-4.0.3/ebin/dialyzer_timing.beam
/usr/lib64/erlang/lib/dialyzer-4.0.3/ebin/dialyzer_typesig.beam
/usr/lib64/erlang/lib/dialyzer-4.0.3/ebin/dialyzer_utils.beam
/usr/lib64/erlang/lib/dialyzer-4.0.3/ebin/dialyzer_worker.beam
/usr/lib64/erlang/lib/dialyzer-4.0.3/ebin/typer.beam
/usr/lib64/erlang/lib/dialyzer-4.0.3/src
/usr/lib64/erlang/lib/dialyzer-4.0.3/src/dialyzer.hrl
/usr/lib64/erlang/lib/dialyzer-4.0.3/src/dialyzer_gui_wx.hrl

References

erlang-dialyzer website

Summary

In this tutorial we learn how to install erlang-dialyzer on CentOS 8 using yum and dnf.