1. Add OCCLUM_COV to conditionally enable gcov profiling for libos Rust code; 2. Add a makefile target to locally generate the coverage report in html format.
29 lines
887 B
Makefile
29 lines
887 B
Makefile
.PHONY: all format format-check gen_cov_report clean
|
|
|
|
all:
|
|
@$(MAKE) --no-print-directory -C libos
|
|
@$(MAKE) --no-print-directory -C pal
|
|
@$(MAKE) --no-print-directory -C run
|
|
@$(MAKE) --no-print-directory -C exec
|
|
|
|
format:
|
|
@$(MAKE) --no-print-directory -C libos format
|
|
@$(MAKE) --no-print-directory -C pal format
|
|
@$(MAKE) --no-print-directory -C run format
|
|
@$(MAKE) --no-print-directory -C exec format
|
|
|
|
format-check:
|
|
@$(MAKE) --no-print-directory -C libos format-check
|
|
@$(MAKE) --no-print-directory -C pal format-check
|
|
@$(MAKE) --no-print-directory -C run format-check
|
|
@$(MAKE) --no-print-directory -C exec format-check
|
|
|
|
gen_cov_report:
|
|
@$(MAKE) --no-print-directory -C libos gen_cov_report
|
|
|
|
clean:
|
|
@$(MAKE) --no-print-directory -C libos clean
|
|
@$(MAKE) --no-print-directory -C pal clean
|
|
@$(MAKE) --no-print-directory -C run clean
|
|
@$(MAKE) --no-print-directory -C exec clean
|