From: Fabio Aiuto <fabioaiuto83@gmail.com>
To: smatch@vger.kernel.org
Subject: compiling smatch 1.71
Date: Thu, 1 Apr 2021 12:26:54 +0200 [thread overview]
Message-ID: <20210401102654.GC32563@agape.jhs> (raw)
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
next reply other threads:[~2021-04-01 10:27 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-04-01 10:26 Fabio Aiuto [this message]
2021-04-01 10:58 ` compiling smatch 1.71 Dan Carpenter
2021-04-01 11:09 ` Fabio Aiuto
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20210401102654.GC32563@agape.jhs \
--to=fabioaiuto83@gmail.com \
--cc=smatch@vger.kernel.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).