plasma-umass / cwhy

"See why!" Explains and suggests fixes for compile-time errors for C, C++, C#, Go, Java, LaTeX, PHP, Python, Ruby, Rust, and TypeScript
Apache License 2.0
273 stars 6 forks source link

Wrapper mode on Windows #54

Closed nicovank closed 7 months ago

nicovank commented 7 months ago

While trying to integrate CWhy with some GitHub CI, I realize that having a wrapper on Windows is not as straightforward as Linux/MacOS where a #! and executable bit are enough.

On Windows, we should probably generate a .bat file instead.

emeryberger commented 7 months ago

You might want to check out this code from Scalene that may be of assistance: https://github.com/plasma-umass/scalene/blob/ea1bc88f46dae0a6ea87492a7f824b2f722d5818/scalene/redirect_python.py#L24

nicovank commented 7 months ago

Fixed in #55 / d61a94854f10922f6c30902a0a2e27d84f3803c4.