Stream: Coq devs & plugin devs

Topic: ✔ configure script not doing anything


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: Feb 06 2023 at 18:03 UTC