diff options
| author | Alasdair Armstrong <alasdair.armstrong@cl.cam.ac.uk> | 2024-05-10 03:16:06 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-05-10 03:16:06 +0100 |
| commit | 08f96f61a6578c9fe45acb4fb9b42af680e77d21 (patch) | |
| tree | 975d158955c6d011282051815c0b36fcf0871a0a | |
| parent | e3c5b0a3016fa52bf1f167b5a918a60f24b634fa (diff) | |
| download | sail-riscv-08f96f61a6578c9fe45acb4fb9b42af680e77d21.zip sail-riscv-08f96f61a6578c9fe45acb4fb9b42af680e77d21.tar.gz sail-riscv-08f96f61a6578c9fe45acb4fb9b42af680e77d21.tar.bz2 | |
Remove theorem prover targets from default Makefile rule (#464)
In general we aren't requiring contributors to implement the correct
Lem/Isabelle/HOL4/Coq stubs for new extensions (this would almost
certainly be way too high a bar) so having these in the default set of
build targets just means that typing 'make' is broken until those of us
who are invested in maintaining those targets can add updates for those
stubs.
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -201,7 +201,7 @@ RISCV_EXTRAS_LEM = $(addprefix handwritten_support/,$(RISCV_EXTRAS_LEM_FILES)) .PHONY: -all: ocaml_emulator/riscv_ocaml_sim_$(ARCH) c_emulator/riscv_sim_$(ARCH) riscv_isa riscv_coq riscv_hol riscv_rmem +all: ocaml_emulator/riscv_ocaml_sim_$(ARCH) c_emulator/riscv_sim_$(ARCH) .PHONY: all # the following ensures empty sail-generated .c files don't hang around and |