Cannot remove "NET" library from the build

I was trying to build Espruino 2v08 for ESP32 with reduced libraries. I managed to remove all libraries from ESP32 in the BOARD.py file, but "NET" was the only one I could not remove. (the build failed after removing it)

Here is my info.build from boards/ESP32.py:

{
   'optimizeflags' : '-Og',
   'libraries' : [
   ],
   'makefile' : [
     'DEFINES+=-DESP_PLATFORM -DESP32=1',
     'DEFINES+=-DESP_STACK_SIZE=25000',
     'DEFINES+=-DJSVAR_MALLOC', # Allocate space for variables at jsvInit time
     'DEFINES+=-DUSE_FONT_6X8',
     'ESP32_FLASH_MAX=1572864',
     'USE_NETWORK_JS=0',
   ]
 }

Here is the error message from build:

targets/esp32/jshardware.c:48:34: fatal error: jswrap_esp32_network.h: No such file or directory
compilation terminated.
Makefile:777: recipe for target 'targets/esp32/jshardware.o' failed
make: *** [targets/esp32/jshardware.o] Error 1
make: *** Waiting for unfinished jobs....
make: *** wait: No child processes.  Stop.

I tried to remove the #include <jswrap_esp32_network.h> from jshardware.c but there are still other dependencies broken. Am I doing anything wrong?

Any help will be appreciated.

Honestly, I think on ESP32 the running of the software and WiFi are so intertwined it might be quite hard to pull them out.

On most other boards you're right though, you can just remove NET and it'll build fine without it

Understood. Thank you :)