Improve static analyzer

- Move parallel analyzer logs into build directory
- Put all analysis results into src/analysis
- Add bash script to run analyzer on all significant
  extension combinations

.gitignore

@@ -32,11 +32,9 @@ boost_build_v2/bjam
 wscript.config
 boost_build_v2/engine/bin.linuxx86_64
 boost_build_v2/engine/bootstrap
-# ensure the build directory exists on checkout
-build/*
-!build/.gitkeep
+/*build*/
 projects/
-build2/
+local.config
 /.lock-waf_linux*_build
 local.config
 tools-for-build/waf
@@ -51,4 +49,6 @@ debian/clasp
 debian/files
 src/lisp/regression-tests/*.txt
 src/lisp/regression-tests/*.bc
-src/lisp/regression-tests/*.newfasl
+src/lisp/regression-tests/*.newfasl
+src/analysis/*.lst
+src/analysis/*.cc

analyze

@@ -0,0 +1,17 @@
+#!/usr/bin/env bash
+
+NINJA_OPTIONS=""
+
+for i in "$@"; do
+  if [[ $i == --jobs=* ]]; then
+    NINJA_OPTIONS="-j ${i#*=}"
+  fi
+done
+
+./koga --build-path=build-analysis --clean --no-extensions --no-jupyter "$@"
+ninja -C build-analysis $NINJA_OPTIONS analyze
+
+./koga --build-path=build-analysis --clean --extensions=cando --no-jupyter "$@"
+ninja -C build-analysis $NINJA_OPTIONS analyze
+
+rm -rf build-analysis

koga

@@ -89,7 +89,7 @@
                         (ignore-errors (uiop:read-file-form #P"config.sexp"))
                         (ignore-errors (uiop:read-file-form #P"version.sexp"))))
        (*git* (getf initargs :git "git"))
-       (build (getf initargs :build-path "build/"))
+       (build (uiop:ensure-directory-pathname (getf initargs :build-path "build/")))
        (extensions (getf initargs :extensions))
        (skip-sync (getf initargs :skip-sync))
        (help (getf initargs :help)))
@@ -110,7 +110,7 @@
   (when (and (not help)
              (getf initargs :clean))
     (format t "Cleaning up previous build~%~%")
-    (uiop:delete-directory-tree (truename build)
+    (uiop:delete-directory-tree build
                                 :validate t
                                 :if-does-not-exist :ignore))
   ;; Do the absolute minimum to inform ASDF about the location of systems
@@ -124,4 +124,4 @@
                                :implementation))
                            :inherit-configuration))
   (asdf:load-system :koga)
-  (apply #'uiop:symbol-call "KOGA" (if help "HELP" "SETUP") initargs))
+  (apply #'uiop:symbol-call "KOGA" (if help "HELP" "SETUP") initargs))

repos.sexp

@@ -85,7 +85,7 @@
  (:name :cando
   :repository "https://github.com/cando-developers/cando.git"
   :directory "extensions/cando/"
-  :branch "main"
+  :branch "analyzer"
   :extension :cando)
  (:name :seqan-clasp
   :repository "https://github.com/clasp-developers/seqan-clasp.git"