From 9e087f078e30416c52613f0db7e79804fe9d3e85 Mon Sep 17 00:00:00 2001 From: Alberto Garcia Illera Date: Tue, 1 Sep 2020 16:39:29 -0700 Subject: [PATCH] fix win CI --- .github/workflows/ci-windows.yml | 14 +------------- 1 file changed, 1 insertion(+), 13 deletions(-) diff --git a/.github/workflows/ci-windows.yml b/.github/workflows/ci-windows.yml index 530eb6e4..dfa9797d 100644 --- a/.github/workflows/ci-windows.yml +++ b/.github/workflows/ci-windows.yml @@ -14,19 +14,7 @@ jobs: - uses: actions/checkout@v1 with: submodules: true - - # - name: Update vcpkg triplet to only build release - # run: | - # cd C:\ - # git clone https://github.com/microsoft/vcpkg vcpkg2 - # cd vcpkg2 - # echo "aaaaaaaaaaaaaaaaaaaaaaaaa" - # C:\vcpkg2\bootstrap-vcpkg.bat - # vcpkg install z3 --triplet x64-windows-static - # type C:\vcpkg\buildtrees\z3\install-x64-windows-static-rel-out.log - # echo "aaaaaaaaaaaaaaaaaaaaaaaaa" - # type C:\vcpkg\buildtrees\z3\install-x64-windows-static-rel-err.log - + - name: Build Triton dependencies with vcpkg for x64. run: | "`r`nset(VCPKG_BUILD_TYPE release)" | Add-Content "$env:VCPKG_INSTALLATION_ROOT\triplets\x64-windows-static.cmake"