[Agda] arch inux packaging error?

[Marko Schuetz-Schmuck]

Nils Anders Danielsson <nad at cse.gu.se> writes:

> On 04/03/2019 14.22, Marko Schuetz-Schmuck wrote:
>> I get errors
>> 
>>     /usr/share/agda/lib/stdlib/Data/Nat/Base.agda:9,1-29
>>     /usr/share/agda/lib/stdlib/Level.agdai: removeLink: permission denied (Permission denied)
>
> My guess is that Agda has been updated, but that the interface files for
> the standard library have not been rebuilt using the new version of
> Agda.
>
>> Can someone point me to a(n easy) fix for this?
>
> Install the standard library yourself instead of using the package
> manager.

I did that and at least the simple test now loads.

As an aside the optional step in the README.md

cabal install

triggers errors

Resolving dependencies...
Starting     filemanip-0.3.6.3
Building     filemanip-0.3.6.3
Failed to install filemanip-0.3.6.3
Build log ( /home/marko/.cabal/logs/ghc-8.6.3/filemanip-0.3.6.3-4gIDkmoap4z2kDIgJy5hH.log ):
cabal: Entering directory '/tmp/cabal-tmp-23782/filemanip-0.3.6.3'
Configuring filemanip-0.3.6.3...
Preprocessing library for filemanip-0.3.6.3..
Building library for filemanip-0.3.6.3..
[1 of 4] Compiling System.FilePath.GlobPattern ( System/FilePath/GlobPattern.hs, dist/build/System/FilePath/GlobPattern.o )

System/FilePath/GlobPattern.hs:8:8: error:
    Could not find module ‘Prelude’
    There are files missing in the ‘base-4.12.0.0’ package,
    try running 'ghc-pkg check'.
    Use -v to see a list of the files searched for.
  |
8 | module System.FilePath.GlobPattern (
  |        ^^^^^^^^^^^^^^^^^^^^^^^^^^^

System/FilePath/GlobPattern.hs:17:1: error:
    Could not find module ‘Control.Arrow’
    There are files missing in the ‘base-4.12.0.0’ package,
    try running 'ghc-pkg check'.
    Use -v to see a list of the files searched for.
   |
17 | import Control.Arrow (second)
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

System/FilePath/GlobPattern.hs:18:1: error:
    Could not find module ‘Control.Monad’
    There are files missing in the ‘base-4.12.0.0’ package,
    try running 'ghc-pkg check'.
    Use -v to see a list of the files searched for.
   |
18 | import Control.Monad (msum)
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^

System/FilePath/GlobPattern.hs:19:1: error:
    Could not find module ‘Data.Ix’
    There are files missing in the ‘base-4.12.0.0’ package,
    try running 'ghc-pkg check'.
    Use -v to see a list of the files searched for.
   |
19 | import Data.Ix (Ix, inRange)
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^

System/FilePath/GlobPattern.hs:20:1: error:
    Could not find module ‘Data.List’
    There are files missing in the ‘base-4.12.0.0’ package,
    try running 'ghc-pkg check'.
    Use -v to see a list of the files searched for.
   |
20 | import Data.List (nub)
   | ^^^^^^^^^^^^^^^^^^^^^^

System/FilePath/GlobPattern.hs:21:1: error:
    Could not find module ‘Data.Maybe’
    There are files missing in the ‘base-4.12.0.0’ package,
    try running 'ghc-pkg check'.
    Use -v to see a list of the files searched for.
   |
21 | import Data.Maybe (isJust)
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^

System/FilePath/GlobPattern.hs:22:1: error:
    Could not find module ‘System.FilePath’
    There are files missing in the ‘filepath-1.4.2.1’ package,
    try running 'ghc-pkg check'.
    Use -v to see a list of the files searched for.
   |
22 | import System.FilePath (pathSeparator)
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
cabal: Leaving directory '/tmp/cabal-tmp-23782/filemanip-0.3.6.3'
cabal: Error: some packages failed to install:
filemanip-0.3.6.3-4gIDkmoap4z2kDIgJy5hH failed during the building phase. The
exception was:
ExitFailure 1
lib-0.17-9iY8WpHd3atIW4l1hdJm3E depends on lib-0.17 which failed to install.

Any hints on addressing these?

Thanks and best regards,

Marko
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 194 bytes
Desc: not available
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20190305/52d0d5a7/attachment.sig>