03/12: gnu: gnome-builder: Disable jedi plugin.

[guix-commits]

civodul pushed a commit to branch master
in repository guix.

commit f3e0dc63e18c4f4acce1b1d336d23a90beccb77a
Author: Leo Prikler <leo.prikler@student.tugraz.at>
AuthorDate: Sat Dec 19 12:50:01 2020 +0100

    gnu: gnome-builder: Disable jedi plugin.
    
    As pointed out in #45272, it is broken.
    
    * gnu/packages/gnome.scm (gnome-builder)[#:configure-flags] Add
    -Dplugin_jedi=false.
    
    Signed-off-by: Ludovic Courtès <ludo@gnu.org>
---
 gnu/packages/gnome.scm | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm
index 3d99b49..f7263b5 100644
--- a/gnu/packages/gnome.scm
+++ b/gnu/packages/gnome.scm
@@ -11876,6 +11876,9 @@ libraries.  Applications do not need to be 
recompiled--or even restarted.")
                                "-Dplugin_clang=false"
                                "-Dplugin_flatpak=false"
                                "-Dplugin_glade=false"
+                               ;; XXX: This one has been shown not to work in
+                               ;;      <https://issues.guix.gnu.org/45272>
+                               "-Dplugin_jedi=false"
                                ;; ... except this one.
                                "-Dplugin_update_manager=false")
        #:phases