mirror of
				https://github.com/torvalds/linux.git
				synced 2025-11-04 02:30:34 +02:00 
			
		
		
		
	tools/verification: Use tools/build makefiles on rv
Use tools/build/ makefiles to build rv, inheriting the benefits of it. For example, having a proper way to handle dependencies. Link: https://lkml.kernel.org/r/2a38a8f7b8dc65fa790381ec9ab42fb62beb2e25.1710519524.git.bristot@kernel.org Cc: Arnaldo Carvalho de Melo <acme@redhat.com> Cc: Josh Poimboeuf <jpoimboe@kernel.org> Cc: John Kacur <jkacur@redhat.com> Cc: Namhyung Kim <namhyung@kernel.org> Cc: Jiri Olsa <jolsa@kernel.org> Suggested-by: Linus Torvalds <torvalds@linux-foundation.org> Signed-off-by: Daniel Bristot de Oliveira <bristot@kernel.org>
This commit is contained in:
		
							parent
							
								
									01474dc706
								
							
						
					
					
						commit
						012e4e77df
					
				
					 6 changed files with 173 additions and 123 deletions
				
			
		
							
								
								
									
										6
									
								
								tools/verification/rv/.gitignore
									
									
									
									
										vendored
									
									
										Normal file
									
								
							
							
						
						
									
										6
									
								
								tools/verification/rv/.gitignore
									
									
									
									
										vendored
									
									
										Normal file
									
								
							| 
						 | 
					@ -0,0 +1,6 @@
 | 
				
			||||||
 | 
					# SPDX-License-Identifier: GPL-2.0-only
 | 
				
			||||||
 | 
					rv
 | 
				
			||||||
 | 
					rv-static
 | 
				
			||||||
 | 
					fixdep
 | 
				
			||||||
 | 
					feature
 | 
				
			||||||
 | 
					FEATURE-DUMP
 | 
				
			||||||
							
								
								
									
										1
									
								
								tools/verification/rv/Build
									
									
									
									
									
										Normal file
									
								
							
							
						
						
									
										1
									
								
								tools/verification/rv/Build
									
									
									
									
									
										Normal file
									
								
							| 
						 | 
					@ -0,0 +1 @@
 | 
				
			||||||
 | 
					rv-y += src/
 | 
				
			||||||
| 
						 | 
					@ -1,146 +1,87 @@
 | 
				
			||||||
NAME	:=	rv
 | 
					# SPDX-License-Identifier: GPL-2.0-only
 | 
				
			||||||
# Follow the kernel version
 | 
					 | 
				
			||||||
VERSION :=	$(shell cat VERSION 2> /dev/null || make -sC ../../.. kernelversion | grep -v make)
 | 
					 | 
				
			||||||
 | 
					
 | 
				
			||||||
# From libtracefs:
 | 
					ifeq ($(srctree),)
 | 
				
			||||||
# Makefiles suck: This macro sets a default value of $(2) for the
 | 
					  srctree	:= $(patsubst %/,%,$(dir $(CURDIR)))
 | 
				
			||||||
# variable named by $(1), unless the variable has been set by
 | 
					  srctree	:= $(patsubst %/,%,$(dir $(srctree)))
 | 
				
			||||||
# environment or command line. This is necessary for CC and AR
 | 
					  srctree	:= $(patsubst %/,%,$(dir $(srctree)))
 | 
				
			||||||
# because make sets default values, so the simpler ?= approach
 | 
					 | 
				
			||||||
# won't work as expected.
 | 
					 | 
				
			||||||
define allow-override
 | 
					 | 
				
			||||||
  $(if $(or $(findstring environment,$(origin $(1))),\
 | 
					 | 
				
			||||||
            $(findstring command line,$(origin $(1)))),,\
 | 
					 | 
				
			||||||
    $(eval $(1) = $(2)))
 | 
					 | 
				
			||||||
