[MacPorts] #42122: cannot start coqide

[MacPorts]

#42122: cannot start coqide
-----------------------------------+--------------------------------
 Reporter:  hippallium-macports@…  |      Owner:  macports-tickets@…
     Type:  defect                 |     Status:  new
 Priority:  Normal                 |  Milestone:
Component:  ports                  |    Version:  2.2.1
 Keywords:  coqide                 |       Port:  coq
-----------------------------------+--------------------------------
 {{{
 $ sudo port install -v coq +coqide
 --->  Computing dependencies for coq
 --->  Cleaning coq
 --->  Scanning binaries for linking errors: 100.0%
 --->  No broken files found.
 $ coqide

 (process:29213): Gtk-WARNING **: Locale not supported by C library.
         Using the fallback 'C' locale.
 Fatal error: exception Gtk.Error("GtkMain.init: initialization failed
 ml_gtk_init: initialization failed")
 }}}

-- 
Ticket URL: <https://trac.macports.org/ticket/42122>
MacPorts <http://www.macports.org/>
Ports system for OS X