diff options
author | midipix <writeonce@midipix.org> | 2016-05-09 12:06:40 -0400 |
---|---|---|
committer | midipix <writeonce@midipix.org> | 2016-05-09 22:04:02 -0400 |
commit | a51e37cdd3c65d67d2f44d886ea442e7bb2b75a7 (patch) | |
tree | 0b35894b2637d41ae035c847052dcae760c1f1e5 | |
parent | 54c1e4ea1a3b372275d4b02374fae49c5092bafe (diff) | |
download | sofort-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.project | 1 | ||||
-rw-r--r-- | config.usage | 5 | ||||
-rwxr-xr-x | configure | 14 |
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: -------------------- @@ -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' ;; |