Hi,
I follow the steps here platform/README_macOS.md at 2022.01.0 · coq/platform · GitHub
to install 8.15.2022.04 release on my Mac Pro M1. I am now able to launch CoqIDE on applications.
However, I am not able to run coqc on command line. The doc says that I need to add a path to PATH, but I expect that Coq platform somehow manages to hook up with opam and create a switch, but it is not happening. I see in the README file, GitHub - coq/platform: Multi platform setup for Coq, Coq libraries and tools, it seems that indeed we can manage packages using opam. What am I missing here? opam at this moment still only contains the switches I created.