I'm trying to compile a project by coqc-ing the .v files one by one. Works fine for the first file, but the second cannot find the first as an import:
$ coqc Accumulation.v
File ".\Accumulation.v", line 1, characters 15-45:
Error: Cannot find a physical path bound to logical path matching suffix
Is there a way I can tell coqc where to look?
oh figured this one out
there was a ./configure
Last updated: Oct 03 2023 at 02:34 UTC