From 37c5fb51e9986917a791de73435e182549e21fca Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Tue, 4 Jun 2019 17:36:22 +0100
Subject: Make sure aarch64_small can generate Jib for SMT

Add a test case for this
---
 aarch64_small/Makefile | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'aarch64_small')

diff --git a/aarch64_small/Makefile b/aarch64_small/Makefile
index fe4c5841..c1751a45 100644
--- a/aarch64_small/Makefile
+++ b/aarch64_small/Makefile
@@ -23,6 +23,9 @@ armV8.lem: $(SOURCES)
 # also generates armV8_embed_sequential.lem, armV8_embed_types.lem, armV8_toFromInterp.lem
 	$(SAIL) $(SAILFLAGS) -lem -lem_lib ArmV8_extras_embed -o armV8 $^
 
+smt: $(SOURCES)
+	$(SAIL) $(SAILFLAGS) -smt $^
+
 for-rmem/armV8.lem: $(SOURCES)
 	mkdir -p $(dir $@)
 #	We do not need the isabelle .thy files, but sail always generates them
-- 
cgit v1.2.3