[gnome-builder] jedi: remove legacy jedi plugin

[Christian Hergert <chergert src gnome org>]

commit 53143a789db82e3659f3a3a68d2868d2dd304716
Author: Christian Hergert <chergert redhat com>
Date:   Tue Aug 10 12:48:23 2021 -0700

    jedi: remove legacy jedi plugin
    
    Now that we have a language server to use, we can drop our old broken
    jedi plugin which didn't support updated jedi API anyway.

 build-aux/flatpak/python-deps.json |   9 +-
 meson_options.txt                  |   1 -
 src/plugins/jedi/jedi.plugin       |  10 -
 src/plugins/jedi/jedi_plugin.py    | 769 -------------------------------------
 src/plugins/jedi/meson.build       |  13 -
 src/plugins/meson.build            |   2 -
 6 files changed, 2 insertions(+), 802 deletions(-)
---
diff --git a/build-aux/flatpak/python-deps.json b/build-aux/flatpak/python-deps.json
index ff3b51ead..23f77c260 100644
--- a/build-aux/flatpak/python-deps.json
+++ b/build-aux/flatpak/python-deps.json
@@ -1,8 +1,8 @@
 {
-    "name": "python3-jedi",
+    "name": "python3-deps",
     "buildsystem": "simple",
     "build-commands": [
-        "pip3 install --no-index --find-links=\"file://${PWD}\" --prefix=${FLATPAK_DEST} jedi sphinx 
sphinx_rtd_theme lxml docutils codespell gi-docgen"
+        "pip3 install --no-index --find-links=\"file://${PWD}\" --prefix=${FLATPAK_DEST} sphinx 
sphinx_rtd_theme lxml docutils codespell gi-docgen"
     ],
     "sources": [
         {
@@ -105,11 +105,6 @@
             "url": 
"https://files.pythonhosted.org/packages/dd/f8/df628d41f42793d446285767164c6a8da71d82892f2c98c43e0523836d39/Sphinx-1.8.4.tar.gz";,
             "sha256": "c1c00fc4f6e8b101a0d037065043460dffc2d507257f2f11acaed71fd2b0c83c"
         },
-        {
-            "type": "file",
-            "url": 
"https://files.pythonhosted.org/packages/e4/83/4c05db437252694660c972b5374b35a68a8a0a8cd012dc95e5fd4d7e71b0/jedi-0.13.2.tar.gz";,
-            "sha256": "571702b5bd167911fe9036e5039ba67f820d6502832285cde8c881ab2b2149fd"
-        },
         {
             "type": "file",
             "url": 
"https://files.pythonhosted.org/packages/7e/37/b15b4133e90bbef5acecfd2f3f3871c1352ee281c042fd64a22a72735fb8/codespell-1.17.1.tar.gz";,
diff --git a/meson_options.txt b/meson_options.txt
index 9a7fd032c..7f3e11119 100644
--- a/meson_options.txt
+++ b/meson_options.txt
@@ -48,7 +48,6 @@ option('plugin_grep', type: 'boolean')
 option('plugin_gvls', type: 'boolean')
 option('plugin_html_completion', type: 'boolean')
 option('plugin_html_preview', type: 'boolean')
-option('plugin_jedi', type: 'boolean', value: false)
 option('plugin_jedi_language_server', type: 'boolean')
 option('plugin_jhbuild', type: 'boolean')
 option('plugin_make', type: 'boolean')
diff --git a/src/plugins/meson.build b/src/plugins/meson.build
index 6a8438b04..6150ccacf 100644
--- a/src/plugins/meson.build
+++ b/src/plugins/meson.build
@@ -85,7 +85,6 @@ subdir('gvls')
 subdir('history')
 subdir('html-completion')
 subdir('html-preview')
-subdir('jedi')
 subdir('jedi-language-server')
 subdir('jhbuild')
 subdir('line-spacing')
@@ -177,7 +176,6 @@ status += [
   'Grep .................. : @0@'.format(get_option('plugin_grep')),
   'HTML Completion ....... : @0@'.format(get_option('plugin_html_completion')),
   'HTML Preview .......... : @0@'.format(get_option('plugin_html_preview')),
-  'Jedi .................. : @0@'.format(get_option('plugin_jedi')),
   'Jedi Language Server... : @0@'.format(get_option('plugin_jedi_language_server')),
   'JHBuild ............... : @0@'.format(get_option('plugin_jhbuild')),
   'Make .................. : @0@'.format(get_option('plugin_make')),