RE: Build fails if gtksourceview is installed

"CUOQ Pascal" <[email protected]> Thu, 18 Feb 2010 14:32:23 +0100
Newsgroups gmane.comp.lang.ocaml.lib.gtk
Message-ID <[email protected]>
> Error: Unbound type constructor SourceViewEnums.source_search_flag
> make[1]: *** [gtkSourceView2.cmo] Error 2

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.

Regards,

Pascal