diff --git a/cli/cmdlineparser.cpp b/cli/cmdlineparser.cpp index 7010e5c3f5e..02683ba2e7d 100644 --- a/cli/cmdlineparser.cpp +++ b/cli/cmdlineparser.cpp @@ -1895,10 +1895,15 @@ void CmdLineParser::printHelp() const " To check all files, append \":all\" i.e. --premium=misra-c++-2023:all.\n" " Other:\n" " * bughunting Soundy analysis\n" - " * cert-c-int-precision=BITS Integer precision to use in Cert C analysis.\n" " * metrics Calculate metrics. Metrics are only reported in xmlv3 output.\n" " * safety Turn on safety certified behavior (ON by default)\n" - " * safety-off Turn off safety certified behavior\n"; + " * safety-off Turn off safety certified behavior\n" + " --premium-cert-c-int-precision=BITS\n" + " Integer precision to use in Cert C analysis. Only needed if precision of 'int' is\n" + " less than the size of 'int'. BITS shall be a positive value that is less than the\n" + " size of 'int'. This precision is used for INT35-C checking.\n" + " --premium-license-file=\n" + " Provide license file path with argument.\n"; } oss << diff --git a/man/manual-premium.md b/man/manual-premium.md index bf89cb3d67c..6d9bf389408 100644 --- a/man/manual-premium.md +++ b/man/manual-premium.md @@ -1342,6 +1342,17 @@ https://www.cppcheck.com/plans-pricing This is described on the Cppcheck Premium website: https://www.cppcheck.com +### License file path + +There are predefined paths where the premium addon search for license files. If you want to +provide an arbitrary license file path on the command line you can use the option +`--premium-license-file`. Example: + + cppcheck --premium-license-file=path/to/file.lic test.cpp + +If an explicit path is provided like this then premium addon does not search for license +files in the predefined paths. + ### Troubleshooting If your license does not work you can get some details about the license validation by executing