diff --git a/download/index.html b/download/index.html deleted file mode 100644 index e9da919cc..000000000 --- a/download/index.html +++ /dev/null @@ -1,124 +0,0 @@ - - -
- - -
Grammatical Framework Download and Installation-GF 3.2 was released on 23 December 2010. -
--What's new? See the Release notes. -
-| 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 |
-
-More packages might be added later. -
-
-The Windows package is installed by just unpacking it anywhere.
-It finds the libraries relative to the .exe file.
-
-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:
-
- export GF_LIB_PATH=/usr/local/share/gf-3.2/lib -- -
-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:
-
- PATH=$HOME/.cabal/bin:$PATH -- -
-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/ -- -