anchor.diff:  , valgrind ? null
   , python ? null
   , gcc-arm-embedded ? null
  -, jre ? null
   
   , gcc-xtensa-lx106 ? null
   , esp8266-rtos-sdk ? null
  
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:   ] ++ lib.optional esp8266Support [
      gcc-xtensa-lx106
      esp8266-rtos-sdk
    ] ++ lib.optional cc3200Support [
      cc3200-sdk
      gcc-arm-embedded
    ] ++ lib.optional raspberrypiSupport [
      raspberrypi-tools
    ];
  