Changes between Version 82 and Version 83 of Building/GettingTheSources


Ignore:
Timestamp:
Feb 4, 2013 8:01:22 PM (2 years ago)
Author:
tibbe
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Building/GettingTheSources

    v82 v83  
    7474}}}
    7575
     76== Getting a tag ==
     77
     78Each release is tagged in the git repository, making it possible to check out an old version of GHC by tag. To see all available tags, run `git tag` in the GHC repository.
     79
     80To check out a specific version of GHC, run
     81
     82{{{
     83  $ export VERSION=7.6.1
     84  $ git clone https://github.com/ghc/ghc
     85  $ cd ghc
     86  $ git checkout -b ghc-${VERSION} ghc-${VERSION}-release
     87  $ ./sync-all --no-dph get
     88  $ ./sync-all checkout -b ghc-${VERSION} ghc-${VERSION}-release
     89}}}
     90
    7691== Getting a GHC repository from !GitHub ==
    7792