search

coq / platform

Multi platform setup for Coq, Coq libraries and tools
Creative Commons Zero v1.0 Universal
188 stars 48 forks source link

missed dependency checks? (autoconf and automake) #40

Closed dnaumann closed 2 months ago

dnaumann commented 3 years ago

As I understand the script is meant to detect and resolve all dependencies. On macOS I pulled the current version of beta1 (commit 1dfaf7c622943ac5d44aefcd00d9a50) and ran it to install including full CompCert and VST. It prompted me to run port to install some dependencies (bison boost flex gmp mpfr) but then broke because autoconf was missing. After I installed autoconf, it got as far as VST but failed on gappa which requires aclocal (transcript attached). After using port to install automake, the coq-platform installation completed successfully.

coq-platform-error-aclocal.txt

MSoegtropIMC commented 2 years ago

Thanks for reporting and sorry for the long delay ...

This appears to be a dependency issues with one of the involved opam packages - I will try to install each of them with an empty MacPorts and see what happens.

MSoegtropIMC commented 2 months ago

Triage note: we regularly build on fresh MacPorts and Homebrew and this works, so I expect that this is fixed meanwhile.