anchor.diff:  
     outputs = [ "out" "doc" ];
   
  +  # https://github.com/B-Lang-org/bsc/pull/278
     patches = [ ./libstp_stub_makefile.patch ];
   
     postUnpack = ''
  
positive.code:     "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!
    ];
  
    installPhase = ''
      mkdir -p $out
  
negative.code:   '';
  
    preBuild = ''
      patchShebangs \
        src/Verilog/copy_module.pl \
        src/comp/update-build-version.sh \
        src/comp/update-build-system.sh \
        src/comp/wrapper.sh 
  
      substituteInPlace src/comp/Makefile \
        --replace 'BINDDIR' 'BINDIR' \
        --replace 'install-bsc install-bluetcl' 'install-bsc install-bluetcl $(UTILEXES) install-utils'
  
      # allow running bsc to bootstrap
      export LD_LIBRARY_PATH=$PWD/inst/lib/SAT
    '';
  
    buildInputs = yices.buildInputs ++ [
  