summaryrefslogtreecommitdiff
path: root/pkgs/desktops/gnome/devtools
diff options
context:
space:
mode:
Diffstat (limited to 'pkgs/desktops/gnome/devtools')
-rw-r--r--pkgs/desktops/gnome/devtools/anjuta/default.nix44
-rw-r--r--pkgs/desktops/gnome/devtools/devhelp/default.nix80
-rw-r--r--pkgs/desktops/gnome/devtools/gnome-devel-docs/default.nix25
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 000000000000..5b841557b6b2
--- /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 000000000000..46491cffc5f6
--- /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 000000000000..501aaa91c978
--- /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;
+ };
+}