Hi,
I'm trying to complile smatch at tag 1.71.
I get the following output:
user@host:~/src/git/smatch$ make
Makefile:159: Your system does not have libxml, disabling c2xml
Makefile:177: Your system does not have sqlite3, disabling semind
Makefile:199: Your system does not have gtk3/gtk2, disabling test-inspect
Makefile:233: Your system does not have llvm, disabling sparse-llvm
CC compile.o
CC allocate.o
CC builtin.o
CC char.o
CC compat-linux.o
CC cse.o
CC dissect.o
CC dominate.o
CC evaluate.o
CC expand.o
CC expression.o
CC flow.o
CC flowgraph.o
CC inline.o
CC ir.o
GEN version.h
CC lib.o
CC linearize.o
CC liveness.o
CC memops.o
CC opcode.o
CC optimize.o
CC options.o
CC parse.o
CC predefine.o
CC pre-process.o
pre-process.c: In function ‘find_include’:
pre-process.c:962:35: warning: ‘%s’ directive output may be
truncated writing up to 255 bytes into a region of size between 1 and 4096 [-Wformat-truncation=]
snprintf(buf, sizeof(buf), "%s/%s", cwd, entry->d_name);
^~
pre-process.c:962:4: note: ‘snprintf’ output between 2
and 4352 bytes into a destination of size 4097
snprintf(buf, sizeof(buf), "%s/%s", cwd, entry->d_name);
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
CC ptrlist.o
CC ptrmap.o
CC scope.o
CC show-parse.o
CC simplify.o
CC sort.o
CC ssa.o
CC sset.o
CC stats.o
CC storage.o
CC symbol.o
CC target.o
CC target-alpha.o
CC target-arm.o
CC target-arm64.o
CC target-bfin.o
CC target-default.o
CC target-h8300.o
CC target-m68k.o
CC target-microblaze.o
CC target-mips.o
CC target-nds32.o
CC target-nios2.o
CC target-openrisc.o
CC target-ppc.o
CC target-riscv.o
CC target-s390.o
CC target-sh.o
CC target-sparc.o
CC target-x86.o
CC target-xtensa.o
CC tokenize.o
CC unssa.o
CC utils.o
CC macro_table.o
CC token_store.o
AR libsparse.a
CC compile-i386.o
LD compile
CC ctags.o
LD ctags
CC example.o
LD example
CC graph.o
LD graph
CC obfuscate.o
LD obfuscate
CC sparse.o
LD sparse
CC test-dissect.o
LD test-dissect
CC test-lexing.o
LD test-lexing
CC test-linearize.o
LD test-linearize
CC test-parsing.o
LD test-parsing
CC test-show-type.o
LD test-show-type
CC test-unssa.o
LD test-unssa
cc -g -D__CHECKNAME__='"smatch"' -c smatch.c -DSMATCHDATADIR='"/home/fabio/share/smatch"'
In file included from smatch.c:21:
smatch.h:26:10: fatal error: sqlite3.h: File o directory non esistente
#include <sqlite3.h>
^~~~~~~~~~~
compilation terminated.
make: *** [Makefile:368: smatch.o] Error 1
should I install sqlite3.h?
The compilations seems to assume on startup which I don't have sqlite3
best regards,
Fabio
