blob: 81bbbe6691bde190ec42d49a709964f50d6f87f8 [file] [log] [blame]
Manuel Pégourié-Gonnard0aafa5c2014-05-08 11:33:30 +02001<?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>
Manuel Pégourié-Gonnard813e5852015-01-26 15:42:27 +000024 <RootNamespace>mbedTLS</RootNamespace>
Manuel Pégourié-Gonnard0aafa5c2014-05-08 11:33:30 +020025 </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 <PlatformToolset>Windows7.1SDK</PlatformToolset>
49 </PropertyGroup>
50 <Import Project="$(VCTargetsPath)\Microsoft.Cpp.props" />
51 <ImportGroup Label="ExtensionSettings">
52 </ImportGroup>
53 <ImportGroup Label="PropertySheets" Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'">
54 <Import Project="$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props" Condition="exists('$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props')" Label="LocalAppDataPlatform" />
55 </ImportGroup>
56 <ImportGroup Condition="'$(Configuration)|$(Platform)'=='Debug|x64'" Label="PropertySheets">
57 <Import Project="$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props" Condition="exists('$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props')" Label="LocalAppDataPlatform" />
58 </ImportGroup>
59 <ImportGroup Label="PropertySheets" Condition="'$(Configuration)|$(Platform)'=='Release|Win32'">
60 <Import Project="$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props" Condition="exists('$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props')" Label="LocalAppDataPlatform" />
61 </ImportGroup>
62 <ImportGroup Condition="'$(Configuration)|$(Platform)'=='Release|x64'" Label="PropertySheets">
63 <Import Project="$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props" Condition="exists('$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props')" Label="LocalAppDataPlatform" />
64 </ImportGroup>
65 <PropertyGroup Label="UserMacros" />
66 <PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'">
67 <LinkIncremental>true</LinkIncremental>
Simon Butcher08902ed2017-03-01 22:17:49 +000068 <IntDir>$(Configuration)\$(TargetName)\</IntDir>
Manuel Pégourié-Gonnard0aafa5c2014-05-08 11:33:30 +020069 </PropertyGroup>
70 <PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Debug|x64'">
71 <LinkIncremental>true</LinkIncremental>
Simon Butcher08902ed2017-03-01 22:17:49 +000072 <IntDir>$(Configuration)\$(TargetName)\</IntDir>
Manuel Pégourié-Gonnard0aafa5c2014-05-08 11:33:30 +020073 </PropertyGroup>
74 <PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Release|Win32'">
75 <LinkIncremental>false</LinkIncremental>
Simon Butcher08902ed2017-03-01 22:17:49 +000076 <IntDir>$(Configuration)\$(TargetName)\</IntDir>
Manuel Pégourié-Gonnard0aafa5c2014-05-08 11:33:30 +020077 </PropertyGroup>
78 <PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Release|x64'">
79 <LinkIncremental>false</LinkIncremental>
Simon Butcher08902ed2017-03-01 22:17:49 +000080 <IntDir>$(Configuration)\$(TargetName)\</IntDir>
Manuel Pégourié-Gonnard0aafa5c2014-05-08 11:33:30 +020081 </PropertyGroup>
82 <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'">
83 <ClCompile>
84 <PrecompiledHeader>
85 </PrecompiledHeader>
86 <WarningLevel>Level3</WarningLevel>
87 <Optimization>Disabled</Optimization>
Christoph M. Wintersteiger48d26c22018-12-06 18:59:19 +000088 <PreprocessorDefinitions>WIN32;_DEBUG;_WINDOWS;_USRDLL;MBEDTLS_EXPORTS;KRML_VERIFIED_UINT128;%(PreprocessorDefinitions)</PreprocessorDefinitions>
Gilles Peskine7156d8c2020-02-19 20:08:44 +010089 <AdditionalIncludeDirectories>
90INCLUDE_DIRECTORIES
91 </AdditionalIncludeDirectories>
Manuel Pégourié-Gonnard0aafa5c2014-05-08 11:33:30 +020092 <CompileAs>CompileAsC</CompileAs>
93 </ClCompile>
94 <Link>
95 <SubSystem>Windows</SubSystem>
96 <GenerateDebugInformation>true</GenerateDebugInformation>
97 </Link>
98 </ItemDefinitionGroup>
99 <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Debug|x64'">
100 <ClCompile>
101 <PrecompiledHeader>
102 </PrecompiledHeader>
103 <WarningLevel>Level3</WarningLevel>
104 <Optimization>Disabled</Optimization>
Christoph M. Wintersteiger48d26c22018-12-06 18:59:19 +0000105 <PreprocessorDefinitions>WIN32;_DEBUG;_WINDOWS;_USRDLL;MBEDTLS_EXPORTS;KRML_VERIFIED_UINT128;%(PreprocessorDefinitions)</PreprocessorDefinitions>
Gilles Peskine7156d8c2020-02-19 20:08:44 +0100106 <AdditionalIncludeDirectories>
107INCLUDE_DIRECTORIES
108 </AdditionalIncludeDirectories>
Manuel Pégourié-Gonnard0aafa5c2014-05-08 11:33:30 +0200109 <CompileAs>CompileAsC</CompileAs>
110 </ClCompile>
111 <Link>
112 <SubSystem>Windows</SubSystem>
113 <GenerateDebugInformation>true</GenerateDebugInformation>
114 </Link>
115 </ItemDefinitionGroup>
116 <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Release|Win32'">
117 <ClCompile>
118 <WarningLevel>Level3</WarningLevel>
119 <PrecompiledHeader>
120 </PrecompiledHeader>
121 <Optimization>MaxSpeed</Optimization>
122 <FunctionLevelLinking>true</FunctionLevelLinking>
123 <IntrinsicFunctions>true</IntrinsicFunctions>
Christoph M. Wintersteiger48d26c22018-12-06 18:59:19 +0000124 <PreprocessorDefinitions>WIN32;NDEBUG;_WINDOWS;_USRDLL;MBEDTLS_EXPORTS;KRML_VERIFIED_UINT128;%(PreprocessorDefinitions)</PreprocessorDefinitions>
Gilles Peskine7156d8c2020-02-19 20:08:44 +0100125 <AdditionalIncludeDirectories>
126INCLUDE_DIRECTORIES
127 </AdditionalIncludeDirectories>
Manuel Pégourié-Gonnard0aafa5c2014-05-08 11:33:30 +0200128 </ClCompile>
129 <Link>
130 <SubSystem>Windows</SubSystem>
131 <GenerateDebugInformation>true</GenerateDebugInformation>
132 <EnableCOMDATFolding>true</EnableCOMDATFolding>
133 <OptimizeReferences>true</OptimizeReferences>
134 </Link>
135 </ItemDefinitionGroup>
136 <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Release|x64'">
137 <ClCompile>
138 <WarningLevel>Level3</WarningLevel>
139 <PrecompiledHeader>
140 </PrecompiledHeader>
141 <Optimization>MaxSpeed</Optimization>
142 <FunctionLevelLinking>true</FunctionLevelLinking>
143 <IntrinsicFunctions>true</IntrinsicFunctions>
Christoph M. Wintersteiger48d26c22018-12-06 18:59:19 +0000144 <PreprocessorDefinitions>WIN64;NDEBUG;_WINDOWS;_USRDLL;MBEDTLS_EXPORTS;KRML_VERIFIED_UINT128;%(PreprocessorDefinitions)</PreprocessorDefinitions>
Gilles Peskine7156d8c2020-02-19 20:08:44 +0100145 <AdditionalIncludeDirectories>
146INCLUDE_DIRECTORIES
147 </AdditionalIncludeDirectories>
Manuel Pégourié-Gonnard0aafa5c2014-05-08 11:33:30 +0200148 </ClCompile>
149 <Link>
150 <SubSystem>Windows</SubSystem>
151 <GenerateDebugInformation>true</GenerateDebugInformation>
152 <EnableCOMDATFolding>true</EnableCOMDATFolding>
153 <OptimizeReferences>true</OptimizeReferences>
154 </Link>
155 </ItemDefinitionGroup>
156 <ItemGroup>
157HEADER_ENTRIES
158 </ItemGroup>
159 <ItemGroup>
160SOURCE_ENTRIES
161 </ItemGroup>
162 <Import Project="$(VCTargetsPath)\Microsoft.Cpp.targets" />
163 <ImportGroup Label="ExtensionTargets">
164 </ImportGroup>
165</Project>