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.
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).
Installing the DBM Library
The process of installing DBM library is a standard procedure.
AR=ar ./configure make make install
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