From 7ba951d8c8dd62716999919fb896ffaef90ee7a3 Mon Sep 17 00:00:00 2001 From: aarne Date: Fri, 23 Apr 2010 11:42:29 +0000 Subject: release notes as html; links to linux bin, lib, src --- download/index.html | 42 +++++++++++++++++++++++++++--------------- 1 file changed, 27 insertions(+), 15 deletions(-) (limited to 'download/index.html') diff --git a/download/index.html b/download/index.html index 6651bf3a7..8d950bcf7 100644 --- a/download/index.html +++ b/download/index.html @@ -6,6 +6,7 @@

Grammatical Framework Download and Installation

+Version 3.1.6, 23 April 2010

Latest developer code

@@ -20,13 +21,19 @@ GF 3.1.6 released 23 May 2010.

MacOS X (Snow Leopard):

MacOS X (Leopard):

Windows: -

Ubuntu Linux: +

Ubuntu Linux: + gf-bin-3.1.6-i386-linux.gz + (1.7 MB)

compiled library package: + gf-lib-3.1.6.tar.gz + (4.4 MB)

full source package (GF system, libraries, examples, documentation): + gf-src-3.1.6.tar.gz + (11 MB)

-What's new? See the release notes. +What's new? See the release notes.

Previous releases

@@ -41,23 +48,14 @@ The Windows package is installed by just unpacking it anywhere. It finds the libraries relative to the .exe file.

-To install a binary package for Linux: uncompress the package by tar -xfz -

-To compile and install from source on Mac or Linux, do: +To install a binary package for Linux: uncompress the executable and +put it somewhere on your path, renaming it to just gf. For instance:

-    tar xvfz gf-[VERSION].tgz
-    cd GF/src
-    runghc Setup configure --user
-    runghc Setup build
-    runghc Setup install
+    gunzip gf-bin-[version].gz
+    sudo mv gf-bin-[version] /usr/local/bin/gf

-The last command must be prefixed by sudo, if the installation is outside -user-writeable area. -

To install the libraries (if done separately), unpack them in the place to which your GF_LIB_PATH points.

@@ -72,6 +70,20 @@ If this variable hasn't been defined, it is useful define it, e.g. export GF_LIB_PATH=/usr/local/lib/gf/

+To compile and install from source on Mac or Linux, do: +

+    tar xvfz gf-[VERSION].tgz
+    cd GF/src
+    runghc Setup configure --user
+    runghc Setup build
+    runghc Setup install
+

+The last command must be prefixed by sudo, if the installation is outside +user-writeable area. +

-- cgit v1.2.3