Hi,
Could you provide some more information about what you're doing? What's the sketch that you're building?
I notice that you're using Windows -- from the readme https://github.com/micropython/micropyt ... /README.md for the CC3200 port, it looks like building is only supported for Linux/Mac. Perhaps you can do it on Windows using WSL...?