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" To: "Serban Udrea" 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