tjh.dev
1{ lib, stdenv, fetchurl, unzip }:
2
3stdenv.mkDerivation rec {
4 version = "4.3.2";
5 pname = "randoop";
6
7 src = fetchurl {
8 url = "https://github.com/randoop/randoop/releases/download/v${version}/${pname}-${version}.zip";
9 sha256 = "sha256-lcYI0Yns/R5VeOUG68Xe8h1BO8wlKvL1CZIqzWkgsqo=";
10 };
11
12 nativeBuildInputs = [ 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 lib; {
22 description = "Automatic test generation for Java";
23 homepage = "https://randoop.github.io/randoop/";
24 sourceProvenance = with sourceTypes; [ binaryBytecode ];
25 license = licenses.mit;
26 maintainers = with maintainers; [ pSub ];
27 platforms = platforms.linux;
28 };
29}