RE: Build fails if gtksourceview is installed

>>> 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.
>
>And thank you for the answer. Unfortunately when I try "make depend" the 
>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