branch master updated (0b30a1a -> 89647ff)

[guix-commits]

bavier pushed a change to branch master
in repository guix.

      from  0b30a1a   build-system/linux-module: Configure module like the 
kernel.
       new  a4df9ba   gnu: idris: Upgrade to 1.3.1.
       new  fb038f3   gnu: Add ghc-libffi.
       new  e16bc71   gnu: idris: Enable FFI and GMP support.
       new  89647ff   gnu: idris: Run tests.

The 4 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails.  The revisions
listed as "adds" were already present in the repository and have only
been added to this reference.


Summary of changes:
 gnu/local.mk                                  |  1 +
 gnu/packages/haskell.scm                      | 24 ++++++++++-
 gnu/packages/idris.scm                        | 36 +++++++++++-----
 gnu/packages/patches/idris-test-no-node.patch | 61 +++++++++++++++++++++++++++
 4 files changed, 110 insertions(+), 12 deletions(-)
 create mode 100644 gnu/packages/patches/idris-test-no-node.patch