Fix build-with-scan

Author: tautschnig

scripts/kani-std-analysis/std-analysis.sh

@@ -42,8 +42,12 @@ else
 fi
 
 # Get Kani root
-SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
-KANI_DIR=$(dirname "$SCRIPT_DIR")
+if [[ $# -ne 1 ]]
+then
+  echo "Required command-line argument <KANI-DIR> missing"
+  exit 1
+fi
+KANI_DIR=$1
 
 echo "-------------------------------------------------------"
 echo "-- Starting analysis of the Rust standard library... --"

scripts/run-kani.sh

@@ -304,7 +304,7 @@ main() {
         "$kani_path" list -Z list $unstable_args ./library --std --format json
         pushd scripts/kani-std-analysis
         echo "Running Kani's std-analysis command..."
-        ./std-analysis.sh
+        ./std-analysis.sh $build_dir
         pip install -r requirements.txt
         echo "Computing Kani-specific metrics..."
         ./kani_std_analysis.py --kani-list-file $current_dir/kani-list.json