tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{ lib, stdenv, fetchurl, unzip }:
2
3stdenv.mkDerivation rec {
4 version = "4.3.0";
5 pname = "randoop";
6
7 src = fetchurl {
8 url = "https://github.com/randoop/randoop/releases/download/v${version}/${pname}-${version}.zip";
9 sha256 = "sha256-3svBmXcRvscaK8YD4qm/geQSJ6cAm0en/d7H09h41PQ=";
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 license = licenses.mit;
25 maintainers = with maintainers; [ pSub ];
26 platforms = platforms.linux;
27 };
28}