List of unsuccessful MacPorts installations

So far, I have gathered a list of installations from MacPorts which have failed me.

• Maude 2.6: Fortunately, the developers of Maude have a precompiled version on their website.
• Ipe 7.1.1: An update with MacPorts to version 7.1.2 works.
• Boost 1.48.0_4: Fortunately, an old version 1.48.0_2 works for me. Update: An update of MacPorts to version 2.0.4 installs Boost 1.49.0_0 successfully.
• rb-gnome, rb-poppler, poppler, gconf: This set of modules is newly discovered when I try to install UPPAAL DBM Ruby bindings. No solution yet.

Installing UPPAAL DBM library, the Ruby binding, and the Python binding on MacOSX

This is another build / configure post here. Another MacPorts failure in building the rb-gnome module (which in turn depends on poppler, failing for me).

Here is a partial list of modules that MacPorts has failed me.

Installing the DBM Library

The process of installing DBM library is a standard procedure.

AR=ar ./configure
make
make install

The AR=ar fixes a weird error of the script which reports rucs: command not found (see this discussion). Googling “rucs” gets almost nothing, except that it thinks I am searching “rush.”

Installing the Ruby Binding

Compiling the Ruby binding files are also straightforward following the README file. Only one error reports “error: cast from ‘void*’ to ‘int’ loses precision”. Change int in Line 317 of the udbm.cpp file to intptr_t solves the problem, according to this StackOverflow discussion.

Unfortunately, the graphical features requires the rb-gnome module, which the official website refers to MacPorts, which fails.

Nonetheless, the binding seems to be working pretty well without the capability of doing the GUI.

Installing the Python Binding

This installation has been the smoothest. First grab the source of SWIG, compile and install, then build and install the Python Binding according to the README file.