diff --git a/Interpreter.hs b/Interpreter.hs index 77a392142b005a6f0bd97eab09d24a4482a028d4..f6096a07beaca536933a6dc51a7b12408b5c847d 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 0000000000000000000000000000000000000000..98fe0c8cfd96dff96483d2fc4a32e30100412bf5 --- /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