anchor.diff:      "STP_STUB=1"
     ];
   
  -  doCheck = true;
  -
  -  checkInputs = [ dejagnu gnum4 verilog perl time ];
  -
  -  checkTarget = if longTests then "check-suite" else "check-smoke";
  -
  -  checkFlags = [
  -    "SYSTEMCTEST=0" # no SystemC support yet. Patches welcome!
  -  ];
  +  checkTarget = "check-smoke";
   
     installPhase = ''
       mkdir -p $out
  
positive.code: { lib, stdenv, fetchFromGitHub, fetchpatch, autoconf, automake, fontconfig
  , gmp-static, gperf, libX11, libpoly, perl, flex, bison, pkg-config, itktcl
  , incrtcl, tcl, tk, verilog, xorg, yices, zlib, ghc, asciidoctor, tex # docs
  , dejagnu, gnum4, time, tcsh # check
  , longTests ? false # WIP
  }:
  
  let
  
negative.code: 
    outputs = [ "out" "doc" ];
  
    # https://github.com/B-Lang-org/bsc/pull/278
    patches = [ ./libstp_stub_makefile.patch ];
  
    postUnpack = ''
  