Use the nightly stackage cabal.config from 2016-02-08, since it was the
last nightly to contain
< unordered-containers-0.2.5.1 and
< transformers-compat-0.5.1.4 (necessitated by the former)
This avoids a conflict between ‘module HashMap' and 'mapMaybe', and one
between ‘module HashMap’ and ‘alter’.
Once 2.5.1 is released, the hard-coded cabal.config should be removed.
References:
agda/agda@0ee2951agda/agda#1779agda/agda#1840ClosesHomebrew/homebrew#49427.
Signed-off-by: Dominyk Tiller <dominyktiller@gmail.com>
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>
