From 2602fc2eb56b55cdb5d5b38fb997341fc76ccde2 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 19 Dec 2023 04:41:02 +0000
Subject: [PATCH] remove reference to matrix bindings to see if it works
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
.github/workflows/Windows.yml | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/.github/workflows/Windows.yml b/.github/workflows/Windows.yml
index eaad6b804..613cb18c6 100644
--- a/.github/workflows/Windows.yml
+++ b/.github/workflows/Windows.yml
@@ -9,14 +9,14 @@ jobs:
arch : [x86,x64,amd64_arm64]
include:
- arch : x86
- bindings : -DZ3_BUILD_PYTHON_BINDINGS=True
+ bindings : '-DZ3_BUILD_PYTHON_BINDINGS=True'
- arch : x64
cmd1 : 'julia -e "using Pkg; Pkg.add(PackageSpec(name=\"libcxxwrap_julia_jll\", version=\"0.7.0\"))"'
cmd2 : 'julia -e "using libcxxwrap_julia_jll; print(dirname(libcxxwrap_julia_jll.libcxxwrap_julia_path))" > tmp.env'
cmd3 : 'set /P JlCxxDir=<tmp.env'
bindings: '-DJlCxx_DIR=%JlCxxDir%\..\lib\cmake\JlCxx $(cmakeJava) $(cmakeNet) $(cmakePy) -DCMAKE_BUILD_TYPE=RelWithDebInfo'
- arch : amd64_arm64
- bindings: -DZ3_BUILD_PYTHON_BINDINGS=True
+ bindings: '-DZ3_BUILD_PYTHON_BINDINGS=True'
runs-on: windows-latest
steps:
@@ -39,6 +39,6 @@ jobs:
run: |
cmd /c "C:\Program Files\Microsoft Visual Studio\2022\Enterprise\VC\Auxiliary\Build\vcvarsall.bat" ${{ matrix.arch }}
- name: configure
- run: cmake .. ${{ matrix.bindings }} -G "NMake Makefiles"
+ run: cmake -G "NMake Makefiles" ../
- name: make
run: nmake