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
To double-check, have you first source environment in the rust-optee-sdk directory in the /work/ directory of the Docker container, and also source $CARGO_HOME/.env?
I use the command "make trustzone" in the docker, but some error had occured, how to fix it?
root@0c57012c76cc:/work/veracruz# make trustzone
make -C sdk
make[1]: Entering directory '/work/veracruz/sdk'
make -C wasm-checker
make[2]: Entering directory '/work/veracruz/sdk/wasm-checker'
mkdir -p bin/
g++ src/main.cc -o bin/wasm-checker -I./wabt/ -I./wabt/build -L ./wabt/build -I./json/include -lwabt
src/main.cc:14:10: fatal error: src/binary-reader-ir.h: No such file or directory
#include <src/binary-reader-ir.h>
^~~~~~~~~~~~~~~~~~~~~~~~
compilation terminated.
Makefile:13: recipe for target 'bin/wasm-checker' failed
make[2]: *** [bin/wasm-checker] Error 1
make[2]: Leaving directory '/work/veracruz/sdk/wasm-checker'
Makefile:77: recipe for target 'wasm-checker' failed
make[1]: *** [wasm-checker] Error 2
make[1]: Leaving directory '/work/veracruz/sdk'
Makefile:36: recipe for target 'sdk' failed
make: *** [sdk] Error 2
The text was updated successfully, but these errors were encountered: