Delivered-To: garrigue at math.nagoya-u.ac.jp
Authentication-Results: mailhost.math.nagoya-u.ac.jp sender=lablgtk-bounces at yquem.inria.fr; domainkey=neutral (domain does not match address; no policy for yquem.inria.fr)
Delivered-To: lablgtk at yquem.inria.fr
DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=math.nagoya-u.ac.jp; h=
	date:message-id:to:cc:subject:from:in-reply-to:references
	:mime-version:content-type:content-transfer-encoding; s=alpha;
	bh=G0gLpYStdxXDBJWvK2aCSbHP7S0=; b=UDzyjgx83NRUAzPJFfymZ4Gmrfrh
	EXg1S97kU/FF6F48k5sqB4WEReeGx2f25W059zrEO5GUHAKDSebMt17475fCkBds
	pnee+XNg3VlB+xugnbYTOXJOLU/9JbtfL6k99GGcj/OLaVHP7L3jMHZPZiGUVb1C
	ymUI5+gsYX0TbQo=
DomainKey-Signature: a=rsa-sha1;
	h=Received:Date:Message-Id:To:Cc:Subject:From:In-Reply-To:References:X-Mailer:Mime-Version:Content-Type:Content-Transfer-Encoding;
	b=hV3RG/bMt2NkWgsvCpWTKYZJ8O1g9p7kkqtWQeYY64qu2TpXPnp1ayajHZz1fS5fpYfQyu6FSdQcPtc7nVnl4wLfNWU9HFp+YYZAAf5e++2pLN6c2o4yg7R/HpvJcBFLr5dRe+zNC7P5aNoLigEMptMlvOInfCXEek18D+HAK78=;
	c=nofws; d=math.nagoya-u.ac.jp; q=dns; s=alpha
Date: Tue, 02 Mar 2010 10:11:47 +0900 (JST)
Message-Id: <20100302.101147.91363569.garrigue at math.nagoya-u.ac.jp>
To: serban.udrea at skmail.ikp.physik.tu-darmstadt.de
Subject: Re: [Lablgtk] Build fails if gtksourceview is installed
From: Jacques Garrigue <garrigue at math.nagoya-u.ac.jp>
In-Reply-To: <4B7D3644.9050806 at skmail.ikp.physik.tu-darmstadt.de>
References: <4B7D3644.9050806 at skmail.ikp.physik.tu-darmstadt.de>
Mime-Version: 1.0
Content-Type: Text/Plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Cc: lablgtk at yquem.inria.fr
Status: U

From: Serban Udrea <serban.udrea@skmail.ikp.physik.tu-darmstadt.de>
> I tried to build lablgtk 2.14.0 with gtksourceview 2.6.0 on a
> slackware 13.0 box and the build failed with:
> 
> [...]
> 
> ocamlc.opt   -w s -c gtkSourceView2.ml
> File "gtkSourceView2.ml", line 192, characters 34-68:
> Error: Unbound type constructor SourceViewEnums.source_search_flag
> make[1]: *** [gtkSourceView2.cmo] Error 2
> make[1]: Leaving directory `/tmp/SBo/lablgtk-2.14.0/src'
> make: *** [world] Error 2

Sorry for the very slow answer:
there is a small bug in lablgtk-2.14.0, that GSourceView2 refers to
SourceViewEnums instead of SourceView2Enums.
You just have to fix it by hand in gSourceView2.ml and
gSourceView2.mli.

Should release a fixed version soon (with other additions).

Jacques

_______________________________________________
Lablgtk mailing list
Lablgtk@yquem.inria.fr
http://yquem.inria.fr/cgi-bin/mailman/listinfo/lablgtk