diff options
| author |   Dave Barach <dave@barachs.net> | 2017-11-06 16:06:05 -0500 |
|---|---|---|
| committer |   Chris Luke <chris_luke@comcast.com> | 2017-11-06 22:28:51 +0000 |
| commit | 7b0c6737ed1e58d7902a513046e1b617a146cf23 (patch) | |
| tree | 5528578ebf7250d2bb0ba8d771fe3de4cb58f978 /src | |
| parent | c97a7398fc465c480a3ac66cf4b0f91a034ed564 (diff) | |
Add --disable-vom config option
The vpp object model consumes more than half of the entire [initial]
build time, so it's worth adding a config option.
Change-Id: I86ad41f78160d93835804235b8b4a3fc7988f2f7
Signed-off-by: Dave Barach <dave@barachs.net>
Diffstat (limited to 'src')
| -rw-r--r-- | src/Makefile.am | 4 | ||||
| -rw-r--r-- | src/configure.ac | 1 |
2 files changed, 4 insertions, 1 deletions
diff --git a/src/Makefile.am b/src/Makefile.am index 7b6818f2098..6f146fea4a7 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -72,6 +72,7 @@ include uri.am include vcl.am SUBDIRS += plugins +SUBDIRS += vpp-api/vapi if ENABLE_PAPI include vpp-api.am @@ -82,8 +83,9 @@ if ENABLE_JAPI SUBDIRS += vpp-api/java endif -SUBDIRS += vpp-api/vapi +if ENABLE_VOM SUBDIRS += vpp-api/vom +endif ############################################################################### # API diff --git a/src/configure.ac b/src/configure.ac index 150930f03e2..8b79cff224f 100644 --- a/src/configure.ac +++ b/src/configure.ac @@ -134,6 +134,7 @@ DISABLE_ARG(vlib, [Disable vlib and dependant libs and binaries]) DISABLE_ARG(svm, [Disable svm and dependant libs and binaries]) DISABLE_ARG(papi, [Disable Python API bindings]) DISABLE_ARG(japi, [Disable Java API bindings]) +DISABLE_ARG(vom, [Disable VPP object model bindings]) # --with-X |