summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authormidipix <writeonce@midipix.org>2016-05-09 12:06:40 -0400
committermidipix <writeonce@midipix.org>2016-05-09 22:04:02 -0400
commita51e37cdd3c65d67d2f44d886ea442e7bb2b75a7 (patch)
tree0b35894b2637d41ae035c847052dcae760c1f1e5
parent54c1e4ea1a3b372275d4b02374fae49c5092bafe (diff)
downloadsofort-a51e37cdd3c65d67d2f44d886ea442e7bb2b75a7.tar.bz2
sofort-a51e37cdd3c65d67d2f44d886ea442e7bb2b75a7.tar.xz
build system: configure, project: added --disable-frontend support.
This patch also provides 'app' as a user-friendly synonym for 'frontend'.
-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 b27e70b..70b2e28 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=
mb_disable_shared=
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'
;;