Manuel Pégourié-Gonnard | 0aafa5c | 2014-05-08 11:33:30 +0200 | [diff] [blame] | 1 | <?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 Peskine | 2ae678d | 2020-03-24 22:10:57 +0100 | [diff] [blame] | 24 | <RootNamespace>mbedTLS</RootNamespace>
|
Manuel Pégourié-Gonnard | 0aafa5c | 2014-05-08 11:33:30 +0200 | [diff] [blame] | 25 | </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é-Gonnard | 0aafa5c | 2014-05-08 11:33:30 +0200 | [diff] [blame] | 48 | </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 Butcher | 08902ed | 2017-03-01 22:17:49 +0000 | [diff] [blame] | 67 | <IntDir>$(Configuration)\$(TargetName)\</IntDir>
|
Manuel Pégourié-Gonnard | 0aafa5c | 2014-05-08 11:33:30 +0200 | [diff] [blame] | 68 | </PropertyGroup>
|
| 69 | <PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Debug|x64'">
|
| 70 | <LinkIncremental>true</LinkIncremental>
|
Simon Butcher | 08902ed | 2017-03-01 22:17:49 +0000 | [diff] [blame] | 71 | <IntDir>$(Configuration)\$(TargetName)\</IntDir>
|
Manuel Pégourié-Gonnard | 0aafa5c | 2014-05-08 11:33:30 +0200 | [diff] [blame] | 72 | </PropertyGroup>
|
| 73 | <PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Release|Win32'">
|
| 74 | <LinkIncremental>false</LinkIncremental>
|
Simon Butcher | 08902ed | 2017-03-01 22:17:49 +0000 | [diff] [blame] | 75 | <IntDir>$(Configuration)\$(TargetName)\</IntDir>
|
Manuel Pégourié-Gonnard | 0aafa5c | 2014-05-08 11:33:30 +0200 | [diff] [blame] | 76 | </PropertyGroup>
|
| 77 | <PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Release|x64'">
|
| 78 | <LinkIncremental>false</LinkIncremental>
|
Simon Butcher | 08902ed | 2017-03-01 22:17:49 +0000 | [diff] [blame] | 79 | <IntDir>$(Configuration)\$(TargetName)\</IntDir>
|
Manuel Pégourié-Gonnard | 0aafa5c | 2014-05-08 11:33:30 +0200 | [diff] [blame] | 80 | </PropertyGroup>
|
| 81 | <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'">
|
| 82 | <ClCompile>
|
Manuel Pégourié-Gonnard | 0aafa5c | 2014-05-08 11:33:30 +0200 | [diff] [blame] | 83 | <WarningLevel>Level3</WarningLevel>
|
| 84 | <Optimization>Disabled</Optimization>
|
irwir | fcdea0f | 2020-05-19 19:48:27 +0300 | [diff] [blame] | 85 | <PreprocessorDefinitions>_USRDLL;MBEDTLS_EXPORTS;KRML_VERIFIED_UINT128;%(PreprocessorDefinitions)</PreprocessorDefinitions>
|
Gilles Peskine | 7156d8c | 2020-02-19 20:08:44 +0100 | [diff] [blame] | 86 | <AdditionalIncludeDirectories>
|
| 87 | INCLUDE_DIRECTORIES
|
| 88 | </AdditionalIncludeDirectories>
|
Manuel Pégourié-Gonnard | 0aafa5c | 2014-05-08 11:33:30 +0200 | [diff] [blame] | 89 | <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é-Gonnard | 0aafa5c | 2014-05-08 11:33:30 +0200 | [diff] [blame] | 98 | <WarningLevel>Level3</WarningLevel>
|
| 99 | <Optimization>Disabled</Optimization>
|
irwir | fcdea0f | 2020-05-19 19:48:27 +0300 | [diff] [blame] | 100 | <PreprocessorDefinitions>_USRDLL;MBEDTLS_EXPORTS;KRML_VERIFIED_UINT128;%(PreprocessorDefinitions)</PreprocessorDefinitions>
|
Gilles Peskine | 7156d8c | 2020-02-19 20:08:44 +0100 | [diff] [blame] | 101 | <AdditionalIncludeDirectories>
|
| 102 | INCLUDE_DIRECTORIES
|
| 103 | </AdditionalIncludeDirectories>
|
Manuel Pégourié-Gonnard | 0aafa5c | 2014-05-08 11:33:30 +0200 | [diff] [blame] | 104 | <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é-Gonnard | 0aafa5c | 2014-05-08 11:33:30 +0200 | [diff] [blame] | 114 | <Optimization>MaxSpeed</Optimization>
|
| 115 | <FunctionLevelLinking>true</FunctionLevelLinking>
|
| 116 | <IntrinsicFunctions>true</IntrinsicFunctions>
|
irwir | fcdea0f | 2020-05-19 19:48:27 +0300 | [diff] [blame] | 117 | <PreprocessorDefinitions>NDEBUG;_USRDLL;MBEDTLS_EXPORTS;KRML_VERIFIED_UINT128;%(PreprocessorDefinitions)</PreprocessorDefinitions>
|
Gilles Peskine | 7156d8c | 2020-02-19 20:08:44 +0100 | [diff] [blame] | 118 | <AdditionalIncludeDirectories>
|
| 119 | INCLUDE_DIRECTORIES
|
| 120 | </AdditionalIncludeDirectories>
|
Manuel Pégourié-Gonnard | 0aafa5c | 2014-05-08 11:33:30 +0200 | [diff] [blame] | 121 | </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é-Gonnard | 0aafa5c | 2014-05-08 11:33:30 +0200 | [diff] [blame] | 132 | <Optimization>MaxSpeed</Optimization>
|
| 133 | <FunctionLevelLinking>true</FunctionLevelLinking>
|
| 134 | <IntrinsicFunctions>true</IntrinsicFunctions>
|
Gilles Peskine | 2ae678d | 2020-03-24 22:10:57 +0100 | [diff] [blame] | 135 | <PreprocessorDefinitions>WIN64;NDEBUG;_WINDOWS;_USRDLL;MBEDTLS_EXPORTS;KRML_VERIFIED_UINT128;%(PreprocessorDefinitions)</PreprocessorDefinitions>
|
Gilles Peskine | 7156d8c | 2020-02-19 20:08:44 +0100 | [diff] [blame] | 136 | <AdditionalIncludeDirectories>
|
| 137 | INCLUDE_DIRECTORIES
|
| 138 | </AdditionalIncludeDirectories>
|
Manuel Pégourié-Gonnard | 0aafa5c | 2014-05-08 11:33:30 +0200 | [diff] [blame] | 139 | </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>
|
| 148 | HEADER_ENTRIES
|
| 149 | </ItemGroup>
|
| 150 | <ItemGroup>
|
| 151 | SOURCE_ENTRIES
|
| 152 | </ItemGroup>
|
| 153 | <Import Project="$(VCTargetsPath)\Microsoft.Cpp.targets" />
|
| 154 | <ImportGroup Label="ExtensionTargets">
|
| 155 | </ImportGroup>
|
| 156 | </Project>
|