diff options
author | vboxsync <vboxsync@cfe28804-0f27-0410-a406-dd0f0b0b656f> | 2023-05-05 09:29:44 +0000 |
---|---|---|
committer | vboxsync <vboxsync@cfe28804-0f27-0410-a406-dd0f0b0b656f> | 2023-05-05 09:29:44 +0000 |
commit | 1632a91d73bf2e1b7ca5e2b640250f68ab4d694e (patch) | |
tree | b0df99d102966cd080f989b90386b684f61034de /Config.kmk | |
parent | 5e3aa152ccf3b3f47ffa554eed463bff71aac1d0 (diff) | |
download | VirtualBox-svn-1632a91d73bf2e1b7ca5e2b640250f68ab4d694e.tar.gz |
Config.kmk,Makefile.kmk,tools/Makefile.kmk: Set up the parfait toolchain as a tools package and make it easier to run the static code analysis for users, bugref:3409
git-svn-id: https://www.virtualbox.org/svn/vbox/trunk@99624 cfe28804-0f27-0410-a406-dd0f0b0b656f
Diffstat (limited to 'Config.kmk')
-rw-r--r-- | Config.kmk | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/Config.kmk b/Config.kmk index 1f67b0131b0..a5f8b3e3256 100644 --- a/Config.kmk +++ b/Config.kmk @@ -1385,6 +1385,21 @@ else endif endif + +ifdef VBOX_WITH_PARFAIT + # + # This includes the tool overrides for running with parfait. + # Ideally there would be a dedicated parfait tool but when targetting + # different hosts with different compiler toolchains and compiler flags + # we would have to duplicate a lot of the already existing tools for each + # supported toolchain. Instead we just override the paths to the compilers + # for the currently used tools (as this is kind of static and doesn't change that often). + # To not clutter this file too much this lives in a separate file. + # + include $(PATH_ROOT)/tools/ParfaitConfig.kmk +endif + + # # Allow to overwrite the branding information from an external file # |