Delivered-To: garrigue at math.nagoya-u.ac.jp
Delivered-To: lablgtk at yquem.inria.fr
Content-class: urn:content-classes:message
MIME-Version: 1.0
Content-Type: text/plain;
	charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
Subject: RE: [Lablgtk] Build fails if gtksourceview is installed
Date: Tue, 2 Mar 2010 04:06:34 +0100
Message-ID: <5EFD4D7AC6265F4D9D3A849CEA92191902182A3E at LAXA.intra.cea.fr>
Thread-Topic: [Lablgtk] Build fails if gtksourceview is installed
Thread-Index: Acq5ibJTzCCdvpT4Sg6KkIdokznaLwAK6sy5
References: <4B7D3644.9050806 at skmail.ikp.physik.tu-darmstadt.de>
	<5EFD4D7AC6265F4D9D3A849CEA92191902182A3C@LAXA.intra.cea.fr>
	<4B8C376D.2090706@skmail.ikp.physik.tu-darmstadt.de>
From: "CUOQ Pascal" <Pascal.CUOQ at cea.fr>
To: "Serban Udrea" <serban.udrea at skmail.ikp.physik.tu-darmstadt.de>
Cc: lablgtk at yquem.inria.fr
Status: U


>>> Error: Unbound type constructor SourceViewEnums.source_search_flag
>>> make[1]: *** [gtkSourceView2.cmo] Error 2
>>=20
>> I got the same error message recently. I alternated "make depend"
>> and "make" and the compilation somehow continued (and I have not
>> noticed any ill-effects yet). I have not had time to investigate =
further.
>
>And thank you for the answer. Unfortunately when I try "make depend" =
the=20
>result is also an error:
>
>File "gtkSignal.ml", line 69, characters 0-4:

By "alternating" I meant that after "make" having failed, I tried "make =
depend"
which failed but then "make" somehow succeeded at the next round.
I did not go as far as changing the source, which was the correct =
solution
proposed by others on this list, and somehow the library ended up being =
built.

Pascal

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