search

coq / platform

Multi platform setup for Coq, Coq libraries and tools
Creative Commons Zero v1.0 Universal
188 stars 49 forks source link

Request: windows arm64 native executable? #419

Closed oscarbg closed 4 months ago

oscarbg commented 4 months ago

Note don’t hardware yet to test..

MSoegtropIMC commented 4 months ago

We will not support this unless there is a justification. An example for a justification would be e.g. that a substantial number of students in a course say they don't have anything else than an ARM Windows machine. So far I have not heard of a single such case.

Note that besides the manual work, supporting a platform consumes substantial amounts of electricity in CI testing, so this is not environmentally friendly to do this just because one could do it.

If there is a justification please reopen with the justification.

oscarbg commented 4 months ago

Ok thanks..