diff options
| author | Robert Norton | 2017-08-08 14:11:57 +0100 |
|---|---|---|
| committer | Robert Norton | 2017-08-08 14:12:25 +0100 |
| commit | ad0d53e799c0a3dcb2548a42554d5dcae7de5a01 (patch) | |
| tree | e442098ea9def6f9a097767dd05708837d870762 /risc-v/Makefile | |
| parent | be571f711102cd6659257e5ee1de3b708ebee6ab (diff) | |
work on integrating risc-v model with rmem (incomplete).
Diffstat (limited to 'risc-v/Makefile')
| -rw-r--r-- | risc-v/Makefile | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/risc-v/Makefile b/risc-v/Makefile new file mode 100644 index 00000000..2f6af138 --- /dev/null +++ b/risc-v/Makefile @@ -0,0 +1,13 @@ + +SAIL:=../src/sail.native + +all: lem_ast shallow + +lem_ast: riscv.sail $(SAIL) + $(SAIL) -lem_ast $< + +shallow: riscv.sail $(SAIL) + $(SAIL) -lem_lib Riscv_extras_embed -lem $< + +clean: + rm -f riscv.lem riscv_embed*.lem |