I'm currently using the latest Kami's repo files but haven't been able to overcome an issue when I try to run the Makefile. I found another posting with a similar request at this link but there was not answer for it. I'm using Coq proof assistant v8.11.0 and OCaml v4.08.1 on a WSL Ubuntu 20.04 OS
The error message is as shown below
Warning: no common logical rootWarning: in such case INSTALLDEFAULTROOT must be definedWarning: the install-doc target is going to install filesWarning: in orphan_Kami_RecordUpdatemake -f Makefile.coq.allmake[1]: Entering directory '/home/user/sifive/Kami'COQDEP VFILESFatal error: exception Sys_error("../coq-record-update/src: No such file or directory")COQDEP VFILESFatal error: exception Sys_error("../coq-record-update/src: No such file or directory")COQDEP VFILESFatal error: exception Sys_error("../coq-record-update/src: No such file or directory")COQC All.vWhile loading initial state:Warning: Cannot open ../coq-record-update/src [cannot-open-path,filesystem]File "./All.v", line 1, characters 15-32:Error: Unable to locate library Kami.AllNotations.make[2]: *** [Makefile.coq.all:678: All.vo] Error 1make[1]: *** [Makefile.coq.all:327: all] Error 2make[1]: Leaving directory '/home/user/sifive/Kami'make: *** [Makefile:6: coq] Error 2