CADP Installation Directives


What is CADP?
Home Page Tools Overview Current Status Recent Changes
Installation
How to obtain CADP? Usage Statistics
Documentation
FAQ Tutorials Publications Manual Pages Demo Examples Wikipedia
CADP Community
Newsletters Education & Training Case Studies Research Tools
CADP Resources
VLSAT Benchmarks VLTS Benchmarks Other Resources
About CADP
Contributors

Version 1.151 last updated on 2024/12/16 15:23:10

Welcome to the CADP Installation Page.

This document is intended to persons in charge of installing or upgrading the CADP software, which is distributed electronically using Internet protocols FTP and HTTP.

The installation of CADP can be greatly simplified by the use of Installator, the CADP Installation Assistant. Installator is a user-friendly program which will help you to install or upgrade CADP. It will automatically download and configure the CADP software on your machine(s).

Alternately, there is also a manual installation procedure for CADP (details available from here), which is more complex and, therefore, not recommended unless required by some specific circumstances. In most cases however, the assisted installation procedure should be preferred.

In the sequel, the term "your current machine" refers to the computer on which you are currently reading this Page.

ATTENTION: Use of the CADP software is subject to the terms and conditions defined in a software agreement. For academic users, this agreement is available in French and in English. For non-academic users, a separate agreement must be signed with INRIA beforehand. By going on and downloading software from our site, you signify that there exists a valid software agreement corresponding for your situation, that you have read it and accept its terms and conditions.

1. First, make sure that you are in possession of the password required for downloading the latest version of the CADP. This password should have been sent to you by the CADP development team. If you do not have it, please enquire by sending an e-mail to "cadp@inria.fr".

2. Please notice that the whole CADP software is entirely contained in a single directory. There is no constraint on the location of this directory: you can install it in any place on any filesystem (provided that there is sufficient disk space). At the beginning of the installation, Installator will emit a warning if the disk space is unsufficient.

On a local area network, it is recommended to have only a single installed copy of the CADP software, which is exported and made visible to other machines by means of mounted filesystems (e.g., using NFS).

This installation mode (a single copy of the CADP software shared by several machines) can be used even if the machines have different hardware architectures and/or operating systems. The CADP software has been designed to support several architectures/systems at the same time.

3. On Unix-based systems (namely, SunOS, Linux, and macOS), it is not necessary to be a super-user ("root") to install or upgrade the CADP software. We even recommend that you install it as an ordinary user (not "root"). However, you may also need super-user privilege to install some additional software (e.g., Gnuplot) suitable for using all functionalities of CADP.

On Windows systems, you will need administrator privileges to install both the Cygwin software and the CADP software. In particular, you must install CADP from a Cygwin Terminal window launched with administrative privileges (right-click on the Cygwin icon and select "Run as Administrator").

In any case, if a copy of CADP already exists on your system, you will need to be the owner of the directory containing CADP (including all its files and sub-directories) to perform the upgrade.

4. Before starting the assisted installation procedure using the Installator tool, you should carefully check the following points (you might skip this section if you have previously used Installator successfully on your current machine):

Installator relies on ftp to download the CADP software.

The machine on which you are running Installator should be able to open anonymous FTP connections to our FTP server "ftp.inrialpes.fr". More technical details...
Installator relies on ftp or e-mail to register the CADP software.

To function properly, the CADP software must be registered electronically by sending (using ftp or e-mail) a request for license. More technical details...
To install CADP on several machines, Installator relies on remote access facilities.

If you want to install the CADP software on a single machine (for instance, a laptop, a home computer, etc.), remote access is not needed.

If you want to install the CADP software on several machines (for instance, on a local area network), Installator should be able to access these machines from your current machine. This will require "ssh/scp" or Kerberos "krsh/kcp". More technical details...
Statement of privacy.

We understand that the use of an automated tool such as Installator may raise questions. We are committed to protect your security and privacy. Read our statement of privacy.

5. There are two possible solutions to start the assisted installation procedure:

The first solution is only applicable if you have already a copy of the CADP software installed on your machine:
In this case, determine the directory $CADP in which your copy is installed. Then, type the following shell command:
$CADP/com/installator
This command will launch Installator. Please note that you will be prompted the download password to proceed (see Section 1 above). If this method does not work (probably because your version of CADP is too old), then apply the second solution below.

