Merge pull request #1776 from espruino/ep32_firmware_size_check

updates for using a new partitions_espruino.bin

Author: gfwilliams

boards/ESP32.py

@@ -37,7 +37,8 @@
    ],
    'makefile' : [
      'DEFINES+=-DESP_PLATFORM -DESP32=1',
-     'DEFINES+=-DJSVAR_MALLOC' # Allocate space for variables at jsvInit time
+     'DEFINES+=-DJSVAR_MALLOC', # Allocate space for variables at jsvInit time
+     'ESP32_FLASH_MAX=1572864'
    ]
  }
 };
@@ -55,7 +56,7 @@
   'adc'     : 2,
   'dac'     : 0,
   'saved_code' : {
-    'address' : 0x2C0000,
+    'address' : 0x320000,
     'page_size' : 4096,
     'pages' : 64,
     'flash_available' : 1344, # firmware can be up to this size - see partitions_espruino.csv

make/targets/ESP32.make

@@ -14,6 +14,8 @@ $(ESP_ZIP): $(PROJ_NAME).bin
 	$(Q)rm -rf build/$(basename $(ESP_ZIP))
 	$(Q)mkdir -p build/$(basename $(ESP_ZIP))
 	$(Q)cp $(PROJ_NAME).bin espruino_esp32.bin
+	@echo "** $(PROJ_NAME).bin uses $$( stat $(STAT_FLAGS) $(PROJ_NAME).bin) bytes of" $(ESP32_FLASH_MAX) "available"
+	@if [ $$( stat $(STAT_FLAGS) $(PROJ_NAME).bin) -gt $$(( $(ESP32_FLASH_MAX) )) ]; then echo "$(PROJ_NAME).bin is too big!"; false; fi
 	$(Q)cp $(ESP_APP_TEMPLATE_PATH)/build/bootloader/bootloader.bin \
 	  espruino_esp32.bin \
 	  $(ESP_APP_TEMPLATE_PATH)/build/partitions_espruino.bin \