-
Notifications
You must be signed in to change notification settings - Fork 237
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
error on esp-idf export.sh (Raspbery Pi OS 32bit) #1204
Comments
Thank you for the detailed report. I haven't heard of this issue before your report. We'll try to reproduce it here. |
Hello @mshioji, I was able to reproduce your error if I skip step 8 of the linux install instructions:
Please do this step, then follow with |
Thank you for your quick reply. I'd further try to separate an issue, then found something like this:
Now I found 64bit OS would be OK, therefore now it is no problem for my educational project. Thank you very much, |
Hello,
I recently trying to setup Moddable SDK into new Raspberry Pi for educational purpose.
however, it seems installing esp-idf something goes wrong.
Installing Moddable SDK, it's OK. hello world works fine.
But after installing esp-idf for ESP32, when I hit “source $IDF_PATH/export.sh” I got following Warnings and Errors:
The warning said "tool was not found",
but when I open esp-idf directly, it is not empty. It seems tools are installed correctly.
Error message said "Please run '/home/oclpi/.local/share/esp32/esp-idf/install.sh' to install it.",
but it doesn't solve the problem.
I've done many Moddable SDK installations and ESP32 device setups in the past, but this is the first time I've had this symptom.
Installation on Raspberry Pi was also not a problem before, so I wonder why...
Could anyone reproduce the same symptoms?
I also tried with xs-dev.
I tried above twice, (2 manually, x2 xs-dev ) but four trials all failed. ><
Thank you,
The text was updated successfully, but these errors were encountered: