[gecode-users] pdb files

[Filip Konvička]

> as I am myself developing Gecode on Windows with cygwin and MSVC (same
> version) I can reassure you that enable-debug does work. Also, you just add
> the variables once to your .bashrc file. Or, if you are really lazy: start
> bash and run vcvars.bat in it. That's it.
>   

I'm using VC++ 2005 Standard SP1 and I downloaded a fresh install of
cygwin (the default set + perl, diff and make). As for calling
vcvars.bat directly, I did not try this as my first attempt somehow failed.

I tried again at my home PC, and it did the same thing. VC++ 2005 Pro,
fresh cygwin (default + perl, diff and make), I did just

export PATH="C:\Program Files\Microsoft Visual Studio
8\Common7\IDE:C:\Program Files\Microsoft Visual Studio
8\VC\BIN:C:\Program Files\Microsoft Visual Studio
8\Common7\Tools:C:\Program Files\Microsoft Visual Studio
8\Common7\Tools\bin:C:\Program Files\Microsoft Visual Studio
8\VC\PlatformSDK\bin:C:\Program Files\Microsoft Visual Studio
8\SDK\v2.0\bin:C:\WINNT\Microsoft.NET\Framework\v2.0.50727:C:\Program
Files\Microsoft Visual Studio 8\VC\VCPackages:$PATH"
export INCLUDE='C:\Program Files\Microsoft Visual Studio
8\VC\INCLUDE;C:\Program Files\Microsoft Visual Studio
8\VC\PlatformSDK\include'
export LIB='C:\Program Files\Microsoft Visual Studio
8\VC\ATLMFC\LIB;C:\Program Files\Microsoft Visual Studio
8\VC\LIB;C:\Program Files\Microsoft Visual Studio
8\VC\PlatformSDK\lib;C:\Program Files\Microsoft Visual Studio
8\SDK\v2.0\lib'

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

cl -nologo -EHsc -Zi -LDd MDd gecode/kernel/exception.obj
gecode/kernel/core.obj gecode/kernel/memory-manager.obj \
                -FeGecodeKernel.dll
cl : Command line warning D9024 : unrecognized source file type 'MDd',
object file assumed
LINK : fatal error LNK1181: cannot open input file 'MDd.obj'
make[1]: *** [GecodeKernel.dll] Error 2
make[1]: Leaving directory `/tmp/gecode'
make: *** [compilelib] Error 2

So does it use "/MDd" on your box? With gecode/tags/release-1.3.1? I
found the following in configure:


microsoft)
    cat >>confdefs.h <<\_ACEOF
#define forceinline __forceinline
_ACEOF

  CXXFLAGS="${CXXFLAGS}${CXXFLAGS:+ }-nologo"
  CXXFLAGS="${CXXFLAGS}${CXXFLAGS:+ }-EHsc"
  cat >>confdefs.h <<\_ACEOF
#define GECODE_MEMORY_ALIGNMENT 4
_ACEOF


  if test "${enable_debug:-no}" = "no"; then
        CXXFLAGS="${CXXFLAGS}${CXXFLAGS:+ }-Ox -fp:fast"

        DLLFLAGS="${DLLFLAGS}${DLLFLAGS:+ }${CXXFLAGS} -LD -MD"
  else
        CXXFLAGS="${CXXFLAGS}${CXXFLAGS:+ }-Zi"

        DLLFLAGS="${DLLFLAGS}${DLLFLAGS:+ }${CXXFLAGS} -LDd MDd"
  fi


This is in the svn, so I guess that it must use "MDd" everywhere instead
of "/MDd".
> As it comes to shipping the pdb files, I think that's a good idea. Will do
> for Gecode 2.0.0.
>   

Thanks. I think I've already seen several libraries (even programs)
shipped with pdb files.
> BTW: We intend to release 31. October 2007. The system is ready apart from
> minor cleanups and major platform fiddling (on different platform we have
> different issues). If you are curious, you can already get it from svn.
>   

That's perfect - of course I am curious! Good luck with platform testing.

Cheers,
Filip