blob: fabaaafc1aedcb01e6256a0c7217ec2f1a0fd0b1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
SAIL_SRCS = prelude.sail riscv_types.sail riscv.sail
SAIL_DIR ?= $(realpath ..)
export SAIL_DIR
all: riscv Riscv_embed_sequential.thy
riscv: $(SAIL_SRCS) main.sail
$(SAIL_DIR)/sail -ocaml -o riscv $^
Riscv_embed_sequential.thy: riscv_embed_sequential.lem riscv_extras_embed_sequential.lem
lem -isa -outdir . -lib ../src/lem_interp -lib ../src/gen_lib \
riscv_extras_embed_sequential.lem \
riscv_embed_types_sequential.lem \
riscv_embed_sequential.lem
riscv_embed_sequential.lem: $(SAIL_SRCS)
$(SAIL_DIR)/sail -lem -o riscv -lem_sequential -lem_mwords -lem_lib Riscv_extras_embed $^
clean:
-rm -rf riscv _sbuild
-rm -f riscv_embed_sequential.lem riscv_embed_types_sequential.lem
-rm -f Riscv_embed_sequential.thy Riscv_embed_types_sequential.thy \
Riscv_extras_embed_sequential.thy
|
