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:   '';
  
    preBuild = ''
      # XXX: remove
      set -x
  
      patchShebangs \
        src/Verilog/copy_module.pl \
        src/comp/update-build-version.sh \
        src/comp/update-build-system.sh \
        src/comp/wrapper.sh \
  
      # patchShebangs doesn't catch these.
      substituteInPlace \
          testsuite/findfailures.csh \
          --replace '/bin/tcsh' "${tcsh}/bin/tcsh" \
          --replace '/bin/csh' "${tcsh}/bin/tcsh"
  
      substituteInPlace \
          testsuite/test_list.sh \
          --replace '/bin/tcsh' "${tcsh}/bin/tcsh" \
          --replace '/bin/csh' "${tcsh}/bin/tcsh"
  
      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=/build/source/inst/lib/SAT
    '';
  
    buildInputs = yices.buildInputs ++ [
  
negative.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
  }:
  
  let
  