Samuel Mimram wrote:
Hello,
This a bit unexpected since coq and coqide are both compiled in
bytecode on ia64 (because of ocaml native compiler bugs).
What version of ocaml-base-nox do you have? Is coqtop running fine?
Yes, coqtop runs fine - I'm sure the problem is over with the GTK/glib
end of things. ocaml-base-nox is 3.08.1-1. I'll email you the strace -
here is what gdb has to say about things:
#0 0x200000000095fee0 in g_type_fundamental ()
from /usr/lib/libgobject-2.0.so.0
#1 0x4000000000079fc0 in ml_G_TYPE_FUNDAMENTAL ()
#2 0x40000000000c48a0 in caml_interprete ()
#3 0x0000000000000000 in ?? ()