diff --git a/download/index-3.1.6.html b/download/index-3.1.6.html new file mode 100644 index 000000000..743cce35c --- /dev/null +++ b/download/index-3.1.6.html @@ -0,0 +1,102 @@ + + +
+ ++GF 3.1.6 released 23 April 2010. +
+gf-3.1.6-leopard.pkg (7.7MB)
+gf-3.1.6-bin-intel-mac.gz (1.9MB)
+gf-3.1.6-bin-i486-windows.zip
+ (1.6 MB)
+gf-3.1.6-bin-i486-linux.gz
+ (1.7 MB)
+gf-3.1.6-lib.tar.gz
+ (4.4 MB)
+gf-3.1.6-src.tar.gz
+ (11 MB)
+
+GF is also on Hackage
++What's new? See the release notes. +
++Follow this link. +
+
+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 MacOS X or Linux: uncompress the executable and
+put it somewhere on your path, renaming it to just gf. For instance:
+
+ gunzip gf-bin-[version].gz + sudo mv gf-bin-[version] /usr/local/bin/gf ++
+To install the libraries (if done separately), unpack them in the place to which your
+GF_LIB_PATH points.
+
+ cd $GF_LIB_PATH + gtar xvfz gf-lib-[VERSION].tgz ++
+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.
+
Grammatical Framework Download and Installation-GF darcs repository +GF 3.2 was released on 23 December 2010.
--GF 3.1.6 released 23 April 2010. +What's new? See the Release notes.
-gf-3.1.6-leopard.pkg (7.7MB)
-gf-3.1.6-bin-intel-mac.gz (1.9MB)
-gf-3.1.6-bin-i486-windows.zip
- (1.6 MB)
-gf-3.1.6-bin-i486-linux.gz
- (1.7 MB)
-gf-3.1.6-lib.tar.gz
- (4.4 MB)
-gf-3.1.6-src.tar.gz
- (11 MB)
-
-GF is also on Hackage
-| Platform | +Download | +How to install | +
|---|---|---|
| Linux (32-bit) | +gf-3.2-bin-i386-linux.tar.gz | +sudo tar -C /usr/local -zxf gf-3.2-bin-i386-linux.tar.gz |
+
| Linux (64-bit) | +gf-3.2-bin-x86_64-linux.tar.gz | +sudo tar -C /usr/local -zxf gf-3.2-bin-x86_64-linux.tar.gz |
+
| MacOS X | +gf-3.2-bin-intel-mac.tar.gz | +sudo tar -C /usr/local -zxf gf-3.2-bin-intel-mac.tar.gz |
+
| Windows | +gf-3.2-bin-i386-windows.zip | +unzip gf-3.2-bin-i386-windows.zip |
+
-What's new? See the release notes. +More packages might be added later.
--Follow this link. -
-
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 MacOS X or Linux: uncompress the executable and
-put it somewhere on your path, renaming it to just gf. For instance:
+The MacOS and Linux packages are designed to be installed in /usr/local.
+You can install them in other locations, but then you need to set the
+GF_LIB_PATH environment variable:
- gunzip gf-bin-[version].gz - sudo mv gf-bin-[version] /usr/local/bin/gf --
-To install the libraries (if done separately), unpack them in the place to which your
-GF_LIB_PATH points.
-
- cd $GF_LIB_PATH - gtar xvfz gf-lib-[VERSION].tgz --
-If this variable hasn't been defined, it is useful define it, e.g. -
-- export GF_LIB_PATH=/usr/local/lib/gf/ + export GF_LIB_PATH=/usr/local/share/gf-3.2/lib
-To compile and install from source on Mac or Linux, do:
+where /usr/local should be replaced with the path to the location where you
+unpacked the package.
+
+GF is on Hackage, so the prodedure is +fairly simple: +
+cabal update
+cabal install gf
+
+You can also download the full source package from here:
+gf-3.2.tar.gz.
+
+The above steps installs GF for a single user and does not require root
+privileges. The executables are put in $HOME/.cabal/bin, so it is a good
+idea to put a line in your .bash_profile to add that directory to you path:
- tar xvfz gf-[VERSION].tgz - cd GF/src - runghc Setup configure --user - runghc Setup build - runghc Setup install + PATH=$HOME/.cabal/bin:$PATH+
-The last command must be prefixed by sudo, if the installation is outside
-user-writeable area.
+GF uses haskeline, which depends some non-Haskell libraries that
+won't be installed automatically by cabal, so you need to install
+them manually. Here is one way to do this:
+
sudo apt-get install libghc6-terminfo-dev
+sudo yum install ghc-terminfo-devel
++ darcs get --lazy http://www.grammaticalframework.org/ ++ +
==Installation==
diff --git a/index.html b/index.html
index 8f56c0406..354aa731d 100644
--- a/index.html
+++ b/index.html
@@ -11,15 +11,14 @@
-Version 3.1.6
+Version 3.2
-April 2010
-
-Version 3.2 coming before Xmas 2010!
+December 2010
+
[ Demos
-| Download
+| Download
| Libraries
| Reference
| Tutorial
@@ -39,14 +38,15 @@ April 2010
-
-22/12/2010
- GF Summer School in Barcelona,
- 15-26 August 2011.
+News
-
+