You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I've just tried to use coz for some rust programs but I don't know how to run it correctly. When I try the default example toy provided in the rust/ directory I'm getting the following error:
$> coz run --- target/release/examples/toy
[/home/matthieu/git/plasma-umass/coz/libcoz/libcoz.cpp:100] bootstrapping coz
[/home/matthieu/git/plasma-umass/coz/libcoz/libcoz.cpp:128] Including MAIN, which is /home/matthieu/git/plasma-umass/coz/rust/target/release/examples/toy
target/release/examples/toy: symbol lookup error: /usr/local/bin/../lib/libcoz.so: undefined symbol: _ZNK3elf3elf11get_sectionERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE
My OS is archlinux, kernel 5.12.6, gcc 10.2.0, clang 11.1.0
Any idea how to fix this problem?
The text was updated successfully, but these errors were encountered:
I've just tried to use coz for some rust programs but I don't know how to run it correctly. When I try the default example
toy
provided in therust/
directory I'm getting the following error:My OS is archlinux, kernel 5.12.6, gcc 10.2.0, clang 11.1.0
Any idea how to fix this problem?
The text was updated successfully, but these errors were encountered: