Add Windows support - Githubissues

zetzit / zz

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

MIT License

1.6k stars 52 forks source link

Closed peirick closed 4 years ago

peirick commented 4 years ago

This pull request adds basic support for Windows.

aep commented 4 years ago

Sorry for the late reaction. I had GitHub notifications disabled.

This is a great PR, would you reopen it?

peirick commented 4 years ago

Yeah of course. Glad you asked again 😊.

Main Problems were:

Fasthash does not compile in windows, so I did replace fasthash with another crate
Paths in windows are not allowed to contain colons ":" this was a main problem.
Some problems with not available functions in windows, like "getline".

By the way, why is ZZ not compiling to std=c99 and uses gnu extensions?

Pull request is comming tomorrow

aep commented 4 years ago

Fasthash does not compile in windows, so I did replace fasthash with another crate

ah!

Paths in windows are not allowed to contain colons ":" this was a main problem.

oops. unfortunately :: is used all over the place. do you think its sufficient to just replace it with underscore?

Some problems with not available functions in windows, like "getline".

yes, i will definitely need help there.

By the way, why is ZZ not compiling to std=c99 and uses gnu extensions?

err. no, you're right. it really shouldn't do that.