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.

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

Release Agda 2.4.2.3 supporting GHC 7.10.1 #1482

Closed
GoogleCodeExporter opened this Issue Aug 8, 2015 · 30 comments

Comments

Projects
None yet
2 participants
@GoogleCodeExporter

GoogleCodeExporter commented Aug 8, 2015

The current released version (Agda 2.4.2.2) doesn't compile with GHC 7.10.1. 

We should release a version of Agda supporting GHC 7.10.1. Opinions?

At the moment, there is not open issues for the milestone 2.4.2.3, that is, we 
could release the current version in maint-2.4.2 (Agda 2.4.2.3) which supports 
GHC 7.10.1.

I could make this task.

Who could release a version of the standard library compatible with Agda 
2.4.2.3? I'm not sure if it's desirable back-port some commits from the master 
branch into the 2.4.2.3 branch before the release.

Original issue reported on code.google.com by andres.s...@gmail.com on 6 Apr 2015 at 4:09

@GoogleCodeExporter

This comment has been minimized.

Show comment
Hide comment
@GoogleCodeExporter

GoogleCodeExporter Aug 8, 2015

I don't know what the status of the so-called maintenance branch is. One option 
that you did not include above is to make 2.4.2.2 compatible with GHC 7.10.1 
(plus new libraries and tools) and release version 2.4.2.3.

Original comment by nils.anders.danielsson on 7 Apr 2015 at 8:08

GoogleCodeExporter commented Aug 8, 2015

I don't know what the status of the so-called maintenance branch is. One option 
that you did not include above is to make 2.4.2.2 compatible with GHC 7.10.1 
(plus new libraries and tools) and release version 2.4.2.3.

Original comment by nils.anders.danielsson on 7 Apr 2015 at 8:08

@GoogleCodeExporter

This comment has been minimized.

Show comment
Hide comment
@GoogleCodeExporter

GoogleCodeExporter Aug 8, 2015

I think maint-2.4.2 is in a good shape. Moreover, in this branch some issues 
were fixed including some regressions.

Original comment by andres.s...@gmail.com on 7 Apr 2015 at 12:10

GoogleCodeExporter commented Aug 8, 2015

I think maint-2.4.2 is in a good shape. Moreover, in this branch some issues 
were fixed including some regressions.

Original comment by andres.s...@gmail.com on 7 Apr 2015 at 12:10

@GoogleCodeExporter

This comment has been minimized.

Show comment
Hide comment
@GoogleCodeExporter

GoogleCodeExporter Aug 8, 2015

Original comment by andres.s...@gmail.com on 6 May 2015 at 11:47

  • Changed title: Release Agda 2.4.2.3 supporting GHC 7.10.1
  • Changed state: Accepted

GoogleCodeExporter commented Aug 8, 2015

Original comment by andres.s...@gmail.com on 6 May 2015 at 11:47

  • Changed title: Release Agda 2.4.2.3 supporting GHC 7.10.1
  • Changed state: Accepted
@GoogleCodeExporter

This comment has been minimized.

Show comment
Hide comment
@GoogleCodeExporter

GoogleCodeExporter Aug 8, 2015

Original comment by andres.s...@gmail.com on 6 May 2015 at 11:55

GoogleCodeExporter commented Aug 8, 2015

Original comment by andres.s...@gmail.com on 6 May 2015 at 11:55

@GoogleCodeExporter

This comment has been minimized.

Show comment
Hide comment
@GoogleCodeExporter

GoogleCodeExporter Aug 8, 2015

Original comment by andres.s...@gmail.com on 6 May 2015 at 2:10

GoogleCodeExporter commented Aug 8, 2015

Original comment by andres.s...@gmail.com on 6 May 2015 at 2:10

@GoogleCodeExporter

This comment has been minimized.

Show comment
Hide comment
@GoogleCodeExporter

GoogleCodeExporter Aug 8, 2015

Original comment by andres.s...@gmail.com on 6 May 2015 at 2:13

GoogleCodeExporter commented Aug 8, 2015

Original comment by andres.s...@gmail.com on 6 May 2015 at 2:13

@GoogleCodeExporter

This comment has been minimized.

Show comment
Hide comment
@GoogleCodeExporter

GoogleCodeExporter Aug 8, 2015

