upgrade to vs2022

sfiruch · May 2, 2022 · 68c0d7a · 68c0d7a
1 parent 0e7662c
commit 68c0d7a
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 3 deletions.
diff --git a/CaDiCaL.vcxproj b/CaDiCaL.vcxproj
@@ -54,19 +54,19 @@
   <PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Debug|x64'" Label="Configuration">
     <ConfigurationType>Application</ConfigurationType>
     <UseDebugLibraries>true</UseDebugLibraries>
-    <PlatformToolset>v142</PlatformToolset>
+    <PlatformToolset>v143</PlatformToolset>
     <EnableASAN>true</EnableASAN>
   </PropertyGroup>
   <PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Release|x64'" Label="Configuration">
     <ConfigurationType>Application</ConfigurationType>
     <UseDebugLibraries>false</UseDebugLibraries>
-    <PlatformToolset>v142</PlatformToolset>
+    <PlatformToolset>v143</PlatformToolset>
     <WholeProgramOptimization>true</WholeProgramOptimization>
   </PropertyGroup>
   <PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Library|x64'" Label="Configuration">
     <ConfigurationType>DynamicLibrary</ConfigurationType>
     <UseDebugLibraries>false</UseDebugLibraries>
-    <PlatformToolset>v142</PlatformToolset>
+    <PlatformToolset>v143</PlatformToolset>
     <WholeProgramOptimization>true</WholeProgramOptimization>
   </PropertyGroup>
   <Import Project="$(VCTargetsPath)\Microsoft.Cpp.props" />
@@ -235,6 +235,7 @@
     <ClCompile Include="src\compact.cpp" />
     <ClCompile Include="src\condition.cpp" />
     <ClCompile Include="src\config.cpp" />
+    <ClCompile Include="src\constrain.cpp" />
     <ClCompile Include="src\contract.cpp" />
     <ClCompile Include="src\cover.cpp" />
     <ClCompile Include="src\decide.cpp" />
@@ -314,6 +315,7 @@
     <ClInclude Include="src\heap.hpp" />
     <ClInclude Include="src\instantiate.hpp" />
     <ClInclude Include="src\internal.hpp" />
+    <ClInclude Include="src\inttypes.hpp" />
     <ClInclude Include="src\ipasir.h" />
     <ClInclude Include="src\level.hpp" />
     <ClInclude Include="src\limit.hpp" />

diff --git a/CaDiCaL.vcxproj.filters b/CaDiCaL.vcxproj.filters
@@ -237,6 +237,9 @@
     <ClCompile Include="src\shrink.cpp">
       <Filter>Source Files</Filter>
     </ClCompile>
+    <ClCompile Include="src\constrain.cpp">
+      <Filter>Source Files</Filter>
+    </ClCompile>
   </ItemGroup>
   <ItemGroup>
     <ClInclude Include="src\ccadical.h">
@@ -401,5 +404,8 @@
     <ClInclude Include="src\reap.hpp">
       <Filter>Header Files</Filter>
     </ClInclude>
+    <ClInclude Include="src\inttypes.hpp">
+      <Filter>Header Files</Filter>
+    </ClInclude>
   </ItemGroup>
 </Project>