pkgs/development/tools/analysis/randoop/default.nix

   1 { lib, stdenv, fetchurl, unzip }:
   2
   3 stdenv.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 }