[Agda-dev] Unnecessary message from Cabal test?

[Philipp Hausmann]

Hi,

Just checked, I get the same message. Looks like a minor cabal bug to me.

Cheers,
Philipp


On 05/22/2015 06:16 PM, Andrés Sicard-Ramírez wrote:
> Hi,
>
> Any time I run in maint-2.4.2 or master
>
>   $ make install-bin
>
> I see a message like
>
>   ...
>   In order, the following will be installed:
>   Agda-2.4.2.3 *test (reinstall) (changes: process-extras-0.3.3.4
> added, tasty-0.10.1.2 added, tasty-silver-3.1.7 added,
> temporary-1.2.0.3 added)
>   ...
>
> but Cabal doesn't reinstall the above packages.
>
> Is someone seeing the same message? Is it a Cabal/cabal-install bug?
>
> $ cabal --version
> cabal-install version 1.22.4.0
> using version 1.22.3.0 of the Cabal library
>
> Best,
>


-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: OpenPGP digital signature
Url : http://lists.chalmers.se/pipermail/agda-dev/attachments/20150522/db077644/signature.bin