randoop: init at 3.1.5

This commit is contained in:
Pascal Wittmann 2017-06-04 17:18:58 +02:00
parent fabb5aa4b5
commit 2c84e814e8
No known key found for this signature in database
GPG Key ID: C899ACE7E2322852
2 changed files with 30 additions and 0 deletions

View File

@ -0,0 +1,28 @@
{ stdenv, fetchurl, unzip }:
stdenv.mkDerivation rec {
version = "3.1.5";
name = "randoop-${version}";
src = fetchurl {
url = "https://github.com/randoop/randoop/releases/download/v${version}/${name}.zip";
sha256 = "13zspyi9fgnqc90qfqqnj0hb7869l0aixv0vwgj8m4m1hggpadlx";
};
buildInputs = [ unzip ];
installPhase = ''
mkdir -p $out/lib $out/doc
cp -R *.jar $out/lib
cp README.txt $out/doc
'';
meta = with stdenv.lib; {
description = "Automatic test generation for Java";
homepage = https://randoop.github.io/randoop/;
license = licenses.mit;
maintainers = with maintainers; [ pSub ];
platforms = platforms.linux;
};
}

View File

@ -7072,6 +7072,8 @@ with pkgs;
ragel = ragelStable;
randoop = callPackage ../development/tools/analysis/randoop { };
inherit (callPackages ../development/tools/parsing/ragel {
tex = texlive.combined.scheme-small;
}) ragelStable ragelDev;