I would not consider issue 1484 blocking.

Original comment by andreas....@gmail.com on 6 May 2015 at 4:34

GoogleCodeExporter commented Aug 8, 2015

I would not consider issue 1484 blocking.

Original comment by andreas....@gmail.com on 6 May 2015 at 4:34

@GoogleCodeExporter

This comment has been minimized.

Show comment
Hide comment
@GoogleCodeExporter

GoogleCodeExporter Aug 8, 2015

No issue blocking the release. Great!

Original comment by andres.s...@gmail.com on 6 May 2015 at 4:42

GoogleCodeExporter commented Aug 8, 2015

No issue blocking the release. Great!

Original comment by andres.s...@gmail.com on 6 May 2015 at 4:42

@GoogleCodeExporter

This comment has been minimized.

Show comment
Hide comment
@GoogleCodeExporter

GoogleCodeExporter Aug 8, 2015

Original comment by andres.s...@gmail.com on 11 May 2015 at 12:18

GoogleCodeExporter commented Aug 8, 2015

Original comment by andres.s...@gmail.com on 11 May 2015 at 12:18

@GoogleCodeExporter

This comment has been minimized.

Show comment
Hide comment
@GoogleCodeExporter

GoogleCodeExporter Aug 8, 2015

Original comment by andres.s...@gmail.com on 11 May 2015 at 12:27

GoogleCodeExporter commented Aug 8, 2015

Original comment by andres.s...@gmail.com on 11 May 2015 at 12:27

@GoogleCodeExporter

This comment has been minimized.

Show comment
Hide comment
@GoogleCodeExporter

GoogleCodeExporter Aug 8, 2015

Original comment by andres.s...@gmail.com on 14 May 2015 at 1:15

GoogleCodeExporter commented Aug 8, 2015

Original comment by andres.s...@gmail.com on 14 May 2015 at 1:15

@GoogleCodeExporter

This comment has been minimized.

Show comment
Hide comment
@GoogleCodeExporter

GoogleCodeExporter Aug 8, 2015

Original comment by andres.s...@gmail.com on 15 May 2015 at 12:39

GoogleCodeExporter commented Aug 8, 2015

Original comment by andres.s...@gmail.com on 15 May 2015 at 12:39

@GoogleCodeExporter

This comment has been minimized.

Show comment
Hide comment
@GoogleCodeExporter

GoogleCodeExporter Aug 8, 2015

