From 90d4cc654a0833e8c7dac4831be0fa94a0d10192 Mon Sep 17 00:00:00 2001
From: Jon French
Date: Wed, 24 Oct 2018 11:42:33 +0100
Subject: src/Makefile: add isail.byte target for debugging interpreter

---
 src/Makefile | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/Makefile')

diff --git a/src/Makefile b/src/Makefile
index 3e9d6f63..f4e0c967 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -105,6 +105,9 @@ sail.native: sail
 sail.byte: ast.ml bytecode.ml share_directory.ml
 	ocamlbuild -use-ocamlfind -cflag -g sail.byte
 
+isail.byte: ast.ml bytecode.ml share_directory.ml
+	ocamlbuild -use-ocamlfind isail.byte
+
 interpreter: lem_interp/interp_ast.lem
 	ocamlbuild -use-ocamlfind lem_interp/extract.cmxa
 	ocamlbuild -use-ocamlfind lem_interp/extract.cma
-- 
cgit v1.2.3