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    </Link>
95  </ItemDefinitionGroup>
96  <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Debug|x64'">
97    <ClCompile>
98      <WarningLevel>Level3</WarningLevel>
99      <Optimization>Disabled</Optimization>
100      <PreprocessorDefinitions>_USRDLL;MBEDTLS_EXPORTS;KRML_VERIFIED_UINT128;%(PreprocessorDefinitions)</PreprocessorDefinitions>
101      <AdditionalIncludeDirectories>
102INCLUDE_DIRECTORIES
103      </AdditionalIncludeDirectories>
104      <CompileAs>CompileAsC</CompileAs>
105    </ClCompile>
106    <Link>
107      <SubSystem>Windows</SubSystem>
108      <GenerateDebugInformation>true</GenerateDebugInformation>
109    </Link>
110  </ItemDefinitionGroup>
111  <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Release|Win32'">
112    <ClCompile>
113      <WarningLevel>Level3</WarningLevel>
114      <Optimization>MaxSpeed</Optimization>
115      <FunctionLevelLinking>true</FunctionLevelLinking>
116      <IntrinsicFunctions>true</IntrinsicFunctions>
117      <PreprocessorDefinitions>NDEBUG;_USRDLL;MBEDTLS_EXPORTS;KRML_VERIFIED_UINT128;%(PreprocessorDefinitions)</PreprocessorDefinitions>
118      <AdditionalIncludeDirectories>
119INCLUDE_DIRECTORIES
120      </AdditionalIncludeDirectories>
121    </ClCompile>
122    <Link>
123      <SubSystem>Windows</SubSystem>
124      <GenerateDebugInformation>true</GenerateDebugInformation>
125      <EnableCOMDATFolding>true</EnableCOMDATFolding>
126      <OptimizeReferences>true</OptimizeReferences>
127    </Link>
128  </ItemDefinitionGroup>
129  <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Release|x64'">
130    <ClCompile>
131      <WarningLevel>Level3</WarningLevel>
132      <Optimization>MaxSpeed</Optimization>
133      <FunctionLevelLinking>true</FunctionLevelLinking>
134      <IntrinsicFunctions>true</IntrinsicFunctions>
135      <PreprocessorDefinitions>WIN64;NDEBUG;_WINDOWS;_USRDLL;MBEDTLS_EXPORTS;KRML_VERIFIED_UINT128;%(PreprocessorDefinitions)</PreprocessorDefinitions>
136      <AdditionalIncludeDirectories>
137INCLUDE_DIRECTORIES
138      </AdditionalIncludeDirectories>
139    </ClCompile>
140    <Link>
141      <SubSystem>Windows</SubSystem>
142      <GenerateDebugInformation>true</GenerateDebugInformation>
143      <EnableCOMDATFolding>true</EnableCOMDATFolding>
144      <OptimizeReferences>true</OptimizeReferences>
145    </Link>
146  </ItemDefinitionGroup>
147  <ItemGroup>
148HEADER_ENTRIES
149  </ItemGroup>
150  <ItemGroup>
151SOURCE_ENTRIES
152  </ItemGroup>
153  <Import Project="$(VCTargetsPath)\Microsoft.Cpp.targets" />
154  <ImportGroup Label="ExtensionTargets">
155  </ImportGroup>
156</Project>
157