summaryrefslogtreecommitdiff
path: root/gnu/packages/idris.scm
Commit message (Collapse)AuthorAge
* gnu: Move web packages from haskell to haskell-web.Ricardo Wurmus2017-11-13
| | | | | | | | | | | | | | | * 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.
* gnu: Move testing packages from haskell to haskell-check.Ricardo Wurmus2017-11-13
| | | | | | | | | | | | | | | | | * 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.
* gnu: idris: Fix idris-default-arguments.Peter Mikkelsen2017-04-15
| | | | | | | * 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>
* gnu: idris: Update to 1.0.Peter Mikkelsen2017-04-15
| | | | | | * gnu/packages/idris.scm (idris): Update to 1.0. Signed-off-by: Marius Bakke <mbakke@fastmail.com>
* gnu: idris: Update to 0.99.1.Peter Mikkelsen2017-03-23
| | | | | | | * gnu/packages/idris.scm (idris): Update to 0.99.1. [inputs]: Add ghc-code-page. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
* gnu: Add idris-lens.David Craven2017-01-04
| | | | * gnu/packages/idris.scm (idris-lens): New variable.
* gnu: Add idris-bifunctors.David Craven2017-01-04
| | | | * gnu/packages/idris.scm (idris-bifunctors): New variable.
* gnu: Add idris-wl-pprint.David Craven2017-01-04
| | | | * gnu/packages/idris.scm (idris-wl-pprint): New variable.
* gnu: Add idris-lightyear.David Craven2017-01-04
| | | | | * gnu/packages/idris.scm (idris-lightyear, idris-default-arguments): New variables.
* gnu: idris: Move to (gnu packages idris).David Craven2017-01-04
* gnu/packages/haskell.scm: Move 'idris' to... * gnu/packages/idris.scm: New file. * gnu/local.mk (GNU_SYSTEM_MODULES): Add idris.scm.