tjh.dev
1{ stdenv, fetchurl, unzip }:
2
3stdenv.mkDerivation rec {
4 version = "3.1.5";
5 name = "randoop-${version}";
6
7 src = fetchurl {
8 url = "https://github.com/randoop/randoop/releases/download/v${version}/${name}.zip";
9 sha256 = "13zspyi9fgnqc90qfqqnj0hb7869l0aixv0vwgj8m4m1hggpadlx";
10 };
11
12 buildInputs = [ unzip ];
13
14 installPhase = ''
15 mkdir -p $out/lib $out/doc
16
17 cp -R *.jar $out/lib
18 cp README.txt $out/doc
19 '';
20
21 meta = with stdenv.lib; {
22 description = "Automatic test generation for Java";
23 homepage = https://randoop.github.io/randoop/;
24 license = licenses.mit;
25 maintainers = with maintainers; [ pSub ];
26 platforms = platforms.linux;
27 };
28}