[Agda] Packaging Agda and compiling it ahead of time

Alex ter Weele alex.ter.weele at gmail.com
Sun Mar 4 17:45:29 CET 2018

Hello all,

I am packaging Agda for Guix. With my package, when I try to load or
compile an Agda file, I see

    $ agda test.agda
    openBinaryFile: permission denied (Read-only file system)

/gnu/store is the immutable store where Guix packages live and is
mounted as read-only to regular users. It looks like the compiler is
trying to write an interface file in its installed location in the
store. Is there a way to generate all agdai files when
compiling/installing Agda itself?


More information about the Agda mailing list