[Agda] agda ghc backend executable (re)location

[Nils Anders Danielsson]

On 04/09/2019 04.17, Martin Stone Davis wrote:
> I would like to `agda --compile` but have agda use an
> alternatively-installed ghc.

If you install a recent development version, then I think you can use
"--with-compiler=…".

-- 
/NAD