RIOT-OS · benpicco · Oct 15, 2019 · Oct 9, 2019 · Oct 11, 2019
diff --git a/Makefile.include b/Makefile.include
@@ -40,6 +40,9 @@ PKGDIRBASE     ?= $(BINDIRBASE)/pkg/$(BOARD)
 DLCACHE        ?= $(RIOTTOOLS)/dlcache/dlcache.sh
 DLCACHE_DIR    ?= $(RIOTBASE)/.dlcache
 
+# include CI info such as BOARD_INSUFFICIENT_MEMORY, if existing
+-include Makefile.ci
+
 __DIRECTORY_VARIABLES := \
   RIOTBASE \
   RIOTCPU \

diff --git a/dist/tools/buildsystem_sanity_check/check.sh b/dist/tools/buildsystem_sanity_check/check.sh
@@ -172,6 +172,20 @@ check_not_setting_board_equal() {
         | error_with_message 'Applications Makefile should use "BOARD ?="'
 }
 
+# Examples must not provide BOARD_INSUFFICIENT_MEMORY in Makefile, but in
+# Makefile.ci
+check_board_insufficient_memory_not_in_makefile() {
+    local patterns=()
+    local pathspec=()
+
+    patterns+=(-e '^[[:space:]]*BOARD_INSUFFICIENT_MEMORY[[:space:]:]*=')
+
+    pathspec+=('examples*/Makefile')
+
+    git -C "${RIOTBASE}" grep "${patterns[@]}" -- "${pathspec[@]}" \
+        | error_with_message 'Move BOARD_INSUFFICIENT_MEMORY to Makefile.ci'
+}
+
 error_on_input() {
     ! grep ''
 }
