2 Linux RPM Packages

There is very little to say about installing Mozart by means of an RPM package apart from the fact that it works as usual. This chapter is mainly intended for persons that never used rpm before, but run a rpm based Linux installation (like RedHat).

Mozart is split up in three binary rpm packages:

Package Name

Content

mozart

The base system. Contains all you need to run demos and develop Oz programs with Mozart.

mozart-doc

The Mozart documentation. Although the package takes up a lot of disk space, you are very much encouraged to install it.

mozart-contrib

Mozart Contributions. Software packages that are not in the core of the system, but might come in handy for applications: regular expression matching, data base interfaces, and so on.

You first have to download the packages you want from http://www.mozart-oz.org/download/view.cgi?action=rpm.

In order to install a rpm package you have to become root:

su -

Then install the mozart package first (it will have a filename similar to mozart-1.0.0.012199-21.i386.rpm):

rpm -Uvh mozart-1.0.0.012199-21.i386.rpm

Similarly, you can install the mozart-doc and mozart-contrib packages.

These packages depend only on other packages that are shipped with the 5.2 (Apollo) release of RedHat, however it also should work with the 5.0 (Hurricane) and 5.1 (Manhattan) releases. In case you come across an error message like the following

failed dependencies:
        libgmp.so.2 is needed by mozart-1.0.0.012199-21
      

you have to install the gmp rpm package. It ships with RedHat 5.2 but not with earlier releases. It is available from:

ftp://ftp.redhat.com/pub/redhat/redhat-5.2/i386/RedHat/RPMS/gmp-2.0.2-5.i386.rpm

or from one of the RedHat mirrors.

If you now open a new shell on your computer, all Mozart related commands are automatically available. Just try

oz

to start the Oz Programming Environment. Note that the commands are available only after you started a new shell (or logged in again).

The toplevel html page for the documentation resides at the following url:

file:///usr/lib/mozart/doc/index.html

The webpage for downloading also gives additional information on which system the rpm packages were build.

After installation you should make your web browser Mozart application enabled, which is described in Appendix B.


Denys Duchier, Leif Kornstaedt, Ralf Scheidhauer and Christian Schulte
Version 1.4.0 (20080702)