summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorhallgren <hallgren@chalmers.se>2011-01-03 14:42:11 +0000
committerhallgren <hallgren@chalmers.se>2011-01-03 14:42:11 +0000
commita985ea56efb7b2e8154456a2820da26fe14049e9 (patch)
tree4ab3338f713a9fc340943eba0492ad317b5f7c24
parentaa290678d68bf8b6a7ed20bb40c8395dba64966a (diff)
Download page: some more details on how to install the from darcs repository
-rw-r--r--download/index.t2t18
1 files changed, 16 insertions, 2 deletions
diff --git a/download/index.t2t b/download/index.t2t
index 0c84b164e..537c728bc 100644
--- a/download/index.t2t
+++ b/download/index.t2t
@@ -81,12 +81,26 @@ them manually. Here is one way to do this:
- [GF 3.1 old-index.html] (December 2009).
-==Latest developer code==
+==Installing from the latest developer code==
+
+The first time:
+
+```
+ darcs get --lazy http://www.grammaticalframework.org/ GF
+ cd GF
+ cabal install
+```
+
+Subsequently:
```
- darcs get --lazy http://www.grammaticalframework.org/
+ cd GF
+ darcs pull -a
+ cabal install
```
+The above notes for installing from source apply also in this case.
+
--------------------
[www.grammaticalframework.org http://www.grammaticalframework.org]