CADP Installation on Linux
          CADP (CONSTRUCTION AND ANALYSIS OF DISTRIBUTED PROCESSES)

                            LINUX INSTALLATION

This document is intended to every person planning to use CADP on a computer running Linux (or Microsoft Windows WSL2). If you do not plan to use CADP in such an environment, you can avoid reading this document.

SECTION 1. CADP ON LINUX

For more details about supported architectures, please refer to

       https://cadp.inria.fr/status.html

Linux distributions evolve quite rapidly. In particular, many packages used by the CADP tools are no longer installed by default and need to be installed explicitly.

To install CADP on Linux, it is not necessary to be an administrator: a normal user can install CADP in his/her home directory. However, before installing CADP, the preliminary steps described in this document must be performed from an administrator account, in particular, because one will need to invoke the "sudo" command.

SECTION 2. CENTOS, FEDORA, AND REDHAT DISTRIBUTIONS

We recommand installing the packages listed below by executing the following command from a terminal window: 

          sudo dnf install gcc gnuplot indent make sharutils

In the above list, one can replace "gcc" with "clang".

(This list was updated in February 2024, based on recent CentOS and Fedora distributions. Please, report any change/problem to cadp@inria.fr).

Note: If this Linux distribution runs on top of Windows/WSL2, you should make sure that an X server is available, as explained in:

       https://cadp.inria.fr/windows.html

and that the "xauth" command is available: 
          sudo dnf install xorg-x11-xauth

SECTION 3. DEBIAN, KALI, AND UBUNTU DISTRIBUTIONS

We recommand installing the packages listed below by executing the following commands from a terminal window: 

          sudo apt update
          sudo apt install binutils bzip2 file firefox-esr gcc 
          sudo apt install ghostscript gnuplot groff-base gv indent
          sudo apt install lpr make man sharutils wget zip

In the above list, one can replace "gcc" with "clang", and "firefox-esr" with another web browser. For Ubuntu, one should replace "firefox-esr" with "firefox" (or another web browser). One may also wish to install "evince" to read PDF files conveniently.

(This list was updated in February 2024, based on various Debian, Kali, and Ubuntu distributions. Please, report any change/problem to cadp@inria.fr).

Note: If this Linux distribution runs on top of Windows/WSL2, you should make sure that an X server is available, as explained in:

       https://cadp.inria.fr/windows.html

and that the "xauth" command is available: 
          sudo apt install xauth

SECTION 4. SUSE DISTRIBUTIONS

We recommand installing the packages listed below by executing the following commands from a terminal window: 

          sudo zypper install binutils cups-client firefox gcc indent
          sudo zypper install ghostview gnuplot make sharutils

One may also wish to install "evince" to read PDF files conveniently.

(This list was updated in February 2024 for openSUSE Leap 15.4. Please, report any change/problem to cadp@inria.fr).

Note: If this Linux distribution runs on top of Windows/WSL2, you should make sure that an X server is available, as explained in:

       https://cadp.inria.fr/windows.html

and that the "xauth" command is available: 
          sudo zypper install xauth

or 

          sudo zypper install xorg-x11-xauth

SECTION 5. OTHER LINUX DISTRIBUTIONS

Install the appropriate Linux packages, drawing inspiration from the previous sections. Please, inform cadp@inria.fr so that we can extend this document.

SECTION 6. CHECK YOUR INSTALLATION

Open a terminal window and type the following commands: 

          cd /tmp
          wget -O tst https://cadp.inria.fr/ftp/cadp/tst

If you want to use 32-bit Linux, type the following command: 

          sh ./tst iX86

If you want to use 64-bit Linux, type the following command: 

          sh ./tst x64

Inspect carefully the output of the "tst" command, looking for lines starting with "***", which report major installation problems. Apply the changes suggested until no problem is reported.

You are now ready to install the CADP software itself. Go back to:

       https://cadp.inria.fr/installator/index.html#linux-64-bits

or:

       https://cadp.inria.fr/installator/index.html#linux-32-bits

Written by Hubert Garavel. Last updated on 2024/02/14 18:15:50