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, [email protected] Expert Researcher, SICS, [email protected] -----Original Message----- From: [email protected] [mailto:[email protected]] On Behalf Of Filip Konvicka Sent: Thursday, September 3, 2015 10:50 AM To: [email protected] 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 _______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
