On Fri, Mar 22, 2024 at 03:05:10PM +0800, 李书畅 wrote: > > It's a recursive makefile, so I tried : > make CHECK="/home/lsc20011130/smatch/smatch /home/lsc20011130/CTestProj/nginx-1.25.4/objs --file-output" CC="/home/lsc20011130/smatch/cgcc"" > but it doesn't work, the terminal just show me the right-pointing arrow, i think it's because it can't find the CC. > Then, I just cd to the subdirectory /objs, tried to run make here. But it failed with: > make: *** No rule to make target 'src/core/nginx.h', needed by 'objs/src/core/nginx.o'. Stop.It > What should I do in this situation? It's building for me: sudo apt-get build-dep nginx git clone https://github.com/nginx/nginx cd nginx ./auto/configure --with-cc=~/smatch/cgcc export CHECK="~/progs/smatch/devel/smatch --full-path --file-output" make -j8 find -name \*.c.smatch -exec cat \{\} \; > smatch_warns.txt regards, dan carpenter
