Add a configure option for whether to support plugins

In Debian we don't want to support MC's plugin architecture yet (if at
all), to reduce the amount of API/ABI exposed.

When plugins are disabled, we don't need GModule,
libmissioncontrol-server doesn't need to be installed or be a shared
library, and the headers don't need to be installed either.

1 files changed, 2 insertions, 2 deletions

diff --git a/autogen.sh b/autogen.sh
index 6a545f2e..4229f569 100755
--- a/autogen.sh
+++ b/autogen.sh
@@ -31,6 +31,6 @@ for arg in $*; do
 done
 
 if test $run_configure = true; then
-    echo "Running ./configure --enable-gtk-doc $*"
-    ./configure --enable-gtk-doc "$@"
+    echo "Running ./configure --enable-gtk-doc --enable-plugins $*"
+    ./configure --enable-gtk-doc --enable-plugins "$@"
 fi