nixo
/
guix-devel
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
47,123 Commits
1 Branch
0 Tags
104 MiB
Commit Graph

12 Commits (1ba35ab7237851c740400ece0f62d455d967a2c0)

Author SHA1 Message Date
John Soo 83ac4c099a
gnu: agda-ial: Fix install step. 
* gnu/packages/agda.scm (agda-ial): copy library and agdai files when installing.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2019-08-28 18:52:51 +02:00
Ludovic Courtès 48752f277c
gnu: agda-ial: Fetch source from Git. 
This addresses a 'guix lint' warning.

* gnu/packages/agda.scm (agda-ial)[source]: Change to use 'git-fetch'.
[arguments]: Change 'install phase accordingly; adjust its 'find-files'
regexp.
 2019-08-28 00:27:14 +02:00
John Soo 276f598abc
gnu: Add agda-ial. 
* gnu/packages/agda.scm (agda-ial): new variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2019-08-28 00:27:14 +02:00
Robert Vollmert a1eb8be8ca
gnu: Remove ghc-parsec, ghc-stm, ghc-text, ghc-xhtml. 
These are ghc-8.4-bundled packages, removing to avoid build
conflicts.

* gnu/packages/haskell.scm (ghc-parsec, ghc-stm, ghc-text): Remove.
* gnu/packages/haskell-web.scm (ghc-xhtml): Remove.
* gnu/packages/agda.scm (agda)[inputs]: Remove ghc-stm and ghc-text.
* gnu/packages/bioinformatics.scm (ngless)[inputs]: Remove ghc-parsec and
ghc-text.
* gnu/packages/haskell-apps.scm (darcs)[inputs]: Remove ghc-parsec.
(git-annex)[inputs]: Remove ghc-stm and ghc-text.
(ghc-sdl2)[inputs]: Remove ghc-text.
(ghc-sdl2-image)[inputs]: Remove ghc-text.
* gnu/packages/haskell-check.scm (ghc-tasty-ant-xml)[inputs]: Remove ghc-stm.
(ghc-tasty)[inputs]: Remove ghc-stm.
(ghc-tasty-rerun)[inputs]: Same.
(ghc-quickcheck-instances)[inputs]: Remove ghc-text.
(ghc-hedgehog)[inputs]: Remove ghc-stm.
* gnu/packages/haskell-crypto.scm (ghc-asn1-encoding)[inputs]: Remove
ghc-text.
* gnu/packages/haskell-web.scm (ghc-tagsoup)[inputs]: Remove ghc-text.
(ghc-cookie)[inputs]: Same.
(ghc-http-types)[inputs]: Same.
(ghc-http)[inputs]: Remove ghc-parsec.
(ghc-http-client)[inputs]: Remove ghc-text.
(ghc-http2)[inputs]: Remove ghc-stm.
(ghc-http-conduit)[native-inputs]: Remove ghc-text.
(ghc-wai)[inputs]: Same.
(ghc-wai-extra)[inputs]: Same.
(ghc-warp)[inputs]: Remove ghc-stm and ghc-text.
(ghc-xss-sanitize)[native-inputs]: Remove ghc-text.
(ghc-css-text)[inputs]: Same.
(ghc-mime-types)[inputs]: Same.
(ghc-blaze-html)[inputs]: Same.
(ghc-aeson)[inputs]: Same.
(ghc-aeson-pretty)[inputs]: Same.
(ghc-aeson-qq)[inputs]: Remove ghc-text and ghc-parsec.
(ghc-multipart)[inputs]: Remove ghc-parsec.
(ghc-uri-encode)[inputs]: Remove ghc-text.
(ghc-path-pieces)[inputs]: Same.
(ghc-yesod-core)[inputs]: Remove ghc-text and ghc-parsec.
(ghc-yesod-persistent)[inputs]: Remove ghc-text.
(ghc-yesod-form)[inputs]: Same.
(ghc-yesod)[inputs]: Same.
(ghc-hxt-regex-xmlschema)[inputs]: Remove ghc-parsec and ghc-text.
(ghc-hxt)[inputs]: Remove ghc-parsec.
* gnu/packages/haskell.scm (ghc-convertible)[inputs]: Remove ghc-text.
(ghc-double-conversion)[inputs]: Same.
(ghc-tree-diff)[inputs]: Remove ghc-parsec and ghc-text.
[native-inputs]: Remove ghc-parsec.
(ghc-cgi)[inputs]: Remove ghc-parsec.
(hlint)[inputs]: Remove ghc-text.
(ghc-openglraw)[inputs]: Remove ghc-text.
(ghc-opengl)[inputs]: Same.
(ghc-streaming-commons)[inputs]: Remove ghc-stm and ghc-text.
(ghc-hackage-security)[inputs]: Remove ghc-parsec.
(cabal-install)[inputs]: Remove ghc-stm.
(ghc-parsec-numbers)[inputs]: Remove ghc-parsec.
(ghc-safesemaphore)[inputs]: Remove ghc-stm.
(ghc-text-binary)[inputs]: Remove ghc-text.
(ghc-hashable)[inputs]: Remove ghc-text.
(ghc-transformers-base)[inputs]: Remove ghc-stm.
(ghc-indents)[inputs]: Remove ghc-parsec.
(ghc-regex-tdfa-rc)[inputs]: Same.
(ghc-regex-tdfa-text)[inputs]: Same.
(ghc-regex)[inputs]: Remove ghc-text.
(ghc-parsers)[inputs]: Remove ghc-parsec and ghc-text.
(ghc-attoparsec)[inputs]: Remove ghc-text.
(ghc-attoparsec-bootstrap)[inputs]: Same.
(ghc-zip-archive)[inputs]: Same.
(ghc-polyparse)[inputs]: Same.
(ghc-reducers)[inputs]: Same.
(ghc-xml)[inputs]: Same.
(ghc-feed)[inputs]: Same.
(ghc-exceptions)[inputs]: Remove ghc-stm.
(ghc-case-insensitive)[inputs]: Remove ghc-text.
(ghc-megaparsec)[inputs]: Same.
(ghc-network-uri)[inputs]: Remove ghc-parsec.
(ghc-monad-control)[inputs]: Remove ghc-stm.
(ghc-blaze-builder)[inputs]: Remove ghc-text.
(ghc-blaze-markup)[inputs]: Same.
(ghc-async)[inputs]: Remove ghc-stm.
(ghc-invariant)[inputs]: Same.
(ghc-statevar)[inputs]: Same.
(ghc-lens)[inputs]: Remove ghc-text.
(ghc-cheapskate)[inputs]: Same.
(ghc-semigroups)[inputs]: Same.
(ghc-semigroups-bootstrap)[inputs]: Same.
(ghc-fast-logger)[inputs]: Same.
(ghc-scientific)[inputs]: Same.
(ghc-scientific-bootstrap)[inputs]: Same.
(ghc-texmath)[inputs]: Remove ghc-parsec.
(ghc-highlighting-kate)[inputs]: Same.
(ghc-cmark)[inputs]: Remove ghc-text.
(ghc-cmark-gfm)[inputs]: Same.
(ghc-th-lift-instances)[inputs]: Same.
(ghc-yaml)[inputs]: Same.
(ghc-hslua)[inputs]: Same.
(ghc-hslua-module-text)[inputs]: Same.
(ghc-skylighting-core)[inputs]: Same.
(ghc-doctemplates)[inputs]: Remove ghc-text and ghc-parsec.
(ghc-pandoc)[inputs]: Same.
(ghc-typed-process)[inputs]: Remove ghc-stm.
(ghc-conduit-extra)[inputs]: Remove ghc-stm and ghc-text.
(ghc-xml-types)[inputs]: Remove ghc-text.
(ghc-xml-conduit)[inputs]: Same.
(ghc-pandoc-citeproc)[inputs]: Remove ghc-text and ghc-parsec.
(ghc-regex-tdfa)[inputs]: Remove ghc-parsec.
(ghc-wl-pprint-text)[inputs]: Remove ghc-text.
(ghc-graphviz)[inputs]: Same.
(ghc-system-filepath-bootstrap)[inputs]: Same.
(ghc-system-fileio-bootstrap)[inputs]: Same.
(ghc-shelly)[inputs]: Same.
(ghc-chell)[inputs]: Same.
(ghc-system-filepath)[inputs]: Same.
(ghc-system-fileio)[inputs]: Same.
(ghc-fsnotify)[inputs]: Same.
(ghc-json)[inputs]: Remove ghc-text and ghc-parsec.
(ghc-esqueleto)[inputs]: Remove ghc-text.
(shellcheck)[inputs]: Remove ghc-parsec.
(ghc-errors)[inputs]: Remove ghc-text.
(ghc-chunked-data)[inputs]: Same.
(ghc-uuid-types)[inputs]: Same.
(ghc-uuid)[inputs]: Same.
(ghc-rebase)[inputs]: Remove ghc-stm and ghc-text.
(ghc-foldl)[inputs]: Remove ghc-text.
(ghc-mono-traversable)[inputs]: Same.
(ghc-conduit-combinators)[inputs]: Same.
(ghc-aws)[inputs]: Same.
(ghc-stm-chans)[inputs]: Remove ghc-stm.
(ghc-monad-logger)[inputs]: Remove ghc-text and ghc-stm.
(ghc-shakespeare)[inputs]: Remove ghc-parsec and ghc-text.
(ghc-resource-pool)[inputs]: Remove ghc-stm.
(ghc-attoparsec-iso8601)[inputs]: Remove ghc-text.
(ghc-http-api-data)[inputs]: Same.
(ghc-persistent)[inputs]: Same.
(ghc-aeson-compat)[inputs]: Same.
(ghc-persistent-template)[inputs]: Same.
(ghc-unliftio)[inputs]: Remove ghc-stm.
(ghc-persistent-sqlite)[native-inputs]: Remove ghc-text.
(ghc-bytes)[inputs]: Same.
(ghc-missingh)[inputs]: Remove ghc-parsec.
(ghc-rio)[inputs]: Remove ghc-text.
(ghc-cairo)[inputs]: Same.
(ghc-atomic-write)[inputs]: Remove ghc-text.
[native-inputs]: Same.
(ghc-stm-conduit)[inputs]: Remove ghc-stm.
(ghc-conduit-algorithms)[inputs]: Same.
(ghc-interpolate)[native-inputs]: Remove ghc-text.
(ghc-hpack)[inputs]: Same.
(ghc-inline-c)[inputs]: Remove ghc-parsec.
(ghc-configurator)[inputs]: Remove ghc-text.
(ghc-c2hs)[native-inputs]: Same.
(ghc-libmpd)[inputs]: Same.
(ghc-concurrent-output)[inputs]: Remove ghc-stm.
* gnu/packages/idris.scm (idris)[inputs]: Remove ghc-text.
* gnu/packages/wm.scm (xmobar)[inputs]: Remove ghc-parsec and ghc-stm.

