2014-05-08 09:33:30 +00:00
|
|
|
|
<?xml version="1.0" encoding="utf-8"?>
|
|
|
|
|
<Project DefaultTargets="Build" ToolsVersion="4.0" xmlns="http://schemas.microsoft.com/developer/msbuild/2003">
|
|
|
|
|
<ItemGroup Label="ProjectConfigurations">
|
|
|
|
|
<ProjectConfiguration Include="Debug|Win32">
|
|
|
|
|
<Configuration>Debug</Configuration>
|
|
|
|
|
<Platform>Win32</Platform>
|
|
|
|
|
</ProjectConfiguration>
|
|
|
|
|
<ProjectConfiguration Include="Debug|x64">
|
|
|
|
|
<Configuration>Debug</Configuration>
|
|
|
|
|
<Platform>x64</Platform>
|
|
|
|
|
</ProjectConfiguration>
|
|
|
|
|
<ProjectConfiguration Include="Release|Win32">
|
|
|
|
|
<Configuration>Release</Configuration>
|
|
|
|
|
<Platform>Win32</Platform>
|
|
|
|
|
</ProjectConfiguration>
|
|
|
|
|
<ProjectConfiguration Include="Release|x64">
|
|
|
|
|
<Configuration>Release</Configuration>
|
|
|
|
|
<Platform>x64</Platform>
|
|
|
|
|
</ProjectConfiguration>
|
|
|
|
|
</ItemGroup>
|
|
|
|
|
<PropertyGroup Label="Globals">
|
|
|
|
|
<ProjectGuid>{46CF2D25-6A36-4189-B59C-E4815388E554}</ProjectGuid>
|
|
|
|
|
<Keyword>Win32Proj</Keyword>
|
2020-03-24 21:10:57 +00:00
|
|
|
|
<RootNamespace>mbedTLS</RootNamespace>
|
2014-05-08 09:33:30 +00:00
|
|
|
|
</PropertyGroup>
|
|
|
|
|
<Import Project="$(VCTargetsPath)\Microsoft.Cpp.Default.props" />
|
|
|
|
|
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'" Label="Configuration">
|
|
|
|
|
<ConfigurationType>StaticLibrary</ConfigurationType>
|
|
|
|
|
<UseDebugLibraries>true</UseDebugLibraries>
|
|
|
|
|
<CharacterSet>Unicode</CharacterSet>
|
|
|
|
|
</PropertyGroup>
|
|
|
|
|
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Debug|x64'" Label="Configuration">
|
|
|
|
|
<ConfigurationType>StaticLibrary</ConfigurationType>
|
|
|
|
|
<UseDebugLibraries>true</UseDebugLibraries>
|
|
|
|
|
<CharacterSet>Unicode</CharacterSet>
|
|
|
|
|
</PropertyGroup>
|
|
|
|
|
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Release|Win32'" Label="Configuration">
|
|
|
|
|
<ConfigurationType>StaticLibrary</ConfigurationType>
|
|
|
|
|
<UseDebugLibraries>false</UseDebugLibraries>
|
|
|
|
|
<WholeProgramOptimization>true</WholeProgramOptimization>
|
|
|
|
|
<CharacterSet>Unicode</CharacterSet>
|
|
|
|
|
</PropertyGroup>
|
|
|
|
|
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Release|x64'" Label="Configuration">
|
|
|
|
|
<ConfigurationType>StaticLibrary</ConfigurationType>
|
|
|
|
|
<UseDebugLibraries>false</UseDebugLibraries>
|
|
|
|
|
<WholeProgramOptimization>true</WholeProgramOptimization>
|
|
|
|
|
<CharacterSet>Unicode</CharacterSet>
|
|
|
|
|
</PropertyGroup>
|
|
|
|
|
<Import Project="$(VCTargetsPath)\Microsoft.Cpp.props" />
|
|
|
|
|
<ImportGroup Label="ExtensionSettings">
|
|
|
|
|
</ImportGroup>
|
|
|
|
|
<ImportGroup Label="PropertySheets" Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'">
|
|
|
|
|
<Import Project="$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props" Condition="exists('$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props')" Label="LocalAppDataPlatform" />
|
|
|
|
|
</ImportGroup>
|
|
|
|
|
<ImportGroup Condition="'$(Configuration)|$(Platform)'=='Debug|x64'" Label="PropertySheets">
|
|
|
|
|
<Import Project="$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props" Condition="exists('$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props')" Label="LocalAppDataPlatform" />
|
|
|
|
|
</ImportGroup>
|
|
|
|
|
<ImportGroup Label="PropertySheets" Condition="'$(Configuration)|$(Platform)'=='Release|Win32'">
|
|
|
|
|
<Import Project="$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props" Condition="exists('$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props')" Label="LocalAppDataPlatform" />
|
|
|
|
|
</ImportGroup>
|
|
|
|
|
<ImportGroup Condition="'$(Configuration)|$(Platform)'=='Release|x64'" Label="PropertySheets">
|
|
|
|
|
<Import Project="$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props" Condition="exists('$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props')" Label="LocalAppDataPlatform" />
|
|
|
|
|
</ImportGroup>
|
|
|
|
|
<PropertyGroup Label="UserMacros" />
|
|
|
|
|
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'">
|
|
|
|
|
<LinkIncremental>true</LinkIncremental>
|
2017-03-01 22:17:49 +00:00
|
|
|
|
<IntDir>$(Configuration)\$(TargetName)\</IntDir>
|
2014-05-08 09:33:30 +00:00
|
|
|
|
</PropertyGroup>
|
|
|
|
|
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Debug|x64'">
|
|
|
|
|
<LinkIncremental>true</LinkIncremental>
|
2017-03-01 22:17:49 +00:00
|
|
|
|
<IntDir>$(Configuration)\$(TargetName)\</IntDir>
|
2014-05-08 09:33:30 +00:00
|
|
|
|
</PropertyGroup>
|
|
|
|
|
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Release|Win32'">
|
|
|
|
|
<LinkIncremental>false</LinkIncremental>
|
2017-03-01 22:17:49 +00:00
|
|
|
|
<IntDir>$(Configuration)\$(TargetName)\</IntDir>
|
2014-05-08 09:33:30 +00:00
|
|
|
|
</PropertyGroup>
|
|
|
|
|
<PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Release|x64'">
|
|
|
|
|
<LinkIncremental>false</LinkIncremental>
|
2017-03-01 22:17:49 +00:00
|
|
|
|
<IntDir>$(Configuration)\$(TargetName)\</IntDir>
|
2014-05-08 09:33:30 +00:00
|
|
|
|
</PropertyGroup>
|
|
|
|
|
<ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'">
|
|
|
|
|
<ClCompile>
|
|
|
|
|
<WarningLevel>Level3</WarningLevel>
|
|
|
|
|
<Optimization>Disabled</Optimization>
|
2020-05-19 16:48:27 +00:00
|
|
|
|
<PreprocessorDefinitions>_USRDLL;MBEDTLS_EXPORTS;KRML_VERIFIED_UINT128;%(PreprocessorDefinitions)</PreprocessorDefinitions>
|
2020-02-19 19:08:44 +00:00
|
|
|
|
<AdditionalIncludeDirectories>
|
|
|
|
|
INCLUDE_DIRECTORIES
|
|
|
|
|
</AdditionalIncludeDirectories>
|
2014-05-08 09:33:30 +00:00
|
|
|
|
<CompileAs>CompileAsC</CompileAs>
|
|
|
|
|
</ClCompile>
|
|
|
|
|
<Link>
|
|
|
|
|
<SubSystem>Windows</SubSystem>
|
|
|
|
|
<GenerateDebugInformation>true</GenerateDebugInformation>
|
|
|
|
|
</Link>
|
|
|
|
|
</ItemDefinitionGroup>
|
|
|
|
|
<ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Debug|x64'">
|
|
|
|
|
<ClCompile>
|
|
|
|
|
<WarningLevel>Level3</WarningLevel>
|
|
|
|
|
<Optimization>Disabled</Optimization>
|
2020-05-19 16:48:27 +00:00
|
|
|
|
<PreprocessorDefinitions>_USRDLL;MBEDTLS_EXPORTS;KRML_VERIFIED_UINT128;%(PreprocessorDefinitions)</PreprocessorDefinitions>
|
2020-02-19 19:08:44 +00:00
|
|
|
|
<AdditionalIncludeDirectories>
|
|
|
|
|
INCLUDE_DIRECTORIES
|
|
|
|
|
</AdditionalIncludeDirectories>
|
2014-05-08 09:33:30 +00:00
|
|
|
|
<CompileAs>CompileAsC</CompileAs>
|
|
|
|
|
</ClCompile>
|
|
|
|
|
<Link>
|
|
|
|
|
<SubSystem>Windows</SubSystem>
|
|
|
|
|
<GenerateDebugInformation>true</GenerateDebugInformation>
|
|
|
|
|
</Link>
|
|
|
|
|
</ItemDefinitionGroup>
|
|
|
|
|
<ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Release|Win32'">
|
|
|
|
|
<ClCompile>
|
|
|
|
|
<WarningLevel>Level3</WarningLevel>
|
|
|
|
|
<Optimization>MaxSpeed</Optimization>
|
|
|
|
|
<FunctionLevelLinking>true</FunctionLevelLinking>
|
|
|
|
|
<IntrinsicFunctions>true</IntrinsicFunctions>
|
2020-05-19 16:48:27 +00:00
|
|
|
|
<PreprocessorDefinitions>NDEBUG;_USRDLL;MBEDTLS_EXPORTS;KRML_VERIFIED_UINT128;%(PreprocessorDefinitions)</PreprocessorDefinitions>
|
2020-02-19 19:08:44 +00:00
|
|
|
|
<AdditionalIncludeDirectories>
|
|
|
|
|
INCLUDE_DIRECTORIES
|
|
|
|
|
</AdditionalIncludeDirectories>
|
2014-05-08 09:33:30 +00:00
|
|
|
|
</ClCompile>
|
|
|
|
|
<Link>
|
|
|
|
|
<SubSystem>Windows</SubSystem>
|
|
|
|
|
<GenerateDebugInformation>true</GenerateDebugInformation>
|
|
|
|
|
<EnableCOMDATFolding>true</EnableCOMDATFolding>
|
|
|
|
|
<OptimizeReferences>true</OptimizeReferences>
|
|
|
|
|
</Link>
|
|
|
|
|
</ItemDefinitionGroup>
|
|
|
|
|
<ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Release|x64'">
|
|
|
|
|
<ClCompile>
|
|
|
|
|
<WarningLevel>Level3</WarningLevel>
|
|
|
|
|
<Optimization>MaxSpeed</Optimization>
|
|
|
|
|
<FunctionLevelLinking>true</FunctionLevelLinking>
|
|
|
|
|
<IntrinsicFunctions>true</IntrinsicFunctions>
|
2020-03-24 21:10:57 +00:00
|
|
|
|
<PreprocessorDefinitions>WIN64;NDEBUG;_WINDOWS;_USRDLL;MBEDTLS_EXPORTS;KRML_VERIFIED_UINT128;%(PreprocessorDefinitions)</PreprocessorDefinitions>
|
2020-02-19 19:08:44 +00:00
|
|
|
|
<AdditionalIncludeDirectories>
|
|
|
|
|
INCLUDE_DIRECTORIES
|
|
|
|
|
</AdditionalIncludeDirectories>
|
2014-05-08 09:33:30 +00:00
|
|
|
|
</ClCompile>
|
|
|
|
|
<Link>
|
|
|
|
|
<SubSystem>Windows</SubSystem>
|
|
|
|
|
<GenerateDebugInformation>true</GenerateDebugInformation>
|
|
|
|
|
<EnableCOMDATFolding>true</EnableCOMDATFolding>
|
|
|
|
|
<OptimizeReferences>true</OptimizeReferences>
|
|
|
|
|
</Link>
|
|
|
|
|
</ItemDefinitionGroup>
|
|
|
|
|
<ItemGroup>
|
|
|
|
|
HEADER_ENTRIES
|
|
|
|
|
</ItemGroup>
|
|
|
|
|
<ItemGroup>
|
|
|
|
|
SOURCE_ENTRIES
|
|
|
|
|
</ItemGroup>
|
|
|
|
|
<Import Project="$(VCTargetsPath)\Microsoft.Cpp.targets" />
|
|
|
|
|
<ImportGroup Label="ExtensionTargets">
|
|
|
|
|
</ImportGroup>
|
|
|
|
|
</Project>
|