@@ -183,6 +197,7 @@ all_checks() {
     check_board_do_not_include_cpu_features_dep
     check_cpu_cpu_model_defined_in_makefile_features
     check_not_setting_board_equal
+    check_board_insufficient_memory_not_in_makefile
 }
 
 main() {

diff --git a/examples/asymcute_mqttsn/Makefile b/examples/asymcute_mqttsn/Makefile
@@ -7,19 +7,6 @@ BOARD ?= native
 # This has to be the absolute path to the RIOT base directory:
 RIOTBASE ?= $(CURDIR)/../..
 
-# Not all boards have enough memory to build the default configuration of this
-# example...
-BOARD_INSUFFICIENT_MEMORY := airfy-beacon arduino-duemilanove arduino-leonardo \
-                             arduino-mega2560 arduino-nano arduino-uno chronos \
-                             hifive1 hifive1b i-nucleo-lrwan1 mega-xplained microbit \
-                             msb-430  msb-430h nrf51dk nrf51dongle nrf6310 \
-                             nucleo-f030r8 nucleo-f031k6 nucleo-f042k6 \
-                             nucleo-f070rb nucleo-f072rb nucleo-f303k8 \
-                             nucleo-f334r8 nucleo-l031k6 nucleo-l053r8 \
-                             saml10-xpro saml11-xpro  \
-                             stm32f0discovery stm32l0538-disco telosb waspmote-pro \
-                             wsn430-v1_3b wsn430-v1_4 yunjia-nrf51822 z1
-
 # Include packages that pull up and auto-init the link layer.
 # NOTE: 6LoWPAN will be included if IEEE802.15.4 devices are present
 USEMODULE += gnrc_netdev_default

diff --git a/examples/asymcute_mqttsn/Makefile.ci b/examples/asymcute_mqttsn/Makefile.ci
@@ -0,0 +1,38 @@
+BOARD_INSUFFICIENT_MEMORY := \
+    airfy-beacon \
+    arduino-duemilanove \
+    arduino-leonardo \
+    arduino-mega2560 \
+    arduino-nano \
+    arduino-uno \
+    chronos \
+    hifive1 \
+    hifive1b \
+    i-nucleo-lrwan1 \
+    mega-xplained \
+    microbit \
+    msb-430 \
+    msb-430h \
+    nrf51dk \
+    nrf51dongle \
+    nrf6310 \
+    nucleo-f030r8 \
+    nucleo-f031k6 \
+    nucleo-f042k6 \
+    nucleo-f070rb \
+    nucleo-f072rb \
+    nucleo-f303k8 \
+    nucleo-f334r8 \
+    nucleo-l031k6 \
+    nucleo-l053r8 \
+    saml10-xpro \
+    saml11-xpro \
+    stm32f0discovery \
+    stm32l0538-disco \
+    telosb \
+    waspmote-pro \
+    wsn430-v1_3b \
+    wsn430-v1_4 \
+    yunjia-nrf51822 \
+    z1 \
+    #
diff --git a/examples/cord_ep/Makefile b/examples/cord_ep/Makefile
@@ -7,15 +7,6 @@ BOARD ?= native
 # This has to be the absolute path to the RIOT base directory:
 RIOTBASE ?= $(CURDIR)/../..
 
-BOARD_INSUFFICIENT_MEMORY := arduino-duemilanove arduino-leonardo \
-                             arduino-mega2560 arduino-nano arduino-uno chronos \
-                             hifive1 hifive1b i-nucleo-lrwan1 mega-xplained msb-430 \
-                             msb-430h nucleo-f030r8 nucleo-l053r8 \
-                             nucleo-f031k6 nucleo-f042k6 nucleo-f303k8 \
-                             nucleo-f334r8 nucleo-l031k6 stm32f0discovery \
-                             stm32l0538-disco telosb waspmote-pro \
-                             wsn430-v1_3b wsn430-v1_4 z1
-
 USEMODULE += gnrc_netdev_default
 USEMODULE += auto_init_gnrc_netif
 USEMODULE += gnrc_ipv6_default

diff --git a/examples/cord_ep/Makefile.ci b/examples/cord_ep/Makefile.ci
@@ -0,0 +1,28 @@
+BOARD_INSUFFICIENT_MEMORY := \
+    arduino-duemilanove \
+    arduino-leonardo \
+    arduino-mega2560 \
+    arduino-nano \
+    arduino-uno \
+    chronos \
+    hifive1 \
+    hifive1b \
+    i-nucleo-lrwan1 \
+    mega-xplained \
+    msb-430 \
+    msb-430h \
+    nucleo-f030r8 \
+    nucleo-f031k6 \
+    nucleo-f042k6 \
+    nucleo-f303k8 \
+    nucleo-f334r8 \
+    nucleo-l031k6 \
+    nucleo-l053r8 \
+    stm32f0discovery \
+    stm32l0538-disco \
+    telosb \
+    waspmote-pro \
+    wsn430-v1_3b \
+    wsn430-v1_4 \
+    z1 \
+    #
diff --git a/examples/cord_epsim/Makefile b/examples/cord_epsim/Makefile
@@ -7,15 +7,6 @@ BOARD ?= native
 # This has to be the absolute path to the RIOT base directory:
 RIOTBASE ?= $(CURDIR)/../..
 
-BOARD_INSUFFICIENT_MEMORY := arduino-duemilanove arduino-leonardo \
-                             arduino-mega2560 arduino-nano arduino-uno chronos \
-                             hifive1 hifive1b i-nucleo-lrwan1 msb-430 msb-430h \
-                             nucleo-f030r8 nucleo-l053r8 nucleo-f031k6 \
-                             nucleo-f042k6 nucleo-f303k8 nucleo-f334r8 \
-                             nucleo-l031k6 mega-xplained stm32f0discovery \
-                             stm32l0538-disco telosb waspmote-pro \
-                             wsn430-v1_3b wsn430-v1_4 z1
-
 # Enable GNRC networking
 USEMODULE += gnrc_netdev_default
 USEMODULE += auto_init_gnrc_netif

diff --git a/examples/cord_epsim/Makefile.ci b/examples/cord_epsim/Makefile.ci
@@ -0,0 +1,28 @@
+BOARD_INSUFFICIENT_MEMORY := \
+    arduino-duemilanove \
+    arduino-leonardo \
+    arduino-mega2560 \
+    arduino-nano \
+    arduino-uno \
+    chronos \
+    hifive1 \
+    hifive1b \
+    i-nucleo-lrwan1 \
+    mega-xplained \
+    msb-430 \
+    msb-430h \
+    nucleo-f030r8 \
+    nucleo-f031k6 \
+    nucleo-f042k6 \
+    nucleo-f303k8 \
+    nucleo-f334r8 \
+    nucleo-l031k6 \
+    nucleo-l053r8 \
+    stm32f0discovery \
+    stm32l0538-disco \
+    telosb \
+    waspmote-pro \
+    wsn430-v1_3b \
+    wsn430-v1_4 \
+    z1 \
+    #
diff --git a/examples/default/Makefile b/examples/default/Makefile
@@ -7,9 +7,6 @@ BOARD ?= native
 # This has to be the absolute path to the RIOT base directory:
 RIOTBASE ?= $(CURDIR)/../..
 
-BOARD_INSUFFICIENT_MEMORY := arduino-duemilanove arduino-leonardo arduino-nano \
-                             arduino-uno
-
 # Uncomment these lines if you want to use platform support from external
 # repositories:
 #RIOTCPU ?= $(CURDIR)/../../RIOT/thirdparty_cpu

diff --git a/examples/default/Makefile.ci b/examples/default/Makefile.ci
@@ -0,0 +1,6 @@
+BOARD_INSUFFICIENT_MEMORY := \
+    arduino-duemilanove \
+    arduino-leonardo \
+    arduino-nano \
+    arduino-uno \
+    #
diff --git a/examples/default/gnrc_networking.zip b/examples/default/gnrc_networking.zip
diff --git a/examples/dtls-echo/Makefile b/examples/dtls-echo/Makefile
@@ -14,14 +14,6 @@ BOARD_BLACKLIST := arduino-duemilanove arduino-leonardo \
                    msb-430 msb-430h telosb waspmote-pro wsn430-v1_3b \
                    wsn430-v1_4 z1
 
-BOARD_INSUFFICIENT_MEMORY := airfy-beacon b-l072z-lrwan1 blackpill bluepill calliope-mini \
-                             cc2650-launchpad cc2650stk hifive1 hifive1b lsn50 i-nucleo-lrwan1 maple-mini \
-                             microbit nrf51dk nrf51dongle nrf6310 nucleo-f031k6 \
-                             nucleo-f042k6 nucleo-f303k8 nucleo-l031k6 nucleo-f030r8 \
-                             nucleo-f070rb nucleo-f072rb nucleo-f103rb nucleo-f302r8 nucleo-f334r8 \
-                             nucleo-l053r8 nucleo-l073rz opencm904 saml10-xpro \
-                             saml11-xpro spark-core stm32f0discovery stm32l0538-disco yunjia-nrf51822
-
 # Include packages that pull up and auto-init the link layer.
 # NOTE: 6LoWPAN will be included if IEEE802.15.4 devices are present
 USEMODULE += gnrc_netdev_default

diff --git a/examples/dtls-echo/Makefile.ci b/examples/dtls-echo/Makefile.ci
@@ -0,0 +1,37 @@
+BOARD_INSUFFICIENT_MEMORY := \
+    airfy-beacon \
+    b-l072z-lrwan1 \
+    blackpill \
+    bluepill \
+    calliope-mini \
+    cc2650-launchpad \
+    cc2650stk \
+    hifive1 \
+    hifive1b \
+    i-nucleo-lrwan1 \
+    lsn50 \
+    maple-mini \
+    microbit \
+    nrf51dk \
+    nrf51dongle \
+    nrf6310 \
+    nucleo-f030r8 \
+    nucleo-f031k6 \
+    nucleo-f042k6 \
+    nucleo-f070rb \
+    nucleo-f072rb \
+    nucleo-f103rb \
+    nucleo-f302r8 \
+    nucleo-f303k8 \
+    nucleo-f334r8 \
+    nucleo-l031k6 \
+    nucleo-l053r8 \
+    nucleo-l073rz \
+    opencm904 \
+    saml10-xpro \
+    saml11-xpro \
+    spark-core \
+    stm32f0discovery \
+    stm32l0538-disco \
+    yunjia-nrf51822 \
+    #
diff --git a/examples/dtls-wolfssl/Makefile b/examples/dtls-wolfssl/Makefile
@@ -12,16 +12,6 @@ BOARD_BLACKLIST := arduino-duemilanove arduino-leonardo arduino-mega2560 arduino
                    chronos mega-xplained msb-430 msb-430h telosb \
                    waspmote-pro wsn430-v1_3b wsn430-v1_4 z1
 
-BOARD_INSUFFICIENT_MEMORY := airfy-beacon b-l072z-lrwan1 blackpill bluepill \
-                             calliope-mini cc2650-launchpad cc2650stk hifive1 i-nucleo-lrwan1 \
-                             maple-mini microbit nrf51dongle nrf6310 nucleo-f031k6 \
-                             nucleo-f042k6 nucleo-f303k8 nucleo-f303k8 nucleo-l031k6 nucleo-f030r8 \
-                             nucleo-f070rb nucleo-f072rb nucleo-f103rb nucleo-f302r8 nucleo-f334r8 \
-                             nucleo-l031k6 nucleo-l053r8 nucleo-l073rz opencm904 \
-                             saml11-xpro bluepill saml10-xpro \
-                             stm32l0538-disco \
-                             spark-core stm32f0discovery stm32mindev yunjia-nrf51822
-
 # Include packages that pull up and auto-init the link layer.
 # NOTE: 6LoWPAN will be included if IEEE802.15.4 devices are present
 USEMODULE += gnrc_netdev_default

diff --git a/examples/dtls-wolfssl/Makefile.ci b/examples/dtls-wolfssl/Makefile.ci
@@ -0,0 +1,38 @@
+BOARD_INSUFFICIENT_MEMORY := \
+    airfy-beacon \
+    b-l072z-lrwan1 \
+    blackpill \
+    bluepill \
+    bluepill \
+    calliope-mini \
+    cc2650-launchpad \
+    cc2650stk \
+    hifive1 \
+    i-nucleo-lrwan1 \
+    maple-mini \
+    microbit \
+    nrf51dongle \
+    nrf6310 \
+    nucleo-f030r8 \
+    nucleo-f031k6 \
+    nucleo-f042k6 \
+    nucleo-f070rb \
+    nucleo-f072rb \
+    nucleo-f103rb \
+    nucleo-f302r8 \
+    nucleo-f303k8 \
+    nucleo-f303k8 \
+    nucleo-f334r8 \
+    nucleo-l031k6 \
+    nucleo-l031k6 \
+    nucleo-l053r8 \
+    nucleo-l073rz \
+    opencm904 \
+    saml10-xpro \
+    saml11-xpro \
+    spark-core \
+    stm32f0discovery \
+    stm32l0538-disco \
+    stm32mindev \
+    yunjia-nrf51822 \
+    #
diff --git a/examples/emcute_mqttsn/Makefile b/examples/emcute_mqttsn/Makefile
@@ -7,16 +7,6 @@ BOARD ?= native
 # This has to be the absolute path to the RIOT base directory:
 RIOTBASE ?= $(CURDIR)/../..
 
-BOARD_INSUFFICIENT_MEMORY := arduino-duemilanove arduino-leonardo \
-                             arduino-mega2560 arduino-nano arduino-uno chronos \
-                             hifive1 hifive1b i-nucleo-lrwan1 msb-430 msb-430h \
-                             nucleo-f031k6 nucleo-f042k6 nucleo-f303k8 \
-                             nucleo-l031k6 nucleo-f030r8 nucleo-f070rb \
-                             nucleo-f072rb nucleo-f302r8 nucleo-f334r8 \
-                             nucleo-l053r8 stm32f0discovery stm32l0538-disco \
-                             telosb waspmote-pro wsn430-v1_3b \
-                             wsn430-v1_4 z1 mega-xplained
-
 # Include packages that pull up and auto-init the link layer.
 # NOTE: 6LoWPAN will be included if IEEE802.15.4 devices are present
 USEMODULE += gnrc_netdev_default

diff --git a/examples/emcute_mqttsn/Makefile.ci b/examples/emcute_mqttsn/Makefile.ci
@@ -0,0 +1,31 @@
+BOARD_INSUFFICIENT_MEMORY := \
+    arduino-duemilanove \
+    arduino-leonardo \
+    arduino-mega2560 \
+    arduino-nano \
+    arduino-uno \
+    chronos \
+    hifive1 \
+    hifive1b \
+    i-nucleo-lrwan1 \
+    mega-xplained \
+    msb-430 \
+    msb-430h \
+    nucleo-f030r8 \
+    nucleo-f031k6 \
+    nucleo-f042k6 \
+    nucleo-f070rb \
+    nucleo-f072rb \
+    nucleo-f302r8 \
+    nucleo-f303k8 \
+    nucleo-f334r8 \
+    nucleo-l031k6 \
+    nucleo-l053r8 \
+    stm32f0discovery \
+    stm32l0538-disco \
+    telosb \
+    waspmote-pro \
+    wsn430-v1_3b \
+    wsn430-v1_4 \
+    z1 \
+    #
diff --git a/examples/filesystem/Makefile b/examples/filesystem/Makefile
@@ -15,9 +15,6 @@ BOARD_BLACKLIST :=  chronos \
                     z1 \
                     #
 
-BOARD_INSUFFICIENT_MEMORY := arduino-duemilanove arduino-leonardo arduino-nano \
-                             arduino-uno nucleo-f031k6
-
 # This has to be the absolute path to the RIOT base directory:
 RIOTBASE ?= $(CURDIR)/../..
 

diff --git a/examples/filesystem/Makefile.ci b/examples/filesystem/Makefile.ci
@@ -0,0 +1,7 @@
+BOARD_INSUFFICIENT_MEMORY := \
+    arduino-duemilanove \
+    arduino-leonardo \
+    arduino-nano \
+    arduino-uno \
+    nucleo-f031k6 \
+    #
diff --git a/examples/gcoap/Makefile b/examples/gcoap/Makefile
@@ -9,15 +9,6 @@ BOARD ?= native
 # This has to be the absolute path to the RIOT base directory:
 RIOTBASE ?= $(CURDIR)/../..
 
-BOARD_INSUFFICIENT_MEMORY := arduino-duemilanove arduino-leonardo \
-                             arduino-mega2560 arduino-nano arduino-uno chronos \
-                             i-nucleo-lrwan1 mega-xplained msb-430 \
-                             msb-430h nucleo-f031k6 nucleo-f042k6 \
-                             nucleo-l031k6 nucleo-f030r8 nucleo-f303k8 \
-                             nucleo-f334r8 nucleo-l053r8 stm32f0discovery \
-                             stm32l0538-disco telosb waspmote-pro \
-                             wsn430-v1_3b wsn430-v1_4 z1
-
 ## Uncomment to redefine port, for example use 61616 for RFC 6282 UDP compression.
 #GCOAP_PORT = 5683
 #CFLAGS += -DGCOAP_PORT=$(GCOAP_PORT)