[Agda] Agda speed in Ubuntu

[Martin Escardo]

On 05/08/2019 14:39, nad at cse.gu.se wrote:
> On 03/08/2019 22.40, Martin Escardo wrote:
>> On 03/08/2019 20:19, nad at cse.gu.se wrote:
>>> On 02/08/2019 23.13, Martin Escardo wrote:
>>>> I copied the tree .cabal from Ubuntu 16.04 to 18.04, given that both
>>>> run ghc 8.0.2, and given that I kept my fingers crossed.
>>>
>>> What did you copy?
>>
>> 1804:~$ mv .cabal cabal-1804
>> 1804:~$ cp -a /<16.04-partition>/home/mhe/.cabal cabal-1604
>> 1804:~$ ln -s ~/cabal-1604 .cabal
>
> OK. This makes me wonder what libraries the two installations use. Can
> you run "ghc-pkg describe Agda-2.6.0.1", first with cabal-1604 active,
> and then with cabal-1804? I'm interested in the "depends" section.

I am afraid this is not finding the information you want:

1804:~$ rm .cabal
1804:~$ ln -s ~/cabal-1604/ .cabal
1804:~$ ghc-pkg describe Agda-2.6.0.1
ghc-pkg: cannot find package Agda-2.6.0.1
1804:~$ agda --version
Agda version 2.6.0.1
14:~$ rm .cabal
1804:~$ ln -s ~/cabal-1804/ .cabal
1804:~$ hash -r
1804:~$ ghc-pkg describe Agda-2.6.0.1
ghc-pkg: cannot find package Agda-2.6.0.1
1804:~$ ls .ghc/
ghci_history
1804:~$ which agda
/home/mhe/.cabal/bin/agda
1804:~$ agda --version
Agda version 2.6.0.1

Martin