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