Cannot find library Frap in loadpath
mheiber opened this issue · 3 comments
mheiber commented
With a fresh clone, on Windows 10, tested with Coq versions 8.4 and 8.10:
make -C frap lib # OK
make -C pset1 # Error
The error is:
make: Entering directory '/c/dev-other/frap/pset1'
coqc -q -R ../frap Frap Pset1Sig
File "C:\dev-other\frap\pset1/Pset1Sig.v", line 3, characters 0-20:
Error: Cannot find library Frap in loadpath
make: *** [Makefile:6: coq] Error 1
make: Leaving directory '/c/dev-other/frap/pset1'
Advice welcome! I'm really hoping to take a stab at these exercises
achlipala-biz commented
This bug report doesn't seem to be self-contained, as this repo contains no pset1
, right?
aymanosman commented
Looks like you want to perform those actions on this repo https://github.com/mit-frap/spring18.
mheiber commented
sorry, wrong repo, thanks