diff options
author | Marco Maggesi <maggesi@math.unifi.it> | 2010-08-04 08:55:57 +0000 |
---|---|---|
committer | Marco Maggesi <maggesi@math.unifi.it> | 2010-08-04 08:55:57 +0000 |
commit | 2b1d398c9aa7a30feceeb7390556dcaf1f512147 (patch) | |
tree | a6e7c0070a9c717e24a25d1e813f4f70bb0de482 /pkgs/os-specific/linux/dmtcp | |
parent | 43017234d6b4f5ce8728565d515b1a32c3836263 (diff) |
Remove obsolete expression for dmtcp-devel
svn path=/nixpkgs/trunk/; revision=22937
Diffstat (limited to 'pkgs/os-specific/linux/dmtcp')
-rw-r--r-- | pkgs/os-specific/linux/dmtcp/devel.nix | 45 |
1 files changed, 0 insertions, 45 deletions
diff --git a/pkgs/os-specific/linux/dmtcp/devel.nix b/pkgs/os-specific/linux/dmtcp/devel.nix deleted file mode 100644 index cd62455d2383..000000000000 --- a/pkgs/os-specific/linux/dmtcp/devel.nix +++ /dev/null @@ -1,45 +0,0 @@ -{stdenv, fetchsvn, perl, python}: - -# Perl and python are needed in order to run the test suite. - -let - revision = "512"; -in - -stdenv.mkDerivation { - name = "dmtcp-devel-${revision}"; - - src = fetchsvn { - url = https://dmtcp.svn.sourceforge.net/svnroot/dmtcp/trunk; - rev = revision; - sha256 = "77d8fe7f39d661669a58c6bf789886a8b6c8186d68d2b95d8a8791efab2c03b7"; - }; - - buildInputs = [ perl python ]; - - doCheck = true; - - preCheck = '' - substituteInPlace dmtcp/src/dmtcp_coordinator.cpp \ - --replace /bin/bash /bin/sh - substituteInPlace utils/gdb-add-symbol-file \ - --replace /bin/bash /bin/sh - substituteInPlace test/autotest.py \ - --replace /usr/bin/env $(type -p env) \ - --replace /bin/bash $(type -p bash) \ - --replace /usr/bin/perl $(type -p perl) \ - --replace /usr/bin/python $(type -p python) - ''; - - meta = { - description = "Distributed MultiThreaded Checkpointing"; - longDescription = '' - DMTCP (Distributed MultiThreaded Checkpointing) is a tool to - transparently checkpointing the state of an arbitrary group of - programs spread across many machines and connected by sockets. It does - not modify the user's program or the operating system. - ''; - homepage = http://dmtcp.sourceforge.net/; - license = "LGPL"; - }; -} |