[Agda] ANNOUNCE: Agda 2.4.2.2

[Martin Escardo]

I had similar problems. I don't remember exactly how I solved it.

But it involved:

  mv .ghc safe-place
  cabal update
  cabal install cabal-install

and making sure you have ~/.cabal/bin in your shell before you start the 
agda re-installation. Make sure with "which cabal" and "cabal --version".

I think the page I used as a guide was
https://www.fpcomplete.com/user/simonmichael/how-to-cabal-install

(To find it now, I searched for "cabal hell .ghc")

Sorry I can't be more precise, but I did have the same problems as  you, 
and the above is what I can remember.

Martin

On 11/05/15 14:12, Andreas Abel wrote:
> A dump of the error cabal gives might be helpful...
>
> You might have to force-reinstall some more packages.
>
> On 11.05.2015 09:46, Byron Hale wrote:
>> On Ubuntu 14.04 AMD-64, with the latest Haskell Platform, GHC 7.8.3 and
>> cabal-install version 1.22.2.0  installed,
>> "cabal install agda" (2.4.2.2) forces cpphs-1.18.9 -> cpphs-1.19 and
>> haskell-src-exts-1.16.0.1 -> haskell-src-exts-1.19.
>> This happened even when I pre-installed the correct versions of those
>> dependencies.
>> cabal then complains that there is a version conflict and exits with an
>> error.
>>
>> What might fix this?
>>
>> Thanks,
>>
>> Byron Hale
>>
>> On 11/26/2014 07:07 AM, Andrés Sicard-Ramírez wrote:
>>> Hi,
>>>
>>> Agda 2.4.2.2 has been released.
>>>
>>> This is a bug-fix release fixing compilation on Windows and others
>>> issues.
>>>
>>> The standard library 0.9 type-checks with this version of Agda.
>>>
>>> Download with
>>>
>>>   cabal update && cabal install Agda
>>>
>>> or got to
>>> http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Download .
>>>
>>> Important changes since Agda 2.4.2.1 <http://2.4.2.1>:
>>> https://github.com/agda/agda/blob/2.4.2.2/CHANGELOG .
>>>
>>> --
>>> Andrés, on behalf of the Agda team
>>>
>>>
>>> _______________________________________________
>>> Agda mailing list
>>> Agda at lists.chalmers.se
>>> https://lists.chalmers.se/mailman/listinfo/agda
>>
>>
>>
>> _______________________________________________
>> Agda mailing list
>> Agda at lists.chalmers.se
>> https://lists.chalmers.se/mailman/listinfo/agda
>>
>
>

-- 
Martin Escardo
http://www.cs.bham.ac.uk/~mhe