Hi Dan,
On 11/2/23 3:20 PM, Dan Carpenter wrote:
On Thu, Nov 02, 2023 at 02:30:18PM +0530, Umang Jain wrote:
Hello,
I am reading
https://repo.or.cz/smatch.git/blob/HEAD:/Documentation/smatch.txt
And trying to test smatch against the linux kernel staging branch from Greg
KH's repo.
I am a bit confused about kernel .config usage ? What does smatch needs? I
tried using multi_v7_defconfig and allmodefconfig, but everytime I try to:
$) make O=../my_build_dir CHECK="~/src/smatch/smatch -p=kernel" C=1 bzImage
modules -j32
I get asked about config options again. As below:
*
* Restart config...
*
*
* General setup
*
Compile also drivers which will not load (COMPILE_TEST) [Y/n/?] y
Compile the kernel with warnings as errors (WERROR) [Y/n/?] y
Compile test UAPI headers (UAPI_HEADER_TEST) [N/y/?] (NEW)
...
Am I missing something ?
That's not a Smatch issue, that's just a kernel compile issue. Did you
do an "export ARCH=arm64 CROSS_COMPILE=aarch64-linux-gnu-" before you
ran the make.
indeed, that was the issue. I forgot to mention that on the command line
and didn't notice :-/
Thanks.
regards,
dan carpenter
