3 # Generating file version.h if current version has changed
4 SPARSE_VERSION
:=$(shell git describe
2>/dev
/null || echo
'$(VERSION)')
5 VERSION_H
:= $(shell cat version.h
2>/dev
/null
)
6 ifneq ($(lastword
$(VERSION_H
)),"$(SPARSE_VERSION)")
7 $(info $(shell echo
' GEN 'version.h
))
8 $(shell echo
'#define SPARSE_VERSION "$(SPARSE_VERSION)"' > version.h
)
16 CFLAGS
= -O2
-finline-functions
-fno-strict-aliasing
-g
17 CFLAGS
+= -Wall
-Wwrite-strings
18 LDFLAGS
+= -g
-lm
-lsqlite3
22 ALL_CFLAGS
= $(CFLAGS
) $(BASIC_CFLAGS
)
24 # For debugging, put this in local.mk:
26 # CFLAGS += -O0 -DDEBUG -g3 -gdwarf-2
29 HAVE_LIBXML
:=$(shell pkg-config
--exists libxml-2.0
2>/dev
/null
&& echo
'yes')
30 HAVE_GCC_DEP
:=$(shell touch .gcc-test.c
&& \
31 $(CC
) -c
-Wp
,-MD
,.gcc-test.d .gcc-test.c
2>/dev
/null
&& \
32 echo
'yes'; rm -f .gcc-test.d .gcc-test.o .gcc-test.c
)
33 HAVE_GTK2
:=$(shell pkg-config
--exists gtk
+-2.0 2>/dev
/null
&& echo
'yes')
34 LLVM_CONFIG
:=llvm-config
35 HAVE_LLVM
:=$(shell $(LLVM_CONFIG
) --version
>/dev
/null
2>&1 && echo
'yes')
36 HAVE_LLVM_VERSION
:=$(shell $(LLVM_CONFIG
) --version | grep
"^[3-9].*" >/dev
/null
2>&1 && echo yes
)
37 LLVM_VERSION
:=$(shell $(LLVM_CONFIG
) --version
)
39 GCC_BASE
= $(shell $(CC
) --print-file-name
=)
40 BASIC_CFLAGS
= -DGCC_BASE
=\"$(GCC_BASE
)\"
42 ifeq ($(HAVE_GCC_DEP
),yes
)
43 BASIC_CFLAGS
+= -Wp
,-MD
,$(@D
)/.
$(@F
).d
50 MANDIR
=$(PREFIX
)/share
/man
51 MAN1DIR
=$(MANDIR
)/man1
52 INCLUDEDIR
=$(PREFIX
)/include
53 PKGCONFIGDIR
=$(LIBDIR
)/pkgconfig
54 SMATCHDATADIR
=$(PREFIX
)/share
/smatch
56 SMATCH_FILES
=smatch_flow.o smatch_conditions.o smatch_slist.o smatch_states.o \
57 smatch_helper.o smatch_type.o smatch_hooks.o smatch_function_hooks.o \
58 smatch_modification_hooks.o smatch_extra.o smatch_estate.o smatch_math.o \
59 smatch_sval.o smatch_ranges.o smatch_implied.o smatch_ignore.o smatch_project.o \
60 smatch_var_sym.o smatch_tracker.o smatch_files.o smatch_expression_stacks.o \
61 smatch_equiv.o smatch_buf_size.o smatch_strlen.o smatch_capped.o smatch_db.o \
62 smatch_expressions.o smatch_returns.o smatch_parse_call_math.o \
63 smatch_param_limit.o smatch_param_filter.o \
64 smatch_param_set.o smatch_comparison.o smatch_local_values.o \
65 smatch_function_ptrs.o smatch_annotate.o smatch_string_list.o \
66 smatch_param_cleared.o smatch_start_states.o \
67 smatch_recurse.o smatch_data_source.o smatch_type_val.o \
68 smatch_common_functions.o smatch_struct_assignment.o \
69 smatch_unknown_value.o smatch_stored_conditions.o avl.o \
70 smatch_function_info.o smatch_links.o smatch_auto_copy.o \
73 SMATCH_CHECKS
=$(shell ls check_
*.c | sed
-e
's/\.c/.o/')
74 SMATCH_DATA
=smatch_data
/kernel.allocation_funcs smatch_data
/kernel.balanced_funcs \
75 smatch_data
/kernel.frees_argument smatch_data
/kernel.puts_argument \
76 smatch_data
/kernel.dev_queue_xmit smatch_data
/kernel.returns_err_ptr \
77 smatch_data
/kernel.dma_funcs smatch_data
/kernel.returns_held_funcs \
78 smatch_data
/kernel.no_return_funcs
80 PROGRAMS
=test-lexing test-parsing obfuscate compile graph sparse \
81 test-linearize example test-unssa test-dissect ctags
82 INST_PROGRAMS
=smatch cgcc
84 INST_MAN1
=sparse
.1 cgcc
.1
86 ifeq ($(HAVE_LIBXML
),yes
)
89 c2xml_EXTRA_OBJS
= `pkg-config --libs libxml-2.0`
91 $(warning Your system does not have libxml
, disabling c2xml
)
94 ifeq ($(HAVE_GTK2
),yes
)
95 GTK2_CFLAGS
:= $(shell pkg-config
--cflags gtk
+-2.0)
96 GTK2_LIBS
:= $(shell pkg-config
--libs gtk
+-2.0)
97 PROGRAMS
+= test-inspect
98 INST_PROGRAMS
+= test-inspect
99 test-inspect_EXTRA_DEPS
:= ast-model.o ast-view.o ast-inspect.o
100 test-inspect.o
$(test-inspect_EXTRA_DEPS
): BASIC_CFLAGS
+= $(GTK2_CFLAGS
)
101 test-inspect_EXTRA_OBJS
:= $(GTK2_LIBS
)
103 $(warning Your system does not have libgtk2
, disabling test-inspect
)
106 ifneq ($(HAVE_LLVM
),yes
)
107 $(warning Your system does not have llvm
, disabling sparse-llvm
)
109 ifneq ($(HAVE_LLVM_VERSION
),yes
)
110 $(warning LLVM
3.0 or later required. Your system has version
$(LLVM_VERSION
) installed.
)
113 LLVM_PROGS
:= sparse-llvm
114 $(LLVM_PROGS
): LD
:= g
++
115 LLVM_LDFLAGS
:= $(shell $(LLVM_CONFIG
) --ldflags)
116 LLVM_CFLAGS
:= $(shell $(LLVM_CONFIG
) --cflags | sed
-e
"s/-DNDEBUG//g")
117 LLVM_LIBS
:= $(shell $(LLVM_CONFIG
) --libs
)
118 LLVM_LIBS
+= $(shell $(LLVM_CONFIG
) --system-libs
2>/dev
/null
)
119 PROGRAMS
+= $(LLVM_PROGS
)
120 INST_PROGRAMS
+= sparse-llvm sparsec
121 sparse-llvm.o
: BASIC_CFLAGS
+= $(LLVM_CFLAGS
)
122 sparse-llvm_EXTRA_OBJS
:= $(LLVM_LIBS
) $(LLVM_LDFLAGS
)
126 LIB_H
= token.h parse.h lib.h symbol.h scope.h expression.h target.h \
127 linearize.h bitmap.h ident-list.h compat.h flow.h allocate.h \
128 storage.h ptrlist.h dissect.h
130 LIB_OBJS
= target.o parse.o tokenize.o pre-process.o symbol.o lib.o scope.o \
131 expression.o show-parse.o evaluate.o expand.o inline.o linearize.o \
132 char.o
sort.o allocate.o compat-
$(OS
).o ptrlist.o \
133 flow.o cse.o simplify.o memops.o liveness.o storage.o unssa.o \
134 dissect.o macro_table.o token_store.o cwchash
/hashtable.o
136 LIB_FILE
= libsparse.a
137 SLIB_FILE
= libsparse.so
139 # If you add $(SLIB_FILE) to this, you also need to add -fpic to BASIC_CFLAGS above.
140 # Doing so incurs a noticeable performance hit, and Sparse does not have a
141 # stable shared library interface, so this does not occur by default. If you
142 # really want a shared library, you may want to build Sparse twice: once
143 # without -fpic to get all the Sparse tools, and again with -fpic to get the
152 QUIET_CC
= $(Q
:@
=@echo
' CC '$@
;)
153 QUIET_AR
= $(Q
:@
=@echo
' AR '$@
;)
154 QUIET_GEN
= $(Q
:@
=@echo
' GEN '$@
;)
155 QUIET_LINK
= $(Q
:@
=@echo
' LINK '$@
;)
156 # We rely on the -v switch of install to print 'file -> $install_dir/file'
157 QUIET_INST_SH
= $(Q
:@
=echo
-n
' INSTALL ';)
158 QUIET_INST
= $(Q
:@
=@echo
-n
' INSTALL ';)
161 $(QUIET_INST
)install -v
$1 $(DESTDIR
)$2/$1 || exit
1;
166 $(QUIET_INST
)install -v
-m
644 $1 $(DESTDIR
)$2/$1 || exit
1;
170 SED_PC_CMD
= 's|@version@|$(VERSION)|g; \
171 s|@prefix@|$(PREFIX)|g; \
172 s|@libdir@|$(LIBDIR)|g; \
173 s|@includedir@|$(INCLUDEDIR)|g'
177 # Allow users to override build settings without dirtying their trees
181 all: $(PROGRAMS
) sparse.
pc smatch
183 all-installable
: $(INST_PROGRAMS
) $(LIBS
) $(LIB_H
) sparse.
pc
185 install: all-installable
186 $(Q
)install -d
$(DESTDIR
)$(BINDIR
)
187 $(Q
)install -d
$(DESTDIR
)$(LIBDIR
)
188 $(Q
)install -d
$(DESTDIR
)$(MAN1DIR
)
189 $(Q
)install -d
$(DESTDIR
)$(INCLUDEDIR
)/sparse
190 $(Q
)install -d
$(DESTDIR
)$(PKGCONFIGDIR
)
191 $(Q
)install -d
$(DESTDIR
)$(SMATCHDATADIR
)/smatch_data
192 $(foreach f
,$(INST_PROGRAMS
),$(call INSTALL_EXEC
,$f,$(BINDIR
)))
193 $(foreach f
,$(INST_MAN1
),$(call INSTALL_FILE
,$f,$(MAN1DIR
)))
194 $(foreach f
,$(LIBS
),$(call INSTALL_FILE
,$f,$(LIBDIR
)))
195 $(foreach f
,$(LIB_H
),$(call INSTALL_FILE
,$f,$(INCLUDEDIR
)/sparse
))
196 $(call INSTALL_FILE
,sparse.
pc,$(PKGCONFIGDIR
))
197 $(foreach f
,$(SMATCH_DATA
),$(call INSTALL_FILE
,$f,$(SMATCHDATADIR
)))
199 sparse.
pc: sparse.
pc.in
200 $(QUIET_GEN
)sed
$(SED_PC_CMD
) sparse.
pc.in
> sparse.
pc
203 compile_EXTRA_DEPS
= compile-i386.o
205 $(foreach p
,$(PROGRAMS
),$(eval
$(p
): $($(p
)_EXTRA_DEPS
) $(LIBS
)))
207 $(QUIET_LINK
)$(LD
) -o
$@
$^
$($@_EXTRA_OBJS
) $(LDFLAGS
)
209 smatch
: smatch.o
$(SMATCH_FILES
) $(SMATCH_CHECKS
) $(LIBS
)
210 $(CC
) -o
$@
$< $(SMATCH_FILES
) $(SMATCH_CHECKS
) $(LIBS
) $(LDFLAGS
)
212 $(LIB_FILE
): $(LIB_OBJS
)
213 $(QUIET_AR
)$(AR
) rcs
$@
$(LIB_OBJS
)
215 $(SLIB_FILE
): $(LIB_OBJS
)
216 $(QUIET_LINK
)$(CC
) -Wl
,-soname
,$@
-shared
-o
$@
$(LIB_OBJS
) $(LDFLAGS
)
219 touch check_list_local.h
221 smatch.o
: smatch.c
$(LIB_H
) smatch.h check_list.h check_list_local.h
222 $(CC
) -c smatch.c
-DSMATCHDATADIR
='"$(SMATCHDATADIR)"'
223 $(SMATCH_CHECKS
): smatch.h smatch_slist.h smatch_extra.h avl.h
224 DEP_FILES
:= $(wildcard .
*.o.d
)
225 $(if
$(DEP_FILES
),$(eval
include $(DEP_FILES
)))
227 c2xml.o
: c2xml.c
$(LIB_H
)
228 $(QUIET_CC
)$(CC
) `pkg-config --cflags libxml-2.0` -o
$@
-c
$(ALL_CFLAGS
) $<
230 compat-linux.o
: compat
/strtold.c compat
/mmap-blob.c
$(LIB_H
)
231 compat-solaris.o
: compat
/mmap-blob.c
$(LIB_H
)
232 compat-mingw.o
: $(LIB_H
)
233 compat-cygwin.o
: $(LIB_H
)
236 $(QUIET_CC
)$(CC
) -o
$@
-c
$(ALL_CFLAGS
) $<
239 rm -f
*.
[oa
] .
*.d
*.so cwchash
/*.o cwchash
/.
*.d cwchash
/tester \
240 $(PROGRAMS
) $(SLIB_FILE
) pre-process.h sparse.
pc
243 @if
test "$(SPARSE_VERSION)" != "v$(VERSION)" ; then \
244 echo
'Update VERSION in the Makefile before running "make dist".' ; \
247 git archive
--format
=tar --prefix=sparse-
$(VERSION
)/ HEAD^
{tree
} | gzip
-9 > sparse-
$(VERSION
).
tar.gz
250 $(Q
)cd validation
&& .
/test-suite
253 find validation
/ \
( -name
"*.c.output.expected" \
254 -o
-name
"*.c.output.got" \
255 -o
-name
"*.c.output.diff" \
256 -o
-name
"*.c.error.expected" \
257 -o
-name
"*.c.error.got" \
258 -o
-name
"*.c.error.diff" \