[gedit/zbrown/deteplification-src: 93/633] build: remove option to not build plugins, i.e. always build plugins

[Zander Brown <zbrown src gnome org>]

commit 21a8488e7052d389dea2c56d82b2a14328d504d1
Author: Sébastien Wilmet <swilmet gnome org>
Date:   Fri Dec 6 07:53:55 2019 +0100

    build: remove option to not build plugins, i.e. always build plugins
    
    The plugins present in this git repo are part of the core experience of
    gedit and should all be installed by default.

 meson.build       | 6 +-----
 meson_options.txt | 4 ----
 2 files changed, 1 insertion(+), 9 deletions(-)
---
diff --git a/meson.build b/meson.build
index bb39e26f8..953526d5d 100644
--- a/meson.build
+++ b/meson.build
@@ -142,10 +142,7 @@ endif
 subdir('data')
 subdir('po')
 subdir('gedit')
-
-if get_option('plugins')
-  subdir('plugins')
-endif
+subdir('plugins')
 
 if get_option('gtk_doc')
   subdir('docs/reference')
@@ -172,7 +169,6 @@ summary = [
   '        User documentation:    @0@'.format(get_option('user_documentation')),
   '        GObject Introspection: @0@'.format(generate_gir),
   '        Vala API:              @0@'.format(generate_vapi),
-  '        Plugins:               @0@'.format(get_option('plugins')),
   '',
 ]
 message('\n'.join(summary))
diff --git a/meson_options.txt b/meson_options.txt
index 43bc41429..e2e676f22 100644
--- a/meson_options.txt
+++ b/meson_options.txt
@@ -6,10 +6,6 @@ option('vapi',
        type: 'boolean', value: true,
        description: 'Generate vapi data for Vala (requires vapigen)')
 
-option('plugins',
-       type: 'boolean', value: true,
-       description: 'Build core plugins')
-
 option('gtk_doc',
        type: 'boolean', value: false,
        description: 'Build API reference for plugins (requires gtk-doc)')