Signed-off-by: Ricardo Wurmus <rekado@elephly.net>
 2019-08-07 22:05:29 -04:00
Tobias Geerinckx-Rice d9c8009832
gnu: agda: Update to 2.5.4.2. 
* gnu/packages/agda.scm (agda): Update to 2.5.4.2.
[inputs]: Remove cpphs.
 2019-02-24 17:51:28 +01:00
Alex Vong 58352f269e
build-system/haskell: Use 'strip-store-file-name'. 
See the discussion at
<https://lists.gnu.org/archive/html/guix-devel/2018-10/msg00250.html>.

* guix/build/haskell-build-system.scm (package-name-version): Remove it.
(configure): Use 'strip-store-file-name' instead of 'package-name-version'.
(setup-compiler): Likewise.
(make-ghc-package-database): Likewise.
(register): Likewise.
* gnu/packages/haskell.scm (ghc-cairo)[arguments]: Likewise.
* gnu/packages/agda.scm (agda)[arguments]: Likewise.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2018-10-19 23:11:07 +02:00
Ricardo Wurmus 787231e957
gnu: agda: Fix build. 
* gnu/packages/agda.scm (agda)[inputs]: Remove ghc-monadplus; add
ghc-filemanip.
[arguments]: Replace configure phase.
 2018-10-01 12:12:23 +02:00
Timothy Sample 5ebadb584b
gnu: agda: Update to 2.5.4.1. 
* gnu/packages/agda.scm (agda): Update to 2.5.4.1.
 2018-10-01 12:12:18 +02:00
Timothy Sample f54f04756f
gnu: 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.
 2018-10-01 12:12:08 +02:00
Alex ter Weele 1237653aa5
gnu: Add emacs-agda2-mode 
* gnu/packages/agda.scm (emacs-agda2-mode): New variable.

Signed-off-by: Marius Bakke <mbakke@fastmail.com>
 2018-07-29 23:33:40 +02:00
Alex ter Weele 253340dcc8
gnu: agda: Compile .agda files. 
* gnu/packages/agda.scm: (agda)[arguments]: Compile .agda files.

Signed-off-by: Marius Bakke <mbakke@fastmail.com>
 2018-07-29 23:32:01 +02:00
Alex ter Weele f61682e7ea
gnu: Add agda. 
* gnu/packages/agda.scm: New file.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add adga.scm.

Signed-off-by: Marius Bakke <mbakke@fastmail.com>
 2018-02-26 01:42:35 +01:00