anchor.diff:      sha256 = "5ce4c1e37301dbc38772694e98f1c7eabf69255908de204b280d8b2b1709e9d0";
     };
   
  -  buildInputs = [polyml graphviz fontconfig liberation_ttf];
  +  buildInputs = [polyml graphviz];
   
     buildCommand = ''
  -
  -    mkdir chroot-fontconfig
  -    cat ${fontconfig}/etc/fonts/fonts.conf > chroot-fontconfig/fonts.conf
  -    sed -e 's@</fontconfig>@@' -i chroot-fontconfig/fonts.conf
  -    echo "<dir>${liberation_ttf}</dir>" >> chroot-fontconfig/fonts.conf
  -    echo "</fontconfig>" >> chroot-fontconfig/fonts.conf
  -
  -    export FONTCONFIG_FILE=$(pwd)/chroot-fontconfig/fonts.conf
  -
       mkdir -p "$out/src"
       cd  "$out/src"
   
  
positive.code:       --replace "\"/bin/mv\"" "\"mv\"" \
        --replace "\"/bin/cp\"" "\"cp\""
  
      for f in tools/buildutils.sml help/src-sml/DOT;
      do
        substituteInPlace $f --replace "\"/usr/bin/dot\"" "\"${graphviz}/bin/dot\""
      done
  
      #sed -ie "/compute/,999 d" tools/build-sequence # for testing
  
      poly < tools/smart-configure.sml
  
      bin/build ${kernelFlag} -symlink
  
      mkdir -p "$out/bin"
      ln -st $out/bin  "$out/src/${holsubdir}/bin/"*
      # ln -s $out/src/hol4.${version}/bin $out/bin
    '';
  
  
negative.code: {stdenv, fetchurl, polyml, graphviz, experimentalKernel ? true}:
  
  let
    pname = "hol4";
  