How To Install frama-c-emacs on Fedora 36

In this tutorial we learn how to install frama-c-emacs in Fedora 36. frama-c-emacs is Emacs support file for ACSL markup

Introduction

In this tutorial we learn how to install frama-c-emacs on Fedora 36.

What is `frama-c-emacs`

This package contains an Emacs support file for working with C source files marked up with ACSL.

We can use yum or dnf to install frama-c-emacs on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install frama-c-emacs.

Install frama-c-emacs on Fedora 36 Using dnf

Update yum database with dnf using the following command.

sudo dnf makecache --refresh

After updating yum database, We can install frama-c-emacs using dnf by running the following command:

sudo dnf -y install frama-c-emacs

Install frama-c-emacs on Fedora 36 Using yum

Update yum database with yum using the following command.

sudo yum makecache --refresh

After updating yum database, We can install frama-c-emacs using yum by running the following command:

sudo yum -y install frama-c-emacs

How To Uninstall frama-c-emacs on Fedora 36

To uninstall only the frama-c-emacs package we can use the following command:

sudo dnf remove frama-c-emacs

frama-c-emacs Package Contents on Fedora 36

/usr/share/emacs/site-lisp/acsl.el
/usr/share/emacs/site-lisp/acsl.elc
/usr/share/emacs/site-lisp/frama-c-dev.el
/usr/share/emacs/site-lisp/frama-c-dev.elc
/usr/share/emacs/site-lisp/frama-c-init.el
/usr/share/emacs/site-lisp/frama-c-init.elc
/usr/share/emacs/site-lisp/frama-c-recommended.el
/usr/share/emacs/site-lisp/frama-c-recommended.elc
/usr/share/emacs/site-lisp/site-start.d/acsl.el

References

frama-c-emacs website

Summary

In this tutorial we learn how to install frama-c-emacs on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).