strange enough, lablgtk2.10.1 won't compile

Krzysztof Worytkiewicz <[email protected]>
Newsgroups gmane.comp.lang.ocaml.lib.gtk,gmane.spam.detected
Message-ID <[email protected]>
Hi,

I get the following error when trying to compile lablgtk 2.10.1

ocamlc.opt   -w s -c gContainer.mli
ocamlc.opt   -w s -c gContainer.ml
The implementation gContainer.ml does not match the interface  
gContainer.cmi:
Values do not match:
   val pack_container :
     create:(([> `container | `widget ] as 'a) Gobject.param list ->
             (#GObj.widget as 'b)) ->
     'a Gobject.param list ->
     ?border_width:int ->
     ?width:int ->
     ?height:int -> ?packing:(GObj.widget -> unit) -> ?show:bool ->  
unit -> 'b
is not included in
   val pack_container :
     create:([> Gtk.container ] Gobject.param list -> (#GObj.widget  
as 'a)) ->
     [> Gtk.container ] Gobject.param list ->
     ?border_width:int ->
     ?width:int ->
     ?height:int -> ?packing:(GObj.widget -> unit) -> ?show:bool ->  
unit -> 'a
make[1]: *** [gContainer.cmo] Error 2
make: *** [world] Error 2

Ok, it's on  a Mac... I got gtk2 (2.12.9)  from Macports, then first  
configured as follows

 > configure --enable-debug CPPFLAGS=-I/opt/local/include LDFLAGS=-L/ 
opt/local/lib

which resulted in

LablGTK configuration:
         threads         system
         GtkGLArea       not found
         libglade        not found
         librsvg         not found
         libgnomecanvas  not found
         libgnomeui      not found
         libpanelapplet  not found
         gtkspell        not found
         gtksourceview   not found

         debug           yes
         C compiler      gcc

I also tried

 > configure --without-gl --without-glade --without-rsvg without- 
gnomecanvas --without-gnomeui --without-panel --without-gtkspell  
CPPFLAGS=-I/opt/local/include LDFLAGS=-L/opt/local/lib

and got the warning

configure: WARNING: you should use --build, --host, --target

and the result

LablGTK configuration:
         threads         system
         GtkGLArea       disabled
         libglade        disabled
         librsvg         disabled
         libgnomecanvas  not found
         libgnomeui      disabled
         libpanelapplet  disabled
         gtkspell        disabled
         gtksourceview   not found

         debug           no
         C compiler      gcc

In both cases the thing won't compile.

It's a bit frustrating, since I don't plan any development, it just  
would be nice to have Coqide on my mac. Any comment welcome.

Cheers,

Krzysztof
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.