Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Release Agda 2.5.1 release candidate 2 #1845

Closed
asr opened this issue Feb 15, 2016 · 8 comments
Closed

Release Agda 2.5.1 release candidate 2 #1845

asr opened this issue Feb 15, 2016 · 8 comments
Assignees
@asr
Labels
type: task Concerning the development of Agda (not in changelog)
Milestone
2.5.1

Comments

@asr
Copy link
Member

asr commented Feb 15, 2016

I'm using this issue for keeping track of some changes related to RC 2.

Last update: 2016-02-23
@asr asr added the type: task Concerning the development of Agda (not in changelog) label Feb 15, 2016
@asr asr self-assigned this Feb 15, 2016
@asr asr mentioned this issue Feb 16, 2016
Closed
This was referenced Feb 22, 2016
Closed
Closed
@UlfNorell UlfNorell added this to the 2.5.1 milestone Mar 2, 2016
@UlfNorell UlfNorell mentioned this issue Mar 2, 2016
Closed
@asr
Copy link
Member Author

asr commented Apr 6, 2016

I think we can release RC 2. Any objection?

I would like release 2.5.1 before the next Agda meeting.

@UlfNorell
Copy link
Member

Yes I agree. I don't think any of the still open issues tagged with 2.5.1 are super serious and we could very well bump them to the next release.

@asr
Copy link
Member Author

asr commented Apr 11, 2016

Blocked on #1928.

@asr
Copy link
Member Author

asr commented Apr 12, 2016

Starting...

@asr
Copy link
Member Author

asr commented Apr 12, 2016

I have tested the installation of the second RC Agda-2.5.0.20160412.tar.gz in Ubuntu 12.04.5 64-bits with:

  • GHC 7.6.3, 7.8.4 and 7.10.3, and
  • GHC 7.10.3 and the uhc flag

Could someone test the installation of the second RC on Windows and/or Mac OS using the following instructions:

  $ tar xzf Agda-2.5.0.20160412.tar.gz
  $ cd Agda-2.5.0.20160412
  $ cabal install

If you have Mac OS and GHC 7.10.*, please also test

$ cabal install -f uhc

@UlfNorell
Copy link
Member

  • Windows 8.1, ghc-7.10.3
  • Mac OS X 10.10, ghc-7.10.3
  • Mac OS X 10.10, ghc-7.10.3 -f uhc

@UlfNorell
Copy link
Member

All good.

asr added a commit that referenced this issue Apr 13, 2016
@asr
[ 2.5.1 RC 2, #1845 ] Bumped version to 2.5.0.20160412.
dbc5226
asr added a commit that referenced this issue Apr 13, 2016
@asr
[ 2.5.1 RC 2, #1845 ] Removed -Werror and -fprof-auto from Agda.cabal.
b71831b
asr added a commit that referenced this issue Apr 13, 2016
@asr
[ 2.5.1 RC 2, #1845 ] Removed test-suite section from Agda.cabal.
f852159
asr added a commit that referenced this issue Apr 13, 2016
@asr
Revert "[ 2.5.1 RC 2, #1845 ] Removed test-suite section from Agda.ca…
b0dc8ac 
…bal."

This reverts commit f852159.
asr added a commit that referenced this issue Apr 13, 2016
@asr
Revert "[ 2.5.1 RC 2, #1845 ] Removed -Werror and -fprof-auto from Ag…
8a15560 
…da.cabal."

This reverts commit b71831b.
asr added a commit that referenced this issue Apr 13, 2016
@asr
Revert "[ 2.5.1 RC 2, #1845 ] Bumped version to 2.5.0.20160412."
14b2ea4 
This reverts commit dbc5226.
@asr asr mentioned this issue Apr 13, 2016
Closed
@asr
Copy link
Member Author

asr commented Apr 13, 2016

Done.

@asr asr closed this as completed Apr 13, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@asr asr

Labels
type: task Concerning the development of Agda (not in changelog)
Projects
None yet
Milestone
2.5.1
Development

No branches or pull requests
2 participants
@UlfNorell @asr