Opened 10 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 10 years ago by mf2k (Frank Schima)

Keywords: coqide removed
Summary: cannot start coqidecoq: cannot start coqide

comment:2 Changed 10 years ago by cooljeanius (Eric Gallager)

What is your locale, anyways?

comment:3 Changed 10 years ago by cooljeanius (Eric Gallager)

Cc: egall@… added

Cc Me!

comment:4 in reply to:  2 Changed 10 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 10 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:6 Changed 10 years ago by kurthindenburg (Kurt Hindenburg)

Cc: khindenburg@… added

Cc Me!

comment:7 Changed 10 years ago by kurthindenburg (Kurt Hindenburg)

Resolution: worksforme
Status: newclosed

closing per comment5 and works for me

Note: See TracTickets for help on using tickets.