forked from microsoft/CodeContracts
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathappveyor.yml
23 lines (23 loc) · 1.11 KB
/
appveyor.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
version: 1.9.10000.{build}
os: Visual Studio 2015
init:
- ps: git config --global core.autocrlf true
- ps: Update-AppveyorBuild -Version "1.10.1$(Get-Date -format MMdd).$env:appveyor_build_number"
install:
- set PATH=C:\Program Files (x86)\MSBuild\12.0\Bin;%PATH%
build_script:
- ps: ./buildCC "1.10.1$(Get-Date -format MMdd).$env:appveyor_build_number"
- ps: msbuild "/nologo" "/logger:${env:ProgramFiles}\AppVeyor\BuildAgent\Appveyor.MSBuildLogger.dll" "/t:build" "/p:Configuration=Debug" "/p:Platform=Any CPU" "/p:CodeContractsRunCodeAnalysis=false" CodeContracts.sln
test:
assemblies:
- '**\FoxtrotTests.dll'
- '**\UnitTests.dll'
# - '**\ClousotCacheTests\bin\Debug\ClousotCacheTests.dll'
# - '**\ClousotTests\bin\Debug\ClousotTests.dll'
artifacts:
- path: '**\ManagedContract.Setup\devlab9ts\Microsoft.Contracts.*.nupkg'
- path: '**\ManagedContract.Setup\devlab9ts\msi\Contracts.devlab9ts.msi'
- path: '**\ContractAdornments\Extension\bin\Devlab9\CodeContractsHelper.vsix'
# preserve "packages" directory in the root of build folder but will reset it if packages.config is modified
cache:
- packages -> **\packages.config