CADP Installation on Mac OS X
          CADP (CONSTRUCTION AND ANALYSIS OF DISTRIBUTED PROCESSES)

                            MAC OS X INSTALLATION

This document is intended to every person planning to use CADP on a computer (PowerPC or Intel) running Apple Mac OS X. If you do not plan to use CADP in an Apple Mac OS X environment, you can avoid reading this file.

SECTION 1. CADP FOR MAC OS X

The following Mac OS X versions are currently supported by CADP 2013-*:

SECTION 2. INSTALLING X11 FOR MAC OS X

This depends on your version of Mac OS X:

Before installing CADP on your Mac OS X system, you have to install a X11 server.

If you already have an installed X11 server (like XDarwin or X11 for Max OS X), you can skip reading the present section of this file.

X11 for Mac OS X is an implementation of the X Window System that makes it possible to run X11-based applications under Mac OS X. To install X11 for Mac OS X on your system, follow the instructions below:

You can install X11 for Mac OS X directly from the installation DVD called "Mac OS X Install Disc 1" included in your system distribution.

Insert the "Mac OS X Install Disc 1" DVD in your DVD-ROM drive. Go to the /System/Installation/Packages directory and install the "X11User.pkg" package.

Normally, X11 is installed by default. If not, you can find X11 in the install DVD (e.g., in Mac OS X 10.5, the "X11user.pkg" package is located in directory "System/Installation/Packages").

X11 is no longer included in Mac OS X by default but can be installed via the open source XQuartz project at

       http://xquartz.macosforge.org/landing.

After installing XQuartz, we advise to run it manually to make sure that the installation is complete and functional. This can be done by typing: 
          open -a XQuartz

SECTION 3. INSTALLING DEVELOPMENT TOOLS FOR MAC OS X

This depends on your version of Mac OS X:

You can download Xcode from

       http://developer.apple.com/xcode/

You have to download version 3.1.4 of Xcode. Version 3.2 and later can not be installed on these versions of Mac OS X.

If you do not have an Apple ID, you can create a free account from

       http://developer.apple.com/programs/register/

On the installation CD for Snow Leopard, there is a directory named "Optional Installs". Open this directory and click on the Xcode icon.

During the installation you should select the "UNIX Dev Support" option so that development tools install themselves in /usr as usual. If the "UNIX Dev Support" option is absent (which indicates an old version of Xcode), you should modify the location where Xcode will be installed by changing this from "/Developer" to "/".

SECTION 4. INSTALLING A POSTSCRIPT VIEWER FOR MAC OS X

The BCG_DRAW tool requires a PostScript interpreter and a PostScript viewer in order to display the BCG graphs. The installation of such an interpreter and viewer depends on your version of Mac OS X:

We recommend the use of the Ghostscript interpreter and Ghostview viewer.

If you already have a working version of Ghostscript/Ghostview installed on your machine, we recommend that you keep it unchanged.

Otherwise you have to install the Mac OS X version of the Ghostscript and Ghostview tools. Please note that Ghostview requires X11 to display PostScript files. Thus it is mandatory to have X11 properly installed (see above the instructions about installing X11 for Mac OS X).

To install Ghostscript/Ghostview, you have two options: using Fink or using Macports.

The Fink installer can be downloaded from the web site:

       http://www.finkproject.org

Once Fink is installed, you can use it to get Ghostscript/Ghostscript: 

          sudo fink install ghostscript
          sudo fink install gv

These commands install ghostscript and gv in the directory /sw/bin. You must add this directory to your $PATH variable; this can be done by invoking specific script-shells provided by Fink, namely: 

          /sw/bin/init.sh      for sh, bash, etc.
          /sw/bin/init.csh     for csh, tcsh, etc.

Macports can be installed as described on its Web site:

       http://www.macports.org/install.php

Then, you should modify your $PATH variable by adding the two directories: 

          /opt/local/bin and /opt/local/sbin

and your $MANPATH variable by adding the directory: 

          /opt/local/share/man

Finally, you can install Ghostscript/Ghostscript as follows: 

          sudo port install ghostscript
          sudo port install gv

As regards the PostScript viewer, CADP will use by default the builtin viewer (named "Preview") that Apple provides as part of its operating system. Therefore, it is not required to install another viewer, such as the Ghostview software.

As regards the PostScript interpreter, we recommend using Ghostscript.

