File tree 1 file changed +8
-0
lines changed
1 file changed +8
-0
lines changed Original file line number Diff line number Diff line change @@ -32,6 +32,14 @@ phases:
32
32
cmd /c 'call "C:\Program Files (x86)\Microsoft Visual Studio 14.0\VC\vcvarsall.bat" x64 && bash -c "make -j4 -C jbmc/src setup-submodules" && bash -c "make CXX=clcache.exe -j4 -C jbmc/src BUILD_ENV=MSVC" '
33
33
cmd /c 'call "C:\Program Files (x86)\Microsoft Visual Studio 14.0\VC\vcvarsall.bat" x64 && bash -c "make CXX=clcache.exe -j4 -C jbmc/unit all BUILD_ENV=MSVC" '
34
34
35
+ - |
36
+ $env:Path = "C:\tools\cygwin\bin;c:\tools\clcache\clcache-4.1.0;$env:Path"
37
+ $env:CLCACHE_DIR = "C:\clcache"
38
+ $env:CLCACHE_BASEDIR = (Get-Item -Path ".\").FullName
39
+ cmd /c 'bash -c "cd scripts ; ./generate_vcxproj"'
40
+ $env:Path = "C:\Program Files (x86)\MSBuild\14.0\Bin;$env:Path"
41
+ msbuild /p:CLToolExe=clcache.exe /m:4 cbmc.vcxproj
42
+
35
43
- |
36
44
# display cache stats
37
45
$env:Path = "C:\tools\cygwin\bin;c:\tools\clcache\clcache-4.1.0;$env:Path"
You can’t perform that action at this time.
0 commit comments