1<?xml version="1.0" encoding="utf-8"?>
2<Project DefaultTargets="Build" ToolsVersion="4.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  </PropertyGroup>
32  <PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Debug|x64'" Label="Configuration">
33    <ConfigurationType>StaticLibrary</ConfigurationType>
34    <UseDebugLibraries>true</UseDebugLibraries>
35    <CharacterSet>Unicode</CharacterSet>
36  </PropertyGroup>
37  <PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Release|Win32'" Label="Configuration">
38    <ConfigurationType>StaticLibrary</ConfigurationType>
39    <UseDebugLibraries>false</UseDebugLibraries>
40    <WholeProgramOptimization>true</WholeProgramOptimization>
41    <CharacterSet>Unicode</CharacterSet>
42  </PropertyGroup>
43  <PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Release|x64'" Label="Configuration">
44    <ConfigurationType>StaticLibrary</ConfigurationType>
45    <UseDebugLibraries>false</UseDebugLibraries>
46    <WholeProgramOptimization>true</WholeProgramOptimization>
47    <CharacterSet>Unicode</CharacterSet>
48  </PropertyGroup>
49  <Import Project="$(VCTargetsPath)\Microsoft.Cpp.props" />
50  <ImportGroup Label="ExtensionSettings">
51  </ImportGroup>
52  <ImportGroup Label="PropertySheets" Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'">
53    <Import Project="$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props" Condition="exists('$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props')" Label="LocalAppDataPlatform" />
54  </ImportGroup>
55  <ImportGroup Condition="'$(Configuration)|$(Platform)'=='Debug|x64'" Label="PropertySheets">
56    <Import Project="$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props" Condition="exists('$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props')" Label="LocalAppDataPlatform" />
57  </ImportGroup>
58  <ImportGroup Label="PropertySheets" Condition="'$(Configuration)|$(Platform)'=='Release|Win32'">
59    <Import Project="$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props" Condition="exists('$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props')" Label="LocalAppDataPlatform" />
60  </ImportGroup>
61  <ImportGroup Condition="'$(Configuration)|$(Platform)'=='Release|x64'" Label="PropertySheets">
62    <Import Project="$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props" Condition="exists('$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props')" Label="LocalAppDataPlatform" />
63  </ImportGroup>
64  <PropertyGroup Label="UserMacros" />
65  <PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'">
66    <LinkIncremental>true</LinkIncremental>
67    <IntDir>$(Configuration)\$(TargetName)\</IntDir>
68  </PropertyGroup>
69  <PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Debug|x64'">
70    <LinkIncremental>true</LinkIncremental>
71    <IntDir>$(Configuration)\$(TargetName)\</IntDir>
72  </PropertyGroup>
73  <PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Release|Win32'">
74    <LinkIncremental>false</LinkIncremental>
75    <IntDir>$(Configuration)\$(TargetName)\</IntDir>
76  </PropertyGroup>
77  <PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Release|x64'">
78    <LinkIncremental>false</LinkIncremental>
79    <IntDir>$(Configuration)\$(TargetName)\</IntDir>
80  </PropertyGroup>
81  <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'">
82    <ClCompile>
83      <WarningLevel>Level3</WarningLevel>
84      <Optimization>Disabled</Optimization>
85      <PreprocessorDefinitions>_USRDLL;MBEDTLS_EXPORTS;KRML_VERIFIED_UINT128;%(PreprocessorDefinitions)</PreprocessorDefinitions>
86      <AdditionalIncludeDirectories>
87INCLUDE_DIRECTORIES
88      </AdditionalIncludeDirectories>
89      <CompileAs>CompileAsC</CompileAs>
90    </ClCompile>
91    <Link>
92      <SubSystem>Windows</SubSystem>
93      <GenerateDebugInformation>true</GenerateDebugInformation>
94      <AdditionalDependencies>bcrypt.lib;%(AdditionalDependencies)</AdditionalDependencies>
95    </Link>
96  </ItemDefinitionGroup>
97  <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Debug|x64'">
98    <ClCompile>
99      <WarningLevel>Level3</WarningLevel>
100      <Optimization>Disabled</Optimization>
101      <PreprocessorDefinitions>_USRDLL;MBEDTLS_EXPORTS;KRML_VERIFIED_UINT128;%(PreprocessorDefinitions)</PreprocessorDefinitions>
102      <AdditionalIncludeDirectories>
103INCLUDE_DIRECTORIES
104      </AdditionalIncludeDirectories>
105      <CompileAs>CompileAsC</CompileAs>
106    </ClCompile>
107    <Link>
108      <SubSystem>Windows</SubSystem>
109      <GenerateDebugInformation>true</GenerateDebugInformation>
110      <AdditionalDependencies>bcrypt.lib;%(AdditionalDependencies)</AdditionalDependencies>
111    </Link>
112  </ItemDefinitionGroup>
113  <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Release|Win32'">
114    <ClCompile>
115      <WarningLevel>Level3</WarningLevel>
116      <Optimization>MaxSpeed</Optimization>
117      <FunctionLevelLinking>true</FunctionLevelLinking>
118      <IntrinsicFunctions>true</IntrinsicFunctions>
119      <PreprocessorDefinitions>NDEBUG;_USRDLL;MBEDTLS_EXPORTS;KRML_VERIFIED_UINT128;%(PreprocessorDefinitions)</PreprocessorDefinitions>
120      <AdditionalIncludeDirectories>
121INCLUDE_DIRECTORIES
122      </AdditionalIncludeDirectories>
123    </ClCompile>
124    <Link>
125      <SubSystem>Windows</SubSystem>
126      <GenerateDebugInformation>true</GenerateDebugInformation>
127      <EnableCOMDATFolding>true</EnableCOMDATFolding>
128      <OptimizeReferences>true</OptimizeReferences>
129      <AdditionalDependencies>bcrypt.lib;%(AdditionalDependencies)</AdditionalDependencies>
130    </Link>
131  </ItemDefinitionGroup>
132  <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Release|x64'">
133    <ClCompile>
134      <WarningLevel>Level3</WarningLevel>
135      <Optimization>MaxSpeed</Optimization>
136      <FunctionLevelLinking>true</FunctionLevelLinking>
137      <IntrinsicFunctions>true</IntrinsicFunctions>
138      <PreprocessorDefinitions>WIN64;NDEBUG;_WINDOWS;_USRDLL;MBEDTLS_EXPORTS;KRML_VERIFIED_UINT128;%(PreprocessorDefinitions)</PreprocessorDefinitions>
139      <AdditionalIncludeDirectories>
140INCLUDE_DIRECTORIES
141      </AdditionalIncludeDirectories>
142    </ClCompile>
143    <Link>
144      <SubSystem>Windows</SubSystem>
145      <GenerateDebugInformation>true</GenerateDebugInformation>
146      <EnableCOMDATFolding>true</EnableCOMDATFolding>
147      <OptimizeReferences>true</OptimizeReferences>
148    </Link>
149  </ItemDefinitionGroup>
150  <ItemGroup>
151HEADER_ENTRIES
152  </ItemGroup>
153  <ItemGroup>
154SOURCE_ENTRIES
155  </ItemGroup>
156  <Import Project="$(VCTargetsPath)\Microsoft.Cpp.targets" />
157  <ImportGroup Label="ExtensionTargets">
158  </ImportGroup>
159</Project>
160