02-06-2024, 08:44 AM
I have built the docker and cloned the snitch_cluster repo in /repo.
And then in the target/snitch_cluster, I use the command make bin/snitch_cluster.vlt
For which I get:
work-vlt/Vtestharness.h:11:10: fatal error: verilated_heavy.h: No such file or directory
What am I doing wrong here?
Commands I have used:
And then in the target/snitch_cluster, I use the command make bin/snitch_cluster.vlt
For which I get:
work-vlt/Vtestharness.h:11:10: fatal error: verilated_heavy.h: No such file or directory
What am I doing wrong here?
Commands I have used:
- To build docker:
2. In the snitch_cluster root: docker run -it -v $REPO_TOP:/repo -w /repo ghcr.io/pulp-platform/snitch_cluster:mainCode:sudo docker build -t ghcr.io/pulp-platform/snitch_cluster:main -f util/container/Dockerfile .
3. In /repo of docker: git clone https://github.com/pulp-platform/snitch_cluster.git --recurse-submodules
4. In /repo/snitch_cluster/target/snitch_cluster: make bin/snitch_cluster.vlt