summaryrefslogtreecommitdiff
path: root/gnu/packages/idris.scm
AgeCommit message (Expand)Author
2019-04-11gnu: idris: Run tests....* gnu/packages/patches/idris-test-no-node.patch: New patch. * gnu/local.mk (dist_patch_DATA): Add it. * gnu/packages/idris.scm (idris)[origin]: Use it. [native-inputs]: New field. [arguments]: Remove "#:tests? #f". Add custom 'check' phase after 'install'. Eric Bavier
2019-04-11gnu: idris: Enable FFI and GMP support....* gnu/packages/idris.scm (idris)[inputs]: Add ghc-libffi. [arguments]: Add "-fFFI" and "-fGMP" to #:configure-flags. Eric Bavier
2019-04-11gnu: idris: Upgrade to 1.3.1....* gnu/packages/idris.scm (idris): Upgrade to 1.3.1. [arguments]: Remove 'update-constraints' phase. Eric Bavier
2018-10-01gnu: idris: Update to 1.3.0....* gnu/packages/idris.scm (idris): Update to 1.3.0. [inputs]: Remove ghc-aeson-1.1.2.0, ghc-cheapskate-0.1.0.5, and ghc-trifecta-1.6.2.1; add ghc-aeson, ghc-cheapskate, and ghc-megaparsec. [arguments]: Add a phase that patches the Cabal file to allow newer versions of aeson. (ghc-aeson-1.1.2.0, ghc-cheapskate-0.1.0.5, ghc-trifecta-1.6.2.1): Remove. Timothy Sample
2018-10-01gnu: ghc-mtl: Remove built-in Haskell package....* gnu/packages/agda.scm (agda)[inputs]: Remove ghc-mtl. * gnu/packages/games.scm (raincat)[inputs]: Remove ghc-mtl. * gnu/packages/haskell-check.scm (ghc-tasty-ant-xml, ghc-tasty-golden, ghc-tasty, ghc-tasty-kat, ghc-tasty-rerun, ghc-crypto-cipher-tests)[inputs]: Remove ghc-mtl. * gnu/packages/haskell-crypto.scm (ghc-asn1-encoding, ghc-pem, ghc-x509, ghc-x509-store, ghc-x509-validation, ghc-x509-system)[inputs]: Remove ghc-mtl. * gnu/packages/haskell-web.scm (ghc-http, ghc-http-conduit, ghc-yesod-core)[inputs]: Remove ghc-mtl. * gnu/packages/haskell.scm (ghc-convertible, ghc-libxml, ghc-cgi, ghc-happy, ghc-haskell-src-exts, ghc-resourcet, cabal-install, ghc-indents, ghc-regex-base, ghc-regex-tdfa-rc, ghc-trifecta, ghc-zip-archive, ghc-logict, ghc-exceptions, ghc-smallcheck, ghc-syb, ghc-fgl, ghc-chasingbottoms, ghc-parsec, ghc-megaparsec, ghc-edisonapi, ghc-edisoncore, ghc-mmorph, ghc-ifelse, ghc-kan-extensions, ghc-lens, ghc-cheapskate, ghc-free, ghc-adjunctions, ghc-equivalence, ghc-texmath, ghc-texmath-for-pandoc-1, ghc-highlighting-kate, ghc-th-reify-many, ghc-th-orphans, ghc-geniplate-mirror, ghc-conduit, ghc-filemanip, ghc-juicypixels, ghc-hslua, ghc-hourglass, ghc-skylighting, ghc-skylighting-for-pandoc-1, ghc-pandoc, ghc-pandoc-1, ghc-pandoc-citeproc, ghc-regex-tdfa, ghc-stmonadtrans, ghc-constraints, ghc-lifted-async, ghc-shelly, ghc-hslogger, ghc-json, shellcheck, ghc-vector-algorithms, ghc-monad-par-extras, ghc-monad-par, ghc-monadrandom, ghc-either, ghc-rebase, ghc-aws, ghc-monad-logger, ghc-persistent, ghc-bytes, ghc-missingh, ghc-operational, ghc-chart)[inputs]: Remove ghc-mtl. (ghc-conduit-combinators)[native-inputs]: Remove ghc-mtl. (ghc-mtl): Remove variable. * gnu/packages/idris.scm (idris)[inputs]: Remove ghc-mtl. * gnu/packages/tls.scm (ghc-tls)[inputs]: Remove ghc-mtl. * gnu/packages/version-control.scm (darcs, git-annex)[inputs]: Remove ghc-mtl. * gnu/packages/wm.scm (xmonad, ghc-xmonad-contrib)[inputs]: Remove ghc-mtl. * gnu/packages/xml.scm (ghc-hxt)[inputs]: Remove ghc-mtl. Timothy Sample
2018-03-15gnu: idris: Provide the right versions of dependencies....Previously it would fail to build. See <https://bugs.gnu.org/30741>. * gnu/packages/idris.scm (idris)[inputs]: alphebetize ghc-vector-binary-instances and ghc-async. Use ghc-aeson-1.1.2.0, ghc-cheapskate-0.1.0.5, and ghc-trifecta-1.6.2.1. Remove ghc-aeson, ghc-cheapskate, ghc-parsers, ghc-tasty, ghc-tasty-golden, ghc-tasty-rerun, ghc-trifecta, and ghc-zlib. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Alex ter Weele
2018-03-15gnu: Add ghc-cheapskate-0.1.0.5....* gnu/packages/idris.scm (ghc-cheapskate-0.1.0.5): New variable. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Alex ter Weele
2018-03-15gnu: Add ghc-trifecta-1.6.2.1....* gnu/packages/idris.scm (ghc-trifecta-1.6.2.1): New variable. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Alex ter Weele
2018-03-15gnu: Add ghc-aeson-1.1.2.0....* gnu/packages/idris.scm (ghc-aeson-1.1.2.0): New variable. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Alex ter Weele
2017-11-13gnu: Move web packages from haskell to haskell-web....* gnu/packages/haskell.scm (ghc-tagsoup, ghc-cookie, ghc-http-types, ghc-http, ghc-http-client, ghc-http-client-tls, ghc-http-date, ghc-http2, ghc-http-conduit, ghc-wai, ghc-wai-logger, ghc-wai-extra, ghc-wai-conduit, ghc-warp, ghc-warp-tls, ghc-xss-sanitize, ghc-css-text, ghc-mime-types, ghc-html, ghc-xhtml, ghc-blaze-html, ghc-aeson, ghc-aeson-pretty, ghc-aeson-qq, ghc-multipart): Move variables to ... * gnu/packages/haskell-web.scm: ... this new file. * gnu/local.mk (GNU_SYSTEM_MODULES): Add it. * gnu/packages/haskell.scm, gnu/packages/idris.scm, gnu/packages/version-control.scm, gnu/packages/wm.scm: Include haskell-web module. Ricardo Wurmus
2017-11-13gnu: Move testing packages from haskell to haskell-check....* gnu/packages/haskell.scm (ghc-clock-bootstrap, ghc-tasty-ant-xml, ghc-tasty-smallcheck, ghc-tasty-quickcheck, ghc-tasty-golden, ghc-tasty, ghc-tasty-hunit, ghc-tasty-kat, ghc-tasty-th, ghc-tasty-rerun, ghc-quickcheck-instances, ghc-quickcheck-unicode, ghc-quickcheck-io, ghc-quickcheck, ghc-test-framework, ghc-test-framework-hunit, ghc-test-framework-quickcheck2, ghc-test-framework-th, ghc-hunit, hspec-discover, ghc-hspec-core, ghc-hspec-meta, ghc-hspec, ghc-hspec-contrib, ghc-hspec-expectations): Move variables to ... * gnu/packages/haskell-check.scm: ... this new file. * gnu/local.mk (GNU_SYSTEM_MODULES): Add it. * gnu/packages/haskell.scm, gnu/packages/idris.scm, gnu/packages/version-control.scm, gnu/packages/wm.scm: Include haskell-check module. Ricardo Wurmus
2017-04-15gnu: idris: Fix idris-default-arguments....* gnu/packages/idris.scm (idris-default-arguments): Don't set IDRIS_LIBRARY_PATH before building and change --install to --build. Signed-off-by: Marius Bakke <mbakke@fastmail.com> Peter Mikkelsen
2017-04-15gnu: idris: Update to 1.0....* gnu/packages/idris.scm (idris): Update to 1.0. Signed-off-by: Marius Bakke <mbakke@fastmail.com> Peter Mikkelsen
2017-03-23gnu: idris: Update to 0.99.1....* gnu/packages/idris.scm (idris): Update to 0.99.1. [inputs]: Add ghc-code-page. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Peter Mikkelsen
2017-01-04gnu: Add idris-lens....* gnu/packages/idris.scm (idris-lens): New variable. David Craven
2017-01-04gnu: Add idris-bifunctors....* gnu/packages/idris.scm (idris-bifunctors): New variable. David Craven
2017-01-04gnu: Add idris-wl-pprint....* gnu/packages/idris.scm (idris-wl-pprint): New variable. David Craven
2017-01-04gnu: Add idris-lightyear....* gnu/packages/idris.scm (idris-lightyear, idris-default-arguments): New variables. David Craven
2017-01-04gnu: idris: Move to (gnu packages idris)....* gnu/packages/haskell.scm: Move 'idris' to... * gnu/packages/idris.scm: New file. * gnu/local.mk (GNU_SYSTEM_MODULES): Add idris.scm. David Craven