The second solution is based on the present Web Page and always applicable: it works both for first-time installations and for upgrades of existing copies.

This solution consists in downloading a file named "installator.shar" (approx. 5-6 Mbytes). This file is a self-extracting archive, which will launch Installator, the CADP Installation Assistant.

Even if you plan to install the CADP tools on a network of machines with different architectures, you only have to download a single "installator.shar" file, the one that corresponds to the architecture of your current machine. You need not download as many "installator.shar" files as different architectures on your network.

Note: We recommend downloading "installator.shar" using a shell command (namely, "wget", as shown below, or "curl") rather than using a web browser. Indeed, on Windows, browsers may corrupt the contents of "installator.shar" by adding "carriage-return" characters (also noted CR, control-M, ^M, etc.) that cause problems later with certain shells (e.g., bash); on macOS, the Safari browser insists to save the downloaded file as "installator.shar.sh" rather than "installator.shar".

You can store the "installator.shar" file in any directory on your system, except in the directory in which CADP is installed, if you already have an existing version of CADP. For instance, storing in directory "/tmp" can be a good choice. On Windows, we recommend to store "installator.shar" in "C:\cygsetup".

To download "installator.shar" and launch Installator, please execute the following commands depending on the type of your current machine (see the list of platforms supported by CADP for details):

For a computer (Intel/AMD x86 processor) running 32-bit Linux:
1. IMPORTANT: Please read and apply this page first
2. Type the following shell commands in terminal window:
```
   cd /tmp
   rm -f installator.shar
   wget https://cadp.inria.fr/ftp/cadp/installator.iX86/installator.shar
   /bin/sh installator.shar
```
For a computer (Intel/AMD x64/x86-64 processor) running 64-bit Linux or Windows/WSL:
1. IMPORTANT: Please read and apply this page first
2. Type the following shell commands in terminal window:
```
   cd /tmp
   rm -f installator.shar
   wget https://cadp.inria.fr/ftp/cadp/installator.x64/installator.shar
   /bin/sh installator.shar
```

For a Mac (Intel or ARM processor, 64-bit mode) running macOS 10.15 or higher:
1. IMPORTANT: Please read and apply this page first
2. Launch a Terminal window (from the Finder menu: "Go" -> "Utilities" -> "Terminal")
3. Type the following commands in this window:
```
   cd /tmp
   rm -f installator.shar
   wget "https://cadp.inria.fr/ftp/cadp/installator.mac64/installator.shar"
   /bin/sh installator.shar
```

For a computer (Intel processor) running SunOS (OpenIndiana or Solaris 11):
type the following shell commands:

   export LD_NOVERSION=1     # to be done on Solaris 11 only
   cd /tmp
   rm -f installator.shar
   wget https://cadp.inria.fr/ftp/cadp/installator.sol64/installator.shar
   /bin/sh installator.shar

For a computer (Intel/AMD x64/x86-64 processor) running Windows 8.1, 10, or 11 (without WSL):
1. IMPORTANT: Please read and apply this page first
2. Launch a Cygwin Terminal window with administrator privilege, by right-clicking on the Cygwin icon and selecting "Run as Administrator".
3. Type the following commands in this window:
```
   cd C:/cygsetup
   rm -f installator.shar
   wget https://cadp.inria.fr/ftp/cadp/installator.win64/installator.shar
   /bin/sh installator.shar
```

Anything else: sorry, we do not support this architecture at the moment. See this page for more details on supported architectures.

Then, follow the instructions interactively given by Installator to downloaded the latest version of CADP.

Note: On Windows, if you get many error messages starting with ": command not found...", it is likely that your "installator.shar" file contains extra "carriage-return" characters that have been added during the file tranfer. In such case, you can clean your file by typing either the command:

dos2unix installator.shar

or the command:

tr -d '\r' < installator.shar > /tmp/$$ ; mv /tmp/$$ installator.shar

6. Once you have downloaded the latest version of CADP, please remember that:

All CADP users should customize their startup files as explained in the $CADP/INSTALLATION_2 file.
You will have to install the $CADP/LICENSE file that will be returned to you by e-mail (for detailed information about the licensing scheme, consult the $CADP/INSTALLATION_3 file).

Note: If your machine is running Windows, and if you had to lower some firewall before running Cygwin and/or CADP (this is not so frequent), be careful to reset it back to its original settings at this point.

Back to the CADP Home Page