diff options
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 |