From a985ea56efb7b2e8154456a2820da26fe14049e9 Mon Sep 17 00:00:00 2001 From: hallgren Date: Mon, 3 Jan 2011 14:42:11 +0000 Subject: [PATCH] Download page: some more details on how to install the from darcs repository --- download/index.t2t | 18 ++++++++++++++++-- 1 file 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/ + darcs get --lazy http://www.grammaticalframework.org/ GF + cd GF + cabal install ``` +Subsequently: + +``` + 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]