blob: 33121bf1c29e173c26fe4c343f33910fb3a4cd7a [file] [log] [blame]
Manuel Pégourié-Gonnard2a0718d2015-01-29 11:29:12 +00001<?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>
Manuel Pégourié-Gonnardedaa9a02015-01-26 15:43:46 +000024 <RootNamespace>mbedTLS</RootNamespace>
Manuel Pégourié-Gonnard2a0718d2015-01-29 11:29:12 +000025 </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>
48 <PlatformToolset>Windows7.1SDK</PlatformToolset>
49 </PropertyGroup>
50 <Import Project="$(VCTargetsPath)\Microsoft.Cpp.props" />
51 <ImportGroup Label="ExtensionSettings">
52 </ImportGroup>
53 <ImportGroup Label="PropertySheets" Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'">
54 <Import Project="$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props" Condition="exists('$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props')" Label="LocalAppDataPlatform" />
55 </ImportGroup>
56 <ImportGroup Condition="'$(Configuration)|$(Platform)'=='Debug|x64'" Label="PropertySheets">
57 <Import Project="$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props" Condition="exists('$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props')" Label="LocalAppDataPlatform" />
58 </ImportGroup>
59 <ImportGroup Label="PropertySheets" Condition="'$(Configuration)|$(Platform)'=='Release|Win32'">
60 <Import Project="$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props" Condition="exists('$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props')" Label="LocalAppDataPlatform" />
61 </ImportGroup>
62 <ImportGroup Condition="'$(Configuration)|$(Platform)'=='Release|x64'" Label="PropertySheets">
63 <Import Project="$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props" Condition="exists('$(UserRootDir)\Microsoft.Cpp.$(Platform).user.props')" Label="LocalAppDataPlatform" />
64 </ImportGroup>
65 <PropertyGroup Label="UserMacros" />
66 <PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'">
67 <LinkIncremental>true</LinkIncremental>
Simon Butcher6406e812017-03-01 22:25:12 +000068 <IntDir>$(Configuration)\$(TargetName)\</IntDir>
Manuel Pégourié-Gonnard2a0718d2015-01-29 11:29:12 +000069 </PropertyGroup>
70 <PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Debug|x64'">
71 <LinkIncremental>true</LinkIncremental>
Simon Butcher6406e812017-03-01 22:25:12 +000072 <IntDir>$(Configuration)\$(TargetName)\</IntDir>
Manuel Pégourié-Gonnard2a0718d2015-01-29 11:29:12 +000073 </PropertyGroup>
74 <PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Release|Win32'">
75 <LinkIncremental>false</LinkIncremental>
Simon Butcher6406e812017-03-01 22:25:12 +000076 <IntDir>$(Configuration)\$(TargetName)\</IntDir>
Manuel Pégourié-Gonnard2a0718d2015-01-29 11:29:12 +000077 </PropertyGroup>
78 <PropertyGroup Condition="'$(Configuration)|$(Platform)'=='Release|x64'">
79 <LinkIncremental>false</LinkIncremental>
Simon Butcher6406e812017-03-01 22:25:12 +000080 <IntDir>$(Configuration)\$(TargetName)\</IntDir>
Manuel Pégourié-Gonnard2a0718d2015-01-29 11:29:12 +000081 </PropertyGroup>
82 <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Debug|Win32'">
83 <ClCompile>
84 <PrecompiledHeader>
85 </PrecompiledHeader>
86 <WarningLevel>Level3</WarningLevel>
87 <Optimization>Disabled</Optimization>
Christoph M. Wintersteiger48d26c22018-12-06 18:59:19 +000088 <PreprocessorDefinitions>WIN32;_DEBUG;_WINDOWS;_USRDLL;MBEDTLS_EXPORTS;KRML_VERIFIED_UINT128;%(PreprocessorDefinitions)</PreprocessorDefinitions>
Gilles Peskined362d0b2020-02-26 14:32:42 +010089 <AdditionalIncludeDirectories>
90../../include;../../3rdparty/everest/include/;../../3rdparty/everest/include/everest;../../3rdparty/everest/include/everest/vs2010;../../3rdparty/everest/include/everest/kremlib </AdditionalIncludeDirectories>
Manuel Pégourié-Gonnard2a0718d2015-01-29 11:29:12 +000091 <CompileAs>CompileAsC</CompileAs>
92 </ClCompile>
93 <Link>
94 <SubSystem>Windows</SubSystem>
95 <GenerateDebugInformation>true</GenerateDebugInformation>
96 </Link>
97 </ItemDefinitionGroup>
98 <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Debug|x64'">
99 <ClCompile>
100 <PrecompiledHeader>
101 </PrecompiledHeader>
102 <WarningLevel>Level3</WarningLevel>
103 <Optimization>Disabled</Optimization>
Christoph M. Wintersteiger48d26c22018-12-06 18:59:19 +0000104 <PreprocessorDefinitions>WIN32;_DEBUG;_WINDOWS;_USRDLL;MBEDTLS_EXPORTS;KRML_VERIFIED_UINT128;%(PreprocessorDefinitions)</PreprocessorDefinitions>
Gilles Peskined362d0b2020-02-26 14:32:42 +0100105 <AdditionalIncludeDirectories>
106../../include;../../3rdparty/everest/include/;../../3rdparty/everest/include/everest;../../3rdparty/everest/include/everest/vs2010;../../3rdparty/everest/include/everest/kremlib </AdditionalIncludeDirectories>
Manuel Pégourié-Gonnard2a0718d2015-01-29 11:29:12 +0000107 <CompileAs>CompileAsC</CompileAs>
108 </ClCompile>
109 <Link>
110 <SubSystem>Windows</SubSystem>
111 <GenerateDebugInformation>true</GenerateDebugInformation>
112 </Link>
113 </ItemDefinitionGroup>
114 <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Release|Win32'">
115 <ClCompile>
116 <WarningLevel>Level3</WarningLevel>
117 <PrecompiledHeader>
118 </PrecompiledHeader>
119 <Optimization>MaxSpeed</Optimization>
120 <FunctionLevelLinking>true</FunctionLevelLinking>
121 <IntrinsicFunctions>true</IntrinsicFunctions>
Christoph M. Wintersteiger48d26c22018-12-06 18:59:19 +0000122 <PreprocessorDefinitions>WIN32;NDEBUG;_WINDOWS;_USRDLL;MBEDTLS_EXPORTS;KRML_VERIFIED_UINT128;%(PreprocessorDefinitions)</PreprocessorDefinitions>
Gilles Peskined362d0b2020-02-26 14:32:42 +0100123 <AdditionalIncludeDirectories>
124../../include;../../3rdparty/everest/include/;../../3rdparty/everest/include/everest;../../3rdparty/everest/include/everest/vs2010;../../3rdparty/everest/include/everest/kremlib </AdditionalIncludeDirectories>
Manuel Pégourié-Gonnard2a0718d2015-01-29 11:29:12 +0000125 </ClCompile>
126 <Link>
127 <SubSystem>Windows</SubSystem>
128 <GenerateDebugInformation>true</GenerateDebugInformation>
129 <EnableCOMDATFolding>true</EnableCOMDATFolding>
130 <OptimizeReferences>true</OptimizeReferences>
131 </Link>
132 </ItemDefinitionGroup>
133 <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Release|x64'">
134 <ClCompile>
135 <WarningLevel>Level3</WarningLevel>
136 <PrecompiledHeader>
137 </PrecompiledHeader>
138 <Optimization>MaxSpeed</Optimization>
139 <FunctionLevelLinking>true</FunctionLevelLinking>
140 <IntrinsicFunctions>true</IntrinsicFunctions>
Christoph M. Wintersteiger48d26c22018-12-06 18:59:19 +0000141 <PreprocessorDefinitions>WIN64;NDEBUG;_WINDOWS;_USRDLL;MBEDTLS_EXPORTS;KRML_VERIFIED_UINT128;%(PreprocessorDefinitions)</PreprocessorDefinitions>
Gilles Peskined362d0b2020-02-26 14:32:42 +0100142 <AdditionalIncludeDirectories>
143../../include;../../3rdparty/everest/include/;../../3rdparty/everest/include/everest;../../3rdparty/everest/include/everest/vs2010;../../3rdparty/everest/include/everest/kremlib </AdditionalIncludeDirectories>
Manuel Pégourié-Gonnard2a0718d2015-01-29 11:29:12 +0000144 </ClCompile>
145 <Link>
146 <SubSystem>Windows</SubSystem>
147 <GenerateDebugInformation>true</GenerateDebugInformation>
148 <EnableCOMDATFolding>true</EnableCOMDATFolding>
149 <OptimizeReferences>true</OptimizeReferences>
150 </Link>
151 </ItemDefinitionGroup>
152 <ItemGroup>
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +0000153 <ClInclude Include="..\..\include\mbedtls\aes.h" />
154 <ClInclude Include="..\..\include\mbedtls\aesni.h" />
155 <ClInclude Include="..\..\include\mbedtls\arc4.h" />
Manuel Pégourié-Gonnard707e9622018-05-09 10:57:04 +0200156 <ClInclude Include="..\..\include\mbedtls\aria.h" />
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +0000157 <ClInclude Include="..\..\include\mbedtls\asn1.h" />
158 <ClInclude Include="..\..\include\mbedtls\asn1write.h" />
159 <ClInclude Include="..\..\include\mbedtls\base64.h" />
160 <ClInclude Include="..\..\include\mbedtls\bignum.h" />
161 <ClInclude Include="..\..\include\mbedtls\blowfish.h" />
162 <ClInclude Include="..\..\include\mbedtls\bn_mul.h" />
163 <ClInclude Include="..\..\include\mbedtls\camellia.h" />
164 <ClInclude Include="..\..\include\mbedtls\ccm.h" />
Manuel Pégourié-Gonnardf30dbdc2018-06-07 13:04:35 +0200165 <ClInclude Include="..\..\include\mbedtls\chacha20.h" />
166 <ClInclude Include="..\..\include\mbedtls\chachapoly.h" />
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +0000167 <ClInclude Include="..\..\include\mbedtls\check_config.h" />
168 <ClInclude Include="..\..\include\mbedtls\cipher.h" />
Manuel Pégourié-Gonnardf7c42d82015-06-25 11:29:35 +0200169 <ClInclude Include="..\..\include\mbedtls\cipher_internal.h" />
Simon Butcher16c54ee2016-10-16 19:34:39 +0100170 <ClInclude Include="..\..\include\mbedtls\cmac.h" />
Manuel Pégourié-Gonnard51f14be2015-05-14 13:04:03 +0200171 <ClInclude Include="..\..\include\mbedtls\compat-1.3.h" />
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +0000172 <ClInclude Include="..\..\include\mbedtls\config.h" />
173 <ClInclude Include="..\..\include\mbedtls\ctr_drbg.h" />
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +0000174 <ClInclude Include="..\..\include\mbedtls\des.h" />
175 <ClInclude Include="..\..\include\mbedtls\dhm.h" />
176 <ClInclude Include="..\..\include\mbedtls\ecdh.h" />
177 <ClInclude Include="..\..\include\mbedtls\ecdsa.h" />
Simon Butcher8254ed22015-11-04 11:04:00 +0000178 <ClInclude Include="..\..\include\mbedtls\ecjpake.h" />
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +0000179 <ClInclude Include="..\..\include\mbedtls\ecp.h" />
Simon Butcherfea20782017-05-15 15:11:12 +0100180 <ClInclude Include="..\..\include\mbedtls\ecp_internal.h" />
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +0000181 <ClInclude Include="..\..\include\mbedtls\entropy.h" />
182 <ClInclude Include="..\..\include\mbedtls\entropy_poll.h" />
183 <ClInclude Include="..\..\include\mbedtls\error.h" />
184 <ClInclude Include="..\..\include\mbedtls\gcm.h" />
185 <ClInclude Include="..\..\include\mbedtls\havege.h" />
Thomas Fossati656864b2016-07-17 08:51:22 +0100186 <ClInclude Include="..\..\include\mbedtls\hkdf.h" />
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +0000187 <ClInclude Include="..\..\include\mbedtls\hmac_drbg.h" />
188 <ClInclude Include="..\..\include\mbedtls\md.h" />
189 <ClInclude Include="..\..\include\mbedtls\md2.h" />
190 <ClInclude Include="..\..\include\mbedtls\md4.h" />
191 <ClInclude Include="..\..\include\mbedtls\md5.h" />
Manuel Pégourié-Gonnardf7c42d82015-06-25 11:29:35 +0200192 <ClInclude Include="..\..\include\mbedtls\md_internal.h" />
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +0000193 <ClInclude Include="..\..\include\mbedtls\memory_buffer_alloc.h" />
Ron Eldorcb349ac2018-07-15 09:29:47 +0300194 <ClInclude Include="..\..\include\mbedtls\nist_kw.h" />
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +0000195 <ClInclude Include="..\..\include\mbedtls\oid.h" />
196 <ClInclude Include="..\..\include\mbedtls\padlock.h" />
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +0000197 <ClInclude Include="..\..\include\mbedtls\pem.h" />
198 <ClInclude Include="..\..\include\mbedtls\pk.h" />
Manuel Pégourié-Gonnardf7c42d82015-06-25 11:29:35 +0200199 <ClInclude Include="..\..\include\mbedtls\pk_internal.h" />
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +0000200 <ClInclude Include="..\..\include\mbedtls\pkcs12.h" />
201 <ClInclude Include="..\..\include\mbedtls\pkcs5.h" />
202 <ClInclude Include="..\..\include\mbedtls\platform.h" />
Simon Butcher16c54ee2016-10-16 19:34:39 +0100203 <ClInclude Include="..\..\include\mbedtls\platform_time.h" />
Andres Amaya Garcia96449832018-04-17 10:03:44 -0500204 <ClInclude Include="..\..\include\mbedtls\platform_util.h" />
Manuel Pégourié-Gonnardf30dbdc2018-06-07 13:04:35 +0200205 <ClInclude Include="..\..\include\mbedtls\poly1305.h" />
Hanno Becker77030422018-11-18 07:16:46 +0000206 <ClInclude Include="..\..\include\mbedtls\psa_util.h" />
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +0000207 <ClInclude Include="..\..\include\mbedtls\ripemd160.h" />
208 <ClInclude Include="..\..\include\mbedtls\rsa.h" />
Hanno Beckeradb0b2e2018-01-10 10:35:11 +0000209 <ClInclude Include="..\..\include\mbedtls\rsa_internal.h" />
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +0000210 <ClInclude Include="..\..\include\mbedtls\sha1.h" />
211 <ClInclude Include="..\..\include\mbedtls\sha256.h" />
212 <ClInclude Include="..\..\include\mbedtls\sha512.h" />
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +0000213 <ClInclude Include="..\..\include\mbedtls\threading.h" />
214 <ClInclude Include="..\..\include\mbedtls\timing.h" />
215 <ClInclude Include="..\..\include\mbedtls\version.h" />
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +0000216 <ClInclude Include="..\..\include\mbedtls\xtea.h" />
Gilles Peskinee59236f2018-01-27 23:32:46 +0100217 <ClInclude Include="..\..\include\psa\crypto.h" />
Gilles Peskine75976892018-12-12 15:55:09 +0100218 <ClInclude Include="..\..\include\psa\crypto_accel_driver.h" />
Gilles Peskine7a894f22019-11-26 16:06:46 +0100219 <ClInclude Include="..\..\include\psa\crypto_compat.h" />
Gilles Peskine75976892018-12-12 15:55:09 +0100220 <ClInclude Include="..\..\include\psa\crypto_driver_common.h" />
221 <ClInclude Include="..\..\include\psa\crypto_entropy_driver.h" />
Gilles Peskinee59236f2018-01-27 23:32:46 +0100222 <ClInclude Include="..\..\include\psa\crypto_extra.h" />
Darryl Green16923632018-07-20 13:29:25 +0100223 <ClInclude Include="..\..\include\psa\crypto_platform.h" />
Gilles Peskine75976892018-12-12 15:55:09 +0100224 <ClInclude Include="..\..\include\psa\crypto_se_driver.h" />
Darryl Green16923632018-07-20 13:29:25 +0100225 <ClInclude Include="..\..\include\psa\crypto_sizes.h" />
226 <ClInclude Include="..\..\include\psa\crypto_struct.h" />
Gilles Peskinef3b731e2018-12-12 13:38:31 +0100227 <ClInclude Include="..\..\include\psa\crypto_types.h" />
228 <ClInclude Include="..\..\include\psa\crypto_values.h" />
Gilles Peskineb41f88f2020-02-12 20:45:18 +0100229 <ClInclude Include="..\..\library\psa_crypto_core.h" />
230 <ClInclude Include="..\..\library\psa_crypto_invasive.h" />
231 <ClInclude Include="..\..\library\psa_crypto_its.h" />
232 <ClInclude Include="..\..\library\psa_crypto_se.h" />
233 <ClInclude Include="..\..\library\psa_crypto_service_integration.h" />
234 <ClInclude Include="..\..\library\psa_crypto_slot_management.h" />
235 <ClInclude Include="..\..\library\psa_crypto_storage.h" />
Christoph M. Wintersteiger48d26c22018-12-06 18:59:19 +0000236 <ClInclude Include="..\..\3rdparty\everest\include\everest\everest.h" />
237 <ClInclude Include="..\..\3rdparty\everest\include\everest\Hacl_Curve25519.h" />
238 <ClInclude Include="..\..\3rdparty\everest\include\everest\kremlib.h" />
239 <ClInclude Include="..\..\3rdparty\everest\include\everest\x25519.h" />
Manuel Pégourié-Gonnard2a0718d2015-01-29 11:29:12 +0000240 </ItemGroup>
241 <ItemGroup>
242 <ClCompile Include="..\..\library\aes.c" />
243 <ClCompile Include="..\..\library\aesni.c" />
244 <ClCompile Include="..\..\library\arc4.c" />
Manuel Pégourié-Gonnard707e9622018-05-09 10:57:04 +0200245 <ClCompile Include="..\..\library\aria.c" />
Manuel Pégourié-Gonnard2a0718d2015-01-29 11:29:12 +0000246 <ClCompile Include="..\..\library\asn1parse.c" />
247 <ClCompile Include="..\..\library\asn1write.c" />
248 <ClCompile Include="..\..\library\base64.c" />
249 <ClCompile Include="..\..\library\bignum.c" />
250 <ClCompile Include="..\..\library\blowfish.c" />
251 <ClCompile Include="..\..\library\camellia.c" />
252 <ClCompile Include="..\..\library\ccm.c" />
Manuel Pégourié-Gonnardf30dbdc2018-06-07 13:04:35 +0200253 <ClCompile Include="..\..\library\chacha20.c" />
254 <ClCompile Include="..\..\library\chachapoly.c" />
Manuel Pégourié-Gonnard2a0718d2015-01-29 11:29:12 +0000255 <ClCompile Include="..\..\library\cipher.c" />
256 <ClCompile Include="..\..\library\cipher_wrap.c" />
Simon Butcher16c54ee2016-10-16 19:34:39 +0100257 <ClCompile Include="..\..\library\cmac.c" />
Manuel Pégourié-Gonnard2a0718d2015-01-29 11:29:12 +0000258 <ClCompile Include="..\..\library\ctr_drbg.c" />
Manuel Pégourié-Gonnard2a0718d2015-01-29 11:29:12 +0000259 <ClCompile Include="..\..\library\des.c" />
260 <ClCompile Include="..\..\library\dhm.c" />
261 <ClCompile Include="..\..\library\ecdh.c" />
262 <ClCompile Include="..\..\library\ecdsa.c" />
Simon Butcher8254ed22015-11-04 11:04:00 +0000263 <ClCompile Include="..\..\library\ecjpake.c" />
Manuel Pégourié-Gonnard2a0718d2015-01-29 11:29:12 +0000264 <ClCompile Include="..\..\library\ecp.c" />
265 <ClCompile Include="..\..\library\ecp_curves.c" />
266 <ClCompile Include="..\..\library\entropy.c" />
267 <ClCompile Include="..\..\library\entropy_poll.c" />
268 <ClCompile Include="..\..\library\error.c" />
269 <ClCompile Include="..\..\library\gcm.c" />
270 <ClCompile Include="..\..\library\havege.c" />
Thomas Fossati656864b2016-07-17 08:51:22 +0100271 <ClCompile Include="..\..\library\hkdf.c" />
Manuel Pégourié-Gonnard2a0718d2015-01-29 11:29:12 +0000272 <ClCompile Include="..\..\library\hmac_drbg.c" />
273 <ClCompile Include="..\..\library\md.c" />
274 <ClCompile Include="..\..\library\md2.c" />
275 <ClCompile Include="..\..\library\md4.c" />
276 <ClCompile Include="..\..\library\md5.c" />
Manuel Pégourié-Gonnard2a0718d2015-01-29 11:29:12 +0000277 <ClCompile Include="..\..\library\memory_buffer_alloc.c" />
Ron Eldorcb349ac2018-07-15 09:29:47 +0300278 <ClCompile Include="..\..\library\nist_kw.c" />
Manuel Pégourié-Gonnard2a0718d2015-01-29 11:29:12 +0000279 <ClCompile Include="..\..\library\oid.c" />
280 <ClCompile Include="..\..\library\padlock.c" />
Manuel Pégourié-Gonnard2a0718d2015-01-29 11:29:12 +0000281 <ClCompile Include="..\..\library\pem.c" />
282 <ClCompile Include="..\..\library\pk.c" />
283 <ClCompile Include="..\..\library\pk_wrap.c" />
Manuel Pégourié-Gonnard2a0718d2015-01-29 11:29:12 +0000284 <ClCompile Include="..\..\library\pkcs12.c" />
285 <ClCompile Include="..\..\library\pkcs5.c" />
286 <ClCompile Include="..\..\library\pkparse.c" />
287 <ClCompile Include="..\..\library\pkwrite.c" />
288 <ClCompile Include="..\..\library\platform.c" />
Andres Amaya Garcia96449832018-04-17 10:03:44 -0500289 <ClCompile Include="..\..\library\platform_util.c" />
Manuel Pégourié-Gonnardf30dbdc2018-06-07 13:04:35 +0200290 <ClCompile Include="..\..\library\poly1305.c" />
Gilles Peskinee59236f2018-01-27 23:32:46 +0100291 <ClCompile Include="..\..\library\psa_crypto.c" />
Gilles Peskinea899a722019-06-24 14:06:43 +0200292 <ClCompile Include="..\..\library\psa_crypto_se.c" />
Gilles Peskine961849f2018-11-30 18:54:54 +0100293 <ClCompile Include="..\..\library\psa_crypto_slot_management.c" />
Darryl Greendb2b8db2018-06-15 13:06:04 +0100294 <ClCompile Include="..\..\library\psa_crypto_storage.c" />
Gilles Peskine6194dc22018-11-16 22:24:15 +0100295 <ClCompile Include="..\..\library\psa_its_file.c" />
Darryl Green16923632018-07-20 13:29:25 +0100296 <ClCompile Include="..\..\library\ripemd160.c" />
Manuel Pégourié-Gonnard2a0718d2015-01-29 11:29:12 +0000297 <ClCompile Include="..\..\library\rsa.c" />
Hanno Beckeradb0b2e2018-01-10 10:35:11 +0000298 <ClCompile Include="..\..\library\rsa_internal.c" />
Manuel Pégourié-Gonnard2a0718d2015-01-29 11:29:12 +0000299 <ClCompile Include="..\..\library\sha1.c" />
300 <ClCompile Include="..\..\library\sha256.c" />
301 <ClCompile Include="..\..\library\sha512.c" />
Manuel Pégourié-Gonnard2a0718d2015-01-29 11:29:12 +0000302 <ClCompile Include="..\..\library\threading.c" />
303 <ClCompile Include="..\..\library\timing.c" />
304 <ClCompile Include="..\..\library\version.c" />
305 <ClCompile Include="..\..\library\version_features.c" />
Manuel Pégourié-Gonnard2a0718d2015-01-29 11:29:12 +0000306 <ClCompile Include="..\..\library\xtea.c" />
Christoph M. Wintersteiger48d26c22018-12-06 18:59:19 +0000307 <ClCompile Include="..\..\3rdparty\everest\library\everest.c" />
Christoph M. Wintersteigerf8d4c882019-04-12 18:01:08 +0100308 <ClCompile Include="..\..\3rdparty\everest\library\Hacl_Curve25519_joined.c" />
Christoph M. Wintersteiger48d26c22018-12-06 18:59:19 +0000309 <ClCompile Include="..\..\3rdparty\everest\library\x25519.c" />
Christoph M. Wintersteiger48d26c22018-12-06 18:59:19 +0000310 <ClCompile Include="..\..\3rdparty\everest\library\kremlib\FStar_UInt128_extracted.c" />
311 <ClCompile Include="..\..\3rdparty\everest\library\kremlib\FStar_UInt64_FStar_UInt32_FStar_UInt16_FStar_UInt8.c" />
Christoph M. Wintersteiger6ea2dea12019-01-21 17:26:19 +0000312 <ClCompile Include="..\..\3rdparty\everest\library\legacy\Hacl_Curve25519.c" />
Manuel Pégourié-Gonnard2a0718d2015-01-29 11:29:12 +0000313 </ItemGroup>
314 <Import Project="$(VCTargetsPath)\Microsoft.Cpp.targets" />
315 <ImportGroup Label="ExtensionTargets">
316 </ImportGroup>
317</Project>