microsoft / CodeContracts

Source code for the CodeContracts tools for .NET
Other
882 stars 151 forks source link

Wrong path to sn.exe in Microsoft.CodeContracts.targets #179

Open RicoSuter opened 9 years ago

RicoSuter commented 9 years ago

I cannot build a project with CC and signing because the path in CodeContracts\Microsoft.Research\ManagedContract.Setup\MSBuild\v14.0\Microsoft.CodeContracts.targets seems to be wrong:

$(MSBuildProgramFiles32)\Microsoft SDKs\Windows\v8.1A\bin\NETFX 4.6 Tools\sn.exe

If I check this path on my system, the sn.exe is either in

$(MSBuildProgramFiles32)\Microsoft SDKs\Windows\v10.0A\bin\NETFX 4.6 Tools\sn.exe

or

$(MSBuildProgramFiles32)\Microsoft SDKs\Windows\v8.1A\bin\NETFX 4.5.1 Tools\sn.exe

Do I need to install something or is this a problem in the targets file?

(Running VS 2015 RTM with 10240 Windows SDK)

yaakov-h commented 9 years ago

I just encountered this as well - Windows 8.1u1 with VS2015 RTM

I have the following:

I assume in 421efc0 this should have been changed to 10.0A and 4.6 instead of 8.1A and 4.6?

(Ping @SergeyTeplyakov.)

hubuk commented 8 years ago

@rsuter May it be closed as fixed?