From adadda8dfc80d0b7e6a967ceeda98624198800c1 Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Tue, 10 Jul 2018 14:05:36 +0100
Subject: Update HOL setup

---
 lib/hol/Holmakefile | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

(limited to 'lib/hol/Holmakefile')

diff --git a/lib/hol/Holmakefile b/lib/hol/Holmakefile
index eac4fec8..8e8403f3 100644
--- a/lib/hol/Holmakefile
+++ b/lib/hol/Holmakefile
@@ -1,11 +1,12 @@
-LEM_SCRIPTS = sail_instr_kindsScript.sml sail_valuesScript.sml sail_operatorsScript.sml \
-  sail_operators_mwordsScript.sml sail_operators_bitlistsScript.sml \
-  state_monadScript.sml stateScript.sml promptScript.sml prompt_monadScript.sml
+LEM_SCRIPTS = sail2_instr_kindsScript.sml sail2_valuesScript.sml sail2_operatorsScript.sml \
+  sail2_operators_mwordsScript.sml sail2_operators_bitlistsScript.sml \
+  sail2_state_monadScript.sml sail2_stateScript.sml sail2_promptScript.sml sail2_prompt_monadScript.sml \
+  sail2_stringScript.sml
 
 LEM_CLEANS = $(LEM_SCRIPTS)
 
 SCRIPTS = $(LEM_SCRIPTS) \
-  sail_valuesAuxiliaryScript.sml stateAuxiliaryScript.sml
+  sail2_valuesAuxiliaryScript.sml sail2_stateAuxiliaryScript.sml
 
 THYS = $(patsubst %Script.sml,%Theory.uo,$(SCRIPTS))
 
-- 
cgit v1.2.3