summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure14
1 files changed, 14 insertions, 0 deletions
diff --git a/configure b/configure
index e4f31a8..c7248ef 100755
--- a/configure
+++ b/configure
@@ -178,6 +178,7 @@ common_defaults()
# config
[ -z "$mb_all_static" ] && mb_all_static='no'
[ -z "$mb_all_shared" ] && mb_all_shared='no'
+ [ -z "$mb_disable_frontend" ] && mb_disable_frontend='no'
[ -z "$mb_disable_static" ] && mb_disable_static='no'
[ -z "$mb_disable_shared" ] && mb_disable_shared='no'
@@ -416,6 +417,7 @@ config_copy()
\
-e 's^@all_static@^'"$mb_all_static"'^g' \
-e 's^@all_shared@^'"$mb_all_shared"'^g' \
+ -e 's^@disable_frontend@^'"$mb_disable_frontend"'^g' \
-e 's^@disable_static@^'"$mb_disable_static"'^g' \
-e 's^@disable_shared@^'"$mb_disable_shared"'^g' \
$mb_project_dir/Makefile.in > $mb_pwd/Makefile
@@ -537,6 +539,18 @@ for arg ; do
--all-shared)
mb_all_shared='yes'
;;
+ --disable-frontend)
+ mb_disable_frontend='yes'
+ ;;
+ --disable-app)
+ mb_disable_frontend='yes'
+ ;;
+ --enable-frontend)
+ mb_disable_frontend='no'
+ ;;
+ --enable-app)
+ mb_disable_frontend='no'
+ ;;
--disable-static)
mb_disable_static='yes'
;;