diff options
author | WORLDofPEACE <worldofpeace@protonmail.ch> | 2020-11-09 04:18:08 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-11-09 04:18:08 -0500 |
commit | 00ecee00bb2fffe675678d3e887310ab07d55c61 (patch) | |
tree | a97d4cda8e85318623031290f522ba45640bb45c | |
parent | e8e46530c86858f310693c18a62696083263c813 (diff) | |
parent | 49280e8bb8b874355a1245e36b9276b6573a60af (diff) |
Merge pull request #102664 from andreasfelix/andreasfelix/vala-language-server
vala-language-server: init at 0.48.1
-rw-r--r-- | maintainers/maintainer-list.nix | 6 | ||||
-rw-r--r-- | pkgs/development/tools/vala-language-server/default.nix | 59 | ||||
-rw-r--r-- | pkgs/top-level/all-packages.nix | 2 |
3 files changed, 67 insertions, 0 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index 94588050cc4a7..4bee75ed035e1 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -514,6 +514,12 @@ githubId = 69135; name = "Andrea Bedini"; }; + andreasfelix = { + email = "fandreas@physik.hu-berlin.de"; + github = "andreasfelix"; + githubId = 24651767; + name = "Felix Andreas"; + }; andres = { email = "ksnixos@andres-loeh.de"; github = "kosmikus"; diff --git a/pkgs/development/tools/vala-language-server/default.nix b/pkgs/development/tools/vala-language-server/default.nix new file mode 100644 index 0000000000000..f26615e26b7ab --- /dev/null +++ b/pkgs/development/tools/vala-language-server/default.nix @@ -0,0 +1,59 @@ +{ stdenv +, fetchFromGitHub +, nix-update-script +, meson +, ninja +, pkg-config +, scdoc +, gnome-builder +, gnused +, glib +, libgee +, json-glib +, jsonrpc-glib +, vala +}: + +stdenv.mkDerivation rec { + pname = "vala-language-server"; + version = "0.48.1"; + + src = fetchFromGitHub { + owner = "benwaffle"; + repo = pname; + rev = version; + sha256 = "12k095052jkvbiyz8gzkj6w7r7p16d5m18fyikl48yvh5nln8fw0"; + }; + + passthru = { + updateScript = nix-update-script { + attrPath = pname; + }; + }; + + nativeBuildInputs = [ + meson + ninja + pkg-config + scdoc + # GNOME Builder Plugin + gnused + gnome-builder + ]; + + buildInputs = [ + glib + libgee + json-glib + jsonrpc-glib + vala + ]; + + meta = with stdenv.lib; { + description = "Code Intelligence for Vala & Genie"; + homepage = "https://github.com/benwaffle/vala-language-server"; + license = licenses.lgpl21Plus; + maintainers = with maintainers; [ andreasfelix worldofpeace ]; + platforms = platforms.linux; + }; +} diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 9f881a85ccacf..9b5b1c9ddcc59 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -11961,6 +11961,8 @@ in vagrant = callPackage ../development/tools/vagrant {}; + vala-language-server = callPackage ../development/tools/vala-language-server {}; + bashdb = callPackage ../development/tools/misc/bashdb { }; gdb = callPackage ../development/tools/misc/gdb { |