How To Install libghc-clash-lib-prof on Debian 12

Learn how to install libghc-clash-lib-prof on Debian 12 with this tutorial. libghc-clash-lib-prof is Functional hardware description language - library; profiling libraries

Introduction

In this tutorial we learn how to install libghc-clash-lib-prof on Debian 12.

What is libghc-clash-lib-prof

libghc-clash-lib-prof is:

Clash is a functional hardware description language that borrows both its syntax and semantics from the functional programming language Haskell. The Clash compiler transforms these high-level descriptions to low-level synthesizable VHDL, Verilog, or SystemVerilog.

Features of Clash:

  • Strongly typed, but with a very high degree of type inference, enabling both safe and fast prototyping using concise descriptions.

  • Interactive REPL: load your designs in an interpreter and easily test all your component without needing to setup a test bench.

  • Higher-order functions, with type inference, result in designs that are fully parametric by default.

  • Synchronous sequential circuit design based on streams of values, called @Signal@s, lead to natural descriptions of feedback loops.

  • Support for multiple clock domains, with type safe clock domain crossing.

This package provides:

  • The CoreHW internal language: SystemF + Letrec + Case-decomposition

  • The normalisation process that brings CoreHW in a normal form that can be converted to a netlist

  • Blackbox/Primitive Handling

Front-ends (for: parsing, typecheck, etc.) are provided by separate packages:

  • <https://hackage.haskell.org/package/clash-ghc GHC/Haskell Frontend>

  • <https://github.com/christiaanb/Idris-dev Idris Frontend>

Prelude library: https://hackage.haskell.org/package/clash-prelude

This package provides a library for the Haskell programming language, compiled for profiling. See http://www.haskell.org/ for more information on Haskell.

There are three methods to install libghc-clash-lib-prof on Debian 12. We can use apt-get, apt and aptitude. In the following sections we will describe each method. You can choose one of them.

Install libghc-clash-lib-prof Using apt-get

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

sudo apt-get update

After updating apt database, We can install libghc-clash-lib-prof using apt-get by running the following command:

sudo apt-get -y install libghc-clash-lib-prof

Install libghc-clash-lib-prof Using apt

Update apt database with apt using the following command.

sudo apt update

After updating apt database, We can install libghc-clash-lib-prof using apt by running the following command:

sudo apt -y install libghc-clash-lib-prof

Install libghc-clash-lib-prof 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 libghc-clash-lib-prof using aptitude by running the following command:

sudo aptitude -y install libghc-clash-lib-prof

How To Uninstall libghc-clash-lib-prof on Debian 12

To uninstall only the libghc-clash-lib-prof package we can use the following command:

sudo apt-get remove libghc-clash-lib-prof

Uninstall libghc-clash-lib-prof And Its Dependencies

To uninstall libghc-clash-lib-prof and its dependencies that are no longer needed by Debian 12, we can use the command below:

sudo apt-get -y autoremove libghc-clash-lib-prof

Remove libghc-clash-lib-prof Configurations and Data

To remove libghc-clash-lib-prof configuration and data from Debian 12 we can use the following command:

sudo apt-get -y purge libghc-clash-lib-prof

Remove libghc-clash-lib-prof configuration, data, and all of its dependencies

We can use the following command to remove libghc-clash-lib-prof configurations, data and all of its dependencies, we can use the following command:

sudo apt-get -y autoremove --purge libghc-clash-lib-prof

Dependencies

libghc-clash-lib-prof have the following dependencies:

References

Summary

In this tutorial we learn how to install libghc-clash-lib-prof package on Debian 12 using different package management tools: apt, apt-get and aptitude.