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

Only Mac OS X versions greater or equal to 10.4 are currently supported.

Only the versions of CADP greater or equal to version 2007-c can run on Mac with Intel processors.

Only the versions of CADP greater or equal to version 2007-k can run on MacOS X 10.5 "Leopard".

Only the versions of CADP greater or equal to version 2008-f can run on MacOS X 10.6 "Snow Leopard" (which is only available on Intel processors.)

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 Leopard install DVD (the "X11user.pkg" package is located in directory "System/Installation/Packages").

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

You have two options.

FIRST OPTION: INSTALLING GHOSTSCRIPT/GHOSTVIEW USING FINK

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:

SECOND OPTION: INSTALLING GHOSTSCRIPT/GHOSTVIEW USING MACPORTS

Macports can be installed as described on its Web site:

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

Then, you should modify:

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.

Then, you should modify:

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. For instance, a Google search will return several locations, such as, for instance:

       http://idisk.mac.com/yhonda-Public/ghostscript.dmg

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

FIRST OPTION: INSTALLING GNUPLOT USING FINK

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.

SECOND OPTION: INSTALLING GNUPLOT USING MACPORTS

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. 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 2011. Last updated on 11/10/11 17:17:52

Back to the VASY Home Page