Gaëtan Gilbert (Jun 13 2022 at 11:03): 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: Feb 06 2023 at 18:03 UTC