From 9bed157a93741a62a3b8f550bfeeef2a049dc301 Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Wed, 16 May 2018 18:11:00 +0100
Subject: Add handwritten script to Holmakefile

---
 lib/hol/Holmakefile | 11 ++++++++---
 1 file changed, 8 insertions(+), 3 deletions(-)

(limited to 'lib')

diff --git a/lib/hol/Holmakefile b/lib/hol/Holmakefile
index 45ed41ff..6698e210 100644
--- a/lib/hol/Holmakefile
+++ b/lib/hol/Holmakefile
@@ -1,8 +1,11 @@
-SCRIPTS = sail_instr_kindsScript.sml sail_valuesScript.sml sail_operatorsScript.sml \
+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
 
-EXTRA_CLEANS = $(SCRIPTS)
+LEM_CLEANS = $(LEM_SCRIPTS)
+
+SCRIPTS = $(LEM_SCRIPTS) \
+  sail_valuesAuxiliaryScript.sml
 
 THYS = $(patsubst %Script.sml,%Theory.uo,$(SCRIPTS))
 
@@ -13,9 +16,11 @@ INCLUDES = $(LEMDIR)
 all: $(THYS)
 .PHONY: all
 
+EXTRA_CLEANS = $(LEM_CLEANS)
+
 ifdef POLY
 HOLHEAP = sail-heap
-EXTRA_CLEANS = $(SCRIPTS) $(HOLHEAP) $(HOLHEAP).o
+EXTRA_CLEANS = $(LEM_CLEANS) $(HOLHEAP) $(HOLHEAP).o
 
 BASE_HEAP = $(LEMDIR)/lemheap
 
-- 
cgit v1.2.3