From 89d1f43805ec64ff3537026a84d9a7816a5c23a6 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Mon, 11 Dec 2017 18:34:59 +0000
Subject: Prototype interactive mode for sail.

Requires linenoise library (opam install linenoise) for readline
support. Use 'make isail' to build sail with interactive
support. Plain 'make sail' should work as before with no additional
dependencies.

Use 'sail -i <commands>' to run sail interactively, e.g.

sail -new_parser -i test/ocaml/prelude.sail test/ocaml/trycatch/tc.sail

then try some commands for typechecking and evaluation

sail> :t main
sail> main ()

Doesn't use the lem interpreter right now, instead has a small
operational semantics in src/interpreter.ml, but this is not very
complete and will be changed/removed.
---
 Makefile | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 9d3e613e..22d51315 100644
--- a/Makefile
+++ b/Makefile
@@ -6,6 +6,10 @@ sail:
 	$(MAKE) -C src
 	ln -f -s src/sail.native sail
 
+isail:
+	$(MAKE) -C src isail
+	ln -f -s src/isail.native sail
+
 language:
 	$(MAKE) -C language
 
-- 
cgit v1.2.3