Delivered-To: lablgtk at yquem.inria.fr Mime-Version: 1.0 (Apple Message framework v753) Message-Id: <834E9304-A2B6-440A-90EF-A23F5F27777D at mac.com> Content-Transfer-Encoding: 7bit From: Krzysztof Worytkiewicz Date: Sun, 20 Apr 2008 02:46:37 +0200 To: lablgtk at yquem.inria.fr Subject: [Lablgtk] strange enough, lablgtk2.10.1 won't compile Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed Content-Length: 2514 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 _______________________________________________ Lablgtk mailing list Lablgtk@yquem.inria.fr http://yquem.inria.fr/cgi-bin/mailman/listinfo/lablgtk