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.

view this post on Zulip Gaëtan Gilbert (Jun 13 2022 at 11:03):

try printf debugging

view this post on Zulip Ali Caglayan (Jun 13 2022 at 11:08):

Is configure.ml supposed to be empty?

view this post on Zulip Ali Caglayan (Jun 13 2022 at 11:08):

Where is the entry point for the executable

view this post on Zulip Gaëtan Gilbert (Jun 13 2022 at 11:09):

tools/configure/configure.ml

view this post on Zulip Ali Caglayan (Jun 13 2022 at 11:12):

hmm my git seems to have corrupted

view this post on Zulip Ali Caglayan (Jun 13 2022 at 11:12):

configure was empty for me, but I have no idea what went wrong cloning the repo

view this post on Zulip Ali Caglayan (Jun 13 2022 at 11:20):

OK seems to be working after recloning

view this post on Zulip 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

view this post on Zulip Notification Bot (Jun 13 2022 at 11:21):

Ali Caglayan has marked this topic as resolved.


Last updated: Jul 13 2024 at 02:02 UTC