Espruino Pico: Removed 'tv' library by default to free up flash storage

Author: gfwilliams

ChangeLog

@@ -8,6 +8,7 @@
             Bangle.js: Add Bangle.setOptions({stepCounterDisabled:bool}) to disable the step counter
             Date: fix parsing of ISO8601 timezones (+HHMM worked, but +HH:MM and +HH added) (fix #2669)
             Bangle.js1: dump() now doesn't write out interpreter state as JS (saves 1.5kB Flash)
+            Espruino Pico: Removed 'tv' library by default to free up flash storage
 
      2v28 : Add `E.internal` as a way to access the 'hidden root' containing Espruino internal variables that previously needed `global["\xff"]`
             Bangle.js: Fix back handler not removed when using E.setUI with a back button but without widgets (#2636)

boards/PICO_R1_3.py

@@ -35,7 +35,7 @@
      'USB_HID',
      'NET',
      'GRAPHICS',
-     'TV',
+     #'TV', # removed to save space
      'FILESYSTEM',
      'CRYPTO','SHA256',#'SHA512',
      'TLS',
@@ -47,7 +47,8 @@
      'DEFINES+=-DUSE_USB_OTG_FS=1  -DPICO -DPICO_1V3',
      'DEFINES+=-DPIN_NAMES_DIRECT=1', # Package skips out some pins, so we can't assume each port starts from 0
      'DEFINES += -DESPR_USE_STEPPER_TIMER=1', # Build in the code for stepping using the timer
-     'DEFINES += -DSAVE_ON_FLASH_MATH',      
+     'DEFINES += -DSAVE_ON_FLASH_MATH',
+     'DEFINES += -DESPR_NO_REGEX_OPTIMISE=1', # strip out regex optimisations to free some flash space
      'DEFINES += -DESPR_LIMIT_DATE_RANGE', # not enough code memory left for the full range of Date()
      'DEFINES += -DESPR_PACKED_SYMPTR', # Pack builtin symbols' offset into pointer to save 2 bytes/symbol     
      'STLIB=STM32F401xE',

libs/tv/jswrap_tv.c

@@ -28,9 +28,13 @@
   "class" : "tv",
   "ifdef" : "STM32"
 }
-This library provides TV out capability on the Espruino and Espruino Pico.
+This library provides TV out capability on the [Espruino WiFi](/WiFi)
 
 See the [Television](/Television) page for more information.
+
+**Note:** As of 2v29 the `tv` library is only included by default in
+the Espruino WiFi (Pico and Original boards have had to have it removed
+to free up some Flash memory)
 */