If you already have a working version of Ghostscript installed on your machine, we recommend that you keep it unchanged.

Otherwise, we recommend that you install Ghostscript using MacPorts, which can be installed as described on its Web site:

       http://www.macports.org/install.php

Note 1: As of March 2010, we observed that, at the very end of its installation, MacPorts emits an message stating that an error occurred and the installation did not complete properly. However, despite this error message, it seems that MacPorts works properly. To avoid the issue, you should modify your $PATH variable by adding the two directories: 

            /opt/local/bin and /opt/local/sbin

and your $MANPATH variable by adding the directory: 

            /opt/local/share/man

Finally, you can install Ghostscript as follows: 

          sudo port install ghostscript

Note 2: As of March 2010, we cannot recommend the use of Fink for MacOS X 10.6 "Snow Leopard", because Fink does not seem to be ready for this operating system: the binary packages for Fink itself and other packages such as Ghostscript are not available, so that extensive recompilations will take place, in the course of which the users will be prompted with many questions interactively. This may change in the future, in such case Fink would become easier and faster than MacPorts, which always require source code recompilations.

Note 3: Another solution could be to install Ghostscript from a ".dmg" package found on the Web. Such a package can be found by searching for words "ghostscript" and "dmg" in a Web search engine.

Note: In any case, unless things change as time passes, you should not set the $CADP_PS_VIEWER and $CADP_PS_INTERPRETER environment variables yourself, since the CADP tools should work with the default Ghostscript/Ghostview installation. If this is not the case, please notify cadp@inria.fr

SECTION 5. INSTALLING GNUPLOT FOR MAC OS X

The Gnuplot plotting utility is required to run the full demo examples 30, 31 and 39 (it is used to visualize measurements produced by the CADP tools for performance evaluation).

Once Fink is installed (see above how to download and install Fink), you can use it to get Gnuplot: 

          sudo fink install gnuplot

This command installs gnuplot in the directory /sw/bin. You must add this directory to your $PATH variable.

Once Macports is installed (see above how to download and install Macports), you can use it to get Gnuplot: 

          sudo port install gnuplot

SECTION 6. ASSIGNING A STATIC HOSTNAME TO YOUR MACHINE

By default, Mac OS X does not give your machine a static hostname, so that the name of the machine is dynamically assigned by the router and may change depending on the network to which the machine is connected. When the machine is disconnected from the network, its name changes to get a ".local" extension.

Other operating systems (Solaris, Linux, Windows, etc.) use static hostnames by default, and this is also required for using CADP seamlessly.

Consult the contents of the file /etc/hostconfig and search for a line starting with "HOSTNAME=".

If there is a line of the form "HOSTNAME=xxx", where xxx denotes an alphanumeric string possibly containing dots (for instance, "jupiter" or "jupiter.univ.edu"), then your machine has already been assigned the static hostname xxx. You can skip to the next section of this document.

If there is a line of the form "HOSTNAME=-AUTOMATIC-", then edit (with super-user privilege) the file /etc/hostconfig, and replace this line with "HOSTNAME=xxx", where xxx denotes the hostname that you want to give to your machine.

If there is no such line starting with "HOSTNAME=", then edit (with super-user privilege) the file /etc/hostconfig, and insert a new line of the form "HOSTNAME=xxx", where xxx denotes the hostname that you want to give to your machine.

After modifying /etc/hostconfig, renew the DHCP lease by executing the following command: 

          sudo ipconfig set en0 DHCP

Alternately, you can reboot the machine.

Type the following command: 

          hostname

when the machine is connected to the network and when it is disconnected. If both answers differ (and especially, if the answer returned when the machine is disconnected has with a ".local" extension), then your machine has a dynamic hostname.

To change it, choose the static hostname you want to assign to your machine. It must be an alphanumeric string possibly containing dots (for instance, "jupiter" or "jupiter.univ.edu").

Then, type the following commands: 

          sudo hostname xxx
          sudo scutil --set HostName xxx
          sudo scutil --set LocalHostName xxx
          # typing the following command is optional
          sudo scutil --set ComputerName xxx

SECTION 7. CONTINUE THE INSTALLATION OF CADP

Now, you are ready to install the CADP software itself. Go back to the page:

       http://cadp.inria.fr/installator/index.html#macOS

H. Garavel (C) INRIA Rhone-Alpes 2013. Last updated on 2013/04/12 13:13:41

Back to the CADP Home Page