diff --git a/pkgs/development/tools/drip/default.nix b/pkgs/development/tools/drip/default.nix new file mode 100644 index 00000000000..17aa94ebf36 --- /dev/null +++ b/pkgs/development/tools/drip/default.nix @@ -0,0 +1,40 @@ +{ stdenv, fetchFromGitHub, jdk, which, makeWrapper }: + +stdenv.mkDerivation rec { + name = "${pname}-${version}"; + pname = "drip"; + version = "0.2.4"; + + src = fetchFromGitHub { + repo = pname; + owner = "ninjudd"; + rev = version; + sha256 = "1zl62wdwfak6z725asq5lcqb506la1aavj7ag78lvp155wyh8aq1"; + }; + + nativeBuildInputs = [ makeWrapper ]; + + buildInputs = [ jdk ]; + + postPatch = '' + patchShebangs . + ''; + + installPhase = '' + runHook preInstall + mkdir $out + cp ./* $out -r + wrapProgram $out/bin/drip \ + --prefix PATH : "${which}/bin" + $out/bin/drip version + runHook postInstall + ''; + + meta = with stdenv.lib; { + description = "A launcher for the Java Virtual Machine intended to be a drop-in replacement for the java command, only faster"; + license = licenses.epl10; + homepage = https://github.com/ninjudd/drip; + platforms = platforms.linux; + maintainers = [ maintainers.rybern ]; + }; +} diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 2f7cd77bd58..069124667e0 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -7243,6 +7243,8 @@ with pkgs; drake = callPackage ../development/tools/build-managers/drake { }; + drip = callPackage ../development/tools/drip { }; + drush = callPackage ../development/tools/misc/drush { }; editorconfig-core-c = callPackage ../development/tools/misc/editorconfig-core-c { };