Upgrade dmtcp to version 1.1.8
svn path=/nixpkgs/trunk/; revision=22933
This commit is contained in:
parent
a993d5190a
commit
8dca34b5ed
|
@ -4,7 +4,7 @@
|
|||
|
||||
let
|
||||
pname = "dmtcp";
|
||||
version = "1.1.4";
|
||||
version = "1.1.8";
|
||||
in
|
||||
|
||||
stdenv.mkDerivation {
|
||||
|
@ -12,7 +12,7 @@ stdenv.mkDerivation {
|
|||
|
||||
src = fetchurl {
|
||||
url = "mirror://sourceforge/${pname}/${pname}_${version}.tar.gz";
|
||||
sha256 = "0asqzndy4is285rmd1dw406ar3wkfaaw9ivyrmhx2w5lwf4gl7sk";
|
||||
sha256 = "05klyml5maw3f5rxl3i20fqyvpmx69bh09h7a48y19q3r4nqd8f2";
|
||||
};
|
||||
|
||||
buildInputs = [ perl python ];
|
||||
|
|
|
@ -4268,8 +4268,6 @@ let
|
|||
|
||||
dmtcp = callPackage ../os-specific/linux/dmtcp { };
|
||||
|
||||
dmtcp_devel = callPackage ../os-specific/linux/dmtcp/devel.nix { };
|
||||
|
||||
dietlibc = callPackage ../os-specific/linux/dietlibc {
|
||||
# Dietlibc 0.30 doesn't compile on PPC with GCC 4.1, bus GCC 3.4 works.
|
||||
stdenv = if stdenv.system == "powerpc-linux" then overrideGCC stdenv gcc34 else stdenv;
|
||||
|
@ -6671,9 +6669,7 @@ let
|
|||
|
||||
hol_light = callPackage ../applications/science/logic/hol_light { };
|
||||
|
||||
hol_light_binaries = callPackage ../applications/science/logic/hol_light/binaries.nix {
|
||||
dmtcp = dmtcp_devel;
|
||||
};
|
||||
hol_light_binaries = callPackage ../applications/science/logic/hol_light/binaries.nix { };
|
||||
|
||||
# This is a special version of OCaml handcrafted especially for
|
||||
# hol_light it should be merged with the current expresion for ocaml
|
||||
|
|
Loading…
Reference in a new issue