Browse Source

Fixed CUDD Project Setup.

Added Windows MSVC2012 x64 binaries for CUDD


Former-commit-id: 19fff9a770
tempestpy_adaptions
PBerger 12 years ago
parent
commit
750c829f7a
  1. 7
      resources/3rdparty/cudd-2.5.0/CUDD_Win32/CUDD_Win32/CUDD_Win32.vcxproj
  2. 11
      resources/3rdparty/cudd-2.5.0/CUDD_Win32/CUDD_Win32/CUDD_Win32.vcxproj.filters
  3. BIN
      resources/3rdparty/cudd-2.5.0/CUDD_Win32/x64/Debug/CUDD_Win32.lib
  4. BIN
      resources/3rdparty/cudd-2.5.0/CUDD_Win32/x64/Release/CUDD_Win32.lib

7
resources/3rdparty/cudd-2.5.0/CUDD_Win32/CUDD_Win32/CUDD_Win32.vcxproj

@ -98,6 +98,7 @@
<WarningLevel>Level3</WarningLevel>
<Optimization>Disabled</Optimization>
<PreprocessorDefinitions>WIN32;__STDC__;_CRT_SECURE_NO_WARNINGS;_DEBUG;_LIB;%(PreprocessorDefinitions)</PreprocessorDefinitions>
<AdditionalIncludeDirectories>$(ProjectDir)include;%(AdditionalIncludeDirectories)</AdditionalIncludeDirectories>
</ClCompile>
<Link>
<SubSystem>Windows</SubSystem>
@ -130,6 +131,7 @@
<FunctionLevelLinking>true</FunctionLevelLinking>
<IntrinsicFunctions>true</IntrinsicFunctions>
<PreprocessorDefinitions>WIN32;__STDC__;_CRT_SECURE_NO_WARNINGS;NDEBUG;_LIB;%(PreprocessorDefinitions)</PreprocessorDefinitions>
<AdditionalIncludeDirectories>$(ProjectDir)include;%(AdditionalIncludeDirectories)</AdditionalIncludeDirectories>
</ClCompile>
<Link>
<SubSystem>Windows</SubSystem>
@ -221,7 +223,7 @@
<ClCompile Include="epd\epd.c" />
<ClCompile Include="mtr\mtrBasic.c" />
<ClCompile Include="mtr\mtrGroup.c" />
<ClCompile Include="obj\cuddObj.cpp" />
<ClCompile Include="obj\cuddObj.cc" />
<ClCompile Include="st\st.c" />
<ClCompile Include="util\cpu_stats.c" />
<ClCompile Include="util\cpu_time.c" />
@ -250,6 +252,9 @@
<ClInclude Include="include\st.h" />
<ClInclude Include="include\util.h" />
</ItemGroup>
<ItemGroup>
<None Include="obj\cuddObj.hh" />
</ItemGroup>
<Import Project="$(VCTargetsPath)\Microsoft.Cpp.targets" />
<ImportGroup Label="ExtensionTargets">
</ImportGroup>

11
resources/3rdparty/cudd-2.5.0/CUDD_Win32/CUDD_Win32/CUDD_Win32.vcxproj.filters

@ -276,9 +276,6 @@
<ClCompile Include="mtr\mtrGroup.c">
<Filter>Source Files\MTR</Filter>
</ClCompile>
<ClCompile Include="obj\cuddObj.cpp">
<Filter>Source Files\OBJ</Filter>
</ClCompile>
<ClCompile Include="util\cpu_stats.c">
<Filter>Source Files\UTIL</Filter>
</ClCompile>
@ -321,6 +318,9 @@
<ClCompile Include="st\st.c">
<Filter>Source Files\ST</Filter>
</ClCompile>
<ClCompile Include="obj\cuddObj.cc">
<Filter>Source Files\OBJ</Filter>
</ClCompile>
</ItemGroup>
<ItemGroup>
<ClInclude Include="include\cudd.h">
@ -357,4 +357,9 @@
<Filter>Header Files</Filter>
</ClInclude>
</ItemGroup>
<ItemGroup>
<None Include="obj\cuddObj.hh">
<Filter>Header Files</Filter>
</None>
</ItemGroup>
</Project>

BIN
resources/3rdparty/cudd-2.5.0/CUDD_Win32/x64/Debug/CUDD_Win32.lib

BIN
resources/3rdparty/cudd-2.5.0/CUDD_Win32/x64/Release/CUDD_Win32.lib

Loading…
Cancel
Save