Timeline for What's the correct setup for Kami (Coq framework for Bluespec) to be able to run on WSL Ubuntu?
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 29, 2021 at 13:06 | vote | accept | nanoeng | ||
| Nov 9, 2021 at 14:24 | answer | added | Jason Gross | timeline score: 0 | |
| Nov 9, 2021 at 14:24 | comment | added | Jason Gross | I've commented on the issue with an answer, which I'll replicate here. | |
| Nov 9, 2021 at 11:00 | comment | added | nanoeng | @Andreas, thanks for the reply! I was using the Make file posted on the repo. It can be found following this link github.com/sifive/Kami/blob/master/Makefile | |
| Nov 9, 2021 at 8:46 | comment | added | Andreas |
Add what command you ran to get the error message, the path you were in when doing it, and where coq-record-update is coming from (not seeing it in Kami repo, must be yours?).
|
|
| Nov 9, 2021 at 3:09 | history | asked | nanoeng | CC BY-SA 4.0 |