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.