Print this page
12257 resync smatch to 0.6.1-rc1-il-4
| Split |
Close |
| Expand all |
| Collapse all |
--- old/usr/src/tools/smatch/Makefile
+++ new/usr/src/tools/smatch/Makefile
1 1 #
2 2 # This file and its contents are supplied under the terms of the
3 3 # Common Development and Distribution License ("CDDL"), version 1.0.
4 4 # You may only use this file in accordance with the terms of version
5 5 # 1.0 of the CDDL.
6 6 #
7 7 # A full copy of the text of the CDDL should have accompanied this
8 8 # source. A copy of the CDDL is also available via the Internet at
9 9 # http://www.illumos.org/license/CDDL.
10 10 #
11 11 # Copyright 2020 Joyent, Inc.
12 12 #
|
↓ open down ↓ |
12 lines elided |
↑ open up ↑ |
13 13
14 14 #
15 15 # The src/ sub-directory is un-modified copy of
16 16 # https://github.com/illumos/smatch/tree/$SPARSE_VERSION
17 17 #
18 18 # This Makefile installs just enough for us to be able to run smatch
19 19 # locally.
20 20 #
21 21
22 22 PROG = smatch
23 -SPARSE_VERSION = 0.6.1-rc1-il-3
23 +SPARSE_VERSION = 0.6.1-rc1-il-4
24 24
25 25 include ../Makefile.tools
26 26
27 27 # We have to build smatch before we can use cw
28 28 i386_CC = $(GNUC_ROOT)/bin/gcc
29 29 sparc_CC = $(GNUC_ROOT)/bin/gcc
30 30 # sparc doesn't recognise -msave-args
31 31 i386_SMATCHFLAGS = -msave-args
32 32 sparc_SMATCHFLAGS =
33 33
34 34 CFLAGS = -O -m64 -std=gnu99 -nodefaultlibs -D__sun $($(MACH)_SMATCHFLAGS)
35 35 CFLAGS += -Wall -Wno-unknown-pragmas -Wno-psabi
36 36
37 37 SMATCHDATADIR = $(ROOTONBLDSHARE)/smatch
38 38
39 39 CFLAGS += -DSMATCHDATADIR='"$(SMATCHDATADIR)"'
40 40 CFLAGS += -DGCC_BASE='"/no/such/dir"'
41 41 CFLAGS += -DMULTIARCH_TRIPLET=NULL
42 42
43 43 LDLIBS += -lsqlite3 -lcrypto -lm -lgcc -lc
44 44 LDFLAGS = $(MAPFILE.NES:%=-Wl,-M%)
45 45 LDFLAGS += -L$(NATIVE_ADJUNCT)/lib -R$(NATIVE_ADJUNCT)/lib
46 46
47 47 CPPFLAGS += -nostdinc
48 48 CPPFLAGS += -Isrc/
49 49 CPPFLAGS += -I$(NATIVE_ADJUNCT)/include
50 50
51 51 # no install.bin
52 52 INS.file = $(RM) $@; $(CP) $< $(@D); $(CHMOD) $(FILEMODE) $@
53 53 INS.dir = mkdir -p $@; $(CHMOD) $(DIRMODE) $@
54 54
55 55 # fine for us
56 56 OS=linux
57 57
58 58 LIB_OBJS =
59 59 LIB_OBJS += allocate.o
60 60 LIB_OBJS += builtin.o
61 61 LIB_OBJS += char.o
62 62 LIB_OBJS += compat-$(OS).o
63 63 LIB_OBJS += cse.o
64 64 LIB_OBJS += dissect.o
65 65 LIB_OBJS += dominate.o
66 66 LIB_OBJS += evaluate.o
67 67 LIB_OBJS += expand.o
68 68 LIB_OBJS += expression.o
69 69 LIB_OBJS += flow.o
70 70 LIB_OBJS += flowgraph.o
71 71 LIB_OBJS += inline.o
72 72 LIB_OBJS += ir.o
73 73 LIB_OBJS += lib.o
74 74 LIB_OBJS += linearize.o
75 75 LIB_OBJS += liveness.o
76 76 LIB_OBJS += memops.o
77 77 LIB_OBJS += opcode.o
78 78 LIB_OBJS += optimize.o
79 79 LIB_OBJS += parse.o
80 80 LIB_OBJS += pre-process.o
81 81 LIB_OBJS += ptrlist.o
82 82 LIB_OBJS += ptrmap.o
83 83 LIB_OBJS += scope.o
84 84 LIB_OBJS += show-parse.o
85 85 LIB_OBJS += simplify.o
86 86 LIB_OBJS += sort.o
87 87 LIB_OBJS += ssa.o
88 88 LIB_OBJS += sset.o
89 89 LIB_OBJS += stats.o
90 90 LIB_OBJS += storage.o
91 91 LIB_OBJS += symbol.o
92 92 LIB_OBJS += target.o
93 93 LIB_OBJS += tokenize.o
94 94 LIB_OBJS += unssa.o
95 95 LIB_OBJS += utils.o
96 96 LIB_OBJS += macro_table.o
97 97 LIB_OBJS += token_store.o
98 98 LIB_OBJS += hashtable.o
99 99
100 100 SMATCH_OBJS =
101 101 SMATCH_OBJS += avl.o
102 102 SMATCH_OBJS += smatch_about_fn_ptr_arg.o
103 103 SMATCH_OBJS += smatch_address.o
104 104 SMATCH_OBJS += smatch_annotate.o
105 105 SMATCH_OBJS += smatch_array_values.o
106 106 SMATCH_OBJS += smatch_assigned_expr.o
107 107 SMATCH_OBJS += smatch_bits.o
108 108 SMATCH_OBJS += smatch_buf_comparison.o
109 109 SMATCH_OBJS += smatch_buf_size.o
110 110 SMATCH_OBJS += smatch_capped.o
111 111 SMATCH_OBJS += smatch_common_functions.o
112 112 SMATCH_OBJS += smatch_comparison.o
113 113 SMATCH_OBJS += smatch_conditions.o
114 114 SMATCH_OBJS += smatch_constraints.o
115 115 SMATCH_OBJS += smatch_constraints_required.o
|
↓ open down ↓ |
82 lines elided |
↑ open up ↑ |
116 116 SMATCH_OBJS += smatch_container_of.o
117 117 SMATCH_OBJS += smatch_data_source.o
118 118 SMATCH_OBJS += smatch_db.o
119 119 SMATCH_OBJS += smatch_equiv.o
120 120 SMATCH_OBJS += smatch_estate.o
121 121 SMATCH_OBJS += smatch_expressions.o
122 122 SMATCH_OBJS += smatch_expression_stacks.o
123 123 SMATCH_OBJS += smatch_extra.o
124 124 SMATCH_OBJS += smatch_files.o
125 125 SMATCH_OBJS += smatch_flow.o
126 +SMATCH_OBJS += smatch_fresh_alloc.o
126 127 SMATCH_OBJS += smatch_fn_arg_link.o
127 128 SMATCH_OBJS += smatch_function_hooks.o
128 129 SMATCH_OBJS += smatch_function_info.o
129 130 SMATCH_OBJS += smatch_function_ptrs.o
130 131 SMATCH_OBJS += smatch_helper.o
131 132 SMATCH_OBJS += smatch_hooks.o
132 133 SMATCH_OBJS += smatch_ignore.o
133 134 SMATCH_OBJS += smatch_imaginary_absolute.o
134 135 SMATCH_OBJS += smatch_implied.o
135 136 SMATCH_OBJS += smatch_impossible.o
136 137 SMATCH_OBJS += smatch_integer_overflow.o
137 138 SMATCH_OBJS += smatch_kernel_user_data.o
138 139 SMATCH_OBJS += smatch_links.o
139 140 SMATCH_OBJS += smatch_math.o
140 141 SMATCH_OBJS += smatch_mem_tracker.o
141 142 SMATCH_OBJS += smatch_modification_hooks.o
142 143 SMATCH_OBJS += smatch_mtag_data.o
143 144 SMATCH_OBJS += smatch_mtag_map.o
144 145 SMATCH_OBJS += smatch_mtag.o
145 146 SMATCH_OBJS += smatch_nul_terminator.o
146 147 SMATCH_OBJS += smatch_param_cleared.o
147 148 SMATCH_OBJS += smatch_param_compare_limit.o
148 149 SMATCH_OBJS += smatch_parameter_names.o
149 150 SMATCH_OBJS += smatch_param_filter.o
150 151 SMATCH_OBJS += smatch_param_limit.o
151 152 SMATCH_OBJS += smatch_param_set.o
152 153 SMATCH_OBJS += smatch_param_to_mtag_data.o
153 154 SMATCH_OBJS += smatch_param_used.o
154 155 SMATCH_OBJS += smatch_parse_call_math.o
155 156 SMATCH_OBJS += smatch_passes_array_size.o
156 157 SMATCH_OBJS += smatch_project.o
157 158 SMATCH_OBJS += smatch_ranges.o
158 159 SMATCH_OBJS += smatch_real_absolute.o
159 160 SMATCH_OBJS += smatch_recurse.o
160 161 SMATCH_OBJS += smatch_returns.o
161 162 SMATCH_OBJS += smatch_return_to_param.o
162 163 SMATCH_OBJS += smatch_scope.o
163 164 SMATCH_OBJS += smatch_slist.o
164 165 SMATCH_OBJS += smatch_start_states.o
165 166 SMATCH_OBJS += smatch_statement_count.o
166 167 SMATCH_OBJS += smatch_states.o
167 168 SMATCH_OBJS += smatch_stored_conditions.o
168 169 SMATCH_OBJS += smatch_string_list.o
169 170 SMATCH_OBJS += smatch_strings.o
170 171 SMATCH_OBJS += smatch_strlen.o
171 172 SMATCH_OBJS += smatch_struct_assignment.o
172 173 SMATCH_OBJS += smatch_sval.o
173 174 SMATCH_OBJS += smatch_tracker.o
174 175 SMATCH_OBJS += smatch_type_links.o
175 176 SMATCH_OBJS += smatch_type.o
176 177 SMATCH_OBJS += smatch_type_val.o
177 178 SMATCH_OBJS += smatch_unknown_value.o
178 179 SMATCH_OBJS += smatch_untracked_param.o
179 180 SMATCH_OBJS += smatch_var_sym.o
180 181 SMATCH_OBJS += smatch_parsed_conditions.o
181 182
182 183 SMATCH_CHECK_OBJS:sh=ls src/check_*.c | sed -e 's+\.c+.o+;s+src/++;'
183 184
184 185 OBJS = smatch.o $(LIB_OBJS) $(SMATCH_OBJS) $(SMATCH_CHECK_OBJS)
185 186
186 187 SMATCH_DATA = \
187 188 illumos_kernel.skipped_functions \
188 189 illumos_user.skipped_functions
189 190
190 191 SMATCH_DB_DATA =
191 192 SMATCH_DB_DATA += call_implies.schema
192 193 SMATCH_DB_DATA += function_ptr.schema
193 194 SMATCH_DB_DATA += mtag_map.schema
194 195 SMATCH_DB_DATA += caller_info.schema
195 196 SMATCH_DB_DATA += function_type.schema
196 197 SMATCH_DB_DATA += param_map.schema
197 198 SMATCH_DB_DATA += common_caller_info.schema
198 199 SMATCH_DB_DATA += function_type_info.schema
199 200 SMATCH_DB_DATA += parameter_name.schema
200 201 SMATCH_DB_DATA += constraints.schema
201 202 SMATCH_DB_DATA += function_type_size.schema
202 203 SMATCH_DB_DATA += return_implies.schema
203 204 SMATCH_DB_DATA += constraints_required.schema
204 205 SMATCH_DB_DATA += function_type_value.schema
205 206 SMATCH_DB_DATA += return_states.schema
206 207 SMATCH_DB_DATA += data_info.schema
207 208 SMATCH_DB_DATA += local_values.schema
208 209 SMATCH_DB_DATA += sink_info.schema
209 210 SMATCH_DB_DATA += db.schema
210 211 SMATCH_DB_DATA += mtag_about.schema
211 212 SMATCH_DB_DATA += type_info.schema
212 213 SMATCH_DB_DATA += fn_data_link.schema
213 214 SMATCH_DB_DATA += mtag_alias.schema
214 215 SMATCH_DB_DATA += type_size.schema
215 216 SMATCH_DB_DATA += fn_ptr_data_link.schema
216 217 SMATCH_DB_DATA += mtag_data.schema
217 218 SMATCH_DB_DATA += type_value.schema
218 219
219 220 ROOTONBLDDATAFILES = $(SMATCH_DATA:%=$(SMATCHDATADIR)/smatch_data/%)
220 221 ROOTONBLDDATAFILES += $(SMATCH_DB_DATA:%=$(SMATCHDATADIR)/smatch_data/db/%)
221 222
222 223 BUILT_HEADERS = src/version.h src/check_list_local.h
223 224
224 225 .KEEP_STATE:
225 226
226 227 .PARALLEL: $(OBJS)
227 228
228 229 all: $(PROG)
229 230
230 231 install: all .WAIT $(ROOTONBLDMACHPROG) $(ROOTONBLDDATAFILES)
231 232
232 233 clean:
233 234 rm -f $(OBJS) $(BUILT_HEADERS)
234 235
235 236 $(ROOTONBLDDATAFILES): $(SMATCHDATADIR)/smatch_data/db
236 237
237 238 $(SMATCHDATADIR)/smatch_data/%: src/smatch_data/%
238 239 $(INS.file)
239 240
240 241 $(SMATCHDATADIR)/smatch_data/db:
241 242 $(INS.dir)
242 243
243 244 $(SMATCHDATADIR)/smatch_data:
244 245 $(INS.dir)
245 246
246 247 $(PROG): $(OBJS)
247 248 $(LINK.c) $(OBJS) -o $@ $(LDLIBS)
248 249 $(POST_PROCESS)
249 250
250 251 %.o: src/%.c $(BUILT_HEADERS)
251 252 $(COMPILE.c) -o $@ $<
252 253
253 254 %.o: src/cwchash/%.c
254 255 $(COMPILE.c) -o $@ $<
255 256
256 257 src/check_list_local.h:
257 258 touch src/check_list_local.h
258 259
259 260 src/version.h:
260 261 echo '#define SPARSE_VERSION "$(SPARSE_VERSION)"' > src/version.h
261 262
262 263 include ../Makefile.targ
|
↓ open down ↓ |
127 lines elided |
↑ open up ↑ |
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX