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.
./configure --help doesn't do anything but exits with 0
The issue is that the dune rules expect some files to be produced by configure, but they are not being produced.
try printf debugging
Is configure.ml supposed to be empty?
Where is the entry point for the executable
hmm my git seems to have corrupted
configure was empty for me, but I have no idea what went wrong cloning the repo
OK seems to be working after recloning
What confused me is that for whatever reason configure.ml was empty, but checking configure.mli that was also empty so I didn't think it was strange
Ali Caglayan has marked this topic as resolved.
Last updated: Dec 01 2023 at 06:01 UTC