-
Notifications
You must be signed in to change notification settings - Fork 0
How to build the HERMIT shell
Andy Gill edited this page May 31, 2015
·
4 revisions
In a single directory, check out:
> cabal update # Make sure dependencies are up to date
> git checkout [email protected]:ku-fpg/kure.git
> git checkout [email protected]:ku-fpg/remote-json.git
> git checkout [email protected]:ku-fpg/hermit.git
> git checkout [email protected]:ku-fpg/hermit-shell.git
You need the latest version of all of these: consider them a unit right now.
> cd hermit-shell
> make boot
[.. installs hermit-shell in a sandbox ..]
You can use
> cabal exec bash
to get a shell that runs the correct version of hermit-shell.
To run
> cd examples/fib
> hermit-shell Fib.hs
[...]
HERMIT> display
If something goes wrong - ASK!
- Make sure you have the latest version of everything
> ( cd kure ; git pull
> ( cd remote-json ; git pull )
> ( cd hermit ; git pull )
You can also use github's tools for this.