alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity

Upgrading HOL4 to version k.7.

Browse source 
svn path=/nixpkgs/trunk/; revision=33306
This commit is contained in:
Russell O'Connor 2012-03-20 19:11:22 +00:00
parent efcc0c9b1e
commit f9a5fa373e
1 changed files with 17 additions and 12 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -1,12 +1,17 @@
{stdenv, fetchurl, polyml}: {stdenv, fetchurl, polyml, experimentalKernel ? false}:
let
pname = "hol4";
version = "k.7";
kernelFlag = if experimentalKernel then "-expk" else "-stdknl";
in
stdenv.mkDerivation { stdenv.mkDerivation {
name = "hol"; name = "${pname}-${version}";
src = fetchurl { src = fetchurl {
#url = "http://downloads.sourceforge.net/project/hol/hol/kananaskis-5/kananaskis-5.tar.gz"; url = mirror://sourceforge/hol/hol/kananaskis-7/kananaskis-7.tar.gz;
url = mirror://sourceforge/hol/hol/kananaskis-5/kananaskis-5.tar.gz; sha256 = "0gs1nmjvsjhnndama9v7gids2g86iip53v7d7dm3sfq6jxmqkwkl";
sha256 = "1qjfx5ii80v17yr04hz70n8aa46892fjc4qcxs9gs7nh3hw7rvmx";
}; };
buildInputs = [polyml]; buildInputs = [polyml];
@ -16,21 +21,21 @@ stdenv.mkDerivation {
cd "$out/src" cd "$out/src"
tar -xzf "$src" tar -xzf "$src"
cd hol cd hol4.${version}
substituteInPlace tools-poly/Holmake/Holmake.sml --replace \ substituteInPlace tools/Holmake/Holmake_types.sml \
"\"/bin/mv\"" \ --replace "\"/bin/mv\"" "\"mv\"" \
"\"mv\"" --replace "\"/bin/cp\"" "\"cp\""
#sed -ie "/compute/,999 d" tools/build-sequence # for testing #sed -ie "/compute/,999 d" tools/build-sequence # for testing
poly < tools/smart-configure.sml poly < tools/smart-configure.sml
bin/build -expk -symlink bin/build ${kernelFlag} -symlink
mkdir -p "$out/bin" mkdir -p "$out/bin"
ln -st $out/bin $out/src/hol/bin/* ln -st $out/bin $out/src/hol4.${version}/bin/*
# ln -s $out/src/hol/bin $out/bin # ln -s $out/src/hol4.${version}/bin $out/bin
''; '';
meta = { meta = {