For this release, I had planned to use the new package candidates feature from
Hackage, but it seems this feature is not fully implemented (see
haskell/hackage-server#41).

Original comment by andres.s...@gmail.com on 15 May 2015 at 11:57

GoogleCodeExporter commented Aug 8, 2015

For this release, I had planned to use the new package candidates feature from
Hackage, but it seems this feature is not fully implemented (see
haskell/hackage-server#41).

Original comment by andres.s...@gmail.com on 15 May 2015 at 11:57

@GoogleCodeExporter

This comment has been minimized.

Show comment
Hide comment
@GoogleCodeExporter

GoogleCodeExporter Aug 8, 2015

I have "frozen" the maint-2.4.2 branch in the commit 
https://github.com/agda/agda/commit/671c30185f3be1ca626ec73940edc013b02fbb9f 
for realising purpose.

Original comment by andres.s...@gmail.com on 16 May 2015 at 3:41

  • Changed state: Started

GoogleCodeExporter commented Aug 8, 2015

I have "frozen" the maint-2.4.2 branch in the commit 
https://github.com/agda/agda/commit/671c30185f3be1ca626ec73940edc013b02fbb9f 
for realising purpose.

Original comment by andres.s...@gmail.com on 16 May 2015 at 3:41

  • Changed state: Started
@GoogleCodeExporter

This comment has been minimized.

Show comment
Hide comment
@GoogleCodeExporter

GoogleCodeExporter Aug 8, 2015

Original comment by andres.s...@gmail.com on 16 May 2015 at 2:23

GoogleCodeExporter commented Aug 8, 2015

Original comment by andres.s...@gmail.com on 16 May 2015 at 2:23

@GoogleCodeExporter

This comment has been minimized.

Show comment
Hide comment
@GoogleCodeExporter

GoogleCodeExporter Aug 8, 2015

I have tested the release candidate in 
http://www1.eafit.edu.co/asr/tmp/Agda-2.4.2.3.tar.gz with GHC 7.4.2, 7.6.3, 
7.8.4 and 7.10.1 using Ubuntu 12.04 64-bits.

Could someone test the release candidate with Windows and Mac OS using the 
following instructions:

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

Original comment by andres.s...@gmail.com on 16 May 2015 at 5:44

  • Changed state: InfoNeeded

GoogleCodeExporter commented Aug 8, 2015

I have tested the release candidate in 
http://www1.eafit.edu.co/asr/tmp/Agda-2.4.2.3.tar.gz with GHC 7.4.2, 7.6.3, 
7.8.4 and 7.10.1 using Ubuntu 12.04 64-bits.

Could someone test the release candidate with Windows and Mac OS using the 
following instructions:

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

Original comment by andres.s...@gmail.com on 16 May 2015 at 5:44

  • Changed state: InfoNeeded
@GoogleCodeExporter

This comment has been minimized.

Show comment
Hide comment
@GoogleCodeExporter

GoogleCodeExporter Aug 8, 2015

I think it is a good idea to announce a release candidate in Agda mailing lists 
(users and developers) before the release. I'll do it.

Original comment by andres.s...@gmail.com on 16 May 2015 at 10:07

GoogleCodeExporter commented Aug 8, 2015

I think it is a good idea to announce a release candidate in Agda mailing lists 
(users and developers) before the release. I'll do it.

Original comment by andres.s...@gmail.com on 16 May 2015 at 10:07

@GoogleCodeExporter

This comment has been minimized.

Show comment
Hide comment
@GoogleCodeExporter

GoogleCodeExporter Aug 8, 2015

Original comment by andres.s...@gmail.com on 16 May 2015 at 10:52

GoogleCodeExporter commented Aug 8, 2015

Original comment by andres.s...@gmail.com on 16 May 2015 at 10:52

@GoogleCodeExporter

This comment has been minimized.

Show comment
Hide comment
@GoogleCodeExporter

GoogleCodeExporter Aug 8, 2015

I made a mistake in the announce of the release candidate. The .tar.gz file
shouldn't be all the Agda tree, but only the Hackage part.

I realised I can use GitHub Wiki pages for loading and linking the right
.tar.gz file. I won't do a new announce, though.

Original comment by andres.s...@gmail.com on 19 May 2015 at 6:11

  • Changed state: Started

GoogleCodeExporter commented Aug 8, 2015

I made a mistake in the announce of the release candidate. The .tar.gz file
shouldn't be all the Agda tree, but only the Hackage part.

I realised I can use GitHub Wiki pages for loading and linking the right
.tar.gz file. I won't do a new announce, though.

Original comment by andres.s...@gmail.com on 19 May 2015 at 6:11

  • Changed state: Started
@GoogleCodeExporter

This comment has been minimized.

Show comment
Hide comment
@GoogleCodeExporter

GoogleCodeExporter Aug 8, 2015

Original comment by andres.s...@gmail.com on 22 May 2015 at 5:25

  • Now blocked on: #223

GoogleCodeExporter commented Aug 8, 2015

Original comment by andres.s...@gmail.com on 22 May 2015 at 5:25

  • Now blocked on: #223
@GoogleCodeExporter

This comment has been minimized.

Show comment
Hide comment
@GoogleCodeExporter

GoogleCodeExporter Aug 8, 2015

Original comment by andres.s...@gmail.com on 22 May 2015 at 6:03

GoogleCodeExporter commented Aug 8, 2015

Original comment by andres.s...@gmail.com on 22 May 2015 at 6:03

@GoogleCodeExporter

This comment has been minimized.

Show comment
Hide comment
@GoogleCodeExporter

GoogleCodeExporter Aug 8, 2015

When I try to build the RC on my system (ghc 7.10), I get these conflicts

abel@agda2:~/tmp/agda-2.4.2.2.20150518$ make install-bin test
cabal install --disable-library-profiling --disable-documentation 
--builddir=./dist-2.4.2.2.20150518 --program-suffix=-2.4.2.2.20150518
Resolving dependencies...
In order, the following would be installed:
cpphs-1.19 (via: haskell-src-exts-1.16.0.1) (reinstall) (changes: 
directory-1.2.2.0 -> 1.2.2.1)
haskeline-0.7.2.1 (via: Agda-2.4.2.2.20150518) (reinstall) (changes: 
directory-1.2.2.0 -> 1.2.2.1, filepath-1.4.0.0 -> 1.3.0.1)
haskell-src-exts-1.16.0.1 (via: Agda-2.4.2.2.20150518) (reinstall)
process-1.2.3.0 (via: Agda-2.4.2.2.20150518) (reinstall) (changes: 
directory-1.2.2.0 -> 1.2.2.1, filepath-1.4.0.0 -> 1.3.0.1)
Agda-2.4.2.2.20150518 (new version)
cabal: The following packages are likely to be broken by the reinstalls:
Agda-2.4.3
Agda-2.4.2.3
tasty-silver-3.1.7
process-extras-0.3.3.4
optparse-applicative-0.11.0.2
tasty-0.10.1.2
ghc-7.10.1
Cabal-1.22.2.0
Use --force-reinstalls if you want to install anyway.
make: *** [install-bin] Error 1

Forcing this installation is not an option as it breaks ghc-7.10.1.  Thus, a 
sandbox is the only option for me.
Not sure whether anything can be done about this.

$ ghc-pkg list
/usr/local/lib/ghc-7.10.1/package.conf.d
   Cabal-1.22.2.0
   array-0.5.1.0
   base-4.8.0.0
   bin-package-db-0.0.0.0
   binary-0.7.3.0
   bytestring-0.10.6.0
   containers-0.5.6.2
   deepseq-1.4.1.1
   directory-1.2.2.0
   filepath-1.4.0.0
   ghc-7.10.1
   ghc-prim-0.4.0.0
   haskeline-0.7.2.1
   hoopl-3.10.0.2
   hpc-0.6.0.2
   integer-gmp-1.0.0.0
   pretty-1.1.2.0
   process-1.2.3.0
   rts-1.0
   template-haskell-2.10.0.0
   terminfo-0.4.0.1
   time-1.5.0.1
   transformers-0.4.2.0
   unix-2.7.1.0
   xhtml-3000.2.1
/home/abel/.ghc/x86_64-linux-7.10.1/package.conf.d
   Agda-2.4.2.3
   Agda-2.4.3
   HTTP-4000.2.19
   ListLike-4.2.0
   QuickCheck-2.8.1
   STMonadTrans-0.3.3
   ansi-terminal-0.6.2.1
   ansi-wl-pprint-0.6.7.2
   async-2.0.2
   boxes-0.1.4
   cpphs-1.19
   data-hash-0.2.0.0
   directory-1.2.2.1
   dlist-0.7.1.1
   edit-distance-0.2.1.3
   equivalence-0.3.1
   exceptions-0.8.0.2
   filemanip-0.3.6.3
   filepath-1.3.0.1
   fmlist-0.9
   geniplate-mirror-0.6.0.6
   hashable-1.2.3.2
   hashtables-1.2.0.2
   haskell-src-exts-1.16.0.1
   mtl-2.2.1
   network-2.6.1.0
   network-uri-2.6.0.3
   old-locale-1.0.0.7
   old-time-1.1.0.3
   optparse-applicative-0.11.0.2
   parallel-3.2.0.6
   parsec-3.1.9
   polyparse-1.11
   primitive-0.6
   process-extras-0.3.3.4
   random-1.1
   regex-base-0.93.2
   regex-tdfa-1.2.0
   regex-tdfa-rc-1.1.8.3
   split-0.2.2
   stm-2.4.4
   strict-0.3.2
   tagged-0.8.0.1
   tasty-0.10.1.2
   tasty-silver-3.1.7
   temporary-1.2.0.3
   text-1.2.0.6
   tf-random-0.5
   transformers-compat-0.4.0.4
   unbounded-delays-0.1.0.9
   unix-compat-0.4.1.4
   unordered-containers-0.2.5.1
   vector-0.10.12.3
   zlib-0.5.4.2
   zlib-0.6.1.0

Original comment by andreas....@gmail.com on 22 May 2015 at 9:32

GoogleCodeExporter commented Aug 8, 2015

When I try to build the RC on my system (ghc 7.10), I get these conflicts

abel@agda2:~/tmp/agda-2.4.2.2.20150518$ make install-bin test
cabal install --disable-library-profiling --disable-documentation 
--builddir=./dist-2.4.2.2.20150518 --program-suffix=-2.4.2.2.20150518
Resolving dependencies...
In order, the following would be installed:
cpphs-1.19 (via: haskell-src-exts-1.16.0.1) (reinstall) (changes: 
directory-1.2.2.0 -> 1.2.2.1)
haskeline-0.7.2.1 (via: Agda-2.4.2.2.20150518) (reinstall) (changes: 
directory-1.2.2.0 -> 1.2.2.1, filepath-1.4.0.0 -> 1.3.0.1)
haskell-src-exts-1.16.0.1 (via: Agda-2.4.2.2.20150518) (reinstall)
process-1.2.3.0 (via: Agda-2.4.2.2.20150518) (reinstall) (changes: 
directory-1.2.2.0 -> 1.2.2.1, filepath-1.4.0.0 -> 1.3.0.1)
Agda-2.4.2.2.20150518 (new version)
cabal: The following packages are likely to be broken by the reinstalls:
Agda-2.4.3
Agda-2.4.2.3
tasty-silver-3.1.7
process-extras-0.3.3.4
optparse-applicative-0.11.0.2
tasty-0.10.1.2
ghc-7.10.1
Cabal-1.22.2.0
Use --force-reinstalls if you want to install anyway.
make: *** [install-bin] Error 1

Forcing this installation is not an option as it breaks ghc-7.10.1.  Thus, a 
sandbox is the only option for me.
Not sure whether anything can be done about this.

$ ghc-pkg list
/usr/local/lib/ghc-7.10.1/package.conf.d
   Cabal-1.22.2.0
   array-0.5.1.0
   base-4.8.0.0
   bin-package-db-0.0.0.0
   binary-0.7.3.0
   bytestring-0.10.6.0
   containers-0.5.6.2
   deepseq-1.4.1.1
   directory-1.2.2.0
   filepath-1.4.0.0
   ghc-7.10.1
   ghc-prim-0.4.0.0
   haskeline-0.7.2.1
   hoopl-3.10.0.2
   hpc-0.6.0.2
   integer-gmp-1.0.0.0
   pretty-1.1.2.0
   process-1.2.3.0
   rts-1.0
   template-haskell-2.10.0.0
   terminfo-0.4.0.1
   time-1.5.0.1
   transformers-0.4.2.0
   unix-2.7.1.0
   xhtml-3000.2.1
/home/abel/.ghc/x86_64-linux-7.10.1/package.conf.d
   Agda-2.4.2.3
   Agda-2.4.3
   HTTP-4000.2.19
   ListLike-4.2.0
   QuickCheck-2.8.1
   STMonadTrans-0.3.3
   ansi-terminal-0.6.2.1
   ansi-wl-pprint-0.6.7.2
   async-2.0.2
   boxes-0.1.4
   cpphs-1.19
   data-hash-0.2.0.0
   directory-1.2.2.1
   dlist-0.7.1.1
   edit-distance-0.2.1.3
   equivalence-0.3.1
   exceptions-0.8.0.2
   filemanip-0.3.6.3
   filepath-1.3.0.1
   fmlist-0.9
   geniplate-mirror-0.6.0.6
   hashable-1.2.3.2
   hashtables-1.2.0.2
   haskell-src-exts-1.16.0.1
   mtl-2.2.1
   network-2.6.1.0
   network-uri-2.6.0.3
   old-locale-1.0.0.7
   old-time-1.1.0.3
   optparse-applicative-0.11.0.2
   parallel-3.2.0.6
   parsec-3.1.9
   polyparse-1.11
   primitive-0.6
   process-extras-0.3.3.4
   random-1.1
   regex-base-0.93.2
   regex-tdfa-1.2.0
   regex-tdfa-rc-1.1.8.3
   split-0.2.2
   stm-2.4.4
   strict-0.3.2
   tagged-0.8.0.1
   tasty-0.10.1.2
   tasty-silver-3.1.7
   temporary-1.2.0.3
   text-1.2.0.6
   tf-random-0.5
   transformers-compat-0.4.0.4
   unbounded-delays-0.1.0.9
   unix-compat-0.4.1.4
   unordered-containers-0.2.5.1
   vector-0.10.12.3
   zlib-0.5.4.2
   zlib-0.6.1.0

Original comment by andreas....@gmail.com on 22 May 2015 at 9:32

@GoogleCodeExporter

This comment has been minimized.

Show comment
Hide comment
@GoogleCodeExporter

GoogleCodeExporter Aug 8, 2015

I get issue 1518 also for the RC:

  Skipping Data.Nat.DivMod (/home/abel/tmp/agda-2.4.2.2.20150518/agda-stdlib/src/Data/Nat/DivMod.agdai).
  Checking Issue846.DivModUtils (/home/abel/tmp/agda-2.4.2.2.20150518/test/lib-succeed/Issue846/DivModUtils.agda).
         Skipping Algebra.Properties.Lattice (/home/abel/tmp/agda-2.4.2.2.20150518/agda-stdlib/src/Algebra/Properties/Lattice.agdai).
        Skipping Algebra.Properties.DistributiveLattice (/home/abel/tmp/agda-2.4.2.2.20150518/agda-stdlib/src/Algebra/Properties/DistributiveLattice.agdai).
       Skipping Algebra.Properties.BooleanAlgebra (/home/abel/tmp/agda-2.4.2.2.20150518/agda-stdlib/src/Algebra/Properties/BooleanAlgebra.agdai).
      Skipping Data.Bool.Properties (/home/abel/tmp/agda-2.4.2.2.20150518/agda-stdlib/src/Data/Bool/Properties.agdai).
bash: line 1:  1685 Segmentation fault      (core dumped) 
/home/abel/tmp/agda-2.4.2.2.20150518/dist-2.4.2.2.20150518/build/agda/agda -i. 
-i../../std-lib -i../../std-lib/src -v1 +RTS -H1G -M1.5G -RTS Issue846.agda

real    0m1.830s
user    0m1.616s
sys 0m0.120s
make[1]: *** [Issue846.test] Error 139
make[1]: Leaving directory 
`/home/abel/tmp/agda-2.4.2.2.20150518/test/lib-succeed'
make: *** [lib-succeed] Error 2

Original comment by andreas....@gmail.com on 22 May 2015 at 9:43

GoogleCodeExporter commented Aug 8, 2015

I get issue 1518 also for the RC:

  Skipping Data.Nat.DivMod (/home/abel/tmp/agda-2.4.2.2.20150518/agda-stdlib/src/Data/Nat/DivMod.agdai).
  Checking Issue846.DivModUtils (/home/abel/tmp/agda-2.4.2.2.20150518/test/lib-succeed/Issue846/DivModUtils.agda).
         Skipping Algebra.Properties.Lattice (/home/abel/tmp/agda-2.4.2.2.20150518/agda-stdlib/src/Algebra/Properties/Lattice.agdai).
        Skipping Algebra.Properties.DistributiveLattice (/home/abel/tmp/agda-2.4.2.2.20150518/agda-stdlib/src/Algebra/Properties/DistributiveLattice.agdai).
       Skipping Algebra.Properties.BooleanAlgebra (/home/abel/tmp/agda-2.4.2.2.20150518/agda-stdlib/src/Algebra/Properties/BooleanAlgebra.agdai).
      Skipping Data.Bool.Properties (/home/abel/tmp/agda-2.4.2.2.20150518/agda-stdlib/src/Data/Bool/Properties.agdai).
bash: line 1:  1685 Segmentation fault      (core dumped) 
/home/abel/tmp/agda-2.4.2.2.20150518/dist-2.4.2.2.20150518/build/agda/agda -i. 
-i../../std-lib -i../../std-lib/src -v1 +RTS -H1G -M1.5G -RTS Issue846.agda

real    0m1.830s
user    0m1.616s
sys 0m0.120s
make[1]: *** [Issue846.test] Error 139
make[1]: Leaving directory 
`/home/abel/tmp/agda-2.4.2.2.20150518/test/lib-succeed'
make: *** [lib-succeed] Error 2

Original comment by andreas....@gmail.com on 22 May 2015 at 9:43

@GoogleCodeExporter

This comment has been minimized.

Show comment
Hide comment
@GoogleCodeExporter

GoogleCodeExporter Aug 8, 2015

Can you fix #22 using

  make install-bin CABAL_OPTS=--constraint=directory==1.2.2.0

?

Original comment by andres.s...@gmail.com on 22 May 2015 at 9:50

GoogleCodeExporter commented Aug 8, 2015

Can you fix #22 using

  make install-bin CABAL_OPTS=--constraint=directory==1.2.2.0

?

Original comment by andres.s...@gmail.com on 22 May 2015 at 9:50

@GoogleCodeExporter

This comment has been minimized.

Show comment
Hide comment
@GoogleCodeExporter

GoogleCodeExporter Aug 8, 2015

I couldn't reproduce #23:

  $ make lib-succeed
  ...
  Finished SizeInconsistentMeta4.

  real  0m4.903s
  user  0m4.543s
  sys   0m0.348s
  make[1]: Leaving directory `/tmp/agda-2.4.2.2.20150518/test/lib-succeed'

Original comment by andres.s...@gmail.com on 22 May 2015 at 10:25

GoogleCodeExporter commented Aug 8, 2015

I couldn't reproduce #23:

  $ make lib-succeed
  ...
  Finished SizeInconsistentMeta4.

  real  0m4.903s
  user  0m4.543s
  sys   0m0.348s
  make[1]: Leaving directory `/tmp/agda-2.4.2.2.20150518/test/lib-succeed'

Original comment by andres.s...@gmail.com on 22 May 2015 at 10:25

@GoogleCodeExporter

This comment has been minimized.

Show comment
Hide comment
@GoogleCodeExporter

GoogleCodeExporter Aug 8, 2015

Original comment by andres.s...@gmail.com on 22 May 2015 at 10:26

  • Changed state: InfoNeeded

GoogleCodeExporter commented Aug 8, 2015

Original comment by andres.s...@gmail.com on 22 May 2015 at 10:26

  • Changed state: InfoNeeded
@GoogleCodeExporter

This comment has been minimized.

Show comment
Hide comment
@GoogleCodeExporter

GoogleCodeExporter Aug 8, 2015

> Forcing this installation is not an option as it breaks ghc-7.10.1

I guess this is because directory-1.2.2.0 is shipped with GHC 7.10.1 and you 
are using directory-1.2.2.1.

Original comment by andres.s...@gmail.com on 22 May 2015 at 10:40

GoogleCodeExporter commented Aug 8, 2015

> Forcing this installation is not an option as it breaks ghc-7.10.1

I guess this is because directory-1.2.2.0 is shipped with GHC 7.10.1 and you 
are using directory-1.2.2.1.

Original comment by andres.s...@gmail.com on 22 May 2015 at 10:40

@GoogleCodeExporter

This comment has been minimized.

Show comment
Hide comment
@GoogleCodeExporter

GoogleCodeExporter Aug 8, 2015

Starting the release...

Original comment by andres.s...@gmail.com on 25 May 2015 at 1:52

  • Changed state: Started

GoogleCodeExporter commented Aug 8, 2015

Starting the release...

Original comment by andres.s...@gmail.com on 25 May 2015 at 1:52

  • Changed state: Started
@GoogleCodeExporter

This comment has been minimized.

Show comment
Hide comment
@GoogleCodeExporter

GoogleCodeExporter Aug 8, 2015

Great, thanks.  So we get it out before AIM XXI.

Original comment by andreas....@gmail.com on 25 May 2015 at 3:24

GoogleCodeExporter commented Aug 8, 2015

Great, thanks.  So we get it out before AIM XXI.

Original comment by andreas....@gmail.com on 25 May 2015 at 3:24

@GoogleCodeExporter

This comment has been minimized.

Show comment
Hide comment
@GoogleCodeExporter

GoogleCodeExporter Aug 8, 2015

Done!

Original comment by andres.s...@gmail.com on 26 May 2015 at 12:22

  • Changed state: Fixed

GoogleCodeExporter commented Aug 8, 2015

Done!

Original comment by andres.s...@gmail.com on 26 May 2015 at 12:22

  • Changed state: Fixed

@asr asr added the type: task label Aug 16, 2015

asr added a commit that referenced this issue Sep 14, 2015

[ Makefile ] Removed RELEASE variable.
The variable was added in
ae56973
because in the release candidate Makefile, the $VERSION variable was
empty. However, the release candidates shouldn't include the Makefile
(see #1482 (comment)).
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment