Stream: Coq devs & plugin devs

Topic: configure script not doing anything


view this post on Zulip Ali Caglayan (Jun 13 2022 at 10:56):

I'm trying to setup Coq on a new laptop, however I have run into a strange issue. The configure binary that was compiled doesn't seem to output anything. Dune cache is disabled. I've tried running through dune exec and running the binary directly, no change.

view this post on Zulip Ali Caglayan (Jun 13 2022 at 10:56):

Even ./configure --help doesn't do anything but exits with 0

view this post on Zulip Ali Caglayan (Jun 13 2022 at 10:56):

The issue is that the dune rules expect some files to be produced by configure, but they are not being produced.


Last updated: Feb 05 2023 at 20:03 UTC