diff --git a/pkgs/applications/science/logic/hol/default.nix b/pkgs/applications/science/logic/hol/default.nix index 2e1647b6c71..52a3129fec0 100644 --- a/pkgs/applications/science/logic/hol/default.nix +++ b/pkgs/applications/science/logic/hol/default.nix @@ -1,5 +1,4 @@ -{stdenv, fetchurl, polyml, graphviz, fontconfig, liberation_ttf, - experimentalKernel ? true}: +{stdenv, fetchurl, polyml, graphviz, experimentalKernel ? true}: let pname = "hol4"; @@ -16,18 +15,9 @@ stdenv.mkDerivation { 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@@@' -i chroot-fontconfig/fonts.conf - echo "