diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/configure b/configure index d1a356e46a2..29f7dbd3258 100755 --- a/configure +++ b/configure @@ -11,6 +11,7 @@ build_type=release src_dir="$(dirname "$(readlink -f "$0")")" host_arch=$(uname -m) arch=${host_arch} +native_only=no wipe=no args=() @@ -27,6 +28,7 @@ OPTIONS: --build-dir, -b Build directory --install-dir, -i Install directory --build-type, -t Build type (release, debug, ...) + --native-only, -n Only compile for Native CPU (no multiarch) --wipe, -w Wipe whole repo (except startup.* files) __EOF__ } @@ -73,6 +75,10 @@ while (( "$#" )); do exit 1 fi ;; + -n|--native-only) + native_only=yes + shift 1 + ;; -w|--wipe) wipe=yes shift 1 @@ -105,6 +111,7 @@ args+=("-DCMAKE_PREFIX_PATH=/opt/vpp/external/${arch}") args+=("-DCMAKE_EXPORT_COMPILE_COMMANDS:BOOL=ON") args+=("-DCMAKE_INSTALL_PREFIX=${install_dir}") args+=("-DCMAKE_BUILD_TYPE:STRING=${build_type}") +[ "${native_only}" == "yes" ] && args+=("-DVPP_BUILD_NATIVE_ONLY:BOOL=ON") [ "${wipe}" == "yes" ] && git clean -fdx --exclude=startup.\* |