blob: 448f9cd95632fc1bead55e5a9c82d978c948e939 [file] [log] [blame]
Manuel Pégourié-Gonnard0aafa5c2014-05-08 11:33:30 +02001<?xml version="1.0" encoding="utf-8"?>
Bence Szépkúti0719d7c2024-03-12 16:45:55 +01002<Project DefaultTargets="Build" ToolsVersion="15.0" xmlns="http://schemas.microsoft.com/developer/msbuild/2003">
Manuel Pégourié-Gonnard0aafa5c2014-05-08 11:33:30 +02003 <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>
Bence Szépkúti0719d7c2024-03-12 16:45:55 +010031 <PlatformToolset>v141</PlatformToolset>
Manuel Pégourié-Gonnard0aafa5c2014-05-08 11:33:30 +020032 </PropertyGroup>
33 <PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Debug|x64'" Label="Configuration">
34 <ConfigurationType>StaticLibrary</ConfigurationType>
35 <UseDebugLibraries>true</UseDebugLibraries>
36 <CharacterSet>Unicode</CharacterSet>
Bence Szépkúti0719d7c2024-03-12 16:45:55 +010037 <PlatformToolset>v141</PlatformToolset>
Manuel Pégourié-Gonnard0aafa5c2014-05-08 11:33:30 +020038 </PropertyGroup>
39 <PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Release|Win32'" Label="Configuration">
40 <ConfigurationType>StaticLibrary</ConfigurationType>
41 <UseDebugLibraries>false</UseDebugLibraries>
42 <WholeProgramOptimization>true</WholeProgramOptimization>
43 <CharacterSet>Unicode</CharacterSet>
Bence Szépkúti0719d7c2024-03-12 16:45:55 +010044 <PlatformToolset>v141</PlatformToolset>
Manuel Pégourié-Gonnard0aafa5c2014-05-08 11:33:30 +020045 </PropertyGroup>
46 <PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Release|x64'" Label="Configuration">
47 <ConfigurationType>StaticLibrary</ConfigurationType>
48 <UseDebugLibraries>false</UseDebugLibraries>
49 <WholeProgramOptimization>true</WholeProgramOptimization>
50 <CharacterSet>Unicode</CharacterSet>
Bence Szépkúti0719d7c2024-03-12 16:45:55 +010051 <PlatformToolset>v141</PlatformToolset>
Manuel Pégourié-Gonnard0aafa5c2014-05-08 11:33:30 +020052 </PropertyGroup>
53 <Import Project="$(VCTargetsPath)\Microsoft.Cpp.props" />
54 <ImportGroup Label="ExtensionSettings">
55 </ImportGroup>
56 <ImportGroup Label="PropertySheets" Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'">
57 <Import Project="$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props" Condition="exists('$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props')" Label="LocalAppDataPlatform" />
58 </ImportGroup>
59 <ImportGroup Condition="'$(Configuration)|$(Platform)'=='Debug|x64'" Label="PropertySheets">
60 <Import Project="$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props" Condition="exists('$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props')" Label="LocalAppDataPlatform" />
61 </ImportGroup>
62 <ImportGroup Label="PropertySheets" Condition="'$(Configuration)|$(Platform)'=='Release|Win32'">
63 <Import Project="$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props" Condition="exists('$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props')" Label="LocalAppDataPlatform" />
64 </ImportGroup>
65 <ImportGroup Condition="'$(Configuration)|$(Platform)'=='Release|x64'" Label="PropertySheets">
66 <Import Project="$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props" Condition="exists('$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props')" Label="LocalAppDataPlatform" />
67 </ImportGroup>
68 <PropertyGroup Label="UserMacros" />
69 <PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'">
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)'=='Debug|x64'">
74 <LinkIncremental>true</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|Win32'">
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 <PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Release|x64'">
82 <LinkIncremental>false</LinkIncremental>
Simon Butcher08902ed2017-03-01 22:17:49 +000083 <IntDir>$(Configuration)\$(TargetName)\</IntDir>
Manuel Pégourié-Gonnard0aafa5c2014-05-08 11:33:30 +020084 </PropertyGroup>
85 <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'">
86 <ClCompile>
Manuel Pégourié-Gonnard0aafa5c2014-05-08 11:33:30 +020087 <WarningLevel>Level3</WarningLevel>
88 <Optimization>Disabled</Optimization>
irwirfcdea0f2020-05-19 19:48:27 +030089 <PreprocessorDefinitions>_USRDLL;MBEDTLS_EXPORTS;KRML_VERIFIED_UINT128;%(PreprocessorDefinitions)</PreprocessorDefinitions>
Gilles Peskine7156d8c2020-02-19 20:08:44 +010090 <AdditionalIncludeDirectories>
91INCLUDE_DIRECTORIES
92 </AdditionalIncludeDirectories>
Manuel Pégourié-Gonnard0aafa5c2014-05-08 11:33:30 +020093 <CompileAs>CompileAsC</CompileAs>
94 </ClCompile>
95 <Link>
96 <SubSystem>Windows</SubSystem>
97 <GenerateDebugInformation>true</GenerateDebugInformation>
Minos Galanakisb17410d2023-09-22 12:08:11 +010098 <AdditionalDependencies>bcrypt.lib;%(AdditionalDependencies)</AdditionalDependencies>
Manuel Pégourié-Gonnard0aafa5c2014-05-08 11:33:30 +020099 </Link>
100 </ItemDefinitionGroup>
101 <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Debug|x64'">
102 <ClCompile>
Manuel Pégourié-Gonnard0aafa5c2014-05-08 11:33:30 +0200103 <WarningLevel>Level3</WarningLevel>
104 <Optimization>Disabled</Optimization>
irwirfcdea0f2020-05-19 19:48:27 +0300105 <PreprocessorDefinitions>_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>
Minos Galanakisb17410d2023-09-22 12:08:11 +0100114 <AdditionalDependencies>bcrypt.lib;%(AdditionalDependencies)</AdditionalDependencies>
Manuel Pégourié-Gonnard0aafa5c2014-05-08 11:33:30 +0200115 </Link>
116 </ItemDefinitionGroup>
117 <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Release|Win32'">
118 <ClCompile>
119 <WarningLevel>Level3</WarningLevel>
Manuel Pégourié-Gonnard0aafa5c2014-05-08 11:33:30 +0200120 <Optimization>MaxSpeed</Optimization>
121 <FunctionLevelLinking>true</FunctionLevelLinking>
122 <IntrinsicFunctions>true</IntrinsicFunctions>
irwirfcdea0f2020-05-19 19:48:27 +0300123 <PreprocessorDefinitions>NDEBUG;_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>
Minos Galanakisb17410d2023-09-22 12:08:11 +0100133 <AdditionalDependencies>bcrypt.lib;%(AdditionalDependencies)</AdditionalDependencies>
134 </Link>
Manuel Pégourié-Gonnard0aafa5c2014-05-08 11:33:30 +0200135 </ItemDefinitionGroup>
136 <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Release|x64'">
137 <ClCompile>
138 <WarningLevel>Level3</WarningLevel>
Manuel Pégourié-Gonnard0aafa5c2014-05-08 11:33:30 +0200139 <Optimization>MaxSpeed</Optimization>
140 <FunctionLevelLinking>true</FunctionLevelLinking>
141 <IntrinsicFunctions>true</IntrinsicFunctions>
Gilles Peskine2ae678d2020-03-24 22:10:57 +0100142 <PreprocessorDefinitions>WIN64;NDEBUG;_WINDOWS;_USRDLL;MBEDTLS_EXPORTS;KRML_VERIFIED_UINT128;%(PreprocessorDefinitions)</PreprocessorDefinitions>
Gilles Peskine7156d8c2020-02-19 20:08:44 +0100143 <AdditionalIncludeDirectories>
144INCLUDE_DIRECTORIES
145 </AdditionalIncludeDirectories>
Manuel Pégourié-Gonnard0aafa5c2014-05-08 11:33:30 +0200146 </ClCompile>
147 <Link>
148 <SubSystem>Windows</SubSystem>
149 <GenerateDebugInformation>true</GenerateDebugInformation>
150 <EnableCOMDATFolding>true</EnableCOMDATFolding>
151 <OptimizeReferences>true</OptimizeReferences>
152 </Link>
153 </ItemDefinitionGroup>
154 <ItemGroup>
155HEADER_ENTRIES
156 </ItemGroup>
157 <ItemGroup>
158SOURCE_ENTRIES
159 </ItemGroup>
160 <Import Project="$(VCTargetsPath)\Microsoft.Cpp.targets" />
161 <ImportGroup Label="ExtensionTargets">
162 </ImportGroup>
163</Project>