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 Forum
CADP Resources
VLSAT Benchmarks VLTS Benchmarks Other Resources
About CADP
Contributors

---

Version 1.6 last updated on 2015/08/21 17:01:16

---

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".

Please notice that FTP is also required for the manual installation procedure.

It might be the case that you cannot perform FTP transfers. A frequent reason is that your computer is not properly connected to the Internet. We have also noticed that some industrial companies disallow the use of FTP, either totally, or for external connections only. If you have any doubt about this, you should contact your system administrator.

Installator will warn you if it cannot perform FTP transfers. As a quick preliminary check, you can type the following command:

ftp -n ftp.inrialpes.fr

If this command fails, there can be several explanations:

• If FTP answers with an error message of the form "ftp.inrialpes.fr: unknown host", then your machine is not connected to the Internet, or your domain name server (DNS) is not working properly. Use networking tools such as "ping" or "nslookup" to identify the reason of the problem.
  
  
• If FTP answers with an error message of the form "Service not available, remote server has closed connection", then it is likely that our FTP server refuses connections from your machine. Check that your machine is properly connected to the Internet, or try again later, and contact cadp@inria.fr if the problem persists.
  
  
• Otherwise, it may be the case that your system administrator has chosen to disallow the use of the standard FTP client available with the operating system, or has set up a proxy/firewall that prevents FTP transfers.
  
  To identify the reason, try to use the FTP client built in your Web browser by clicking on the following URL: ftp://ftp.inrialpes.fr/pub/vasy.
  
  If your browser can access this URL, only the standard FTP client is disabled. This should not prevent Installator from working properly because, since October 1999, Installator contains its own FTP client (written in Tcl). It no longer relies on the standard FTP client. This solves all the problems occurring when the standard FTP client is absent or disabled.
  
  If your browser cannot access this URL, check in your browser's configuration options that your FTP proxy is the same as your HTTP proxy.
  
  If this still does not work, contact your system administrator or try to install CADP from another machine that enables FTP transfers.
  
  

---

Back to the CADP Installation Page