Refuse to proceed with --disable-shared.

This cannot work the way VLC links its plugins. Too many people shot
themselves in the foot with this option.

diff --git a/configure.ac b/configure.ac
index c92bb7c862ad8ccbaf976bceed528cafd333f6dc..28a9baa82e01d9554a1df5fd958ec92f111d0d5c 100644 (file)
--- a/configure.ac
+++ b/configure.ac
@@ -450,6 +450,9 @@ m4_defun([AC_DEPLIBS_CHECK_METHOD],[])
 
 lt_cv_deplibs_check_method=pass_all
 
+AS_IF([test "${enable_shared}" = "no"], [
+  AC_MSG_ERROR([VLC is based on plugins. Shared libraries cannot be disabled.])
+])
 
 dnl
 dnl Gettext stuff