[gecode-users] Freeze with MSVC 2015 optimized build

[Filip Konvička]

Hi Christian,

Thanks, this helps.  This isn't urgent so I do not really need a fast 
response.

I was trying to use the Qt installer but Qt does not seem to be visible 
in the cygwin environment.  I'll try the source package as you suggest, 
that sounds better to me.

Have safe travels!

Cheers,
Filip

> Hi,
>
> I am travelling right now and cannot look into the issue right now.
>
> Building with Qt is easy: I just build Qt myself (there is Qt doc how to do
> that) and then use that build by setting the path accordingly (pointing to
> %QTDIR%/base/bin). I do that as I have Qt builds for all platforms we run
> tests on...
>
> Then everything works like a charm.
>
> You need to patient, though, when building Qt.
>
> Cheers
> Christian
>
> --
> Christian Schulte, www.gecode.org/~schulte
> Professor of Computer Science, KTH, cschulte at kth.se
> Expert Researcher, SICS, cschulte at sics.se
>
> -----Original Message-----
> From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
> Of Filip Konvicka
> Sent: Thursday, September 3, 2015 10:50 AM
> To: users at gecode.org
> Subject: [gecode-users] Freeze with MSVC 2015 optimized build
>
> Hi,
>
> I'm having issues with the trunk version of Gecode compiled with MSVC
> 2015 RTM. The "Release" build seems to get stuck on the attached simple test
> case. The "Debug" version of the same (configured with --enable-debug), as
> well as the official 4.4.0 distribution compiled with MSVC 2013 x64 seem to
> work without issue.
>
> In the test case source code there is a constant "8686.9666660000003".
> Changing it to "8686" seems to fix the problem - but even "8686.9" makes dfs
> freeze.  It also seems that it is the branching strategy
> 'FLOAT_VAL_SPLIT_MAX' that is causing problems.
>
> I have built Gecode using my usual setup (the environment is set up for the
> "xp" compiler toolset) - in the 2015 x64 command prompt I run:
>
> set "INCLUDE=%ProgramFiles(x86)%\Microsoft
> SDKs\Windows\7.1A\Include;%INCLUDE%"
> set "PATH=%ProgramFiles(x86)%\Microsoft SDKs\Windows\7.1A\Bin;%PATH%"
> set "LIB=%ProgramFiles(x86)%\Microsoft SDKs\Windows\7.1A\Lib\x64;%LIB%"
> set "CL=/D_USING_V110_SDK71_"
> set "LINK=/SUBSYSTEM:CONSOLE,5.02"
> C:\cygwin\cygwin
> cd /cygdrive/c/build/gecode
> ./configure --disable-examples --disable-qt --disable-gist
> --disable-flatzinc --prefix=`pwd`/x64rel make -j7 install
>
> As you may notice I'm building without Gist so I could not easily check the
> progress of the search; as far as I could tell from the callstack there
> seems to be some kind of loop but I'm not sure how tight it is.
> I'm now trying to get Qt and build with it but so far I'm struggling with
> that (is there a howto on building with Qt on Windows?)
>
> Thanks for any hints,
> Filip
>