endef
 | 
					 | 
				
			||||||
 | 
					 | 
				
			||||||
# Allow setting CC and AR, or setting CROSS_COMPILE as a prefix.
 | 
					 | 
				
			||||||
$(call allow-override,CC,$(CROSS_COMPILE)gcc)
 | 
					 | 
				
			||||||
$(call allow-override,AR,$(CROSS_COMPILE)ar)
 | 
					 | 
				
			||||||
$(call allow-override,STRIP,$(CROSS_COMPILE)strip)
 | 
					 | 
				
			||||||
$(call allow-override,PKG_CONFIG,pkg-config)
 | 
					 | 
				
			||||||
$(call allow-override,LD_SO_CONF_PATH,/etc/ld.so.conf.d/)
 | 
					 | 
				
			||||||
$(call allow-override,LDCONFIG,ldconfig)
 | 
					 | 
				
			||||||
 | 
					 | 
				
			||||||
INSTALL	=	install
 | 
					 | 
				
			||||||
MKDIR	=	mkdir
 | 
					 | 
				
			||||||
FOPTS	:=	-flto=auto -ffat-lto-objects -fexceptions -fstack-protector-strong \
 | 
					 | 
				
			||||||
		-fasynchronous-unwind-tables -fstack-clash-protection
 | 
					 | 
				
			||||||
WOPTS	:= 	-Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -Wno-maybe-uninitialized
 | 
					 | 
				
			||||||
 | 
					 | 
				
			||||||
ifeq ($(CC),clang)
 | 
					 | 
				
			||||||
  FOPTS := $(filter-out -ffat-lto-objects, $(FOPTS))
 | 
					 | 
				
			||||||
  WOPTS := $(filter-out -Wno-maybe-uninitialized, $(WOPTS))
 | 
					 | 
				
			||||||
endif
 | 
					endif
 | 
				
			||||||
 | 
					
 | 
				
			||||||
TRACEFS_HEADERS	:= $$($(PKG_CONFIG) --cflags libtracefs)
 | 
					include $(srctree)/tools/scripts/Makefile.include
 | 
				
			||||||
 | 
					
 | 
				
			||||||
CFLAGS	:=	-O -g -DVERSION=\"$(VERSION)\" $(FOPTS) $(MOPTS) $(WOPTS) $(TRACEFS_HEADERS) $(EXTRA_CFLAGS) -I include
 | 
					# O is an alias for OUTPUT
 | 
				
			||||||
LDFLAGS	:=	-flto=auto -ggdb $(EXTRA_LDFLAGS)
 | 
					OUTPUT          := $(O)
 | 
				
			||||||
LIBS	:=	$$($(PKG_CONFIG) --libs libtracefs)
 | 
					 | 
				
			||||||
 | 
					
 | 
				
			||||||
