| 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> |