-
Notifications
You must be signed in to change notification settings - Fork 0
How to build the HERMIT shell
Andy Gill edited this page May 29, 2015
·
4 revisions
In a single directory, check out:
> 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.