diff options
author | Marco Maggesi <maggesi@math.unifi.it> | 2011-02-22 19:00:45 +0000 |
---|---|---|
committer | Marco Maggesi <maggesi@math.unifi.it> | 2011-02-22 19:00:45 +0000 |
commit | 04d74baeb054bf51b31f35f22619fe27d59fe9bb (patch) | |
tree | 5f9c0d367ffe7010d60c76c6395bb0cbb72bfee2 /pkgs/os-specific/linux/dmtcp/default.nix | |
parent | 7201a275db2a82faaee1abdc6bd4c97cf5a5fa17 (diff) |
* Update dmtcp to version 1.2.0.
* Remove patch 'dont_check_uid' that was introduced to allow building hol_light binaries under root, but we will avoid it in the future). svn path=/nixpkgs/trunk/; revision=26062
Diffstat (limited to 'pkgs/os-specific/linux/dmtcp/default.nix')
-rw-r--r-- | pkgs/os-specific/linux/dmtcp/default.nix | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/pkgs/os-specific/linux/dmtcp/default.nix b/pkgs/os-specific/linux/dmtcp/default.nix index 39759b03496cc..c863be14461cc 100644 --- a/pkgs/os-specific/linux/dmtcp/default.nix +++ b/pkgs/os-specific/linux/dmtcp/default.nix @@ -4,18 +4,16 @@ stdenv.mkDerivation rec { name = "dmtcp-${version}"; - version = "1.1.8"; + version = "1.2.0"; buildInputs = [ perl python ]; src = fetchurl { url = "mirror://sourceforge/dmtcp/dmtcp_${version}.tar.gz"; - sha256 = "05klyml5maw3f5rxl3i20fqyvpmx69bh09h7a48y19q3r4nqd8f2"; + sha256 = "1pw3m4l1xf887xagd0yrrnb35s372j0kvjziyy3gmx9fxpga1jzb"; }; - patches = [ ./dont_check_uid.patch ]; - - postPatch = '' + preConfigure = '' substituteInPlace dmtcp/src/dmtcp_coordinator.cpp \ --replace /bin/bash /bin/sh substituteInPlace utils/gdb-add-symbol-file \ |