scripts/Windows/install_code_contracts.ps1
|
Write-Host "Installing Code Contracts for Visual Studio 2013/2015..." -ForegroundColor Cyan Write-Host "Downloading..." $msiPath = "$env:TEMP\Contracts.devlab9ts.msi" (New-Object Net.WebClient).DownloadFile('https://visualstudiogallery.msdn.microsoft.com/1ec7db13-3363-46c9-851f-1ce455f66970/file/93972/17/Contracts.devlab9ts.msi', $msiPath) Write-Host "Installing..." cmd /c start /wait msiexec /i "$msiPath" /quiet del $msiPath Write-Host "Installed" -ForegroundColor Green |