diff options
| author | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2020-06-16 19:33:22 -0700 |
|---|---|---|
| committer | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2020-06-16 19:40:01 -0700 |
| commit | 3ce534d5159a4db4ab54a347b7d5f4338c5f5e76 (patch) | |
| tree | f49adaa08bb3e98d8b4bfed426b6195e20067f66 | |
| parent | 2f3d4754770fc54634786937a3b1a6f7bd572af9 (diff) | |
| download | sail-riscv-3ce534d5159a4db4ab54a347b7d5f4338c5f5e76.zip sail-riscv-3ce534d5159a4db4ab54a347b7d5f4338c5f5e76.tar.gz sail-riscv-3ce534d5159a4db4ab54a347b7d5f4338c5f5e76.tar.bz2 | |
Use an output file for generated branch information in the coverage build.
| -rw-r--r-- | Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -146,8 +146,9 @@ C_FLAGS += -O3 -flto endif ifneq (,$(SAILCOV)) +ALL_BRANCHES = generated_definitions/c/all_branches C_FLAGS += -DSAILCOV -SAIL_FLAGS += -c_coverage -c_include sail_coverage.h +SAIL_FLAGS += -c_coverage $(ALL_BRANCHES) -c_include sail_coverage.h C_LIBS += $(SAIL_LIB_DIR)/coverage/libsail_coverage.a -lpthread -ldl endif @@ -223,7 +224,7 @@ ocaml_emulator/tracecmp: ocaml_emulator/tracecmp.ml generated_definitions/c/riscv_model_$(ARCH).c: $(SAIL_SRCS) model/main.sail Makefile mkdir -p generated_definitions/c - $(SAIL) $(SAIL_FLAGS) -O -Oconstant_fold -memo_z3 -c -c_include riscv_prelude.h -c_include riscv_platform.h -c_no_main $(SAIL_SRCS) model/main.sail -o $(basename $@) > generated_definitions/c/all_branches + $(SAIL) $(SAIL_FLAGS) -O -Oconstant_fold -memo_z3 -c -c_include riscv_prelude.h -c_include riscv_platform.h -c_no_main $(SAIL_SRCS) model/main.sail -o $(basename $@) generated_definitions/c2/riscv_model_$(ARCH).c: $(SAIL_SRCS) model/main.sail Makefile mkdir -p generated_definitions/c2 |