diff --git a/pkgs/development/tools/drip/default.nix b/pkgs/development/tools/drip/default.nix new file mode 100644 index 00000000000..a62fa042981 --- /dev/null +++ b/pkgs/development/tools/drip/default.nix @@ -0,0 +1,36 @@ +{ stdenv, fetchFromGitHub, gcc, jdk, which }: + +stdenv.mkDerivation rec { + name = "${pname}-${version}"; + pname = "drip"; + version = "0.2.4"; + + src = fetchFromGitHub { + repo = pname; + owner = "flatland"; + rev = version; + sha256 = "1zl62wdwfak6z725asq5lcqb506la1aavj7ag78lvp155wyh8aq1"; + #fetchSubmodules = true; + }; + + buildInputs = [ gcc jdk which ]; + + patchPhase = '' + mkdir $out + cp ./* $out -r + ''; + + buildPhase = '' + $out/bin/drip version + ''; + + phases = [ "unpackPhase" "patchPhase" "buildPhase" ]; + + 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.epl; + homepage = https://github.com/flatland/drip; + platforms = platforms.linux; + maintainers = [ maintainers.rybern ]; + }; +} diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 3051f682696..79accc142f1 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -7238,6 +7238,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 { };