PCH support on Linux

Fixes and improvements to support Precompiled Headers
on Linux.

Change-Id: I8145c146b0dba56c7a4d0fdf9c330164b67ada53
Reviewed-on: https://gerrit.libreoffice.org/21307
Tested-by: Jenkins <ci@libreoffice.org>
Reviewed-by: Ashod Nakashian <ashnakash@gmail.com>

1 files changed, 25 insertions, 6 deletions

diff --git a/bin/update_pch_autotune.sh b/bin/update_pch_autotune.sh
index 5513a69a3a9c..b3a73783dc77 100755
--- a/bin/update_pch_autotune.sh
+++ b/bin/update_pch_autotune.sh
@@ -28,16 +28,22 @@ else
     modules="$@"
 fi
 
+if [[ "$OSTYPE" == "cygwin" ]]; then
+    MAKE=/opt/lo/bin/make
+else
+    MAKE=make
+fi
+
 function build()
 {
     local START=$(date +%s.%N)
 
-    /opt/lo/bin/make "$module.build" > /dev/null
+    $MAKE -sr "$module" > /dev/null
     status=$?
     if [ $status -ne 0 ];
     then
         # Spurious failures happen.
-        /opt/lo/bin/make "$module.build" > /dev/null
+        $MAKE "$module.build" > /dev/null
         status=$?
     fi
 
@@ -48,7 +54,20 @@ function build()
     score="FAILED"
     if [ $status -eq 0 ];
     then
+        # The total size of the object files.
         size="$(du -s workdir/CxxObject/$module/ | awk '{print $1}')"
+        # Add the pch file size.
+        filename_rel="workdir/PrecompiledHeader/nodebug/$(basename $header)*"
+        filename_dbg="workdir/PrecompiledHeader/debug/$(basename $header)*"
+        if [[ $filename_rel -nt $filename_dbg ]]; then
+            pch_size="$(du -s $filename_rel | awk '{print $1}' | paste -sd+ | bc)"
+        else
+            pch_size="$(du -s $filename_dbg | awk '{print $1}' | paste -sd+ | bc)"
+        fi
+        size="$(echo "$pch_size + $size" | bc)"
+
+        # Compute a score based on the build time and size.
+        # The shorter the build time, and smaller disk usage, the higher the score.
         score=$(printf %.2f $(echo "10000 / ($build_time * e($size/1048576))" | bc -l))
     fi
 }
@@ -134,19 +153,19 @@ for module in $modules; do
     #run "$root" "$module" --cutoff=999
 
     # Build before updating pch.
-    /opt/lo/bin/make "$module.build" > /dev/null
+    $MAKE "$module.build" > /dev/null
     if [ $? -ne 0 ];
     then
         # Build with dependencies before updating pch.
         echo "Failed to build $module, building known state with dependencies..."
         ./bin/update_pch.sh "$module" > /dev/null
-        /opt/lo/bin/make "$module.clean" > /dev/null
-        /opt/lo/bin/make "$module.all" > /dev/null
+        $MAKE "$module.clean" > /dev/null
+        $MAKE "$module.all" > /dev/null
         if [ $? -ne 0 ];
         then
             # Build all!
             echo "Failed to build $module with dependencies, building all..."
-            /opt/lo/bin/make build-nocheck > /dev/null
+            $MAKE build-nocheck > /dev/null
             if [ $? -ne 0 ];
             then
                 >&2 echo "Broken build. Please revert changes and try again."