• Home
• tools.aqua
• z3-turnkey
• 4.13.0.1
• source code
• Windows.yml

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

z3-z3-4.13.0..github.workflows.Windows.yml Maven / Gradle / Ivy

name: Windows

on:
  push:
    branches: [ master ]

jobs:               
  build:
    strategy:
      matrix:
        arch : [x86,x64,amd64_arm64]
        include:
         - arch : x86
         - arch : amd64_arm64
         - arch : x64
           cmd1 : 'julia -e "using Pkg; Pkg.add(PackageSpec(name=\"libcxxwrap_julia_jll\"))"'
           cmd2 : 'julia -e "using libcxxwrap_julia_jll; print(dirname(libcxxwrap_julia_jll.libcxxwrap_julia_path))" > tmp.env'
           cmd3 : 'set /P JlCxxDir=