try this

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Dec 19, 2023 · 5600cac · 5600cac
1 parent f1ae316
commit 5600cac
Showing 1 changed file with 1 addition and 14 deletions.
diff --git a/.github/workflows/Windows.yml b/.github/workflows/Windows.yml
@@ -11,10 +11,7 @@ jobs:
          - arch : x86
            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 -DZ3_BUILD_PYTHON_BINDINGS=True -DZ3_BUILD_DOTNET_BINDINGS=True -DZ3_BUILD_JAVA_BINDINGS=True -DCMAKE_BUILD_TYPE=RelWithDebInfo'
+           bindings: '-DZ3_BUILD_PYTHON_BINDINGS=True -DZ3_BUILD_DOTNET_BINDINGS=True -DZ3_BUILD_JAVA_BINDINGS=True'
          - arch : amd64_arm64
            bindings: '-DZ3_BUILD_PYTHON_BINDINGS=True'
 
@@ -24,16 +21,6 @@ jobs:
     steps:
       - name: Checkout code
         uses: actions/checkout@v4
-      - name: cmd1
-        if: ${{ matrix.cmd1 }}
-        run: ${{ matrix.cmd1 }}
-      - name: cmd2
-        if: ${{ matrix.cmd2 }}
-        run: ${{ matrix.cmd2 }}
-      - name: cmd3
-        if: ${{ matrix.cmd3 }}
-        run: ${{ matrix.cmd3 }}          
-      - name: Build
         run: |          
           cmd /c "C:\Program Files\Microsoft Visual Studio\2022\Enterprise\VC\Auxiliary\Build\vcvarsall.bat" ${{ matrix.arch }}            
           cmake -B build -DCMAKE_BUILD_TYPE=${{ env.BUILD_TYPE }} ${{ matrix.bindings }}