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.