X-Git-Url: https://gerrit.fd.io/r/gitweb?a=blobdiff_plain;f=configure;h=fbe27daeac31bcc66e4bbc26111040da4e1304c1;hb=0157885517dcc0236b4719d4fc0ad789b3a15187;hp=d1a356e46a24eac90f2c4c9b3cca67d46e864494;hpb=a117c01c2b4d6903154edbe52abba497ef2dd2b4;p=vpp.git

diff --git a/configure b/configure
index d1a356e46a2..fbe27daeac3 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,7 +28,9 @@ 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)
+  --sanitize, -s          Enable sanitizer (mem)
 __EOF__
 }
 
@@ -73,10 +76,23 @@ while (( "$#" )); do
         exit 1
       fi
       ;;
+    -n|--native-only)
+      native_only=yes
+      shift 1
+      ;;
     -w|--wipe)
       wipe=yes
       shift 1
       ;;
+    -s|--sanitize)
+      shift 1
+      case "$1" in
+	mem)
+	  shift 1
+	  args+=("-DVPP_ENABLE_SANITIZE_ADDR=ON")
+	  ;;
+      esac
+      ;;
     -*|--*=) # unsupported flags
       echo "Error: Unsupported flag $1" >&2
       exit 1
@@ -105,6 +121,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.\*