diff options
| author | Thomas Bauereiss | 2018-03-21 10:38:46 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2018-03-21 10:42:50 +0000 |
| commit | 2dcd2d7b77c2c0759791d92114a844b9990d0820 (patch) | |
| tree | 6335ad9dc80a05a32600d2dc7c68421096c53c8d /riscv/Makefile | |
| parent | e5fc89d249682f8323f987a8275d25403762f658 (diff) | |
Patch AST datatypes in generated Isabelle theories
Deactivate plugins of the datatype package except for the size plugin in order
to keep processing time reasonable. This is currently only needed for the big
AST datatypes, so we just patch this using a sed command.
Diffstat (limited to 'riscv/Makefile')
| -rw-r--r-- | riscv/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/riscv/Makefile b/riscv/Makefile index 52bc150b..5ac7597f 100644 --- a/riscv/Makefile +++ b/riscv/Makefile @@ -29,6 +29,7 @@ Riscv.thy: riscv.lem riscv_extras.lem riscv_extras.lem \ riscv_types.lem \ riscv.lem + sed -i 's/datatype ast/datatype (plugins only: size) ast/' Riscv_types.thy riscv.lem: $(SAIL_SRCS) $(SAIL_DIR)/sail -lem -o riscv -lem_mwords -lem_lib Riscv_extras $^ |