Patch error when installing with the Coq platform

[edusporto]

Hi! I'm installing the Coq platform, but it keeps erroring due to a failure to find a patch file when installing ocamlfind. I couldn't find anyone with a similar error online.

Specifically, it errors with the following error message:

[ERROR] Patch file
        "/Users/myuser/.opam/CP.2024.10.0~8.19~2024.10/.opam-switch/build/ocamlfind.1.9.5~relocatable/0001-Fix-bug-when-installing-with-a-system-compiler.patch"
        not found.

#=== ERROR while compiling ocamlfind.1.9.5~relocatable ========================#
Not_found

It seems like ocamlfind requires some patch in a specific case, but its file is not being downloaded automatically.
I'm not sure whether this is an error with the Coq platform or specifically with ocamlfind. When installing ocamlfind outside of the Coq platform installer, with opam install ocamlfind.1.9.5, it works as expected, which makes me think it might be an issue with some interaction between ocamlfind and the Coq platform installer.

Additional information:
OS: MacOS 15.2
opam 2.3.0 (installed via the script in the website)

Let me know if any more information is needed

[janahofmann]

I'm having exactly the same issue.

[janahofmann]

@edusporto I assume you are also working on a Mac and followed https://github.com/coq/platform/blob/2023.11.0/doc/README_macOS.md
What worked for me is cloning the main branch of the coq-platform repo instead of the 2023 version. I then installed the release from June 2024 without problems.

[edusporto]

Thank you @janahofmann, doing that worked!

I'll leave this issue open for now since it might still be useful to fix this issue for older installers, as the latest released Coq platform installer (not the main branch) still has this issue.