Installation

Download

For the current release, see the home page. For earlier releases, see the release page. Generally, the library package for version VERSION can be downloaded from

http://giraffelibrary.org/releases/VERSION/giraffe-VERSION.tar.gz

Installation steps

  1. Unpack the release archive for version VERSION with the command

    tar -xzf giraffe-VERSION.tar.gz
  2. Change directory to the source directory with the command

    cd giraffe/
  3. Enter the command

    ./configure

    to install to GIRAFFEHOME, if set, otherwise /opt/giraffe. Alternatively, enter the command

    ./configure --prefix installdir

    to install to installdir. For further options, enter the command

    ./configure --help

    If configure finds SML compilers that should be ignored, the following options can be specified as required:

    • --without-mlton

    • --without-polyml

    If configure does not find the required SML compilers or libraries, refer to the section Modifying the configuration below.

  4. Build using the command

    make
  5. Install using the command

    make install

    This command requires permissions to write to the installation directory set in step 3.

  6. Clean up using the command

    make distclean

Modifying the configuration

configure uses the PATH environment variable and pkg-config utility to find dependencies if not specified by command line options. configure searches for:

  • MLton

    1. using directories from command line options and, if not specified,

    2. by searching for mlton in a directory in PATH

  • Poly/ML

    1. using directories from command line options and, if not specified,

    2. using pkg-config and, failing that,

    3. by searching for poly in a directory in PATH

  • supported libraries using pkg-config

If any required dependencies are not found but are installed on your system, the configuration can be modified by one of the following methods to ensure that the above checks find them:

Specifying directories using command line options

The installation directory prefix of SML compilers can be specified by the following configure options:

  • --mlton-prefix dir

  • --polyml-prefix dir

The sub-directories can be overridden using the following options for non-standard installations:

  • --mlton-bindir dir

  • --mlton-includedir dir

  • --polyml-bindir dir

  • --polyml-libdir dir

Changing PATH

PATH can be updated to include the directory containing the required program. For example, to specify Poly/ML installed to /opt/polyml/polyml-5.6, then PATH would be updated as follows:

PATH=/opt/polyml/polyml-5.6/bin:${PATH}

Changing PKG_CONFIG_PATH

PKG_CONFIG_PATH can be updated to include the directory containing the required PC file. For example, to specify Poly/ML installed to /opt/polyml/polyml-5.6, PKG_CONFIG_PATH would be updated as follows:

PKG_CONFIG_PATH=/opt/polyml/polyml-5.6/lib/pkgconfig:${PKG_CONFIG_PATH}

Additional configuration

OS X using Macports

When running a GTK application, the following message may appear:

Dynamic session lookup supported but failed: launchd did not provide a socket path, verify that org.freedesktop.dbus-session.plist is loaded!

This error occurs because D-Bus is not running. Enter the following command to start the session D-Bus:

launchctl load -w /Library/LaunchAgents/org.freedesktop.dbus-session.plist

The session D-Bus will start automatically after subsequent logins. To stop the session D-Bus, enter the command:

launchctl unload -w /Library/LaunchAgents/org.freedesktop.dbus-session.plist

Source: https://trac.macports.org/ticket/44498#comment:6