Skip to content

testing/coq: improve build

Jason Gross requested to merge JasonGross/aports:JasonGross-master-patch-55095 into master

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 by Jason Gross

Merge request reports