gnome: rename from gnome3

Since GNOME version is now 40, it no longer makes sense to use the old attribute name.

3 files changed, 0 insertions, 149 deletions

diff --git a/pkgs/desktops/gnome-3/devtools/anjuta/default.nix b/pkgs/desktops/gnome-3/devtools/anjuta/default.nix
deleted file mode 100644
index 4802287cb12..00000000000
--- a/pkgs/desktops/gnome-3/devtools/anjuta/default.nix
+++ /dev/null
@@ -1,44 +0,0 @@
-{ lib, stdenv, fetchurl, pkg-config, gnome3, 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 = gnome3.updateScript { packageName = "anjuta"; attrPath = "gnome3.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-3/devtools/devhelp/default.nix b/pkgs/desktops/gnome-3/devtools/devhelp/default.nix
deleted file mode 100644
index 9a68f151b4a..00000000000
--- a/pkgs/desktops/gnome-3/devtools/devhelp/default.nix
+++ /dev/null
@@ -1,80 +0,0 @@
-{ lib, stdenv
-, fetchurl
-, meson
-, ninja
-, pkg-config
-, gnome3
-, 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
-    gnome3.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 = gnome3.updateScript {
-      packageName = "devhelp";
-      attrPath = "gnome3.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-3/devtools/gnome-devel-docs/default.nix b/pkgs/desktops/gnome-3/devtools/gnome-devel-docs/default.nix
deleted file mode 100644
index 6349a318456..00000000000
--- a/pkgs/desktops/gnome-3/devtools/gnome-devel-docs/default.nix
+++ /dev/null
@@ -1,25 +0,0 @@
-{ lib, stdenv, fetchurl, gnome3, 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 = gnome3.updateScript { packageName = "gnome-devel-docs"; attrPath = "gnome3.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;
-  };
-}