On Fri, Mar 22, 2024 at 10:49:26AM +0300, Dan Carpenter wrote: > 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" ^^^^^^^^^^^^^^^^^^^^^^^^^^^ Heh. I leaked where I really keep my programming work. :P These paths would need to be updated to match your system, of course. regards, dan carpenter
