mirror of
https://gitlab.freedesktop.org/cairo/cairo.git
synced 2026-01-04 05:10:19 +01:00
35be087155
Use a stamp to mark the time that the headers were last checked and only rerun the test if any have been modified since.
32 lines
1.1 KiB
Text
32 lines
1.1 KiB
Text
|
|
SPARSE = sparse
|
|
sparse:
|
|
@echo Checking enabled sources with sparse checker
|
|
@status=true; for f in $(enabled_cairo_sources); do \
|
|
echo $(SPARSE) $(PREPROCESS_ARGS) $(srcdir)/$$f; \
|
|
$(SPARSE) $(PREPROCESS_ARGS) $(srcdir)/$$f || status=false; \
|
|
done; $$status
|
|
|
|
SPLINT = splint -badflag
|
|
splint:
|
|
@echo Checking enabled sources with splint checker
|
|
@status=true; for f in $(enabled_cairo_sources); do \
|
|
echo $(SPLINT) $(PREPROCESS_ARGS) $(srcdir)/$$f; \
|
|
$(SPLINT) $(PREPROCESS_ARGS) $(srcdir)/$$f || status=false; \
|
|
done; $$status
|
|
|
|
UNO = uno
|
|
uno:
|
|
@echo Checking enabled sources with uno checker
|
|
cd $(srcdir); $(UNO) $(PREPROCESS_ARGS) -DHAVE_CONFIG_H -U__GNUC__ $(enabled_cairo_sources)
|
|
|
|
headers-standalone: $(enabled_cairo_headers) $(enabled_cairo_private)
|
|
@echo Checking that enabled public/private headers can be compiled standalone
|
|
@status=true; for f in $(enabled_cairo_headers) $(enabled_cairo_private); do \
|
|
echo $(COMPILE) -o /dev/null $(srcdir)/$$f; \
|
|
$(COMPILE) -o /dev/null $(srcdir)/$$f || status=false; \
|
|
done; $$status
|
|
@touch $@
|
|
CLEANFILES += headers-standalone
|
|
|
|
analysis: all headers-standalone sparse splint uno
|