blob: 51861e16c51145d9020396d786cbb0b31f114b4c [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>
Minos Galanakisb17410d2023-09-22 12:08:11 +010094 <AdditionalDependencies>bcrypt.lib;%(AdditionalDependencies)</AdditionalDependencies>
Manuel Pégourié-Gonnard0aafa5c2014-05-08 11:33:30 +020095 </Link>
96 </ItemDefinitionGroup>
97 <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Debug|x64'">
98 <ClCompile>
Manuel Pégourié-Gonnard0aafa5c2014-05-08 11:33:30 +020099 <WarningLevel>Level3</WarningLevel>
100 <Optimization>Disabled</Optimization>
irwirfcdea0f2020-05-19 19:48:27 +0300101 <PreprocessorDefinitions>_USRDLL;MBEDTLS_EXPORTS;KRML_VERIFIED_UINT128;%(PreprocessorDefinitions)</PreprocessorDefinitions>
Gilles Peskine7156d8c2020-02-19 20:08:44 +0100102 <AdditionalIncludeDirectories>
103INCLUDE_DIRECTORIES
104 </AdditionalIncludeDirectories>
Manuel Pégourié-Gonnard0aafa5c2014-05-08 11:33:30 +0200105 <CompileAs>CompileAsC</CompileAs>
106 </ClCompile>
107 <Link>
108 <SubSystem>Windows</SubSystem>
109 <GenerateDebugInformation>true</GenerateDebugInformation>
Minos Galanakisb17410d2023-09-22 12:08:11 +0100110 <AdditionalDependencies>bcrypt.lib;%(AdditionalDependencies)</AdditionalDependencies>
Manuel Pégourié-Gonnard0aafa5c2014-05-08 11:33:30 +0200111 </Link>
112 </ItemDefinitionGroup>
113 <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Release|Win32'">
114 <ClCompile>
115 <WarningLevel>Level3</WarningLevel>
Manuel Pégourié-Gonnard0aafa5c2014-05-08 11:33:30 +0200116 <Optimization>MaxSpeed</Optimization>
117 <FunctionLevelLinking>true</FunctionLevelLinking>
118 <IntrinsicFunctions>true</IntrinsicFunctions>
irwirfcdea0f2020-05-19 19:48:27 +0300119 <PreprocessorDefinitions>NDEBUG;_USRDLL;MBEDTLS_EXPORTS;KRML_VERIFIED_UINT128;%(PreprocessorDefinitions)</PreprocessorDefinitions>
Gilles Peskine7156d8c2020-02-19 20:08:44 +0100120 <AdditionalIncludeDirectories>
121INCLUDE_DIRECTORIES
122 </AdditionalIncludeDirectories>
Manuel Pégourié-Gonnard0aafa5c2014-05-08 11:33:30 +0200123 </ClCompile>
124 <Link>
125 <SubSystem>Windows</SubSystem>
126 <GenerateDebugInformation>true</GenerateDebugInformation>
127 <EnableCOMDATFolding>true</EnableCOMDATFolding>
128 <OptimizeReferences>true</OptimizeReferences>
Minos Galanakisb17410d2023-09-22 12:08:11 +0100129 <AdditionalDependencies>bcrypt.lib;%(AdditionalDependencies)</AdditionalDependencies>
130 </Link>
Manuel Pégourié-Gonnard0aafa5c2014-05-08 11:33:30 +0200131 </ItemDefinitionGroup>
132 <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Release|x64'">
133 <ClCompile>
134 <WarningLevel>Level3</WarningLevel>
Manuel Pégourié-Gonnard0aafa5c2014-05-08 11:33:30 +0200135 <Optimization>MaxSpeed</Optimization>
136 <FunctionLevelLinking>true</FunctionLevelLinking>
137 <IntrinsicFunctions>true</IntrinsicFunctions>
Gilles Peskine2ae678d2020-03-24 22:10:57 +0100138 <PreprocessorDefinitions>WIN64;NDEBUG;_WINDOWS;_USRDLL;MBEDTLS_EXPORTS;KRML_VERIFIED_UINT128;%(PreprocessorDefinitions)</PreprocessorDefinitions>
Gilles Peskine7156d8c2020-02-19 20:08:44 +0100139 <AdditionalIncludeDirectories>
140INCLUDE_DIRECTORIES
141 </AdditionalIncludeDirectories>
Manuel Pégourié-Gonnard0aafa5c2014-05-08 11:33:30 +0200142 </ClCompile>
143 <Link>
144 <SubSystem>Windows</SubSystem>
145 <GenerateDebugInformation>true</GenerateDebugInformation>
146 <EnableCOMDATFolding>true</EnableCOMDATFolding>
147 <OptimizeReferences>true</OptimizeReferences>
148 </Link>
149 </ItemDefinitionGroup>
150 <ItemGroup>
151HEADER_ENTRIES
152 </ItemGroup>
153 <ItemGroup>
154SOURCE_ENTRIES
155 </ItemGroup>
156 <Import Project="$(VCTargetsPath)\Microsoft.Cpp.targets" />
157 <ImportGroup Label="ExtensionTargets">
158 </ImportGroup>
159</Project>