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 /mips/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 'mips/Makefile')
| -rw-r--r-- | mips/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mips/Makefile b/mips/Makefile index 87fc96b6..e0bc27b6 100644 --- a/mips/Makefile +++ b/mips/Makefile @@ -26,6 +26,7 @@ mips_types.lem: mips.lem M%.thy: m%.lem m%_types.lem mips_extras.lem lem -isa -outdir . -lib $(SAIL_DIR)/src/gen_lib -lib $(SAIL_DIR)/src/lem_interp $^ + sed -i 's/datatype ast/datatype (plugins only: size) ast/' M$*_types.thy clean: rm -rf mips Mips.thy mips.lem _sbuild |