From cd6456532dde14d66d854f96f0887494467ec3d0 Mon Sep 17 00:00:00 2001
From: Ben Gamari <ben@smart-cactus.org>
Date: Fri, 10 Dec 2021 14:32:50 -0500
Subject: [PATCH] Add a simple example of local usage
---
Interpreter.hs | 2 +-
local-example.sh | 20 ++++++++++++++++++++
2 files changed, 21 insertions(+), 1 deletion(-)
create mode 100755 local-example.sh
diff --git a/Interpreter.hs b/Interpreter.hs
index 77a3921..f6096a0 100644
--- a/Interpreter.hs
+++ b/Interpreter.hs
@@ -5,7 +5,7 @@ import IServ.Remote.Message
import IServ.Remote.Interpreter
verbose :: Bool
-verbose = True
+verbose = False
main :: IO ()
main = do
diff --git a/local-example.sh b/local-example.sh
new file mode 100755
index 0000000..98fe0c8
--- /dev/null
+++ b/local-example.sh
@@ -0,0 +1,20 @@
+#!/usr/bin/env bash
+
+set -e
+
+GHC="${GHC:-ghc}"
+port=5005
+
+cabal build -w "$GHC" iserv-proxy
+cabal run -w "$GHC" iserv-proxy-interpreter $port . &
+interpreter=$?
+
+proxy="$(cabal list-bin -w "$GHC" exe:iserv-proxy)"
+echo "print \"Hello world!\"" | \
+ "$GHC" \
+ --interactive \
+ -fexternal-interpreter \
+ -pgmi "$proxy" \
+ -opti 127.0.0.1 -opti$port
+
+kill $interpreter
--
GitLab