Fix Windows CI - Githubissues

zetzit / zz

🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C

MIT License

1.6k stars 52 forks source link

Fix Windows CI #76

Closed jwerle closed 4 years ago

jwerle commented 4 years ago

Currently, Windows builds are failing: https://travis-ci.com/github/zetzit/zz/jobs/352190318

jwerle commented 4 years ago

I am investigating this

aep commented 4 years ago

Yeah I tried fixing it but I'm really lost. It works fine on my windows machine.

jwerle commented 4 years ago

Found the issue. The empty z3 directory in the extracted output was causing a PATH conflict. It is odd that PATHEXT is not honored here when that directory exists AND z3.exe

aep commented 4 years ago

whuut, you're a hero