tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{ stdenv, fetchurl, unzip }:
2
3stdenv.mkDerivation rec {
4 version = "4.2.1";
5 pname = "randoop";
6
7 src = fetchurl {
8 url = "https://github.com/randoop/randoop/releases/download/v${version}/${pname}-${version}.zip";
9 sha256 = "0sq6zyagb8qrj629rq7amzi0dnm6q00mll6gd5yx1nqdnjbfb4qd";
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}