If you don’t wish to install Code Contracts through the Windows Installer:
\Program Files (x86)\MSBuild\(version)\Microsoft.Common.Targets\ImportAfter
folder.CodeContractsAfter.targets
and paste the following XML:<Project xmlns="http://schemas.microsoft.com/developer/msbuild/2003">
<PropertyGroup>
<CodeContractsInstallDir Condition="'$(CodeContractsInstallDir)'==''">CONTRACTS_PATH</CodeContractsInstallDir>
</PropertyGroup>
<Import Condition="'$(CodeContractsImported)' != 'true' AND '$(DontImportCodeContracts)' != 'true'"
Project="$(CodeContractsInstallDir)MsBuild\v4.0\Microsoft.CodeContracts.targets" />
</Project>
Contracts
folder in the extracted contents.CONTRACTS_PATH
in CodeContractsAfter.targets
with the actual Contracts
folder location.