[Compile] with_extra will be set ON automatically if with_strip=ON #4097

lite/tools/build_android.sh

@@ -146,6 +146,10 @@ function make_tiny_publish_so {
       prepare_opencl_source_code $workspace $build_dir
   fi
 
+  if [ "${WITH_STRIP}" == "ON" ]; then
+      WITH_EXTRA=ON
+  fi
+
 
   local cmake_mutable_options="
       -DLITE_BUILD_EXTRA=$WITH_EXTRA \
@@ -199,6 +203,10 @@ function make_full_publish_so {
       prepare_opencl_source_code $workspace $build_dir
   fi
 
+  if [ "${WITH_STRIP}" == "ON" ]; then
+      WITH_EXTRA=ON
+  fi
+
   local cmake_mutable_options="
       -DLITE_BUILD_EXTRA=$WITH_EXTRA \
       -DLITE_WITH_LOG=$WITH_LOG \

lite/tools/build_ios.sh

@@ -49,6 +49,10 @@ function make_ios {
         exit 1
     fi
 
+    if [ "${WITH_STRIP}" == "ON" ]; then
+        WITH_EXTRA=ON
+    fi
+
     build_dir=$workspace/build.ios.${os}.${arch}
     if [ -d $build_dir ]
     then
@@ -61,7 +65,6 @@ function make_ios {
     GEN_CODE_PATH_PREFIX=lite/gen_code
     mkdir -p ./${GEN_CODE_PATH_PREFIX}
     touch ./${GEN_CODE_PATH_PREFIX}/__generated_code__.cc
-
     cmake $workspace \
             -DWITH_LITE=ON \
             -DLITE_WITH_ARM=ON \

lite/tools/build_linux.sh

@@ -173,6 +173,9 @@ function make_tiny_publish_so {
     if [ "${WITH_OPENCL}" = "ON" ]; then
        prepare_opencl_source_code $workspace $build_dir
     fi
+    if [ "${WITH_STRIP}" == "ON" ]; then
+        WITH_EXTRA=ON
+    fi
 
     init_cmake_mutable_options
     cmake $workspace \