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:
skraeling@moria /cygdrive/d/dev/coq/coq-proofs/Reciprocity
$ coqc Accumulation.v
File ".\Accumulation.v", line 1, characters 15-45:
Error: Cannot find a physical path bound to logical path matching suffix
Reciprocity.Reciprocity.
Is there a way I can tell coqc where to look?
oh figured this one out
there was a ./configure
Last updated: Oct 13 2024 at 01:02 UTC