paulgazz / kmax

A collection of analysis tools for Kconfig and Kbuild constraints.
42 stars 21 forks source link

Use the build system cache with kismet and add a kextractor for an older kconfig version #148

Closed paulgazz closed 2 years ago

paulgazz commented 2 years ago

This update uses the new build system cache id with kismet, so that it can use and populate the same formula cache used by klocalizer.

This pull request also adds a new kextractor kconfig version and improves the formula version autodetector to automatically pick between all of currently-available kextractor versions.

This fixes #147 and fixes #145