Print this page
12724 update smatch to 0.6.1-rc1-il-5
   1 VERSION=0.6.1-rc1-il-4
   2 
   3 ########################################################################
   4 # The following variables can be overwritten from the command line
   5 OS = linux
   6 
   7 
   8 CC ?= gcc
   9 LD = $(CC)
  10 AR = ar
  11 
  12 CFLAGS ?= -g
  13 
  14 DESTDIR ?=
  15 PREFIX ?= $(HOME)
  16 BINDIR ?= $(PREFIX)/bin
  17 MANDIR ?= $(PREFIX)/share/man
  18 
  19 PKG_CONFIG ?= pkg-config
  20 
  21 CHECKER_FLAGS ?= -Wno-vla


   1 VERSION=0.6.1-rc1-il-5
   2 
   3 ########################################################################
   4 # The following variables can be overwritten from the command line
   5 OS = linux
   6 
   7 
   8 CC ?= gcc
   9 LD = $(CC)
  10 AR = ar
  11 
  12 CFLAGS ?= -g
  13 
  14 DESTDIR ?=
  15 PREFIX ?= $(HOME)
  16 BINDIR ?= $(PREFIX)/bin
  17 MANDIR ?= $(PREFIX)/share/man
  18 
  19 PKG_CONFIG ?= pkg-config
  20 
  21 CHECKER_FLAGS ?= -Wno-vla