MirrorHub/nixpkgs
0
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-16 14:54:29 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

HOL: update to k.8

Browse source
This commit is contained in:
Tom Ridge 2013-11-16 02:52:36 +02:00 committed by Evgeny Egorochkin
parent d4b3a7d685
commit f13bcf6463
1 changed files with 5 additions and 18 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

21
pkgs/applications/science/logic/hol/default.nix
View file

@ -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@</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"
@ -38,10 +28,7 @@ stdenv.mkDerivation {
--replace "\"/bin/mv\"" "\"mv\"" \
--replace "\"/bin/cp\"" "\"cp\""
for f in tools/buildutils.sml help/src-sml/DOT;
do
substituteInPlace $f --replace "\"/usr/bin/dot\"" "\"${graphviz}/bin/dot\""
done
substituteInPlace tools/buildutils.sml --replace "\"/usr/bin/dot\"" "\"dot\""
#sed -ie "/compute/,999 d" tools/build-sequence # for testing
@ -50,7 +37,7 @@ stdenv.mkDerivation {
bin/build ${kernelFlag} -symlink
mkdir -p "$out/bin"
ln -st $out/bin "$out/src/${holsubdir}/bin/"*
ln -st $out/bin $out/src/${holsubdir}/bin/*
# ln -s $out/src/hol4.${version}/bin $out/bin
'';