blob: c8f13c3cfd7f165eaf461728048f07e38fb00ccf [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>
Gilles Peskine2ae678d2020-03-24 22:10:57 +010024 <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>
Manuel Pégourié-Gonnard0aafa5c2014-05-08 11:33:30 +020048 </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>
Simon Butcher08902ed2017-03-01 22:17:49 +000067 <IntDir>$(Configuration)\$(TargetName)\</IntDir>
Manuel Pégourié-Gonnard0aafa5c2014-05-08 11:33:30 +020068 </PropertyGroup>
69 <PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Debug|x64'">
70 <LinkIncremental>true</LinkIncremental>
Simon Butcher08902ed2017-03-01 22:17:49 +000071 <IntDir>$(Configuration)\$(TargetName)\</IntDir>
Manuel Pégourié-Gonnard0aafa5c2014-05-08 11:33:30 +020072 </PropertyGroup>
73 <PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Release|Win32'">
74 <LinkIncremental>false</LinkIncremental>
Simon Butcher08902ed2017-03-01 22:17:49 +000075 <IntDir>$(Configuration)\$(TargetName)\</IntDir>
Manuel Pégourié-Gonnard0aafa5c2014-05-08 11:33:30 +020076 </PropertyGroup>
77 <PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Release|x64'">
78 <LinkIncremental>false</LinkIncremental>
Simon Butcher08902ed2017-03-01 22:17:49 +000079 <IntDir>$(Configuration)\$(TargetName)\</IntDir>
Manuel Pégourié-Gonnard0aafa5c2014-05-08 11:33:30 +020080 </PropertyGroup>
81 <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'">
82 <ClCompile>
83 <PrecompiledHeader>
84 </PrecompiledHeader>
85 <WarningLevel>Level3</WarningLevel>
86 <Optimization>Disabled</Optimization>
Gilles Peskine2ae678d2020-03-24 22:10:57 +010087 <PreprocessorDefinitions>WIN32;_DEBUG;_WINDOWS;_USRDLL;MBEDTLS_EXPORTS;KRML_VERIFIED_UINT128;%(PreprocessorDefinitions)</PreprocessorDefinitions>
Gilles Peskine7156d8c2020-02-19 20:08:44 +010088 <AdditionalIncludeDirectories>
89INCLUDE_DIRECTORIES
90 </AdditionalIncludeDirectories>
Manuel Pégourié-Gonnard0aafa5c2014-05-08 11:33:30 +020091 <CompileAs>CompileAsC</CompileAs>
92 </ClCompile>
93 <Link>
94 <SubSystem>Windows</SubSystem>
95 <GenerateDebugInformation>true</GenerateDebugInformation>
96 </Link>
97 </ItemDefinitionGroup>
98 <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Debug|x64'">
99 <ClCompile>
100 <PrecompiledHeader>
101 </PrecompiledHeader>
102 <WarningLevel>Level3</WarningLevel>
103 <Optimization>Disabled</Optimization>
Gilles Peskine2ae678d2020-03-24 22:10:57 +0100104 <PreprocessorDefinitions>WIN32;_DEBUG;_WINDOWS;_USRDLL;MBEDTLS_EXPORTS;KRML_VERIFIED_UINT128;%(PreprocessorDefinitions)</PreprocessorDefinitions>
Gilles Peskine7156d8c2020-02-19 20:08:44 +0100105 <AdditionalIncludeDirectories>
106INCLUDE_DIRECTORIES
107 </AdditionalIncludeDirectories>
Manuel Pégourié-Gonnard0aafa5c2014-05-08 11:33:30 +0200108 <CompileAs>CompileAsC</CompileAs>
109 </ClCompile>
110 <Link>
111 <SubSystem>Windows</SubSystem>
112 <GenerateDebugInformation>true</GenerateDebugInformation>
113 </Link>
114 </ItemDefinitionGroup>
115 <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Release|Win32'">
116 <ClCompile>
117 <WarningLevel>Level3</WarningLevel>
118 <PrecompiledHeader>
119 </PrecompiledHeader>
120 <Optimization>MaxSpeed</Optimization>
121 <FunctionLevelLinking>true</FunctionLevelLinking>
122 <IntrinsicFunctions>true</IntrinsicFunctions>
Gilles Peskine2ae678d2020-03-24 22:10:57 +0100123 <PreprocessorDefinitions>WIN32;NDEBUG;_WINDOWS;_USRDLL;MBEDTLS_EXPORTS;KRML_VERIFIED_UINT128;%(PreprocessorDefinitions)</PreprocessorDefinitions>
Gilles Peskine7156d8c2020-02-19 20:08:44 +0100124 <AdditionalIncludeDirectories>
125INCLUDE_DIRECTORIES
126 </AdditionalIncludeDirectories>
Manuel Pégourié-Gonnard0aafa5c2014-05-08 11:33:30 +0200127 </ClCompile>
128 <Link>
129 <SubSystem>Windows</SubSystem>
130 <GenerateDebugInformation>true</GenerateDebugInformation>
131 <EnableCOMDATFolding>true</EnableCOMDATFolding>
132 <OptimizeReferences>true</OptimizeReferences>
133 </Link>
134 </ItemDefinitionGroup>
135 <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Release|x64'">
136 <ClCompile>
137 <WarningLevel>Level3</WarningLevel>
138 <PrecompiledHeader>
139 </PrecompiledHeader>
140 <Optimization>MaxSpeed</Optimization>
141 <FunctionLevelLinking>true</FunctionLevelLinking>
142 <IntrinsicFunctions>true</IntrinsicFunctions>
Gilles Peskine2ae678d2020-03-24 22:10:57 +0100143 <PreprocessorDefinitions>WIN64;NDEBUG;_WINDOWS;_USRDLL;MBEDTLS_EXPORTS;KRML_VERIFIED_UINT128;%(PreprocessorDefinitions)</PreprocessorDefinitions>
Gilles Peskine7156d8c2020-02-19 20:08:44 +0100144 <AdditionalIncludeDirectories>
145INCLUDE_DIRECTORIES
146 </AdditionalIncludeDirectories>
Manuel Pégourié-Gonnard0aafa5c2014-05-08 11:33:30 +0200147 </ClCompile>
148 <Link>
149 <SubSystem>Windows</SubSystem>
150 <GenerateDebugInformation>true</GenerateDebugInformation>
151 <EnableCOMDATFolding>true</EnableCOMDATFolding>
152 <OptimizeReferences>true</OptimizeReferences>
153 </Link>
154 </ItemDefinitionGroup>
155 <ItemGroup>
156HEADER_ENTRIES
157 </ItemGroup>
158 <ItemGroup>
159SOURCE_ENTRIES
160 </ItemGroup>
161 <Import Project="$(VCTargetsPath)\Microsoft.Cpp.targets" />
162 <ImportGroup Label="ExtensionTargets">
163 </ImportGroup>
164</Project>