[Agda] --program-suffix using stack
Andreas Nuyts
andreasnuyts at gmail.com
Wed Feb 3 14:32:46 CET 2021
Hi everyone,
According to the installation instructions at
https://agda.readthedocs.io/en/latest/getting-started/installation.html
we should use `make install` to install using stack and `cabal install
Agda-2.6.1 --program-suffix=-2.6.1` to install with suffix -2.6.1.
Naively merging these instructions to `make install
--program-suffix=-2.6.1` is not accepted. Can I install Agda with a
suffix using stack?
Best regards,
Andreas
More information about the Agda
mailing list