Roberto Tyley 09091ecb83 Enable collections deque for CIRCUITPY_FULL_BUILD
I'd like to use `collections.deque`:

https://docs.circuitpython.org/en/latest/docs/library/collections.html#collections.deque

...on my RP2040-based Keybow 2040 (https://circuitpython.org/board/pimoroni_keybow2040/).

For MicroPython, `collections.deque` is enabled for all `rp2` devices,
because they all have `MICROPY_CONFIG_ROM_LEVEL` set to 'extra features':

cf7d962cf3/ports/rp2/mpconfigport.h (L44)

...which includes `MICROPY_PY_COLLECTIONS_DEQUE` (see
6bda80d811/py/mpconfig.h (L1225-L1227) ).

For CircuitPython, it looks like `MICROPY_CONFIG_ROM_LEVEL` defaults to
'core' (`MICROPY_CONFIG_ROM_LEVEL_CORE_FEATURES`) and isn't updated
against any of the ports, so the only port getting `collections.deque`
is the `unix` port, which explcitly sets `MICROPY_PY_COLLECTIONS_DEQUE`:

6925a00138/ports/unix/mpconfigport.h (L134)

At Dan Halbert's suggestion...

https://github.com/adafruit/circuitpython/pull/6474#issuecomment-1152364768

... this commit enables `MICROPY_PY_COLLECTIONS_DEQUE` for all builds where
`CIRCUITPY_FULL_BUILD` is true - which includes Raspberry Pi:

6925a00138/ports/raspberrypi/mpconfigport.mk (L11)

See also:

* https://github.com/adafruit/circuitpython/issues/5734
* 970eedce8f
  which originally added collections.deque to MicroPython
2022-06-10 15:29:22 +01:00
..
2022-05-27 12:59:54 -07:00
2021-06-18 10:54:19 -05:00
2021-06-18 10:54:19 -05:00
2021-06-18 10:54:19 -05:00
2021-06-18 10:54:19 -05:00
2022-05-27 12:59:54 -07:00
2022-05-27 12:59:54 -07:00
2022-02-15 12:36:26 -06:00
2022-05-27 12:59:54 -07:00
2022-05-27 12:59:54 -07:00
2022-05-27 12:59:54 -07:00
2022-05-27 15:48:01 -07:00
2022-02-15 12:36:26 -06:00
2022-02-15 12:36:26 -06:00
2022-02-15 12:36:26 -06:00
2022-05-27 12:59:54 -07:00
2021-11-22 14:54:44 -08:00
2022-02-15 12:36:26 -06:00
2022-02-15 12:36:26 -06:00
2022-02-15 12:36:26 -06:00
2022-05-12 13:20:44 -07:00
2020-07-06 19:16:25 +01:00
2022-05-27 12:59:54 -07:00
2021-10-15 08:20:54 -05:00
2022-04-08 16:43:15 -04:00
2022-02-15 12:36:26 -06:00
2021-10-15 08:20:54 -05:00
2021-10-15 15:11:21 -05:00
2022-05-27 15:48:01 -07:00
2022-05-27 12:59:54 -07:00
2021-04-19 22:22:44 -07:00
2021-04-19 22:22:44 -07:00
2022-02-15 12:36:26 -06:00
2022-05-27 12:59:54 -07:00
2022-05-27 12:59:54 -07:00
2022-05-27 12:59:54 -07:00
2022-02-15 12:36:26 -06:00
2022-05-27 12:59:54 -07:00
2022-05-27 12:59:54 -07:00
2021-10-15 08:20:54 -05:00
2021-08-29 11:36:29 -05:00
2021-10-15 08:20:54 -05:00
2020-07-06 19:16:25 +01:00
2022-02-15 12:36:26 -06:00
2022-02-15 12:36:26 -06:00
2022-02-15 12:36:26 -06:00
2021-05-08 20:17:16 -05:00
2021-05-08 20:17:16 -05:00
2021-04-19 22:22:44 -07:00
2021-06-18 10:54:19 -05:00
2020-07-06 19:16:25 +01:00
2021-06-18 10:54:19 -05:00
2021-04-19 22:22:44 -07:00
2022-05-27 12:59:54 -07:00
2022-05-27 12:59:54 -07:00
2022-05-27 12:59:54 -07:00
2021-10-15 08:20:54 -05:00
2021-04-19 22:22:44 -07:00
2022-05-27 12:59:54 -07:00
2022-05-27 12:59:54 -07:00
2022-05-27 12:59:54 -07:00
2022-05-27 12:59:54 -07:00
2021-10-15 08:20:54 -05:00
2022-05-27 12:59:54 -07:00
2021-10-15 08:20:54 -05:00
2022-02-15 12:36:26 -06:00
2022-05-27 12:59:54 -07:00
2022-05-27 12:59:54 -07:00
2022-05-27 12:59:54 -07:00
2022-05-27 12:59:54 -07:00
2022-05-27 12:59:54 -07:00
2021-10-15 08:20:54 -05:00
2022-02-15 12:36:26 -06:00
2022-05-27 12:59:54 -07:00
2022-05-27 12:59:54 -07:00
2022-05-27 12:59:54 -07:00
2022-05-27 12:59:54 -07:00
2022-05-27 12:59:54 -07:00
2022-05-27 12:59:54 -07:00
2021-10-15 08:20:54 -05:00
2022-05-27 12:59:54 -07:00
2022-05-27 12:59:54 -07:00
2021-08-04 12:10:57 +05:30
2022-05-27 12:59:54 -07:00
2021-04-19 22:22:44 -07:00
2022-05-27 12:59:54 -07:00
2021-10-15 08:20:54 -05:00
2021-10-15 08:20:54 -05:00
2022-05-27 12:59:54 -07:00
2022-05-27 12:59:54 -07:00
2020-07-06 19:16:25 +01:00
2021-04-19 22:22:44 -07:00
2022-05-27 12:59:54 -07:00
2022-02-15 12:36:26 -06:00
2022-02-15 12:36:26 -06:00
2022-05-27 12:59:54 -07:00
2021-08-04 12:10:57 +05:30
2022-06-03 15:06:58 -07:00
2021-10-15 08:20:54 -05:00
2022-05-27 12:59:54 -07:00
2022-02-15 12:36:26 -06:00
2020-07-06 19:16:25 +01:00
2020-07-06 19:16:25 +01:00
2022-05-27 12:59:54 -07:00
2022-05-27 12:59:54 -07:00
2021-11-10 20:23:33 +05:30
2022-05-27 12:59:54 -07:00
2022-02-15 12:36:26 -06:00
2020-07-06 19:16:25 +01:00
2021-10-15 08:20:54 -05:00
2021-04-19 22:22:44 -07:00
2021-06-18 10:54:19 -05:00
2022-05-27 12:59:54 -07:00
2021-05-05 11:00:35 -05:00
2020-07-06 19:16:25 +01:00
2022-05-27 12:59:54 -07:00