diff options
Diffstat (limited to 'pkgs/desktops/gnome/devtools')
-rw-r--r-- | pkgs/desktops/gnome/devtools/anjuta/default.nix | 44 | ||||
-rw-r--r-- | pkgs/desktops/gnome/devtools/devhelp/default.nix | 80 | ||||
-rw-r--r-- | pkgs/desktops/gnome/devtools/gnome-devel-docs/default.nix | 25 |
3 files changed, 149 insertions, 0 deletions
diff --git a/pkgs/desktops/gnome/devtools/anjuta/default.nix b/pkgs/desktops/gnome/devtools/anjuta/default.nix new file mode 100644 index 0000000000000..5b841557b6b20 --- /dev/null +++ b/pkgs/desktops/gnome/devtools/anjuta/default.nix @@ -0,0 +1,44 @@ +{ lib, stdenv, fetchurl, pkg-config, gnome, gtk3, gjs, flex, bison, libxml2, intltool, + gdl, libgda, gtksourceview, gsettings-desktop-schemas, + itstool, python3, ncurses, makeWrapper }: + +stdenv.mkDerivation rec { + pname = "anjuta"; + version = "3.34.0"; + + src = fetchurl { + url = "mirror://gnome/sources/anjuta/${lib.versions.majorMinor version}/${pname}-${version}.tar.xz"; + sha256 = "13ql7axw6zz387s7pa1m7wmh7qps3x7fk53h9832vq1yxlq33aa2"; + }; + + passthru = { + updateScript = gnome.updateScript { packageName = "anjuta"; attrPath = "gnome.anjuta"; }; + }; + + enableParallelBuilding = true; + + nativeBuildInputs = [ + pkg-config intltool itstool python3 makeWrapper + # Required by python3 + ncurses + ]; + buildInputs = [ + flex bison gtk3 libxml2 gjs gdl + libgda gtksourceview + gsettings-desktop-schemas + ]; + + preFixup = '' + wrapProgram $out/bin/anjuta \ + --prefix XDG_DATA_DIRS : \ + "$GSETTINGS_SCHEMAS_PATH" + ''; + + meta = with lib; { + description = "Software development studio"; + homepage = "http://anjuta.org/"; + license = licenses.gpl2; + maintainers = with maintainers; []; + platforms = platforms.linux; + }; +} diff --git a/pkgs/desktops/gnome/devtools/devhelp/default.nix b/pkgs/desktops/gnome/devtools/devhelp/default.nix new file mode 100644 index 0000000000000..46491cffc5f68 --- /dev/null +++ b/pkgs/desktops/gnome/devtools/devhelp/default.nix @@ -0,0 +1,80 @@ +{ lib, stdenv +, fetchurl +, meson +, ninja +, pkg-config +, gnome +, gtk3 +, wrapGAppsHook +, glib +, amtk +, appstream-glib +, gobject-introspection +, python3 +, webkitgtk +, gettext +, itstool +, gsettings-desktop-schemas +, shared-mime-info +}: + +stdenv.mkDerivation rec { + pname = "devhelp"; + version = "40.0"; + + src = fetchurl { + url = "mirror://gnome/sources/devhelp/${lib.versions.major version}/${pname}-${version}.tar.xz"; + sha256 = "0zr64qp5c6jcc3x5hmfp7jhzpi96qwr6xplyfkmz4kjzvr9xidjd"; + }; + + nativeBuildInputs = [ + meson + ninja + pkg-config + gettext + itstool + wrapGAppsHook + appstream-glib + gobject-introspection + python3 + ]; + + buildInputs = [ + glib + gtk3 + webkitgtk + amtk + gnome.adwaita-icon-theme + gsettings-desktop-schemas + ]; + + doCheck = true; + + postPatch = '' + chmod +x meson_post_install.py # patchShebangs requires executable file + patchShebangs meson_post_install.py + ''; + + preFixup = '' + gappsWrapperArgs+=( + # Fix pages being blank + # https://gitlab.gnome.org/GNOME/devhelp/issues/14 + --prefix XDG_DATA_DIRS : "${shared-mime-info}/share" + ) + ''; + + passthru = { + updateScript = gnome.updateScript { + packageName = "devhelp"; + attrPath = "gnome.devhelp"; + }; + }; + + meta = with lib; { + description = "API documentation browser for GNOME"; + homepage = "https://wiki.gnome.org/Apps/Devhelp"; + license = licenses.gpl3Plus; + maintainers = teams.gnome.members; + platforms = platforms.linux; + }; +} diff --git a/pkgs/desktops/gnome/devtools/gnome-devel-docs/default.nix b/pkgs/desktops/gnome/devtools/gnome-devel-docs/default.nix new file mode 100644 index 0000000000000..501aaa91c978f --- /dev/null +++ b/pkgs/desktops/gnome/devtools/gnome-devel-docs/default.nix @@ -0,0 +1,25 @@ +{ lib, stdenv, fetchurl, gnome, intltool, itstool, libxml2 }: + +stdenv.mkDerivation rec { + pname = "gnome-devel-docs"; + version = "40.0"; + + src = fetchurl { + url = "mirror://gnome/sources/gnome-devel-docs/${lib.versions.major version}/${pname}-${version}.tar.xz"; + sha256 = "0zqp01ks8m3s6jn5xqd05rw4fwbvxy5qvcfg9g50b2ar2j7v1ar8"; + }; + + passthru = { + updateScript = gnome.updateScript { packageName = "gnome-devel-docs"; attrPath = "gnome.gnome-devel-docs"; }; + }; + + buildInputs = [ intltool itstool libxml2 ]; + + meta = with lib; { + homepage = "https://github.com/GNOME/gnome-devel-docs"; + description = "Developer documentation for GNOME"; + maintainers = teams.gnome.members; + license = licenses.fdl12; + platforms = platforms.linux; + }; +} |