[MacPorts] #42122: cannot start coqide
#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
#42122: coq: cannot start coqide ------------------------------------+-------------------------------- Reporter: hippallium-macports@… | Owner: macports-tickets@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.2.1 Resolution: | Keywords: Port: coq | ------------------------------------+-------------------------------- Changes (by macsforever2000@…): * keywords: coqide => -- Ticket URL: <https://trac.macports.org/ticket/42122#comment:1> MacPorts <http://www.macports.org/> Ports system for OS X
#42122: coq: cannot start coqide ------------------------------------+-------------------------------- Reporter: hippallium-macports@… | Owner: macports-tickets@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.2.1 Resolution: | Keywords: Port: coq | ------------------------------------+-------------------------------- Comment (by egall@…): What is your locale, anyways? -- Ticket URL: <https://trac.macports.org/ticket/42122#comment:2> MacPorts <http://www.macports.org/> Ports system for OS X
#42122: coq: cannot start coqide ------------------------------------+-------------------------------- Reporter: hippallium-macports@… | Owner: macports-tickets@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.2.1 Resolution: | Keywords: Port: coq | ------------------------------------+-------------------------------- Comment (by hippallium-macports@…): I use Mac OS X 10.9.1 with an up-to-date Macports distribution. {{{ $ port MacPorts 2.2.1 }}} {{{ $ ocaml -version The OCaml toplevel, version 4.01.0 }}} Replying to [comment:2 egall@…]:
What is your locale, anyways?
{{{ $ locale LANG= LC_COLLATE="C" LC_CTYPE="UTF-8" LC_MESSAGES="C" LC_MONETARY="C" LC_NUMERIC="C" LC_TIME="C" LC_ALL= }}} Any idea what is going on? -- Ticket URL: <https://trac.macports.org/ticket/42122#comment:4> MacPorts <http://www.macports.org/> Ports system for OS X
#42122: coq: cannot start coqide ------------------------------------+-------------------------------- Reporter: hippallium-macports@… | Owner: macports-tickets@… Type: defect | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.2.1 Resolution: | Keywords: Port: coq | ------------------------------------+-------------------------------- Comment (by hippallium-macports@…): The problem was solved by installing XQuartz. The pre-installed X11.app in Applications/Utilities was a fake that said I should install XQuartz. Unfortunately, I was not getting this message when starting coqide. -- Ticket URL: <https://trac.macports.org/ticket/42122#comment:5> MacPorts <http://www.macports.org/> Ports system for OS X
#42122: coq: cannot start coqide ------------------------------------+-------------------------------- Reporter: hippallium-macports@… | Owner: macports-tickets@… Type: defect | Status: closed Priority: Normal | Milestone: Component: ports | Version: 2.2.1 Resolution: worksforme | Keywords: Port: coq | ------------------------------------+-------------------------------- Changes (by khindenburg@…): * status: new => closed * resolution: => worksforme Comment: closing per comment5 and works for me -- Ticket URL: <https://trac.macports.org/ticket/42122#comment:7> MacPorts <http://www.macports.org/> Ports system for OS X
participants (1)
-
MacPorts