anchor.diff:      cd ${holsubdir}
   
       substituteInPlace tools/Holmake/Holmake_types.sml \
  -      --replace "\"/bin/mv\"" "\"mv\"" \
  -      --replace "\"/bin/cp\"" "\"cp\""
  +      --replace "\"/bin/" "\"" \
  +
   
       for f in tools/buildutils.sml help/src-sml/DOT;
       do
  
positive.code: 
  let
    pname = "hol4";
    vnum = "10";
  in
  
  let
    version = "k.${vnum}";
    longVersion = "kananaskis-${vnum}";
    holsubdir = "hol-${longVersion}";
    kernelFlag = if experimentalKernel then "-expk" else "-stdknl";
  in
  
  let
  
negative.code: 
      poly < tools/smart-configure.sml
  
      bin/build ${kernelFlag}
  
      mkdir -p "$out/bin"
      ln -st $out/bin  $out/src/${holsubdir}/bin/*
  