← Back to branch summary

~ubuntu-branches/ubuntu/wily/agda/wily-proposed

« back to all changes in this revision

Viewing changes to notes/releases

  • Committer: Package Import Robot
  • Author(s): Iain Lane
  • Date: 2014-08-05 06:38:12 UTC
  • mfrom: (1.1.6)
  • Revision ID: package-import@ubuntu.com-20140805063812-io8e77niomivhd49
Tags: 2.4.0.2-1
* [6e140ac] Imported Upstream version 2.4.0.2
* [2049fc8] Update Build-Depends to match control
* [93dc4d4] Install the new primitives
* [e48f40f] Fix typo dev→doc

Show diffs side-by-side

added added

removed removed

Lines of Context:
notes/releases
1
 
When releasing a new version of Agda, the following procedure can be
2
 
followed:
3
 
 
4
 
* Get a clean Agda repository.
5
 
 
6
 
    darcs get http://code.haskell.org/Agda/ Agda.release
7
 
    cd Agda.release
8
 
 
9
 
* Finish the release notes in
10
 
  doc/release-notes/<version-written-with-dashes>.txt.
11
 
 
12
 
* Update the README, if necessary.
13
 
 
14
 
* Update the version numbers in Agda.cabal (twice) and
15
 
  src/data/emacs-mode/agda2-mode.el.
16
 
 
17
 
* Add a second source-repository section to Agda.cabal:
18
 
 
19
 
    source-repository this
20
 
      type:     darcs
21
 
      location: http://code.haskell.org/Agda/
22
 
      tag:      <version>
23
 
 
24
 
* Remove -Werror from Agda.cabal.
25
 
 
26
 
  (Agda uses code generated by Cabal, Paths_Agda, and under some
27
 
  configurations this code gives rise to warnings.)
28
 
 
29
 
* Ensure that cabal haddock works:
30
 
 
31
 
    cabal configure && cabal haddock
32
 
 
33
 
* Ensure that the Emacs mode can be compiled without errors or
34
 
  warnings (except for the "cl package required at runtime" warning):
35
 
 
36
 
    (cd src/data/emacs-mode && \
37
 
      emacs --batch -L . -f batch-byte-compile *.el; \
38
 
      rm -f *.elc)
39
 
 
40
 
* Tag and build source distributions. (Do not forget to record the
41
 
  changes above first.)
42
 
 
43
 
    VERSION=<version>
44
 
    darcs tag $VERSION
45
 
    cabal configure && cabal sdist && cabal check
46
 
    cabal install
47
 
    darcs dist --dist-name=Agda-$VERSION
48
 
 
49
 
* Ensure that all the packages build properly.
50
 
 
51
 
    BASE=`pwd`
52
 
    cd ${TMPDIR:-/tmp}
53
 
    tar xzf $BASE/Agda-$VERSION.tar.gz
54
 
    cd Agda-$VERSION
55
 
    make install CABAL_OPTIONS="--prefix=$PWD/usr"
56
 
    autoconf
57
 
    ./configure
58
 
    make test
59
 
    tar xzf $BASE/dist/Agda-$VERSION.tar.gz
60
 
    cd Agda-$VERSION
61
 
    cabal install
62
 
    cd ..
63
 
 
64
 
  Do not forget to test the Emacs mode.
65
 
 
66
 
* Upload the Cabal package using cabal upload.
67
 
 
68
 
    cd $BASE
69
 
    cabal upload dist/Agda-$VERSION.tar.gz
70
 
 
71
 
* Upload the darcs tar-ball to code.haskell.org.
72
 
 
73
 
    scp Agda-$VERSION.tar.gz code.haskell.org:/srv/code/Agda/
74
 
 
75
 
* Update the download page on the Agda Wiki.
76
 
 
77
 
* Announce the release of the new version on the Agda mailing list.
78
 
 
79
 
* Update the version numbers again, so that released and development
80
 
  versions are not confused, and remove the "this" source-repository
81
 
  section from the Cabal file. (This would be unnecessary if we had
82
 
  two repositories, one stable and one for development.)
83
 
 
84
 
* Push all changes.
85
 
 
86
 
    darcs push