Re: Building lablGtk 2.18.0/2.14.2 + gtksourceview2 on Windows

2013/12/05 0:29, Enrico Tassi <[email protected]>:

> Hello, I'm trying to prepare an SDK for compiling Coq on windows.
> Unfortunately I can't use the prebuilt binaries, since they don't
> contain the gtksourceview2 module, and CoqIDE uses it.
> 
> I could not find any warning "gtksourceview broken on windows"
> hence I tried to build the thing by myself.  While the build
> succeeds, the OS refuses to load the dll I obtain.  More precisely
> when I run the lablgtk2 -all script I get
> 
>  Cannot load required shared library dlllablgtksourceview2
>  Reason: ./dlllablgtksourceview2.dll: Access is denied.

This could be a missing dependency.
They are a major pain on windows, as by default you get no information at all.
Did you check with depends.exe?

	Jacques