Make playground/gen_stdlib.sh mac compatible #1469
Conversation
There was a problem hiding this comment.
Works on my machine. However, with this patch, we can no longer use a local switch for the playground.
I was a bit confused at some point before about why the playground Makefile creates a named global switch, while the ocaml.org Makefile creates a local switch. This sounds like a recipe for potential trouble to me: When the playground uses a global switch, and ocaml.org uses a local one, can we be sure that the correct playground switch will be used and not accidentally the local switch of ocaml.org?
|
After having working with a global switch for the playground and a local switch for ocaml.org some more, I think the sane solution here is to change the playground Makefile to use a local switch. Then things should naturally fall in place. |
Got some issues on mac, let's see if the CI is okay with this change.