1<?xml version="1.0" encoding="utf-8"?>
2<Project DefaultTargets="Build" ToolsVersion="15.0" xmlns="http://schemas.microsoft.com/developer/msbuild/2003">
3  <ItemGroup Label="ProjectConfigurations">
4    <ProjectConfiguration Include="Debug|Win32">
5      <Configuration>Debug</Configuration>
6      <Platform>Win32</Platform>
7    </ProjectConfiguration>
8    <ProjectConfiguration Include="Debug|x64">
9      <Configuration>Debug</Configuration>
10      <Platform>x64</Platform>
11    </ProjectConfiguration>
12    <ProjectConfiguration Include="Release|Win32">
13      <Configuration>Release</Configuration>
14      <Platform>Win32</Platform>
15    </ProjectConfiguration>
16    <ProjectConfiguration Include="Release|x64">
17      <Configuration>Release</Configuration>
18      <Platform>x64</Platform>
19    </ProjectConfiguration>
20  </ItemGroup>
21  <PropertyGroup Label="Globals">
22    <ProjectGuid>{46CF2D25-6A36-4189-B59C-E4815388E554}</ProjectGuid>
23    <Keyword>Win32Proj</Keyword>
24    <RootNamespace>mbedTLS</RootNamespace>
25  </PropertyGroup>
26  <Import Project="$(VCTargetsPath)\Microsoft.Cpp.Default.props" />
27  <PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'" Label="Configuration">
28    <ConfigurationType>StaticLibrary</ConfigurationType>
29    <UseDebugLibraries>true</UseDebugLibraries>
30    <CharacterSet>Unicode</CharacterSet>
31    <PlatformToolset>v141</PlatformToolset>
32  </PropertyGroup>
33  <PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Debug|x64'" Label="Configuration">
34    <ConfigurationType>StaticLibrary</ConfigurationType>
35    <UseDebugLibraries>true</UseDebugLibraries>
36    <CharacterSet>Unicode</CharacterSet>
37    <PlatformToolset>v141</PlatformToolset>
38  </PropertyGroup>
39  <PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Release|Win32'" Label="Configuration">
40    <ConfigurationType>StaticLibrary</ConfigurationType>
41    <UseDebugLibraries>false</UseDebugLibraries>
42    <WholeProgramOptimization>true</WholeProgramOptimization>
43    <CharacterSet>Unicode</CharacterSet>
44    <PlatformToolset>v141</PlatformToolset>
45  </PropertyGroup>
46  <PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Release|x64'" Label="Configuration">
47    <ConfigurationType>StaticLibrary</ConfigurationType>
48    <UseDebugLibraries>false</UseDebugLibraries>
49    <WholeProgramOptimization>true</WholeProgramOptimization>
50    <CharacterSet>Unicode</CharacterSet>
51    <PlatformToolset>v141</PlatformToolset>
52  </PropertyGroup>
53  <Import Project="$(VCTargetsPath)\Microsoft.Cpp.props" />
54  <ImportGroup Label="ExtensionSettings">
55  </ImportGroup>
56  <ImportGroup Label="PropertySheets" Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'">
57    <Import Project="$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props" Condition="exists('$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props')" Label="LocalAppDataPlatform" />
58  </ImportGroup>
59  <ImportGroup Condition="'$(Configuration)|$(Platform)'=='Debug|x64'" Label="PropertySheets">
60    <Import Project="$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props" Condition="exists('$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props')" Label="LocalAppDataPlatform" />
61  </ImportGroup>
62  <ImportGroup Label="PropertySheets" Condition="'$(Configuration)|$(Platform)'=='Release|Win32'">
63    <Import Project="$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props" Condition="exists('$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props')" Label="LocalAppDataPlatform" />
64  </ImportGroup>
65  <ImportGroup Condition="'$(Configuration)|$(Platform)'=='Release|x64'" Label="PropertySheets">
66    <Import Project="$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props" Condition="exists('$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props')" Label="LocalAppDataPlatform" />
67  </ImportGroup>
68  <PropertyGroup Label="UserMacros" />
69  <PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'">
70    <LinkIncremental>true</LinkIncremental>
71    <IntDir>$(Configuration)\$(TargetName)\</IntDir>
72  </PropertyGroup>
73  <PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Debug|x64'">
74    <LinkIncremental>true</LinkIncremental>
75    <IntDir>$(Configuration)\$(TargetName)\</IntDir>
76  </PropertyGroup>
77  <PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Release|Win32'">
78    <LinkIncremental>false</LinkIncremental>
79    <IntDir>$(Configuration)\$(TargetName)\</IntDir>
80  </PropertyGroup>
81  <PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Release|x64'">
82    <LinkIncremental>false</LinkIncremental>
83    <IntDir>$(Configuration)\$(TargetName)\</IntDir>
84  </PropertyGroup>
85  <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'">
86    <ClCompile>
87      <WarningLevel>Level3</WarningLevel>
88      <Optimization>Disabled</Optimization>
89      <PreprocessorDefinitions>_USRDLL;MBEDTLS_EXPORTS;KRML_VERIFIED_UINT128;%(PreprocessorDefinitions)</PreprocessorDefinitions>
90      <AdditionalIncludeDirectories>
91INCLUDE_DIRECTORIES
92      </AdditionalIncludeDirectories>
93      <CompileAs>CompileAsC</CompileAs>
94    </ClCompile>
95    <Link>
96      <SubSystem>Windows</SubSystem>
97      <GenerateDebugInformation>true</GenerateDebugInformation>
98      <AdditionalDependencies>bcrypt.lib;%(AdditionalDependencies)</AdditionalDependencies>
99    </Link>
100  </ItemDefinitionGroup>
101  <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Debug|x64'">
102    <ClCompile>
103      <WarningLevel>Level3</WarningLevel>
104      <Optimization>Disabled</Optimization>
105      <PreprocessorDefinitions>_USRDLL;MBEDTLS_EXPORTS;KRML_VERIFIED_UINT128;%(PreprocessorDefinitions)</PreprocessorDefinitions>
106      <AdditionalIncludeDirectories>
107INCLUDE_DIRECTORIES
108      </AdditionalIncludeDirectories>
109      <CompileAs>CompileAsC</CompileAs>
110    </ClCompile>
111    <Link>
112      <SubSystem>Windows</SubSystem>
113      <GenerateDebugInformation>true</GenerateDebugInformation>
114      <AdditionalDependencies>bcrypt.lib;%(AdditionalDependencies)</AdditionalDependencies>
115    </Link>
116  </ItemDefinitionGroup>
117  <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Release|Win32'">
118    <ClCompile>
119      <WarningLevel>Level3</WarningLevel>
120      <Optimization>MaxSpeed</Optimization>
121      <FunctionLevelLinking>true</FunctionLevelLinking>
122      <IntrinsicFunctions>true</IntrinsicFunctions>
123      <PreprocessorDefinitions>NDEBUG;_USRDLL;MBEDTLS_EXPORTS;KRML_VERIFIED_UINT128;%(PreprocessorDefinitions)</PreprocessorDefinitions>
124      <AdditionalIncludeDirectories>
125INCLUDE_DIRECTORIES
126      </AdditionalIncludeDirectories>
127    </ClCompile>
128    <Link>
129      <SubSystem>Windows</SubSystem>
130      <GenerateDebugInformation>true</GenerateDebugInformation>
131      <EnableCOMDATFolding>true</EnableCOMDATFolding>
132      <OptimizeReferences>true</OptimizeReferences>
133      <AdditionalDependencies>bcrypt.lib;%(AdditionalDependencies)</AdditionalDependencies>
134    </Link>
135  </ItemDefinitionGroup>
136  <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Release|x64'">
137    <ClCompile>
138      <WarningLevel>Level3</WarningLevel>
139      <Optimization>MaxSpeed</Optimization>
140      <FunctionLevelLinking>true</FunctionLevelLinking>
141      <IntrinsicFunctions>true</IntrinsicFunctions>
142      <PreprocessorDefinitions>WIN64;NDEBUG;_WINDOWS;_USRDLL;MBEDTLS_EXPORTS;KRML_VERIFIED_UINT128;%(PreprocessorDefinitions)</PreprocessorDefinitions>
143      <AdditionalIncludeDirectories>
144INCLUDE_DIRECTORIES
145      </AdditionalIncludeDirectories>
146    </ClCompile>
147    <Link>
148      <SubSystem>Windows</SubSystem>
149      <GenerateDebugInformation>true</GenerateDebugInformation>
150      <EnableCOMDATFolding>true</EnableCOMDATFolding>
151      <OptimizeReferences>true</OptimizeReferences>
152    </Link>
153  </ItemDefinitionGroup>
154  <ItemGroup>
155HEADER_ENTRIES
156  </ItemGroup>
157  <ItemGroup>
158SOURCE_ENTRIES
159  </ItemGroup>
160  <Import Project="$(VCTargetsPath)\Microsoft.Cpp.targets" />
161  <ImportGroup Label="ExtensionTargets">
162  </ImportGroup>
163</Project>
164