<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META content="text/html; charset=iso-8859-1" http-equiv=Content-Type>
<META name=GENERATOR content="MSHTML 9.00.8112.16708">
<STYLE></STYLE>
</HEAD>
<BODY bgColor=#ffffff>
<DIV><FONT size=2 face=Arial>Hi,</FONT></DIV>
<DIV><FONT size=2 face=Arial></FONT> </DIV>
<DIV><FONT size=2 face=Arial>I am trying to use CMake on a open source project
called cryptominisat</FONT></DIV>
<DIV><FONT size=2 face=Arial>( <A
href="https://github.com/msoos/cryptominisat">https://github.com/msoos/cryptominisat</A> )</FONT></DIV>
<DIV><FONT size=2 face=Arial>which is initially developed under Linux, but is
meanwhile partly ported to Windows.</FONT></DIV>
<DIV><FONT size=2 face=Arial>Source can already compiled (with a batch file) and
run, but not yet completely with cmake.</FONT></DIV>
<DIV><FONT size=2 face=Arial></FONT> </DIV>
<DIV><FONT size=2 face=Arial>It is also executed via AppVeyor, steps and log
output see here:</FONT></DIV>
<DIV><FONT size=2 face=Arial></FONT> </DIV>
<DIV><FONT size=2 face=Arial><A
href="https://ci.appveyor.com/project/msoos/cryptominisat">https://ci.appveyor.com/project/msoos/cryptominisat</A></FONT></DIV>
<DIV><FONT size=2 face=Arial></FONT> </DIV>
<DIV><FONT size=2 face=Arial>Mainly it is doing the following steps, also tried
it on my local machine with downloaded and locally installed</FONT></DIV>
<DIV><FONT size=2 face=Arial>cmake 3.5.1 and Visual Studio 2015 in a x64 native
tools command prompt:</FONT></DIV>
<DIV><FONT size=2 face=Arial>(replaced the %P% with c:\abc and I don't used
logger DLL)</FONT></DIV>
<DIV><FONT size=2 face=Arial></FONT> </DIV>
<DIV><SPAN class=fg-11>cmake -G "Visual Studio 14 2015 Win64"
-DCMAKE_INSTALL_PREFIX=c:\abc</SPAN></DIV>
<DIV><SPAN class=fg-11><SPAN class=fg-11>msbuild
"INSTALL.vcxproj"</SPAN></SPAN></DIV>
<DIV><SPAN class=fg-11><SPAN class=fg-11></SPAN></SPAN> </DIV>
<DIV><SPAN class=fg-11><SPAN class=fg-11><FONT size=2 face=Arial>(I work in
<FONT size=3>C:\projects\cryptominisat like
AppVeyor)</FONT></FONT></SPAN></SPAN></DIV>
<DIV><SPAN class=fg-11><SPAN class=fg-11></SPAN></SPAN> </DIV>
<DIV><SPAN class=fg-11><SPAN class=fg-11><FONT size=2 face=Arial>cmake seems to
run, generating the *.vcxproj.</FONT></SPAN></SPAN></DIV>
<DIV><SPAN class=fg-11><SPAN class=fg-11><FONT size=2 face=Arial>During run
these libs are generated: temp_lib_norm.lib and
temp_lib_ipasir.lib</FONT></SPAN></SPAN></DIV>
<DIV><SPAN class=fg-11><SPAN class=fg-11><FONT size=2 face=Arial>Then there is a
exe, but it always tell me </FONT></SPAN></SPAN><SPAN class=fg-11><SPAN
class=fg-11><FONT size=2 face=Arial>it can't find</FONT></SPAN></SPAN></DIV>
<DIV><SPAN class=fg-11><SPAN class=fg-11><FONT size=2
face=Arial></FONT></SPAN></SPAN> </DIV>
<DIV><SPAN class=fg-11><SPAN
class=fg-11><SPAN>..\lib\Release\cryptominisat4.lib</SPAN></SPAN></SPAN></DIV>
<DIV><SPAN class=fg-11><SPAN class=fg-11><SPAN><FONT size=2
face=Arial></FONT></SPAN></SPAN></SPAN> </DIV>
<DIV><SPAN class=fg-11><SPAN class=fg-11><SPAN><FONT size=2 face=Arial>(using a
different name then previous generated libs)</FONT></SPAN></SPAN></SPAN></DIV>
<DIV><SPAN class=fg-11><SPAN class=fg-11><SPAN><FONT size=2
face=Arial></FONT></SPAN></SPAN></SPAN> </DIV>
<DIV><SPAN class=fg-11><SPAN class=fg-11><SPAN><FONT size=2 face=Arial>It is
doing</FONT></SPAN></SPAN></SPAN></DIV>
<DIV><SPAN class=fg-11><SPAN class=fg-11><SPAN><FONT size=2
face=Arial></FONT></SPAN></SPAN></SPAN> </DIV>
<DIV><SPAN class=fg-11><SPAN class=fg-11><SPAN>
<DIV id=L341 title=00:01:17><SPAN>Lib:</SPAN></DIV>
<DIV id=L342 title=00:01:17><A href=""></A><SPAN>C:\Program Files
(x86)\Microsoft Visual Studio 14.0\VC\bin\x86_amd64\Lib.exe
/OUT:"temp_lib_norm.dir\Release\temp_lib_norm.lib" /NOLOGO /MACHINE:X64
/machine:x64 temp_lib_norm.dir\Release\cnf.obj</SPAN></DIV>
<DIV title=00:01:17><SPAN></SPAN> </DIV>
<DIV title=00:01:17><SPAN><FONT size=2 face=Arial>-> This lib going to <FONT
size=3>"temp_lib_norm.dir"</FONT></FONT></SPAN></DIV>
<DIV title=00:01:17><SPAN></SPAN> </DIV>
<DIV title=00:01:17><SPAN>
<DIV id=L397 title=00:01:17><SPAN>Link:</SPAN></DIV>
<DIV id=L398 title=00:01:17><A href=""></A><SPAN>C:\Program Files
(x86)\Microsoft Visual Studio 14.0\VC\bin\x86_amd64\link.exe /ERRORREPORT:QUEUE
/OUT:"C:\projects\cryptominisat\cmsat4-src\Release\cryptominisat4.dll"
/INCREMENTAL:NO /NOLOGO kernel32.lib user32.lib gdi32.lib winspool.lib
shell32.lib ole</SPAN><SPAN>32.lib oleaut32.lib uuid.lib comdlg32.lib
advapi32.lib /MANIFEST /MANIFESTUAC:"level='asInvoker' uiAccess='false'"
/manifest:embed
/PDB:"C:/projects/cryptominisat/cmsat4-src/Release/cryptominisat4.pdb"
/SUBSYSTEM:CONSOLE /TLBID:1 /DYNAMICBASE /NXCOMPAT
/IMPLIB:"C:/projects/cryptominisat/lib/Release/cryptominisat4.lib" /MACHINE:X64
/machine:x64 /DLL
"C:\projects\cryptominisat\cmsat4-src\temp_lib_norm.dir\Release\cnf.obj"</SPAN></DIV>
<DIV title=00:01:17><SPAN></SPAN> </DIV>
<DIV title=00:01:17><SPAN><FONT size=2 face=Arial>-> This DLL going to "<FONT
size=3>C:\projects\cryptominisat\cmsat4-src\Release\cryptominisat4.dll"</FONT></FONT></SPAN></DIV>
<DIV title=00:01:17><SPAN><FONT face=Arial></FONT></SPAN> </DIV>
<DIV title=00:01:17><SPAN>
<DIV id=L513 title=00:01:20><SPAN>Link:</SPAN></DIV>
<DIV id=L514 title=00:01:20><A
href="https://ci.appveyor.com/project/msoos/cryptominisat/build/1.0.39#L514"></A><SPAN>C:\Program
Files (x86)\Microsoft Visual Studio 14.0\VC\bin\x86_amd64\link.exe
/ERRORREPORT:QUEUE
/OUT:"C:\projects\cryptominisat\cmsat4-src\Release\cryptominisat4ipasir.dll"
/INCREMENTAL:NO /NOLOGO kernel32.lib user32.lib gdi32.lib winspool.lib
shell32.l</SPAN><SPAN>ib ole32.lib oleaut32.lib uuid.lib comdlg32.lib
advapi32.lib ..\lib\Release\cryptominisat4.lib /MANIFEST
/MANIFESTUAC:"level='asInvoker' uiAccess='false'" /manifest:embed
/PDB:"C:/projects/cryptominisat/cmsat4-src/Release/cryptominisat4ipasir.pdb"
/SUBSYSTEM:CONSOLE /TLBID:1 /DYNAMICBASE /NXCOMPAT
/IMPLIB:"C:/projects/cryptominisat/lib/Release/cryptominisat4ipasir.lib"
/MACHINE:X64 /machine:x64 /DLL
"C:\projects\cryptominisat\cmsat4-src\temp_lib_ipasir.dir\Release\ipasir.obj"</SPAN></DIV>
<DIV id=L515 title=00:01:20><A
href="https://ci.appveyor.com/project/msoos/cryptominisat/build/1.0.39#L515"></A><SPAN>LINK
: fatal error LNK1181: cannot open input file
'..\lib\Release\cryptominisat4.lib'
[C:\projects\cryptominisat\cmsat4-src\libcryptominisat4ipasir.vcxproj]</SPAN></DIV>
<DIV title=00:01:20><SPAN></SPAN> </DIV>
<DIV title=00:01:20><SPAN><FONT size=2 face=Arial>-> This time "<FONT
size=3>..\lib\Release\cryptominisat4.lib"</FONT></FONT></SPAN></DIV>
<DIV title=00:01:20><SPAN><FONT face=Arial></FONT></SPAN> </DIV>
<DIV title=00:01:20><SPAN><FONT face=Arial>There seems to be a mixture of lib
pathes and names, but interesting thing is, it seems to be working under
Linux.</FONT></SPAN></DIV>
<DIV title=00:01:20><SPAN><FONT face=Arial></FONT></SPAN> </DIV>
<DIV title=00:01:20><SPAN><FONT face=Arial>I see that temp_lib_norm.lib is built
in "cmsat4-src\temp_lib_norm.dir",</FONT></SPAN></DIV>
<DIV title=00:01:20><SPAN><FONT face=Arial>but there seems to be no
cryptominisat4.lib at all in these directories.</FONT></SPAN></DIV>
<DIV title=00:01:20><SPAN><FONT face=Arial></FONT></SPAN> </DIV><SPAN>
<DIV title=00:01:20>
<TABLE class="highlight tab-size js-file-line-container" data-tab-size="8">
<TBODY>
<TR>
<TD id=LC151 class="blob-code blob-code-inner js-file-line">
<DIV><SPAN class=pl-c1><FONT size=2 face=Arial>I think this is the code
for copying one lib to another:</FONT></SPAN></DIV>
<DIV><SPAN class=pl-c1><FONT size=2 face=Arial>( complete file see
</FONT></SPAN><SPAN class=pl-c1><FONT size=2 face=Arial><A
href="https://github.com/msoos/cryptominisat/blob/master/src/CMakeLists.txt">https://github.com/msoos/cryptominisat/blob/master/src/CMakeLists.txt</A> line
151 )</FONT></SPAN></DIV>
<DIV><SPAN class=pl-c1><FONT size=2 face=Arial></FONT></SPAN> </DIV>
<DIV><SPAN class=pl-c1>add_library</SPAN>(libcryptominisat4 <SPAN
class=pl-k>SHARED</SPAN> <SPAN
class=pl-smi>${cms_lib_objects_norm}</SPAN>)</DIV></TD></TR>
<TR></TR></TBODY></TABLE></DIV>
<DIV title=00:01:20>
<TABLE class="highlight tab-size js-file-line-container" data-tab-size="8">
<TBODY>
<TR>
<TR>
<TD id=LC152 class="blob-code blob-code-inner js-file-line"><SPAN
class=pl-c1>target_link_libraries</SPAN>(libcryptominisat4</TD></TR>
<TR></TR></TR>
<TR>
<TR>
<TD id=LC153 class="blob-code blob-code-inner js-file-line"><SPAN
class=pl-k>LINK_PUBLIC</SPAN> <SPAN
class=pl-smi>${cryptoms_lib_link_libs}</SPAN></TD></TR>
<TR></TR></TR></TBODY></TABLE></DIV>
<DIV title=00:01:20>
<TABLE class="highlight tab-size js-file-line-container" data-tab-size="8">
<TBODY>
<TR>
<TD id=LC154
class="blob-code blob-code-inner js-file-line">)</TD></TR></TBODY></TABLE></DIV>
<DIV title=00:01:20><FONT size=2 face=Arial></FONT> </DIV>
<DIV title=00:01:20><FONT size=2 face=Arial>whereas</FONT></DIV>
<DIV title=00:01:20><FONT size=2 face=Arial></FONT> </DIV>
<DIV title=00:01:20><SPAN class=pl-c1>list</SPAN>(<SPAN class=pl-k>APPEND</SPAN>
cms_lib_objects_norm $<<SPAN
class=pl-k>TARGET_OBJECTS</SPAN>:temp_lib_norm>)</DIV>
<DIV title=00:01:20> </DIV>
<DIV title=00:01:20><FONT size=2 face=Arial>and </FONT></DIV>
<DIV title=00:01:20><FONT size=2 face=Arial></FONT> </DIV>
<DIV title=00:01:20>
<TABLE class="highlight tab-size js-file-line-container" data-tab-size="8">
<TBODY>
<TR>
<TD id=LC101 class="blob-code blob-code-inner js-file-line"><SPAN
class=pl-c1>add_library</SPAN>(temp_lib_norm <SPAN
class=pl-k>OBJECT</SPAN></TD></TR>
<TR></TR></TBODY></TABLE>
<TABLE class="highlight tab-size js-file-line-container" data-tab-size="8">
<TBODY>
<TR>
<TR>
<TD id=LC102 class="blob-code blob-code-inner js-file-line"><SPAN
class=pl-smi>${cryptoms_lib_files}</SPAN></TD></TR>
<TR></TR></TR>
<TR>
<TR>
<TD id=LC103
class="blob-code blob-code-inner js-file-line">cryptominisat.cpp</TD></TR>
<TR></TR></TR></TBODY></TABLE>
<TABLE class="highlight tab-size js-file-line-container" data-tab-size="8">
<TBODY>
<TR>
<TD id=LC104
class="blob-code blob-code-inner js-file-line">)</TD></TR></TBODY></TABLE></DIV>
<DIV title=00:01:20><FONT size=2 face=Arial></FONT> </DIV>
<DIV title=00:01:20><FONT size=2 face=Arial>and </FONT></DIV>
<DIV title=00:01:20><FONT size=2 face=Arial></FONT> </DIV>
<DIV title=00:01:20>
<TABLE class="highlight tab-size js-file-line-container" data-tab-size="8">
<TBODY>
<TR>
<TD id=LC25 class="blob-code blob-code-inner js-file-line"><SPAN
class=pl-c1>set</SPAN>(cryptoms_lib_files</TD></TR>
<TR></TR></TBODY></TABLE>
<TABLE class="highlight tab-size js-file-line-container" data-tab-size="8">
<TBODY>
<TR>
<TR>
<TD id=LC26 class="blob-code blob-code-inner js-file-line">cnf.cpp</TD></TR>
<TR></TR></TR>
<TR>
<TR>
<TD id=LC27
class="blob-code blob-code-inner js-file-line">propengine.cpp</TD></TR>
<TR></TR></TR></TBODY></TABLE>
<TABLE class="highlight tab-size js-file-line-container" data-tab-size="8">
<TBODY>
<TR>
<TD id=LC28
class="blob-code blob-code-inner js-file-line">varreplacer.cpp</TD></TR></TBODY></TABLE></DIV>
<DIV title=00:01:20><FONT size=2 face=Arial>...</FONT></DIV>
<DIV title=00:01:20><FONT size=2 face=Arial>)</FONT></DIV></SPAN>
<DIV title=00:01:20><SPAN><FONT face=Arial></FONT></SPAN> </DIV>
<DIV title=00:01:20><SPAN><FONT face=Arial>I am fairly new to cmake, just bought
"mastering cmake" a few days ago and reading and trying a lot,
</FONT></SPAN></DIV>
<DIV title=00:01:20><SPAN><FONT face=Arial>but still don't know how to debug
this and </FONT></SPAN><SPAN><FONT face=Arial>where to start at all.
</FONT></SPAN></DIV>
<DIV title=00:01:20><SPAN><FONT face=Arial></FONT></SPAN> </DIV>
<DIV title=00:01:20><SPAN><FONT face=Arial>Can someone give me a hint? Where is
the correct place to store this *.lib and/or *.dll?</FONT></SPAN></DIV>
<DIV title=00:01:20><SPAN><FONT face=Arial>Are there some which fail under
Windows (with Visual Studio 2015) but work on Linux?</FONT></SPAN></DIV>
<DIV title=00:01:20><SPAN><FONT face=Arial></FONT></SPAN> </DIV>
<DIV title=00:01:20><SPAN><FONT face=Arial>Many thanks for
helping!</FONT></SPAN></DIV>
<DIV title=00:01:20><SPAN><FONT face=Arial></FONT></SPAN> </DIV>
<DIV title=00:01:20><SPAN><FONT face=Arial>Best regards,</FONT></SPAN></DIV>
<DIV title=00:01:20><SPAN><FONT face=Arial></FONT></SPAN> </DIV>
<DIV title=00:01:20><SPAN><FONT face=Arial>Martin</FONT></SPAN></DIV>
<DIV title=00:01:20><SPAN><FONT
face=Arial></FONT></SPAN> </DIV></SPAN></DIV>
<DIV title=00:01:17><SPAN><FONT size=2 face=Arial></FONT></SPAN> </DIV>
<DIV title=00:01:17><SPAN><FONT size=2
face=Arial></FONT></SPAN> </DIV></SPAN></DIV></SPAN></SPAN></SPAN></DIV>
<DIV><SPAN class=fg-11><SPAN class=fg-11><SPAN><FONT size=2
face=Arial></FONT></SPAN></SPAN></SPAN> </DIV>
<DIV><FONT size=2 face=Arial></FONT> </DIV></BODY></HTML>