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
_______________________________________________
Gecode users mailing list
[EMAIL PROTECTED]
https://www.gecode.org/mailman/listinfo/gecode-users
