Re: Build fails if gtksourceview is installed

Adrien <[email protected]> Thu, 18 Feb 2010 15:40:53 +0100
Newsgroups gmane.comp.lang.ocaml.lib.gtk
Message-ID <[email protected]>
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