[gecode-users] pdb files

[Guido Tack]

Filip Konvička wrote:
>  Is there a
> recommended way of obtaining the pdb files? I think that it's  
> necessary
> to pass "/DEBUG /PDB:"GecodeKernel.pdb" to link.exe for the release
> build. (This IMHO does not change the dll files themselves, it just
> creates appropriate pdbs and thus enables debugging.)

You can configure Gecode using

./configure --enable-debug CC=cl CXX=cl

(and any other options you want).  Then build it (as detailed in the  
documentation).  This will create the pdb files.

Cheers,
	Guido