Add CI for Windows - Githubissues

BinaryAnalysisPlatform / bap

Binary Analysis Platform

MIT License

2.06k stars 273 forks source link

Add CI for Windows #956

Open XVilka opened 5 years ago

XVilka commented 5 years ago

It will help to solve the

keeping the support on the same level
package artifacts for Windows distribution (as EXE or ZIP)

ivg commented 4 years ago

Probably we should consider Azure instead Travis. We need to evaluate Azure pipelines vs Github actions vs Travis vs DockerHub

XVilka commented 4 years ago

It boils down to solving z3 build on MinGW OCaml port:

https://github.com/BinaryAnalysisPlatform/bap/pull/1115#issuecomment-642448716
https://github.com/fdopen/opam-repository-mingw/commit/7ca1bb19c7943db886499aad20b68712fa4bf7d4

ivg commented 4 years ago

We can use Github Actions too for windows support, moreover I believe it would be more practical. And yes, it all distills to z3 and llvm dependencies.

XVilka commented 3 years ago

Note that Z3 package was fixed: https://github.com/fdopen/opam-repository-mingw/blob/opam2/packages/z3/z3.4.8.9/opam