commit 6ea2dea1c5aa1f1cc6ffe3f7ef7c56a2259a2668
author Christoph M. Wintersteiger <cwinter@microsoft.com> Mon Jan 21 17:26:19 2019 +0000
committer Janos Follath <janos.follath@arm.com> Mon Aug 19 13:37:46 2019 +0100
tree 790666a3c4f40755a11b07390791d35f6b22ecd4
parent 405b371a840dc9a5ed2c45965044757d0bd61e29

3rdparty: Add additional build facilities for 3rd-party code

visualc/VS2010/mbedTLS.vcxproj

diff --git a/visualc/VS2010/mbedTLS.vcxproj b/visualc/VS2010/mbedTLS.vcxproj
index 2206bb1..d3bfaad 100644
--- a/visualc/VS2010/mbedTLS.vcxproj
+++ b/visualc/VS2010/mbedTLS.vcxproj
@@ -304,7 +304,7 @@
     <ClCompile Include="..\..\3rdparty\everest\library\x25519.c" />

     <ClCompile Include="..\..\3rdparty\everest\library\kremlib\FStar_UInt128_extracted.c" />

     <ClCompile Include="..\..\3rdparty\everest\library\kremlib\FStar_UInt64_FStar_UInt32_FStar_UInt16_FStar_UInt8.c" />

-    <ClCompile Include="..\..\3rdparty\everest\library\vs2010\Hacl_Curve25519.c" />

+    <ClCompile Include="..\..\3rdparty\everest\library\legacy\Hacl_Curve25519.c" />

   </ItemGroup>

   <Import Project="$(VCTargetsPath)\Microsoft.Cpp.targets" />

   <ImportGroup Label="ExtensionTargets">