From 2dcd2d7b77c2c0759791d92114a844b9990d0820 Mon Sep 17 00:00:00 2001
From: Thomas Bauereiss
Date: Wed, 21 Mar 2018 10:38:46 +0000
Subject: 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.
---
 mips/Makefile | 1 +
 1 file changed, 1 insertion(+)

(limited to 'mips')

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
-- 
cgit v1.2.3