Agda: Fix broken --with-emacs option
Changes the dependency on Emacs from optional to recommended.
Fixes compilation of the Emacs mode by patching the code to add a
dependency on the fontset Emacs package. The patch is intended to
be removed once https://github.com/agda/agda/pull/1700 is merged.
FixesHomebrew/homebrew#45322.
Agda: Fix broken --with-malonzo-ffi option
Removes the --with-malonzo-ffi option, as the FFI bindings for the
MAlonzo backend are part of the Agda standard library.
Improves the attempt to compile and install the FFI bindings by
using a dedicated GHC package database, and cleaning up leftover
build products.
Ensures the test using the FFI bindings references them properly.
Adds a caveats section explaining how to reference the standard
library.
FixesHomebrew/homebrew#45321.
Agda: Fix test failures
Adds a dependency on GHC, in order to support compiling programs to
native code using the MAlonzo backend. Installing GHC can be
disabled using the --without-malonzo option.
Ensures the tests using the MAlonzo backend are run only when GHC is
installed.
Ensures the test using the standard library's FFI bindings for the
MAlonzo backend is run properly.
FixesHomebrew/homebrew#45318.
Agda: Fix installation of unnecessary files
Installs the standard library's helper tools within the Cabal
sandbox already used as part of the build process.
Improves the standard library build process by cleaning up leftover
build products.
FixesHomebrew/homebrew#45320.
Agda: Satisfy brew audit agda --strict --online
Agda: Fix standard library version and revision
ClosesHomebrew/homebrew#45327.
Signed-off-by: Mike McQuaid <mike@mikemcquaid.com>
