compiling smatch 1.71

compiling smatch 1.71

[Fabio Aiuto]

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

Re: compiling smatch 1.71

[Dan Carpenter]

If you're in Debian/Ubuntu the do this:

apt-get install gcc make sqlite3 libsqlite3-dev libdbd-sqlite3-perl libssl-dev libtry-tiny-perl

If you're in a Fedora/Redhat distro then could you email me the
equivalent list of packages and I'll add it to the documentation.

regards,
dan carpenter

Re: compiling smatch 1.71

[Fabio Aiuto]

On Thu, Apr 01, 2021 at 03:58:35AM -0700, Dan Carpenter wrote:
> If you're in Debian/Ubuntu the do this:
> 
> apt-get install gcc make sqlite3 libsqlite3-dev libdbd-sqlite3-perl libssl-dev libtry-tiny-perl
> 
> If you're in a Fedora/Redhat distro then could you email me the
> equivalent list of packages and I'll add it to the documentation.
> 
> regards,
> dan carpenter
> 

thank you Dan, I have a Debian distro. So I will install the required packages.

fabio