Opened 11 years ago
Closed 10 years ago
#42122 closed defect (worksforme)
coq: cannot start coqide
| Reported by: | hippallium-macports@… | Owned by: | macports-tickets@… |
|---|---|---|---|
| Priority: | Normal | Milestone: | |
| Component: | ports | Version: | 2.2.1 |
| Keywords: | Cc: | cooljeanius (Eric Gallager), kurthindenburg (Kurt Hindenburg) | |
| Port: | coq |
Description
$ 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")
Change History (7)
comment:1 Changed 11 years ago by mf2k (Frank Schima)
| Keywords: | coqide removed |
|---|---|
| Summary: | cannot start coqide → coq: cannot start coqide |
comment:2 follow-up: 4 Changed 11 years ago by cooljeanius (Eric Gallager)
comment:4 Changed 11 years ago 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 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?
comment:5 Changed 11 years ago 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.
comment:7 Changed 10 years ago by kurthindenburg (Kurt Hindenburg)
| Resolution: | → worksforme |
|---|---|
| Status: | new → closed |
closing per comment5 and works for me
Note: See
TracTickets for help on using
tickets.
What is your locale, anyways?