diff options
| author | Russell O'Connor <roconnor@theorem.ca> | 2012-03-20 19:11:22 +0000 |
|---|---|---|
| committer | Russell O'Connor <roconnor@theorem.ca> | 2012-03-20 19:11:22 +0000 |
| commit | f9a5fa373e26ae83e8ab63de6edb4da5b9f39d84 (patch) | |
| tree | f84f3cea56f4297df401b921f19907122979a5a5 /pkgs/applications/science/logic/hol/default.nix | |
| parent | efcc0c9b1effdb1d2d1730635f0555bec9a74b26 (diff) | |
| download | nixpkgs-f9a5fa373e26ae83e8ab63de6edb4da5b9f39d84.tar nixpkgs-f9a5fa373e26ae83e8ab63de6edb4da5b9f39d84.tar.gz nixpkgs-f9a5fa373e26ae83e8ab63de6edb4da5b9f39d84.tar.bz2 nixpkgs-f9a5fa373e26ae83e8ab63de6edb4da5b9f39d84.tar.lz nixpkgs-f9a5fa373e26ae83e8ab63de6edb4da5b9f39d84.tar.xz nixpkgs-f9a5fa373e26ae83e8ab63de6edb4da5b9f39d84.tar.zst nixpkgs-f9a5fa373e26ae83e8ab63de6edb4da5b9f39d84.zip | |
Upgrading HOL4 to version k.7.
svn path=/nixpkgs/trunk/; revision=33306
Diffstat (limited to 'pkgs/applications/science/logic/hol/default.nix')
| -rw-r--r-- | pkgs/applications/science/logic/hol/default.nix | 29 |
1 files changed, 17 insertions, 12 deletions
diff --git a/pkgs/applications/science/logic/hol/default.nix b/pkgs/applications/science/logic/hol/default.nix index 5552fadc555..18a16114c50 100644 --- a/pkgs/applications/science/logic/hol/default.nix +++ b/pkgs/applications/science/logic/hol/default.nix @@ -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 { - name = "hol"; + name = "${pname}-${version}"; src = fetchurl { - #url = "http://downloads.sourceforge.net/project/hol/hol/kananaskis-5/kananaskis-5.tar.gz"; - url = mirror://sourceforge/hol/hol/kananaskis-5/kananaskis-5.tar.gz; - sha256 = "1qjfx5ii80v17yr04hz70n8aa46892fjc4qcxs9gs7nh3hw7rvmx"; + url = mirror://sourceforge/hol/hol/kananaskis-7/kananaskis-7.tar.gz; + sha256 = "0gs1nmjvsjhnndama9v7gids2g86iip53v7d7dm3sfq6jxmqkwkl"; }; buildInputs = [polyml]; @@ -16,21 +21,21 @@ stdenv.mkDerivation { cd "$out/src" tar -xzf "$src" - cd hol + cd hol4.${version} - substituteInPlace tools-poly/Holmake/Holmake.sml --replace \ - "\"/bin/mv\"" \ - "\"mv\"" + substituteInPlace tools/Holmake/Holmake_types.sml \ + --replace "\"/bin/mv\"" "\"mv\"" \ + --replace "\"/bin/cp\"" "\"cp\"" #sed -ie "/compute/,999 d" tools/build-sequence # for testing poly < tools/smart-configure.sml - bin/build -expk -symlink + bin/build ${kernelFlag} -symlink mkdir -p "$out/bin" - ln -st $out/bin $out/src/hol/bin/* - # ln -s $out/src/hol/bin $out/bin + ln -st $out/bin $out/src/hol4.${version}/bin/* + # ln -s $out/src/hol4.${version}/bin $out/bin ''; meta = { |