summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--config.project1
-rw-r--r--config.usage5
-rwxr-xr-xconfigure14
3 files changed, 20 insertions, 0 deletions
diff --git a/config.project b/config.project
index e0c7d4c..7f5776d 100644
--- a/config.project
+++ b/config.project
@@ -51,5 +51,6 @@ mb_default_elf_config_defs=
# config
mb_all_static=
mb_all_shared=
+mb_disable_frontend=
mb_disable_static=yes
mb_disable_shared=yes
diff --git a/config.usage b/config.usage
index a3af209..7b6f359 100644
--- a/config.usage
+++ b/config.usage
@@ -37,6 +37,11 @@ supported switches:
--disable-static
--disable-shared
+ --enable-app
+ --enable-frontend
+ --disable-app
+ --disable-frontend
+
supported variables:
--------------------
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'
;;