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 (no query protocol specified; no policy for yquem.inria.fr)
Delivered-To: lablgtk at yquem.inria.fr
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma;
	h=domainkey-signature:mime-version:received:in-reply-to:references
	:date:message-id:subject:from:to:content-type;
	bh=JEmKTxzwQt6TnujATFygul/uPrPOCTCa0vZIYlUgeuk=;
	b=ZUHyPbifphPRM1BhtIMRhFvhSHin2vph8slr56WfiEavHpME2ZK8VR9qk82PombicV
	mcTrRwWvzR4jgka3z6WltUyn1A9e+Yej+feUommCEQLkd+uoLbaeTOcT/rlVqeQQbn+7
	DxzjbHEbu0f4hysyPB6m2CiollpdvBwZT/RJA=
DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma;
	h=mime-version:in-reply-to:references:date:message-id:subject:from:to
	:content-type;
	b=ggxhi3kLRjoLa72Rm/p0yJkajUi5RkWcOF8K/P7N6h4mhGMbzfrPJd1heWXxWocqPC
	e4PGa+Qkz9gdnOWs4+/HzMq7jbMLSjtw/Jawq2SlTr4VHhMsMiygLosnmpdOfTESK8rk
	EmuHa83Nfhbl1JDU3m+cW84pe1NwxxZI80Blg=
MIME-Version: 1.0
In-Reply-To: <5EFD4D7AC6265F4D9D3A849CEA92191902182A3C at LAXA.intra.cea.fr>
References: <4B7D3644.9050806 at skmail.ikp.physik.tu-darmstadt.de>
	<5EFD4D7AC6265F4D9D3A849CEA92191902182A3C@LAXA.intra.cea.fr>
Date: Thu, 18 Feb 2010 15:40:53 +0100
Message-ID: <666572261002180640v66e02e19h6ad8c89a60d046a5 at mail.gmail.com>
Subject: Re: [Lablgtk] Build fails if gtksourceview is installed
From: Adrien <camaradetux at gmail.com>
To: lablgtk at yquem.inria.fr
Content-Type: text/plain; charset=ISO-8859-1
Status: U

I got the same error too a few days ago.

The fix was pretty simple (from memory):
  sed -i -e 's/SourceViewEnums\./SourceViewEnums2/' src/*.ml

I don't guarantee it but that's what I've done iirc.

 ---

Adrien Nader

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