1 VERSION=0.6.1-rc1-il-3
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
209 SMATCH_OBJS += smatch_bits.o
210 SMATCH_OBJS += smatch_buf_comparison.o
211 SMATCH_OBJS += smatch_buf_size.o
212 SMATCH_OBJS += smatch_capped.o
213 SMATCH_OBJS += smatch_common_functions.o
214 SMATCH_OBJS += smatch_comparison.o
215 SMATCH_OBJS += smatch_conditions.o
216 SMATCH_OBJS += smatch_constraints.o
217 SMATCH_OBJS += smatch_constraints_required.o
218 SMATCH_OBJS += smatch_container_of.o
219 SMATCH_OBJS += smatch_data_source.o
220 SMATCH_OBJS += smatch_db.o
221 SMATCH_OBJS += smatch_equiv.o
222 SMATCH_OBJS += smatch_estate.o
223 SMATCH_OBJS += smatch_expressions.o
224 SMATCH_OBJS += smatch_expression_stacks.o
225 SMATCH_OBJS += smatch_extra.o
226 SMATCH_OBJS += smatch_files.o
227 SMATCH_OBJS += smatch_flow.o
228 SMATCH_OBJS += smatch_fn_arg_link.o
229 SMATCH_OBJS += smatch_function_hooks.o
230 SMATCH_OBJS += smatch_function_info.o
231 SMATCH_OBJS += smatch_function_ptrs.o
232 SMATCH_OBJS += smatch_helper.o
233 SMATCH_OBJS += smatch_hooks.o
234 SMATCH_OBJS += smatch_ignore.o
235 SMATCH_OBJS += smatch_imaginary_absolute.o
236 SMATCH_OBJS += smatch_implied.o
237 SMATCH_OBJS += smatch_impossible.o
238 SMATCH_OBJS += smatch_integer_overflow.o
239 SMATCH_OBJS += smatch_kernel_user_data.o
240 SMATCH_OBJS += smatch_links.o
241 SMATCH_OBJS += smatch_math.o
242 SMATCH_OBJS += smatch_mem_tracker.o
243 SMATCH_OBJS += smatch_modification_hooks.o
244 SMATCH_OBJS += smatch_mtag_data.o
245 SMATCH_OBJS += smatch_mtag_map.o
246 SMATCH_OBJS += smatch_mtag.o
247 SMATCH_OBJS += smatch_nul_terminator.o
248 SMATCH_OBJS += smatch_param_cleared.o
|
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
209 SMATCH_OBJS += smatch_bits.o
210 SMATCH_OBJS += smatch_buf_comparison.o
211 SMATCH_OBJS += smatch_buf_size.o
212 SMATCH_OBJS += smatch_capped.o
213 SMATCH_OBJS += smatch_common_functions.o
214 SMATCH_OBJS += smatch_comparison.o
215 SMATCH_OBJS += smatch_conditions.o
216 SMATCH_OBJS += smatch_constraints.o
217 SMATCH_OBJS += smatch_constraints_required.o
218 SMATCH_OBJS += smatch_container_of.o
219 SMATCH_OBJS += smatch_data_source.o
220 SMATCH_OBJS += smatch_db.o
221 SMATCH_OBJS += smatch_equiv.o
222 SMATCH_OBJS += smatch_estate.o
223 SMATCH_OBJS += smatch_expressions.o
224 SMATCH_OBJS += smatch_expression_stacks.o
225 SMATCH_OBJS += smatch_extra.o
226 SMATCH_OBJS += smatch_files.o
227 SMATCH_OBJS += smatch_flow.o
228 SMATCH_OBJS += smatch_fn_arg_link.o
229 SMATCH_OBJS += smatch_fresh_alloc.o
230 SMATCH_OBJS += smatch_function_hooks.o
231 SMATCH_OBJS += smatch_function_info.o
232 SMATCH_OBJS += smatch_function_ptrs.o
233 SMATCH_OBJS += smatch_helper.o
234 SMATCH_OBJS += smatch_hooks.o
235 SMATCH_OBJS += smatch_ignore.o
236 SMATCH_OBJS += smatch_imaginary_absolute.o
237 SMATCH_OBJS += smatch_implied.o
238 SMATCH_OBJS += smatch_impossible.o
239 SMATCH_OBJS += smatch_integer_overflow.o
240 SMATCH_OBJS += smatch_kernel_user_data.o
241 SMATCH_OBJS += smatch_links.o
242 SMATCH_OBJS += smatch_math.o
243 SMATCH_OBJS += smatch_mem_tracker.o
244 SMATCH_OBJS += smatch_modification_hooks.o
245 SMATCH_OBJS += smatch_mtag_data.o
246 SMATCH_OBJS += smatch_mtag_map.o
247 SMATCH_OBJS += smatch_mtag.o
248 SMATCH_OBJS += smatch_nul_terminator.o
249 SMATCH_OBJS += smatch_param_cleared.o
|