From 659bb75597fe50eaa8cd96fd97bd83dffcadd56a Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Mon, 8 May 2017 14:10:54 +0100
Subject: add target for building ocaml shallow embed for arm.

---
 arm/Makefile | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/arm/Makefile b/arm/Makefile
index 641a907e..18eba393 100644
--- a/arm/Makefile
+++ b/arm/Makefile
@@ -1,6 +1,6 @@
 BUILDDIR=./build
 
-SAIL=../sail -verbose
+SAIL=../sail
 ifeq ("$(wildcard $(SAIL))","")
   $(warning can not find Sail)
 endif
@@ -28,7 +28,9 @@ all: $(BUILDDIR)/armv8.ml
 clean:
 	rm -rf $(BUILDDIR)
 
-.PHONY: all clean
+ocaml: $(BUILDDIR)/armv8_embed.ml
+
+.PHONY: all clean ocaml
 
 $(BUILDDIR):
 	mkdir -p $@
@@ -41,6 +43,12 @@ $(BUILDDIR)/armv8.lem: $(SOURCES) | $(BUILDDIR)
 $(BUILDDIR)/armv8.ml: $(BUILDDIR)/armv8.lem
 	$(LEM) -ocaml -lib $(LEMINTERPDIR) $<
 
+$(BUILDDIR)/armv8_embed.ml: $(SOURCES) | $(BUILDDIR)
+	$(SAIL) -ocaml $(SOURCES) -o $(basename $@)
+#	sail generates the .lem file in pwd
+	mv $(notdir $@) $@
+
+
 ######################################################################
 ETCDIR=../etc
 
-- 
cgit v1.2.3