From c70ca047daf5c833fdc9b1a44efe21e07492aabf Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Tue, 15 May 2018 11:57:29 +0100
Subject: Make all of Sail HOL libraries, not just the base heap

---
 lib/hol/Makefile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'lib/hol')

diff --git a/lib/hol/Makefile b/lib/hol/Makefile
index b6be46b4..065f887a 100644
--- a/lib/hol/Makefile
+++ b/lib/hol/Makefile
@@ -14,13 +14,13 @@ SCRIPTS = sail_instr_kindsScript.sml sail_valuesScript.sml sail_operatorsScript.
   state_monadScript.sml stateScript.sml \
   prompt_monadScript.sml promptScript.sml
 
-all: sail-heap
+THYS = $(patsubst %Script.sml,%Theory.uo,$(SCRIPTS))
+
+all: sail-heap $(THYS)
 
 $(SCRIPTS): $(LEMSRC)
 	lem -hol -outdir . -auxiliary_level none -lib ../../src/lem_interp -lib ../../src/gen_lib $(LEMSRC)
 
-THYS = $(patsubst %Script.sml,%Theory.uo,$(SCRIPTS))
-
 $(THYS) sail-heap: $(SCRIPTS)
 	Holmake
 
-- 
cgit v1.2.3