blob: c0f3a3c1f06b70a493c223d55218190c50b148db [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>
Manuel Pégourié-Gonnard0aafa5c2014-05-08 11:33:30 +020083 <WarningLevel>Level3</WarningLevel>
84 <Optimization>Disabled</Optimization>
irwirfcdea0f2020-05-19 19:48:27 +030085 <PreprocessorDefinitions>_USRDLL;MBEDTLS_EXPORTS;KRML_VERIFIED_UINT128;%(PreprocessorDefinitions)</PreprocessorDefinitions>
Gilles Peskine7156d8c2020-02-19 20:08:44 +010086 <AdditionalIncludeDirectories>
87INCLUDE_DIRECTORIES
88 </AdditionalIncludeDirectories>
Manuel Pégourié-Gonnard0aafa5c2014-05-08 11:33:30 +020089 <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>
Manuel Pégourié-Gonnard0aafa5c2014-05-08 11:33:30 +020098 <WarningLevel>Level3</WarningLevel>
99 <Optimization>Disabled</Optimization>
irwirfcdea0f2020-05-19 19:48:27 +0300100 <PreprocessorDefinitions>_USRDLL;MBEDTLS_EXPORTS;KRML_VERIFIED_UINT128;%(PreprocessorDefinitions)</PreprocessorDefinitions>
Gilles Peskine7156d8c2020-02-19 20:08:44 +0100101 <AdditionalIncludeDirectories>
102INCLUDE_DIRECTORIES
103 </AdditionalIncludeDirectories>
Manuel Pégourié-Gonnard0aafa5c2014-05-08 11:33:30 +0200104 <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>
Manuel Pégourié-Gonnard0aafa5c2014-05-08 11:33:30 +0200114 <Optimization>MaxSpeed</Optimization>
115 <FunctionLevelLinking>true</FunctionLevelLinking>
116 <IntrinsicFunctions>true</IntrinsicFunctions>
irwirfcdea0f2020-05-19 19:48:27 +0300117 <PreprocessorDefinitions>NDEBUG;_USRDLL;MBEDTLS_EXPORTS;KRML_VERIFIED_UINT128;%(PreprocessorDefinitions)</PreprocessorDefinitions>
Gilles Peskine7156d8c2020-02-19 20:08:44 +0100118 <AdditionalIncludeDirectories>
119INCLUDE_DIRECTORIES
120 </AdditionalIncludeDirectories>
Manuel Pégourié-Gonnard0aafa5c2014-05-08 11:33:30 +0200121 </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>
Manuel Pégourié-Gonnard0aafa5c2014-05-08 11:33:30 +0200132 <Optimization>MaxSpeed</Optimization>
133 <FunctionLevelLinking>true</FunctionLevelLinking>
134 <IntrinsicFunctions>true</IntrinsicFunctions>
Gilles Peskine2ae678d2020-03-24 22:10:57 +0100135 <PreprocessorDefinitions>WIN64;NDEBUG;_WINDOWS;_USRDLL;MBEDTLS_EXPORTS;KRML_VERIFIED_UINT128;%(PreprocessorDefinitions)</PreprocessorDefinitions>
Gilles Peskine7156d8c2020-02-19 20:08:44 +0100136 <AdditionalIncludeDirectories>
137INCLUDE_DIRECTORIES
138 </AdditionalIncludeDirectories>
Manuel Pégourié-Gonnard0aafa5c2014-05-08 11:33:30 +0200139 </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>