public
/
nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fix HOL documentation build

This commit is contained in:
Karn Kallio 2013-11-16 03:43:38 +02:00 committed by Evgeny Egorochkin
parent f13bcf6463
commit 6c32416a31
1 changed files with 16 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
pkgs/applications/science/logic/hol/default.nix
View File

@ -1,4 +1,5 @@
{stdenv, fetchurl, polyml, graphviz, experimentalKernel ? true}: {stdenv, fetchurl, polyml, graphviz, fontconfig, liberation_ttf,
experimentalKernel ? true}:
let let
pname = "hol4"; pname = "hol4";
@ -15,9 +16,18 @@ stdenv.mkDerivation {
sha256 = "5ce4c1e37301dbc38772694e98f1c7eabf69255908de204b280d8b2b1709e9d0"; sha256 = "5ce4c1e37301dbc38772694e98f1c7eabf69255908de204b280d8b2b1709e9d0";
}; };
buildInputs = [polyml graphviz]; buildInputs = [polyml graphviz fontconfig liberation_ttf];
buildCommand = '' 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" mkdir -p "$out/src"
cd "$out/src" cd "$out/src"
@ -28,7 +38,10 @@ stdenv.mkDerivation {
--replace "\"/bin/mv\"" "\"mv\"" \ --replace "\"/bin/mv\"" "\"mv\"" \
--replace "\"/bin/cp\"" "\"cp\"" --replace "\"/bin/cp\"" "\"cp\""
substituteInPlace tools/buildutils.sml --replace "\"/usr/bin/dot\"" "\"dot\"" 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 #sed -ie "/compute/,999 d" tools/build-sequence # for testing