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.
Gaëtan Gilbert (Jun 13 2022 at 11:03):try printf debugging
Ali Caglayan (Jun 13 2022 at 11:08):Is configure.ml supposed to be empty?
Ali Caglayan (Jun 13 2022 at 11:08):Where is the entry point for the executable
Gaëtan Gilbert (Jun 13 2022 at 11:09):tools/configure/configure.ml
Ali Caglayan (Jun 13 2022 at 11:12):hmm my git seems to have corrupted
Ali Caglayan (Jun 13 2022 at 11:12):configure was empty for me, but I have no idea what went wrong cloning the repo
Ali Caglayan (Jun 13 2022 at 11:20):OK seems to be working after recloning
Ali Caglayan (Jun 13 2022 at 11:20):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
Notification Bot (Jun 13 2022 at 11:21):Ali Caglayan has marked this topic as resolved.
Last updated: Apr 20 2024 at 04:02 UTC