Version 2.11 last updated on 2025/03/04 18:05:23
To function properly, the CADP software must be registered electronically. The registration procedure is called RFL (Request For License). It is mandatory: the CADP tools will not execute if not registered. The registration procedure has two key benefits:
- It provides us with accurate statistics regarding the usage of CADP, and especially about the relative usage of the various hardware architectures and operating systems within the CADP user community. This allows to discontinue support for an architecture/system when it is no longer used by anyone.
- As the CADP tools are registered for a fixed lapse of time only (usually, one year), they must be upgraded regularly. This eliminates obsolete versions by ensuring that every running installation of CADP in the world is, e.g., at most one-year old. This way, CADP users are certain to benefit from the latest tool improvements and do not have to report bugs that have already been fixed.
Registration involves communication between you and us. It is done in three steps:
- Installator will build a "prototype license file" containing the list of machines on which you want to execute CADP. Installator allows you to inspect the contents of the prototype license file. Prototype license files are easy to recognize: they contain many lines with sequences of X's (e.g., "XXXXXXXXXXXX").
- Installator will send this prototype licence file to the CADP development team, either using HTTPS/HTTP (in which case, the file is uploaded using HTTPS/HTTP to the WWW server "cadp.inria.fr"), or using FTP (in which case, the file is uploaded to the FTP server "ftp.inrialpes.fr"), or using e-mail (in which case, the file is sent to "cadp@inria.fr"; a copy is also sent to you for your information).
- In reply, we will send to you (by e-mail) a valid license file, i.e., the prototype license file in which all sequences of X's have been replaced by letters and numbers (e.g., "d2a503714d5d"). This license file is to be installed on your system according to the explanations given in the e-mail message. Beware not to alter the information contained in the license file, which may prevent the tools from working properly.
IMPORTANT: We recommend that you send the prototype license file immediately after downloading the CADP files. License files are specific to a particular version of CADP. If we issue a new version between the moment you downloaded CADP and the moment you sent the corresponding license file, you will have to download the new version.
During the second step, HTTPS, HTTP, FTP, or e-mail can be used to send the prototype license file.
We recommend to use the default choice proposed by Installator.
However, should you prefer using e-mail, the following indications can be of interest:
- On Unix systems: Installator will attempt to detect if your machine can send e-mail properly. This is done using a heuristic based on the existence of a "sendmail" daemon (although it is not a necessary condition). If Installator gets the impression that your machine is unable to send mail, it will disable the possibility to send the prototype licence file using e-mail.
- On Windows: Installator contains its own mail client and will not use another one (e.g., Outlook Express, Eudora, etc.). The first time you are running Installator, you will be asked for entering the name of your STMP server.
- If Installator cannot send e-mail, it will store the prototype license into a file named "CADP_LICENSE" located in your home directory (or in "/tmp" on Windows if you do not have set the environment variable $HOME specifying your home directory).
Then, you will have to transfer this file to another machine from which you can send it by e-mail to "cadp@inria.fr".
We recommend to send the file as an attachment, rather than plain text; if not, please configure your mail client not to split lines larger than a given amount (e.g., 80 characters); otherwise, we have to join broken lines manually when receiving the prototype license file, which is tedious and error-prone.
- If you do not receive a valid license file from us within one working day, then it is likely that the message has not been sent properly or that it was blocked by spam filters. In such case, you need not to download CADP again: simply invoke Installator again, select the option "Keep the existing version unchanged" and send a new request for license using HTTPS, HTTP, or FTP.
Back to the CADP Installation Page
