anchor.diff:      sha256 = "5ce4c1e37301dbc38772694e98f1c7eabf69255908de204b280d8b2b1709e9d0";
     };
   
  -  buildInputs = [polyml graphviz];
  +  buildInputs = [polyml graphviz fontconfig liberation_ttf];
   
     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\""
  
      substituteInPlace tools/buildutils.sml --replace "\"/usr/bin/dot\"" "\"dot\""
  
      #sed -ie "/compute/,999 d" tools/build-sequence # for testing
  
  
negative.code: {stdenv, fetchurl, polyml, graphviz, fontconfig, liberation_ttf,
   experimentalKernel ? true}:
  
  let
    pname = "hol4";
  