Inquiry About Compiling the Coda Project

[WindOctober]

After cloning the project to my local environment, I have encountered some issues during the process of compiling and installing dependencies:

1. The make command provided in the README, which corresponds to the makefile file, is placed in the BigInt directory. However, the BigInt directory is parallel to Coqprime, resulting in an error when executing make install-coqprime due to the corresponding directory not being found.

2. About Requirements , the recommended version of Coq is 8.15.2, but the recommended version for coq-rewriter is 8.17 or later.

3. It appears that there is a lack of a master _CoqProject file to compile coqprime, BigInt/src, fiat-crypto, and Rewriter together. Additionally, after cloning Rewriter to my local environment, where should the related Rewriter directories be arranged?

I would greatly appreciate any guidance or advice you could offer on these matters.