SRC	:=	$(wildcard src/*.c)
 | 
					ifeq ($(OUTPUT),)
 | 
				
			||||||
HDR	:=	$(wildcard src/*.h)
 | 
					  OUTPUT       := $(CURDIR)/
 | 
				
			||||||
OBJ	:=	$(SRC:.c=.o)
 | 
					 | 
				
			||||||
DIRS	:=	src
 | 
					 | 
				
			||||||
FILES	:=	Makefile README.txt
 | 
					 | 
				
			||||||
CEXT	:=	bz2
 | 
					 | 
				
			||||||
TARBALL	:=	$(NAME)-$(VERSION).tar.$(CEXT)
 | 
					 | 
				
			||||||
TAROPTS	:=	-cvjf $(TARBALL)
 | 
					 | 
				
			||||||
BINDIR	:=	/usr/bin
 | 
					 | 
				
			||||||
DATADIR	:=	/usr/share
 | 
					 | 
				
			||||||
DOCDIR	:=	$(DATADIR)/doc
 | 
					 | 
				
			||||||
MANDIR	:=	$(DATADIR)/man
 | 
					 | 
				
			||||||
LICDIR	:=	$(DATADIR)/licenses
 | 
					 | 
				
			||||||
SRCTREE	:=	$(or $(BUILD_SRC),$(CURDIR))
 | 
					 | 
				
			||||||
 | 
					 | 
				
			||||||
# If running from the tarball, man pages are stored in the Documentation
 | 
					 | 
				
			||||||
# dir. If running from the kernel source, man pages are stored in
 | 
					 | 
				
			||||||
# Documentation/tools/rv/.
 | 
					 | 
				
			||||||
ifneq ($(wildcard Documentation/.*),)
 | 
					 | 
				
			||||||
DOCSRC	=	Documentation/
 | 
					 | 
				
			||||||
else
 | 
					else
 | 
				
			||||||
DOCSRC	=	$(SRCTREE)/../../../Documentation/tools/rv/
 | 
					  # subdir is used by the ../Makefile in $(call descend,)
 | 
				
			||||||
 | 
					  ifneq ($(subdir),)
 | 
				
			||||||
 | 
					    OUTPUT        := $(OUTPUT)/$(subdir)
 | 
				
			||||||
 | 
					  endif
 | 
				
			||||||
endif
 | 
					endif
 | 
				
			||||||
 | 
					
 | 
				
			||||||
LIBTRACEEVENT_MIN_VERSION = 1.5
 | 
					ifneq ($(patsubst %/,,$(lastword $(OUTPUT))),)
 | 
				
			||||||
LIBTRACEFS_MIN_VERSION = 1.3
 | 
					  OUTPUT := $(OUTPUT)/
 | 
				
			||||||
 | 
					 | 
				
			||||||
.PHONY:	all warnings show_warnings
 | 
					 | 
				
			||||||
all:	warnings rv
 | 
					 | 
				
			||||||
 | 
					 | 
				
			||||||
TEST_LIBTRACEEVENT = $(shell sh -c "$(PKG_CONFIG) --atleast-version $(LIBTRACEEVENT_MIN_VERSION) libtraceevent > /dev/null 2>&1 || echo n")
 | 
					 | 
				
			||||||
ifeq ("$(TEST_LIBTRACEEVENT)", "n")
 | 
					 | 
				
			||||||
WARNINGS = show_warnings
 | 
					 | 
				
			||||||
MISSING_LIBS += echo "**   libtraceevent version $(LIBTRACEEVENT_MIN_VERSION) or higher";
 | 
					 | 
				
			||||||
MISSING_PACKAGES += "libtraceevent-devel"
 | 
					 | 
				
			||||||
MISSING_SOURCE += echo "**  https://git.kernel.org/pub/scm/libs/libtrace/libtraceevent.git/ ";
 | 
					 | 
				
			||||||
endif
 | 
					endif
 | 
				
			||||||
 | 
					
 | 
				
			||||||
TEST_LIBTRACEFS = $(shell sh -c "$(PKG_CONFIG) --atleast-version $(LIBTRACEFS_MIN_VERSION) libtracefs > /dev/null 2>&1 || echo n")
 | 
					RV		:= $(OUTPUT)rv
 | 
				
			||||||
ifeq ("$(TEST_LIBTRACEFS)", "n")
 | 
					RV_IN		:= $(RV)-in.o
 | 
				
			||||||
WARNINGS = show_warnings
 | 
					
 | 
				
			||||||
MISSING_LIBS += echo "**   libtracefs version $(LIBTRACEFS_MIN_VERSION) or higher";
 | 
					VERSION		:= $(shell sh -c "make -sC ../../.. kernelversion | grep -v make")
 | 
				
			||||||
MISSING_PACKAGES += "libtracefs-devel"
 | 
					DOCSRC		:= ../../../Documentation/tools/rv/
 | 
				
			||||||
MISSING_SOURCE += echo "**  https://git.kernel.org/pub/scm/libs/libtrace/libtracefs.git/ ";
 | 
					
 | 
				
			||||||
 | 
					FEATURE_TESTS	:= libtraceevent
 | 
				
			||||||
 | 
					FEATURE_TESTS	+= libtracefs
 | 
				
			||||||
 | 
					FEATURE_DISPLAY	:= libtraceevent
 | 
				
			||||||
 | 
					FEATURE_DISPLAY	+= libtracefs
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					ifeq ($(V),1)
 | 
				
			||||||
 | 
					  Q		=
 | 
				
			||||||
 | 
					else
 | 
				
			||||||
 | 
					  Q		= @
 | 
				
			||||||
endif
 | 
					endif
 | 
				
			||||||
 | 
					
 | 
				
			||||||
define show_dependencies
 | 
					all: $(RV)
 | 
				
			||||||
	@echo "********************************************";				\
 | 
					 | 
				
			||||||
	echo "** NOTICE: Failed build dependencies";					\
 | 
					 | 
				
			||||||
	echo "**";									\
 | 
					 | 
				
			||||||
	echo "** Required Libraries:";							\
 | 
					 | 
				
			||||||
	$(MISSING_LIBS)									\
 | 
					 | 
				
			||||||
	echo "**";									\
 | 
					 | 
				
			||||||
	echo "** Consider installing the latest libtracefs from your";			\
 | 
					 | 
				
			||||||
	echo "** distribution, e.g., 'dnf install $(MISSING_PACKAGES)' on Fedora,";	\
 | 
					 | 
				
			||||||
	echo "** or from source:";							\
 | 
					 | 
				
			||||||
	echo "**";									\
 | 
					 | 
				
			||||||
	$(MISSING_SOURCE)								\
 | 
					 | 
				
			||||||
	echo "**";									\
 | 
					 | 
				
			||||||
	echo "********************************************"
 | 
					 | 
				
			||||||
endef
 | 
					 | 
				
			||||||
 | 
					
 | 
				
			||||||
show_warnings:
 | 
					include $(srctree)/tools/build/Makefile.include
 | 
				
			||||||
	$(call show_dependencies);
 | 
					include Makefile.rv
 | 
				
			||||||
 | 
					
 | 
				
			||||||
ifneq ("$(WARNINGS)", "")
 | 
					# check for dependencies only on required targets
 | 
				
			||||||
ERROR_OUT = $(error Please add the necessary dependencies)
 | 
					NON_CONFIG_TARGETS := clean install doc doc_clean doc_install
 | 
				
			||||||
 | 
					
 | 
				
			||||||
warnings: $(WARNINGS)
 | 
					config		:= 1
 | 
				
			||||||
	$(ERROR_OUT)
 | 
					ifdef MAKECMDGOALS
 | 
				
			||||||
 | 
					  ifeq ($(filter-out $(NON_CONFIG_TARGETS),$(MAKECMDGOALS)),)
 | 
				
			||||||
 | 
					  config	:= 0
 | 
				
			||||||
 | 
					endif
 | 
				
			||||||
endif
 | 
					endif
 | 
				
			||||||
 | 
					
 | 
				
			||||||
rv: $(OBJ)
 | 
					ifeq ($(config),1)
 | 
				
			||||||
	$(CC) -o rv $(LDFLAGS) $(OBJ) $(LIBS)
 | 
					  include $(srctree)/tools/build/Makefile.feature
 | 
				
			||||||
 | 
					  include Makefile.config
 | 
				
			||||||
 | 
					endif
 | 
				
			||||||
 | 
					
 | 
				
			||||||
.PHONY: install
 | 
					CFLAGS		+= $(INCLUDES) $(LIB_INCLUDES)
 | 
				
			||||||
install: doc_install
 | 
					 | 
				
			||||||
	$(MKDIR) -p $(DESTDIR)$(BINDIR)
 | 
					 | 
				
			||||||
	$(INSTALL) rv -m 755 $(DESTDIR)$(BINDIR)
 | 
					 | 
				
			||||||
	$(STRIP) $(DESTDIR)$(BINDIR)/rv
 | 
					 | 
				
			||||||
 | 
					
 | 
				
			||||||
.PHONY: clean tarball
 | 
					export CFLAGS OUTPUT srctree
 | 
				
			||||||
clean: doc_clean
 | 
					 | 
				
			||||||
	@test ! -f rv || rm rv
 | 
					 | 
				
			||||||
	@test ! -f $(TARBALL) || rm -f $(TARBALL)
 | 
					 | 
				
			||||||
	@rm -rf *~ $(OBJ) *.tar.$(CEXT)
 | 
					 | 
				
			||||||
 | 
					
 | 
				
			||||||
tarball: clean
 | 
					$(RV): $(RV_IN)
 | 
				
			||||||
	rm -rf $(NAME)-$(VERSION) && mkdir $(NAME)-$(VERSION)
 | 
						$(QUIET_LINK)$(CC) $(LDFLAGS) -o $(RV) $(RV_IN) $(EXTLIBS)
 | 
				
			||||||
	echo $(VERSION) > $(NAME)-$(VERSION)/VERSION
 | 
					 | 
				
			||||||
	cp -r $(DIRS) $(FILES) $(NAME)-$(VERSION)
 | 
					 | 
				
			||||||
	mkdir $(NAME)-$(VERSION)/Documentation/
 | 
					 | 
				
			||||||
	cp -rp $(SRCTREE)/../../../Documentation/tools/rv/* $(NAME)-$(VERSION)/Documentation/
 | 
					 | 
				
			||||||
	tar $(TAROPTS) --exclude='*~' $(NAME)-$(VERSION)
 | 
					 | 
				
			||||||
	rm -rf $(NAME)-$(VERSION)
 | 
					 | 
				
			||||||
 | 
					
 | 
				
			||||||
.PHONY: doc doc_clean doc_install
 | 
					static: $(RV_IN)
 | 
				
			||||||
doc:
 | 
						$(eval LDFLAGS += -static)
 | 
				
			||||||
	$(MAKE) -C $(DOCSRC)
 | 
						$(QUIET_LINK)$(CC) $(LDFLAGS) -o $(RV)-static $(RV_IN) $(EXTLIBS)
 | 
				
			||||||
 | 
					
 | 
				
			||||||
doc_clean:
 | 
					rv.%: fixdep FORCE
 | 
				
			||||||
	$(MAKE) -C $(DOCSRC) clean
 | 
						make -f $(srctree)/tools/build/Makefile.build dir=. $@
 | 
				
			||||||
 | 
					
 | 
				
			||||||
doc_install:
 | 
					$(RV_IN): fixdep FORCE
 | 
				
			||||||
	$(MAKE) -C $(DOCSRC) install
 | 
						make $(build)=rv
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					clean: doc_clean fixdep-clean
 | 
				
			||||||
 | 
						$(call QUIET_CLEAN, rv)
 | 
				
			||||||
 | 
						$(Q)find . -name '*.o' -delete -o -name '\.*.cmd' -delete -o -name '\.*.d' -delete
 | 
				
			||||||
 | 
						$(Q)rm -f rv rv-static fixdep FEATURE-DUMP rv-*
 | 
				
			||||||
 | 
						$(Q)rm -rf feature
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					.PHONY: FORCE clean
 | 
				
			||||||
| 
						 | 
					
 | 
				
			||||||
							
								
								
									
										47
									
								
								tools/verification/rv/Makefile.config
									
									
									
									
									
										Normal file
									
								
							
							
						
						
									
										47
									
								
								tools/verification/rv/Makefile.config
									
									
									
									
									
										Normal file
									
								
							| 
						 | 
					@ -0,0 +1,47 @@
 | 
				
			||||||
 | 
					# SPDX-License-Identifier: GPL-2.0-only
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					STOP_ERROR :=
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					LIBTRACEEVENT_MIN_VERSION = 1.5
 | 
				
			||||||
 | 
					LIBTRACEFS_MIN_VERSION = 1.3
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					define lib_setup
 | 
				
			||||||
 | 
					  $(eval LIB_INCLUDES += $(shell sh -c "$(PKG_CONFIG) --cflags lib$(1)"))
 | 
				
			||||||
 | 
					  $(eval EXTLIBS += -l$(1))
 | 
				
			||||||
 | 
					endef
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					$(call feature_check,libtraceevent)
 | 
				
			||||||
 | 
					ifeq ($(feature-libtraceevent), 1)
 | 
				
			||||||
 | 
					  $(call detected,CONFIG_LIBTRACEEVENT)
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					  TEST = $(shell sh -c "$(PKG_CONFIG) --atleast-version $(LIBTRACEEVENT_MIN_VERSION) libtraceevent > /dev/null 2>&1 && echo y || echo n")
 | 
				
			||||||
 | 
					  ifeq ($(TEST),n)
 | 
				
			||||||
 | 
					    $(info libtraceevent version is too low, it must be at least $(LIBTRACEEVENT_MIN_VERSION))
 | 
				
			||||||
 | 
					    STOP_ERROR := 1
 | 
				
			||||||
 | 
					  endif
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					  $(call lib_setup,traceevent)
 | 
				
			||||||
 | 
					else
 | 
				
			||||||
 | 
					  STOP_ERROR := 1
 | 
				
			||||||
 | 
					  $(info libtraceevent is missing. Please install libtraceevent-dev/libtraceevent-devel)
 | 
				
			||||||
 | 
					endif
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					$(call feature_check,libtracefs)
 | 
				
			||||||
 | 
					ifeq ($(feature-libtracefs), 1)
 | 
				
			||||||
 | 
					  $(call detected,CONFIG_LIBTRACEFS)
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					  TEST = $(shell sh -c "$(PKG_CONFIG) --atleast-version $(LIBTRACEFS_MIN_VERSION) libtracefs > /dev/null 2>&1 && echo y || echo n")
 | 
				
			||||||
 | 
					  ifeq ($(TEST),n)
 | 
				
			||||||
 | 
					    $(info libtracefs version is too low, it must be at least $(LIBTRACEFS_MIN_VERSION))
 | 
				
			||||||
 | 
					    STOP_ERROR := 1
 | 
				
			||||||
 | 
					  endif
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					  $(call lib_setup,tracefs)
 | 
				
			||||||
 | 
					else
 | 
				
			||||||
 | 
					  STOP_ERROR := 1
 | 
				
			||||||
 | 
					  $(info libtracefs is missing. Please install libtracefs-dev/libtracefs-devel)
 | 
				
			||||||
 | 
					endif
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					ifeq ($(STOP_ERROR),1)
 | 
				
			||||||
 | 
					  $(error Please, check the errors above.)
 | 
				
			||||||
 | 
					endif
 | 
				
			||||||
							
								
								
									
										51
									
								
								tools/verification/rv/Makefile.rv
									
									
									
									
									
										Normal file
									
								
							
							
						
						
									
										51
									
								
								tools/verification/rv/Makefile.rv
									
									
									
									
									
										Normal file
									
								
							| 
						 | 
					@ -0,0 +1,51 @@
 | 
				
			||||||
 | 
					# SPDX-License-Identifier: GPL-2.0-only
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					define allow-override
 | 
				
			||||||
 | 
					  $(if $(or $(findstring environment,$(origin $(1))),\
 | 
				
			||||||
 | 
					            $(findstring command line,$(origin $(1)))),,\
 | 
				
			||||||
 | 
					    $(eval $(1) = $(2)))
 | 
				
			||||||
 | 
					endef
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					# Allow setting CC and AR, or setting CROSS_COMPILE as a prefix.
 | 
				
			||||||
 | 
					$(call allow-override,CC,$(CROSS_COMPILE)gcc)
 | 
				
			||||||
 | 
					$(call allow-override,AR,$(CROSS_COMPILE)ar)
 | 
				
			||||||
 | 
					$(call allow-override,STRIP,$(CROSS_COMPILE)strip)
 | 
				
			||||||
 | 
					$(call allow-override,PKG_CONFIG,pkg-config)
 | 
				
			||||||
 | 
					$(call allow-override,LD_SO_CONF_PATH,/etc/ld.so.conf.d/)
 | 
				
			||||||
 | 
					$(call allow-override,LDCONFIG,ldconfig)
 | 
				
			||||||
 | 
					export CC AR STRIP PKG_CONFIG LD_SO_CONF_PATH LDCONFIG
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					FOPTS		:=-flto=auto -ffat-lto-objects -fexceptions -fstack-protector-strong	\
 | 
				
			||||||
 | 
							-fasynchronous-unwind-tables -fstack-clash-protection
 | 
				
			||||||
 | 
					WOPTS		:=	-O -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2	\
 | 
				
			||||||
 | 
							-Wp,-D_GLIBCXX_ASSERTIONS -Wno-maybe-uninitialized
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					ifeq ($(CC),clang)
 | 
				
			||||||
 | 
					  FOPTS		:= $(filter-out -flto=auto -ffat-lto-objects, $(FOPTS))
 | 
				
			||||||
 | 
					  WOPTS		:= $(filter-out -Wno-maybe-uninitialized, $(WOPTS))
 | 
				
			||||||
 | 
					endif
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					INCLUDE		:= -Iinclude/
 | 
				
			||||||
 | 
					CFLAGS		:= -g -DVERSION=\"$(VERSION)\" $(FOPTS) $(WOPTS) $(EXTRA_CFLAGS) $(INCLUDE)
 | 
				
			||||||
 | 
					LDFLAGS		:= -ggdb $(EXTRA_LDFLAGS)
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					INSTALL		:= install
 | 
				
			||||||
 | 
					MKDIR		:= mkdir
 | 
				
			||||||
 | 
					STRIP		:= strip
 | 
				
			||||||
 | 
					BINDIR		:= /usr/bin
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					.PHONY: install
 | 
				
			||||||
 | 
					install: doc_install
 | 
				
			||||||
 | 
						$(Q)$(MKDIR) -p $(DESTDIR)$(BINDIR)
 | 
				
			||||||
 | 
						$(call QUIET_INSTALL,rv)$(INSTALL) $(OUTPUT)rv -m 755 $(DESTDIR)$(BINDIR)
 | 
				
			||||||
 | 
						$(Q)@$(STRIP) $(DESTDIR)$(BINDIR)/rv
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					.PHONY: doc doc_clean doc_install
 | 
				
			||||||
 | 
					doc:
 | 
				
			||||||
 | 
						$(MAKE) -C $(DOCSRC)
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					doc_clean:
 | 
				
			||||||
 | 
						$(MAKE) -C $(DOCSRC) clean
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					doc_install:
 | 
				
			||||||
 | 
						$(MAKE) -C $(DOCSRC) install
 | 
				
			||||||
							
								
								
									
										4
									
								
								tools/verification/rv/src/Build
									
									
									
									
									
										Normal file
									
								
							
							
						
						
									
										4
									
								
								tools/verification/rv/src/Build
									
									
									
									
									
										Normal file
									
								
							| 
						 | 
					@ -0,0 +1,4 @@
 | 
				
			||||||
 | 
					rv-y += trace.o
 | 
				
			||||||
 | 
					rv-y += utils.o
 | 
				
			||||||
 | 
					rv-y += in_kernel.o
 | 
				
			||||||
 | 
					rv-y += rv.o
 | 
				
			||||||
		Loading…
	
		Reference in a new issue