Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Can't run simulator, missing symbol _Z27dollar_test_dollar_plusargsP9tSimStatePKcPKSs #28

Closed
hlandau opened this issue Mar 3, 2020 · 2 comments

Comments

@hlandau
Copy link

hlandau commented Mar 3, 2020

$ git clone /~https://github.com/nixos/nixpkgs
$ nix-shell -I nixpkgs=`pwd`/nixpkgs -p bluespec verilog
$ git clone /~https://github.com/bluespec/Piccolo
$ cd Piccolo/builds/RV32ACIMU_Piccolo_bluesim
$ make compile
$ make simulator
$ ./exe_HW_sim
Error: dlopen: ./exe_HW_sim.so: undefined symbol: _Z27dollar_test_dollar_plusargsP9tSimStatePKcPKSs
    invoked from within
"sim load $model_name $top_module"
    invoked from within
"if {$wait} {
sim load $model_name $top_module wait
} else {
sim load $model_name $top_module
}"
    (file "/nix/store/p4byndpkpmd2blkqzk0l9wv9g1n3lfwz-bluespec-unstable-2020.02.09/lib/tcllib/bluespec/bluesim.tcl" line 193)



@hlandau hlandau changed the title Can't compile simulator, missing symbol _Z27dollar_test_dollar_plusargsP9tSimStatePKcPKSs Can't run simulator, missing symbol _Z27dollar_test_dollar_plusargsP9tSimStatePKcPKSs Mar 3, 2020
@rsnikhil
Copy link
Collaborator

rsnikhil commented Mar 3, 2020

Apologies for the hassle. The is a C compiler version issue (version used to build the bsc release, vs. version one used while building Piccolo for Bluesim). I have added a section at the bottom of the README that explains how to work around this. Please try it; hopefully it works for you!

@dipal004
Copy link

Apologies for the hassle. The is a C compiler version issue (version used to build the bsc release, vs. version one used while building Piccolo for Bluesim). I have added a section at the bottom of the README that explains how to work around this. Please try it; hopefully it works for you!
hi @rsnikhil can you please tell me where the readme file is?
Thank you

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants