Libraries and tools installation

Libraries and tools described on Wikilligramme (Leopar, Grew, Dep2pict, …) are packaged with OPAM. We give here informations that are relative to prerequisites, OPAM installation and setup, installation of our tools.

If you have some problem or comments on the installation procedure, please send a mail to Bruno.Guillaume@inria.fr

STEP 1: Prerequisites: install non-ocaml needed packages

LINUX

On Debian/Ubuntu based Linux installation, the following command will install the prerequisites.

aptitude install graphviz pkg-config libwebkitgtk-dev librsvg2-dev libglade2-dev m4 automake librsvg2-bin libgtk2.0-dev python-software-properties

If aptitude is not installed, you may use the command:

apt-get install graphviz pkg-config libwebkitgtk-dev librsvg2-dev libglade2-dev m4 automake librsvg2-bin libgtk2.0-dev python-software-properties

Mac OSX

  1. install XCode
  2. install Xquarz
  3. install MacPorts (on Mac OSX, MacPorts is a fine tool to install Linux related packages)

When MacPorts is installed, the following command will install the prerequisites.

sudo port install graphviz webkit-gtk librsvg libglade2 wget

STEP 2: Install OPAM

LINUX

For Linux, OPAM is not in the standard repository. Please follow instruction given on OPAM installation page.

Mac OSX

On Max OSX, the version 1.2.2 is available through MacPorts:

sudo port install opam

STEP 3: Initialize OPAM

NB: the first command (opam init) takes some times to execute.

opam init --comp 4.04.0                    # Download and install the last version of Ocaml

echo 'eval `opam config env`' >> .profile  # Configuration of environment variables
source .profile

STEP 4: Add the talc local OPAM repository

opam remote add talc "http://talc2.loria.fr/semagramme/opam"

STEP 5: Install the program you want

Use one of the commands below:

opam install dep2pict
opam install leopar
opam install grew

Upgrading

Linux non-ocaml packages

aptitude update
aptitude upgrade

MacPorts non-ocaml packages

sudo port sync
sudo port upgrade

OPAM packages

opam update
opam upgrade