How To Install libckit-smlnj on Ubuntu 18.04

In this tutorial we learn how to install libckit-smlnj on Ubuntu 18.04. libckit-smlnj is SML library for parsing and type-checking C programs

Introduction

In this tutorial we learn how to install libckit-smlnj on Ubuntu 18.04.

What is libckit-smlnj

libckit-smlnj is:

ckit is a C front end written in SML that translates C source code (after preprocessing) into abstract syntax represented as a set of SML datatypes. It also provides facilities for extending the C language with additional syntactic constructs, which can be useful for implementing “C-like” domain-specific languages as well as C dialects.

There are three methods to install libckit-smlnj on Ubuntu 18.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 libckit-smlnj Using apt-get

Update apt database with apt-get using the following command.

sudo apt-get update

After updating apt database, We can install libckit-smlnj using apt-get by running the following command:

sudo apt-get -y install libckit-smlnj

Install libckit-smlnj Using apt

Update apt database with apt using the following command.

sudo apt update

After updating apt database, We can install libckit-smlnj using apt by running the following command:

sudo apt -y install libckit-smlnj

Install libckit-smlnj 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 libckit-smlnj using aptitude by running the following command:

sudo aptitude -y install libckit-smlnj

How To Uninstall libckit-smlnj on Ubuntu 18.04

To uninstall only the libckit-smlnj package we can use the following command:

sudo apt-get remove libckit-smlnj

Uninstall libckit-smlnj And Its Dependencies

To uninstall libckit-smlnj and its dependencies that are no longer needed by Ubuntu 18.04, we can use the command below:

sudo apt-get -y autoremove libckit-smlnj

Remove libckit-smlnj Configurations and Data

To remove libckit-smlnj configuration and data from Ubuntu 18.04 we can use the following command:

sudo apt-get -y purge libckit-smlnj

Remove libckit-smlnj configuration, data, and all of its dependencies

We can use the following command to remove libckit-smlnj configurations, data and all of its dependencies, we can use the following command:

sudo apt-get -y autoremove --purge libckit-smlnj

References

Summary

In this tutorial we learn how to install libckit-smlnj package on Ubuntu 18.04 using different package management tools: apt, apt-get and aptitude.