diff options
| author | Brian Campbell <Brian.Campbell@ed.ac.uk> | 2021-10-22 15:59:20 +0100 |
|---|---|---|
| committer | Brian Campbell <Brian.Campbell@ed.ac.uk> | 2021-10-22 16:02:15 +0100 |
| commit | 31e542e57583043cec7807aa99adbb7469906380 (patch) | |
| tree | b30781c48db7a99a304755fb28b23747b39264fc | |
| parent | 9f71c756484a4aac7c211d5ea266f45b0b3942e7 (diff) | |
| download | sail-riscv-sail-coverage-linking.zip sail-riscv-sail-coverage-linking.tar.gz sail-riscv-sail-coverage-linking.tar.bz2 | |
Recent rustc requires -lm for linking against the Sail coverage librarysail-coverage-linking
Fixes rems-project/sail#152
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -151,7 +151,7 @@ ifneq (,$(SAILCOV)) ALL_BRANCHES = generated_definitions/c/all_branches C_FLAGS += -DSAILCOV SAIL_FLAGS += -c_coverage $(ALL_BRANCHES) -c_include sail_coverage.h -C_LIBS += $(SAIL_LIB_DIR)/coverage/libsail_coverage.a -lpthread -ldl +C_LIBS += $(SAIL_LIB_DIR)/coverage/libsail_coverage.a -lm -lpthread -ldl endif RISCV_EXTRAS_LEM_FILES = riscv_extras.lem mem_metadata.lem riscv_extras_fdext.lem |