diff options
| author | Robert Norton | 2017-08-11 15:47:08 +0100 |
|---|---|---|
| committer | Robert Norton | 2017-08-11 15:47:08 +0100 |
| commit | f8a186733a4a8afd90ef733ca32df92eb6bcecd9 (patch) | |
| tree | ba5aae186938850e7aa457bf5f3cf61298097f57 /risc-v/Makefile | |
| parent | ad0d53e799c0a3dcb2548a42554d5dcae7de5a01 (diff) | |
further riscv rmem integration.
Diffstat (limited to 'risc-v/Makefile')
| -rw-r--r-- | risc-v/Makefile | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/risc-v/Makefile b/risc-v/Makefile index 2f6af138..856a48eb 100644 --- a/risc-v/Makefile +++ b/risc-v/Makefile @@ -1,13 +1,13 @@ SAIL:=../src/sail.native - +SOURCES:=riscv.sail ../etc/regfp.sail riscv_regfp.sail all: lem_ast shallow -lem_ast: riscv.sail $(SAIL) - $(SAIL) -lem_ast $< +lem_ast: $(SOURCES) $(SAIL) + $(SAIL) -lem_ast $(SOURCES) -shallow: riscv.sail $(SAIL) - $(SAIL) -lem_lib Riscv_extras_embed -lem $< +shallow: $(SOURCES) $(SAIL) + $(SAIL) -lem_lib Riscv_extras_embed -lem $(SOURCES) clean: rm -f riscv.lem riscv_embed*.lem |