diff options
| author | Vladimír Čunát <vcunat@gmail.com> | 2015-10-05 12:23:02 +0200 |
|---|---|---|
| committer | Vladimír Čunát <vcunat@gmail.com> | 2015-10-05 12:23:56 +0200 |
| commit | f8c211fd2b53d970a439d643bea9d0928fb08666 (patch) | |
| tree | 5084d953ed0e15e81e556c5db1399143c8069fc8 /pkgs/applications/science/logic/hol/default.nix | |
| parent | 32b31398eb562152a11d1be992c5ea6e110013f5 (diff) | |
| download | nixlib-f8c211fd2b53d970a439d643bea9d0928fb08666.tar nixlib-f8c211fd2b53d970a439d643bea9d0928fb08666.tar.gz nixlib-f8c211fd2b53d970a439d643bea9d0928fb08666.tar.bz2 nixlib-f8c211fd2b53d970a439d643bea9d0928fb08666.tar.lz nixlib-f8c211fd2b53d970a439d643bea9d0928fb08666.tar.xz nixlib-f8c211fd2b53d970a439d643bea9d0928fb08666.tar.zst nixlib-f8c211fd2b53d970a439d643bea9d0928fb08666.zip | |
fontconfig: split into multiple outputs
Fixed all 'fontconfig}' references as well, hopefully, ugh!
Diffstat (limited to 'pkgs/applications/science/logic/hol/default.nix')
| -rw-r--r-- | pkgs/applications/science/logic/hol/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/hol/default.nix b/pkgs/applications/science/logic/hol/default.nix index f8a57aebb6dc..c7fb4ffbb978 100644 --- a/pkgs/applications/science/logic/hol/default.nix +++ b/pkgs/applications/science/logic/hol/default.nix @@ -32,7 +32,7 @@ stdenv.mkDerivation { buildCommand = '' mkdir chroot-fontconfig - cat ${fontconfig}/etc/fonts/fonts.conf > chroot-fontconfig/fonts.conf + cat ${fontconfig.out}/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 |