testing/coq: improve build (!57766) · Merge requests · alpine / aports · GitLab

GitLab now enforces expiry dates on tokens that originally had no set expiration date. Those tokens were given an expiration date of one year later. Please review your personal access tokens, project access tokens and group access tokens to ensure you are aware of upcoming expirations. Administrators of GitLab can find more information on how to identify and mitigate interruption, please take a look at our documentation.

Jason Gross requested to merge JasonGross/aports:JasonGross-master-patch-55095 into master Dec 22, 2023

Fixes #15609 (closed)

Supersedes and closes !57768 (closed)

As per https://github.com/coq/coq/issues/15663#issuecomment-1654496159, we must invoke ./configure before make dunestrap to get the right install location for the META files so that ocamlfind can find the libraries required to build Coq plugins. This should go away in a future version of Coq, along with make dunestrap, as per https://github.com/coq/coq/issues/18433#issuecomment-1866922967.

Edited Dec 22, 2023 by Jason Gross