After Installing the prerequisites
-
We first need to build the sail parser.
- Find a directory to clone this repository, and make that directory your current working directory.
git clone https://github.com/ThinkOpenly/sailcd sailmake
-
Then, set up the environment for building in the RISC-V Sail repository:
eval $(opam env)export PATH=<path-to-sail-repository>:$PATH
-
Clone this sail-riscv repository.
-
Within that clone :
make json