Bug #643

Mac OS X 10.8 (Mountain Lion): Automaton visualizations do not work

Added by Axel Belinfante about 8 years ago. Updated about 8 years ago.

Status:ClosedStart date:13 Aug 2012
Priority:NormalDue date:
Assignee:-% Done:


Target version:-


When you try to use the automaton visualization (the anidot component of JTorX) you get the error that dotnew is an invalid command name.


#1 Updated by Axel Belinfante about 8 years ago

The automaton visualizer depends on the presence of the libtool shared library (libltdl.dylib) for the i386 architecture.
This typically was part of the Mac OS X installation (either directly, or after installation of XCode) but, unfortunately,
this is not the case for Mountain Lion.

As workaround, one has to install this library; this can be done relatively easily using homebrew.
See additional dependency for Mac OS X 10.8 (Mountain Lion), for the anidot automaton visualization.

#2 Updated by Axel Belinfante about 8 years ago

  • Status changed from New to Closed
  • % Done changed from 0 to 100

Also available in: Atom PDF