Ali Caglayan (Jun 13 2022 at 10:56): 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.
Ali Caglayan (Jun 13 2022 at 10:56):Even ./configure --help doesn't do anything but exits with 0
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