anchor.diff:    ] ++ lib.optional esp8266Support [
       gcc-xtensa-lx106
       esp8266-rtos-sdk
  -    jre
     ] ++ lib.optional cc3200Support [
       cc3200-sdk
       gcc-arm-embedded
  -    jre
     ] ++ lib.optional raspberrypiSupport [
       raspberrypi-tools
     ];
  
positive.code: }:
  
  assert clangSupport -> clang != null;
  assert esp8266Support -> gcc-xtensa-lx106 != null && esp8266-rtos-sdk != null && jre != null;
  assert cc3200Support -> cc3200-sdk != null && gcc-arm-embedded != null && jre != null;
  assert raspberrypiSupport -> raspberrypi-tools != null;
  assert testSupport -> posixSupport != null && cmocka != null && cppcheck != null &&
                        valgrind != null && python != null;
  
negative.code: , valgrind ? null
  , python ? null
  , gcc-arm-embedded ? null
  
  , gcc-xtensa-lx106 ? null
  , esp8266-rtos-sdk ? null
  