blob: bc46e4c279aa75821b15cd1c2e0ce7d9e30feea0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
SAIL:=../src/sail.native
LEM:=../../lem/lem
SOURCES:=riscv_types.sail riscv.sail ../etc/regfp.sail riscv_regfp.sail
all: riscv.lem riscv.ml riscv_embed.lem
riscv.lem: $(SOURCES)
$(SAIL) -lem_ast -o riscv $(SOURCES)
riscv.ml: riscv.lem ../src/lem_interp/interp_ast.lem
$(LEM) -ocaml -lib ../src/lem_interp/ $<
riscv_embed.lem: $(SOURCES)
# also generates riscv_embed_sequential.lem, riscv_embed_types.lem, riscv_toFromInterp.lem
$(SAIL) -lem -lem_lib Riscv_extras_embed -o riscv $(SOURCES)
clean:
rm -f riscv.lem riscv.ml
rm -f riscv_embed*.lem riscv_toFromInterp.lem
|
