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