Should we have a `Platforms/` directory in the repo?

Core Development
10

So, no real consensus, and in fact responses ran the entire gamut of options. :sweat_smile: So here’s a poll to see if there’s more consensus if people don’t have to type anything. I turned on ranked choice to see if that causes anything to be clearer because people’s second choice happens to be aligned or something. The poll is open for about week since I typically work on WASI stuff on Wednesdays and so I can start work on moving stuff then. I’ve also restricted voting to committers since we will be the ones living with the decision the longest.

Note that some of the options have (Wasm)? in them to signify that portion of the path could be there, but it isn’t important enough to make yet another option just to support that possibility (I would assume Russell, Hood, and I would talk things over if one of those options won to decide what we wanted).

Also assume that whatever gets chosen will lead to a similar thing being done for Emscripten.

Where should the directory for WASI-specific stuff be?
  • WASI/
  • Wasm/WASI/
  • Platforms/(Wasm)?/WASI/ but do NOT move anything
  • Platforms/(Wasm)?/WASI/ AND move things
0 voters