2019-04-04 12:27:28 +00:00
|
|
|
;;; GNU Guix --- Functional package management for GNU
|
2019-08-30 01:15:59 +00:00
|
|
|
;;; Copyright © 2015 Siniša Biđin <sinisa@bidin.eu>
|
2019-04-04 12:27:28 +00:00
|
|
|
;;; Copyright © 2015, 2017, 2018 Ricardo Wurmus <rekado@elephly.net>
|
mailmap: Update entries for Nikita.
* .mailmap: change email and name for Nikita.
* Makefile.am, doc/guix.texi, etc/completion/fish/guix.fish,
gnu/packages/accessibility.scm, gnu/packages/admin.scm,
gnu/packages/audio.scm, gnu/packages/autotools.scm, gnu/packages/cdrom.scm,
gnu/packages/check.scm, gnu/packages/cinnamon.scm,
gnu/packages/compression.scm, gnu/packages/crypto.scm,
gnu/packages/databases.scm, gnu/packages/django.scm, gnu/packages/dns.scm,
gnu/packages/elixir.scm, gnu/packages/emacs-xyz.scm, gnu/packages/emacs.scm,
gnu/packages/enlightenment.scm, gnu/packages/erlang.scm,
gnu/packages/fonts.scm, gnu/packages/fontutils.scm, gnu/packages/forth.scm,
gnu/packages/fvwm.scm, gnu/packages/games.scm, gnu/packages/gl.scm,
gnu/packages/gnome.scm, gnu/packages/gnunet.scm, gnu/packages/gnupg.scm,
gnu/packages/gtk.scm, gnu/packages/guile-wm.scm, gnu/packages/guile-xyz.scm,
gnu/packages/haskell-apps.scm, gnu/packages/haskell-check.scm,
gnu/packages/haskell-crypto.scm, gnu/packages/haskell-xyz.scm,
gnu/packages/haskell.scm, gnu/packages/image-viewers.scm,
gnu/packages/image.scm, gnu/packages/irc.scm, gnu/packages/language.scm,
gnu/packages/libcanberra.scm, gnu/packages/linux.scm,
gnu/packages/lisp-xyz.scm, gnu/packages/lisp.scm, gnu/packages/lolcode.scm,
gnu/packages/lxde.scm, gnu/packages/lxqt.scm, gnu/packages/mail.scm,
gnu/packages/markup.scm, gnu/packages/mate.scm, gnu/packages/maths.scm,
gnu/packages/mc.scm, gnu/packages/messaging.scm, gnu/packages/music.scm,
gnu/packages/ncurses.scm, gnu/packages/networking.scm,
gnu/packages/nickle.scm, gnu/packages/openbox.scm, gnu/packages/pdf.scm,
gnu/packages/perl-check.scm, gnu/packages/perl.scm,
gnu/packages/python-compression.scm, gnu/packages/python-crypto.scm,
gnu/packages/python-web.scm, gnu/packages/python-xyz.scm,
gnu/packages/python.scm, gnu/packages/qt.scm, gnu/packages/ruby.scm,
gnu/packages/rust.scm, gnu/packages/scheme.scm,
gnu/packages/serialization.scm, gnu/packages/shells.scm,
gnu/packages/ssh.scm, gnu/packages/suckless.scm, gnu/packages/tbb.scm,
gnu/packages/telephony.scm, gnu/packages/text-editors.scm,
gnu/packages/textutils.scm, gnu/packages/time.scm, gnu/packages/tls.scm,
gnu/packages/tor.scm, gnu/packages/version-control.scm,
gnu/packages/video.scm, gnu/packages/vim.scm, gnu/packages/web.scm,
gnu/packages/wm.scm, gnu/packages/xdisorg.scm, gnu/packages/xfce.scm,
gnu/packages/xml.scm, gnu/packages/xorg.scm, gnu/services/certbot.scm,
gnu/services/desktop.scm, gnu/services/version-control.scm,
gnu/services/web.scm, guix/import/hackage.scm, guix/licenses.scm: Likewise.
Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2020-05-11 11:05:45 +00:00
|
|
|
;;; Copyright © 2016, 2017, 2018 Nikita <nikita@n0.is>
|
2019-08-30 01:15:59 +00:00
|
|
|
;;; Copyright © 2017 Danny Milosavljevic <dannym@scratchpost.org>
|
|
|
|
;;; Copyright © 2017, 2018 Alex Vong <alexvong1995@gmail.com>
|
2019-04-04 12:27:28 +00:00
|
|
|
;;; Copyright © 2017, 2018, 2019 Tobias Geerinckx-Rice <me@tobias.gr>
|
|
|
|
;;; Copyright © 2018 Timothy Sample <samplet@ngyro.com>
|
|
|
|
;;; Copyright © 2018 Arun Isaac <arunisaac@systemreboot.net>
|
|
|
|
;;; Copyright © 2016, 2017 Leo Famulari <leo@famulari.name>
|
2019-04-04 12:45:13 +00:00
|
|
|
;;; Copyright © 2015 Paul van der Walt <paul@denknerd.org>
|
2019-07-21 19:50:57 +00:00
|
|
|
;;; Copyright © 2019 Kyle Meyer <kyle@kyleam.com>
|
2019-07-08 01:03:26 +00:00
|
|
|
;;; Copyright © 2015 John Soo <jsoo1@asu.edu>
|
2020-05-11 11:34:38 +00:00
|
|
|
;;; Copyright © 2019, 2020 Efraim Flashner <efraim@flashner.co.il>
|
2019-10-12 18:55:49 +00:00
|
|
|
;;; Copyright © 2019 Alex Griffin <a@ajgrf.com>
|
2020-02-04 13:59:03 +00:00
|
|
|
;;; Copyright © 2020 Alexandru-Sergiu Marton <brown121407@member.fsf.org>
|
2020-01-24 03:26:27 +00:00
|
|
|
;;; Copyright © 2020 Brian Leung <bkleung89@gmail.com>
|
2019-04-04 12:27:28 +00:00
|
|
|
;;;
|
|
|
|
;;; This file is part of GNU Guix.
|
|
|
|
;;;
|
|
|
|
;;; GNU Guix is free software; you can redistribute it and/or modify it
|
|
|
|
;;; under the terms of the GNU General Public License as published by
|
|
|
|
;;; the Free Software Foundation; either version 3 of the License, or (at
|
|
|
|
;;; your option) any later version.
|
|
|
|
;;;
|
|
|
|
;;; GNU Guix is distributed in the hope that it will be useful, but
|
|
|
|
;;; WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
;;; GNU General Public License for more details.
|
|
|
|
;;;
|
|
|
|
;;; You should have received a copy of the GNU General Public License
|
|
|
|
;;; along with GNU Guix. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
|
|
|
|
(define-module (gnu packages haskell-apps)
|
|
|
|
#:use-module (guix download)
|
2019-08-30 01:15:59 +00:00
|
|
|
#:use-module (guix git-download)
|
2019-04-04 12:27:28 +00:00
|
|
|
#:use-module (guix packages)
|
|
|
|
#:use-module ((guix licenses) #:prefix license:)
|
|
|
|
#:use-module (guix build-system haskell)
|
|
|
|
#:use-module (gnu packages base)
|
|
|
|
#:use-module (gnu packages curl)
|
2019-04-04 12:45:13 +00:00
|
|
|
#:use-module (gnu packages gl)
|
2019-04-04 12:27:28 +00:00
|
|
|
#:use-module (gnu packages haskell)
|
|
|
|
#:use-module (gnu packages haskell-check)
|
|
|
|
#:use-module (gnu packages haskell-crypto)
|
|
|
|
#:use-module (gnu packages haskell-web)
|
gnu: Move non-compilers out of haskell.scm.
* gnu/packages/haskell.scm (ghc-abstract-deque, ghc-abstract-par,
ghc-adjunctions, ghc-aeson-compat, ghc-alex, ghc-alsa-core,
ghc-annotated-wl-pprint, ghc-ansi-terminal, ghc-ansi-wl-pprint,
ghc-appar, ghc-async, ghc-atomic-write, ghc-attoparsec,
ghc-attoparsec-bootstrap, ghc-attoparsec-iso8601, ghc-auto-update,
ghc-aws, ghc-base16-bytestring, ghc-base64-bytestring, ghc-base-compat,
ghc-basement, ghc-base-orphans, ghc-base-prelude,
ghc-base-unicode-symbols, ghc-bifunctors, ghc-bindings-dsl,
ghc-blaze-builder, ghc-blaze-markup, ghc-bloomfilter, ghc-boxes,
ghc-byteable, ghc-byteorder, ghc-bytes, ghc-bytestring-builder,
ghc-bytestring-handle, ghc-bytestring-lexing, ghc-bzlib-conduit,
ghc-c2hs, ghc-cairo, ghc-call-stack, ghc-call-stack-boot,
ghc-case-insensitive, ghc-cereal, ghc-cereal-conduit, ghc-cgi,
ghc-charset, ghc-chart, ghc-chart-cairo, ghc-chasingbottoms,
ghc-cheapskate, ghc-chell, ghc-chell-quickcheck, ghc-chunked-data,
ghc-clock, ghc-clock-bootstrap, ghc-cmark, ghc-cmark-gfm, ghc-cmdargs,
ghc-code-page, ghc-colour, ghc-comonad, ghc-concatenative,
ghc-concurrent-output, ghc-conduit, ghc-conduit-algorithms,
ghc-conduit-combinators, ghc-conduit-extra, ghc-configurator,
ghc-connection, ghc-constraints, ghc-contravariant,
ghc-contravariant-extras, ghc-convertible, ghc-data-accessor,
ghc-data-accessor-transformers, ghc-data-default,
ghc-data-default-class, ghc-data-default-instances-base,
ghc-data-default-instances-containers, ghc-data-default-instances-dlist,
ghc-data-default-instances-old-locale, ghc-data-hash, ghc-data-ordlist,
ghc-deepseq-generics, ghc-descriptive, ghc-diff, ghc-disk-free-space,
ghc-distributive, ghc-dlist, ghc-doctemplates, ghc-doctest,
ghc-double-conversion, ghc-easy-file, ghc-easyplot, ghc-echo,
ghc-edisonapi, ghc-edisoncore, ghc-edit-distance, ghc-either,
ghc-email-validate, ghc-enclosed-exceptions, ghc-equivalence, ghc-erf,
ghc-errorcall-eq-instance, ghc-errors, ghc-esqueleto, ghc-exactprint,
ghc-exceptions, ghc-executable-path, ghc-extensible-exceptions,
ghc-extra, ghc-fail, ghc-fast-logger, ghc-feed, ghc-fgl,
ghc-fgl-arbitrary, ghc-file-embed, ghc-filemanip, ghc-findbin,
ghc-fingertree, ghc-fixed, ghc-foldl, ghc-foundation, ghc-free,
ghc-fsnotify, ghc-generic-deriving, ghc-generics-sop,
ghc-geniplate-mirror, ghc-genvalidity, ghc-genvalidity-property,
ghc-gitrev, ghc-glob, ghc-gluraw, ghc-glut, ghc-gnuplot, ghc-graphviz,
ghc-gtk2hs-buildtools, ghc-hackage-security, ghc-haddock,
ghc-haddock-api, ghc-haddock-library, ghc-half, ghc-happy, ghc-hashable,
ghc-hashable-bootstrap, ghc-hashable-time, ghc-hashtables,
ghc-haskell-lexer, ghc-haskell-src, ghc-haskell-src-exts,
ghc-haskell-src-exts-util, ghc-haskell-src-meta, ghc-hasktags, ghc-hex,
ghc-highlighting-kate, ghc-hindent, ghc-hinotify, ghc-hmatrix,
ghc-hmatrix-gsl, ghc-hmatrix-gsl-stats, ghc-hmatrix-special,
ghc-hostname, ghc-hourglass, ghc-hpack, ghc-hs-bibutils, ghc-hslogger,
ghc-hslua, ghc-hslua-module-text, ghc-http-api-data, ghc-ieee754,
ghc-ifelse, ghc-indents, ghc-inline-c, ghc-inline-c-cpp,
ghc-integer-logarithms, ghc-integer-logarithms-bootstrap,
ghc-interpolate, ghc-intervalmap, ghc-invariant, ghc-iproute, ghc-iwlib,
ghc-json, ghc-juicypixels, ghc-kan-extensions, ghc-language-c,
ghc-language-haskell-extract, ghc-lens, ghc-libffi, ghc-libmpd,
ghc-libxml, ghc-lifted-async, ghc-lifted-base, ghc-linear,
ghc-logging-facade, ghc-logict, ghc-lzma, ghc-lzma-conduit,
ghc-markdown-unlit, ghc-math-functions, ghc-megaparsec, ghc-memory,
ghc-memotrie, ghc-microlens, ghc-microlens-ghc, ghc-microlens-mtl,
ghc-microlens-platform, ghc-microlens-th, ghc-missingh, ghc-mmap,
ghc-mmorph, ghc-mockery, ghc-monad-control, ghc-monad-logger,
ghc-monad-loops, ghc-monad-par, ghc-monad-par-extras, ghc-monadplus,
ghc-monadrandom, ghc-monads-tf, ghc-mono-traversable, ghc-murmur-hash,
ghc-mwc-random, ghc-nats, ghc-nats-bootstrap, ghc-network,
ghc-network-info, ghc-network-uri, ghc-newtype-generics, ghc-objectname,
ghc-old-locale, ghc-old-time, ghc-opengl, ghc-openglraw,
ghc-operational, ghc-options, ghc-optparse-applicative, ghc-pandoc,
ghc-pandoc-citeproc, ghc-pandoc-types, ghc-parallel, ghc-parsec-numbers,
ghc-parser-combinators, ghc-parsers, ghc-path, ghc-path-io, ghc-paths,
ghc-patience, ghc-pcre-light, ghc-persistent, ghc-persistent-sqlite,
ghc-persistent-template, ghc-polyparse, ghc-pqueue, ghc-prelude-extras,
ghc-pretty-hex, ghc-pretty-show, ghc-primitive, ghc-profunctors,
ghc-psqueues, ghc-random, ghc-raw-strings-qq, ghc-rebase, ghc-reducers,
ghc-refact, ghc-reflection, ghc-regex, ghc-regex-applicative,
ghc-regex-base, ghc-regex-compat, ghc-regex-compat-tdfa,
ghc-regex-pcre-builtin, ghc-regex-posix, ghc-regex-tdfa,
ghc-regex-tdfa-text, ghc-rerebase, ghc-resolv, ghc-resource-pool,
ghc-resourcet, ghc-rfc5051, ghc-rio, ghc-safe, ghc-safe-exceptions,
ghc-safeio, ghc-safesemaphore, ghc-sandi, ghc-scientific,
ghc-scientific-bootstrap, ghc-sdl, ghc-sdl-image, ghc-sdl-mixer,
ghc-securemem, ghc-semigroupoids, ghc-semigroups,
ghc-semigroups-bootstrap, ghc-setenv, ghc-setlocale, ghc-shakespeare,
ghc-shelly, ghc-silently, ghc-simple-reflect, ghc-simple-sendfile,
ghc-skylighting-core, ghc-skylighting, ghc-smallcheck, ghc-socks,
ghc-split, ghc-statevar, ghc-statistics, ghc-stm-chans, ghc-stm-conduit,
ghc-stmonadtrans, ghc-storable-complex, ghc-streaming-commons,
ghc-strict, ghc-stringbuilder, ghc-string-qq, ghc-stringsearch,
ghc-stylish-haskell, ghc-syb, ghc-system-fileio, ghc-system-filepath,
ghc-tagged, ghc-tar, ghc-temporary, ghc-temporary-rc, ghc-terminal-size,
ghc-texmath, ghc-text-binary, ghc-tf-random, ghc-th-abstraction,
ghc-th-expand-syns, ghc-th-lift, ghc-th-lift-instances, ghc-th-orphans,
ghc-th-reify-many, ghc-time-locale-compat, ghc-tldr,
ghc-transformers-base, ghc-transformers-compat, ghc-tree-diff,
ghc-trifecta, ghc-tuple-th, ghc-typed-process, ghc-unbounded-delays,
ghc-unexceptionalio, ghc-union-find, ghc-uniplate, ghc-unix-compat,
ghc-unix-time, ghc-unliftio, ghc-unliftio-core,
ghc-unordered-containers, ghc-unordered-containers-bootstrap,
ghc-uri-bytestring, ghc-utf8-string, ghc-utility-ht, ghc-uuid,
ghc-uuid-types, ghc-validation, ghc-validity, ghc-vault, ghc-vector,
ghc-vector-algorithms, ghc-vector-binary-instances, ghc-vector-builder,
ghc-vector-th-unbox, ghc-void, ghc-wave, ghc-wcwidth,
ghc-wcwidth-bootstrap, ghc-weigh, ghc-wl-pprint,
ghc-wl-pprint-annotated, ghc-wl-pprint-text, ghc-word8, ghc-x11,
ghc-x11-xft, ghc-xdg-basedir, ghc-xml, ghc-xml-conduit, ghc-xml-types,
ghc-yaml, ghc-zip-archive, ghc-zlib): Move variables from here...
* gnu/packages/haskell-xyz.scm: ...to here.
* gnu/packages/agda.scm,
gnu/packages/bioconductor.scm,
gnu/packages/bioinformatics.scm,
gnu/packages/cran.scm,
gnu/packages/emacs-xyz.scm,
gnu/packages/games.scm,
gnu/packages/graphics.scm,
gnu/packages/haskell-apps.scm,
gnu/packages/haskell-check.scm,
gnu/packages/idris.scm,
gnu/packages/statistics.scm,
gnu/packages/wm.scm: Update module references.
Co-authored-by: Timothy Sample <samplet@ngyro.com>
2019-08-30 01:56:35 +00:00
|
|
|
#:use-module (gnu packages haskell-xyz)
|
2019-04-04 12:27:28 +00:00
|
|
|
#:use-module (gnu packages ncurses)
|
|
|
|
#:use-module (gnu packages perl)
|
|
|
|
#:use-module (gnu packages pkg-config)
|
|
|
|
#:use-module (gnu packages rsync)
|
|
|
|
#:use-module (gnu packages version-control))
|
|
|
|
|
2020-01-24 03:26:27 +00:00
|
|
|
(define-public apply-refact
|
|
|
|
(package
|
|
|
|
(name "apply-refact")
|
|
|
|
(version "0.6.0.0")
|
|
|
|
(source
|
|
|
|
(origin
|
|
|
|
(method url-fetch)
|
|
|
|
(uri (string-append
|
|
|
|
"https://hackage.haskell.org/package/apply-refact/apply-refact-"
|
|
|
|
version ".tar.gz"))
|
|
|
|
(sha256
|
|
|
|
(base32
|
|
|
|
"0p2mqgjcqr1zcmk8zgr0yq7g8z1agsa6l493lkj6g3ya9lyhxgig"))))
|
|
|
|
(build-system haskell-build-system)
|
|
|
|
(inputs
|
|
|
|
`(("ghc-refact" ,ghc-refact)
|
|
|
|
("ghc-exactprint" ,ghc-exactprint)
|
|
|
|
("ghc-syb" ,ghc-syb)
|
|
|
|
("ghc-temporary" ,ghc-temporary)
|
|
|
|
("ghc-filemanip" ,ghc-filemanip)
|
|
|
|
("ghc-unix-compat" ,ghc-unix-compat)
|
|
|
|
("ghc-optparse-applicative"
|
|
|
|
,ghc-optparse-applicative)))
|
|
|
|
(native-inputs
|
|
|
|
`(("ghc-tasty" ,ghc-tasty)
|
|
|
|
("ghc-tasty-golden" ,ghc-tasty-golden)
|
|
|
|
("ghc-tasty-expected-failure"
|
|
|
|
,ghc-tasty-expected-failure)
|
|
|
|
("ghc-silently" ,ghc-silently)))
|
|
|
|
(home-page "https://hackage.haskell.org/package/apply-refact")
|
|
|
|
(synopsis "Perform refactorings specified by the refact library")
|
|
|
|
(description
|
|
|
|
"This package lets you perform refactorings specified by the refact
|
|
|
|
library. It is primarily used with HLint's @code{--refactor} flag.")
|
|
|
|
(license license:bsd-3)))
|
|
|
|
|
2019-10-31 17:25:18 +00:00
|
|
|
;; In Stackage LTS 14, this package is at 2.4.1.0. However, that
|
|
|
|
;; version requires version 2.4.1.0 of the 'Cabal' package, which is
|
|
|
|
;; provided by GHC 8.6.5 at version 2.4.0.1. Hence, we use an older
|
|
|
|
;; version to match the compiler's library.
|
2019-08-30 01:15:59 +00:00
|
|
|
(define-public cabal-install
|
|
|
|
(package
|
|
|
|
(name "cabal-install")
|
2019-10-31 17:25:18 +00:00
|
|
|
(version "2.4.0.0")
|
2019-08-30 01:15:59 +00:00
|
|
|
(source
|
|
|
|
(origin
|
|
|
|
(method url-fetch)
|
|
|
|
(uri (string-append
|
|
|
|
"https://hackage.haskell.org/package/cabal-install/cabal-install-"
|
|
|
|
version
|
|
|
|
".tar.gz"))
|
|
|
|
(sha256
|
2019-10-31 17:25:18 +00:00
|
|
|
(base32 "1xmyl0x8wqfrnray6ky5wy0g0samv4264fbdlzxhqsvk9dbfja8k"))))
|
2019-08-30 01:15:59 +00:00
|
|
|
(build-system haskell-build-system)
|
2019-10-31 17:25:18 +00:00
|
|
|
(arguments
|
|
|
|
`(#:cabal-revision
|
|
|
|
("2" "1xil5pim6j1ckqj61zz6l7xpfxxr3rkw2hvpws2f7pr9shk645dl")
|
|
|
|
#:phases
|
|
|
|
(modify-phases %standard-phases
|
|
|
|
(add-before 'configure 'update-constraints
|
|
|
|
(lambda _
|
|
|
|
(substitute* "cabal-install.cabal"
|
|
|
|
(("zip-archive >= 0\\.3\\.2\\.5 && < 0\\.4,")
|
|
|
|
"zip-archive >= 0.3.2.5 && <= 0.4.1,"))
|
|
|
|
#t)))))
|
2019-08-30 01:15:59 +00:00
|
|
|
(inputs
|
|
|
|
`(("ghc-async" ,ghc-async)
|
|
|
|
("ghc-base16-bytestring" ,ghc-base16-bytestring)
|
|
|
|
("ghc-cryptohash-sha256" ,ghc-cryptohash-sha256)
|
|
|
|
("ghc-echo" ,ghc-echo)
|
|
|
|
("ghc-edit-distance" ,ghc-edit-distance)
|
|
|
|
("ghc-hackage-security" ,ghc-hackage-security)
|
|
|
|
("ghc-hashable" ,ghc-hashable)
|
|
|
|
("ghc-http" ,ghc-http)
|
|
|
|
("ghc-network-uri" ,ghc-network-uri)
|
|
|
|
("ghc-network" ,ghc-network)
|
|
|
|
("ghc-random" ,ghc-random)
|
|
|
|
("ghc-resolv" ,ghc-resolv)
|
|
|
|
("ghc-tar" ,ghc-tar)
|
2019-10-31 17:25:18 +00:00
|
|
|
("ghc-zip-archive" ,ghc-zip-archive)
|
2019-08-30 01:15:59 +00:00
|
|
|
("ghc-zlib" ,ghc-zlib)))
|
|
|
|
(home-page "https://www.haskell.org/cabal/")
|
|
|
|
(synopsis "Command-line interface for Cabal and Hackage")
|
|
|
|
(description
|
|
|
|
"The cabal command-line program simplifies the process of managing
|
|
|
|
Haskell software by automating the fetching, configuration, compilation and
|
|
|
|
installation of Haskell libraries and programs.")
|
|
|
|
(license license:bsd-3)))
|
|
|
|
|
|
|
|
(define-public corrode
|
|
|
|
(let ((commit "b6699fb2fa552a07c6091276285a44133e5c9789"))
|
|
|
|
(package
|
|
|
|
(name "corrode")
|
|
|
|
(version (string-append "0.0.1-" (string-take commit 7)))
|
|
|
|
(source
|
|
|
|
(origin
|
|
|
|
(method git-fetch)
|
|
|
|
(uri (git-reference
|
|
|
|
(url "https://github.com/jameysharp/corrode.git")
|
|
|
|
(commit "b6699fb2fa552a07c6091276285a44133e5c9789")))
|
2020-02-20 21:46:40 +00:00
|
|
|
(file-name (git-file-name name version))
|
2019-08-30 01:15:59 +00:00
|
|
|
(sha256
|
|
|
|
(base32 "02v0yyj6sk4gpg2222wzsdqjxn8w66scbnf6b20x0kbmc69qcz4r"))))
|
|
|
|
(build-system haskell-build-system)
|
|
|
|
(inputs
|
|
|
|
`(("ghc-language-c" ,ghc-language-c)
|
|
|
|
("ghc-markdown-unlit" ,ghc-markdown-unlit)))
|
|
|
|
(home-page "https://github.com/jameysharp/corrode")
|
|
|
|
(synopsis "Automatic semantics-preserving translation from C to Rust")
|
|
|
|
(description
|
|
|
|
"This program reads a C source file and prints an equivalent module in
|
|
|
|
Rust syntax. It is intended to be useful for two different purposes:
|
|
|
|
|
|
|
|
@enumerate
|
|
|
|
@item Partial automation for migrating legacy code that was implemented in C.
|
|
|
|
@item A new, complementary approach to static analysis for C programs.
|
|
|
|
@end enumerate\n")
|
|
|
|
(license license:gpl2+))))
|
|
|
|
|
|
|
|
(define-public cpphs
|
|
|
|
(package
|
|
|
|
(name "cpphs")
|
|
|
|
(version "1.20.8")
|
|
|
|
(source
|
|
|
|
(origin
|
|
|
|
(method url-fetch)
|
|
|
|
(uri (string-append
|
|
|
|
"https://hackage.haskell.org/package/" name "/"
|
|
|
|
name "-" version ".tar.gz"))
|
|
|
|
(sha256
|
|
|
|
(base32
|
|
|
|
"1bh524asqhk9v1s0wvipl0hgn7l63iy3js867yv0z3h5v2kn8vg5"))))
|
|
|
|
(build-system haskell-build-system)
|
|
|
|
(inputs
|
|
|
|
`(("ghc-polyparse" ,ghc-polyparse)
|
|
|
|
("ghc-old-locale" ,ghc-old-locale)
|
|
|
|
("ghc-old-time" ,ghc-old-time)))
|
|
|
|
(home-page "http://projects.haskell.org/cpphs/")
|
|
|
|
(synopsis "Liberalised re-implementation of cpp, the C pre-processor")
|
|
|
|
(description "Cpphs is a re-implementation of the C pre-processor that is
|
|
|
|
both more compatible with Haskell, and itself written in Haskell so that it
|
|
|
|
can be distributed with compilers. This version of the C pre-processor is
|
|
|
|
pretty-much feature-complete and compatible with traditional (K&R)
|
|
|
|
pre-processors. Additional features include: a plain-text mode; an option to
|
|
|
|
unlit literate code files; and an option to turn off macro-expansion.")
|
|
|
|
(license (list license:lgpl2.1+ license:gpl3+))))
|
|
|
|
|
2020-05-11 11:16:37 +00:00
|
|
|
;; Darcs has no https support:
|
2019-04-04 12:27:28 +00:00
|
|
|
;; http://darcs.net/manual/Configuring_darcs.html#SECTION00440070000000000000
|
|
|
|
;; and results of search engines will show that if the protocol is http, https
|
|
|
|
;; is never mentioned.
|
|
|
|
(define-public darcs
|
|
|
|
(package
|
|
|
|
(name "darcs")
|
|
|
|
(version "2.14.2")
|
|
|
|
(source
|
|
|
|
(origin
|
|
|
|
(method url-fetch)
|
|
|
|
(uri (string-append "https://hackage.haskell.org/package/darcs/"
|
|
|
|
"darcs-" version ".tar.gz"))
|
|
|
|
(sha256
|
|
|
|
(base32
|
|
|
|
"0zm2486gyhiga1amclbg92cd09bvki6vgh0ll75hv5kl72j61lb5"))
|
|
|
|
(modules '((guix build utils)))
|
|
|
|
;; Remove time-dependent code for reproducibility.
|
|
|
|
(snippet
|
|
|
|
'(begin
|
|
|
|
(substitute* "darcs/darcs.hs"
|
|
|
|
(("__DATE__") "\"1970-01-01\"")
|
|
|
|
(("__TIME__") "\"00:00:00\""))
|
|
|
|
#t))))
|
|
|
|
(build-system haskell-build-system)
|
|
|
|
(arguments
|
2019-11-04 02:11:12 +00:00
|
|
|
`(#:cabal-revision
|
|
|
|
("1" "0xl7j5cm704pbl2ms0dkydh7jvrz0ym76d725ifpg4h902m1zkhg")
|
|
|
|
#:configure-flags '("-fpkgconfig" "-fcurl" "-flibiconv" "-fthreaded"
|
2019-04-04 12:27:28 +00:00
|
|
|
"-fnetwork-uri" "-fhttp" "--flag=executable"
|
|
|
|
"--flag=library")
|
|
|
|
#:phases
|
|
|
|
(modify-phases %standard-phases
|
|
|
|
(add-after 'patch-source-shebangs 'patch-sh
|
|
|
|
(lambda _
|
|
|
|
(substitute* "tests/issue538.sh"
|
|
|
|
(("/bin/sh") (which "sh")))
|
2019-11-04 02:11:12 +00:00
|
|
|
#t))
|
|
|
|
(add-before 'configure 'update-constraints
|
|
|
|
(lambda _
|
|
|
|
(substitute* "darcs.cabal"
|
|
|
|
(("QuickCheck >= 2\\.8\\.2 && < 2\\.13,")
|
|
|
|
"QuickCheck >= 2.8.2 && < 2.14,"))
|
2019-04-04 12:27:28 +00:00
|
|
|
#t)))))
|
|
|
|
(inputs
|
|
|
|
`(("ghc-cmdargs" ,ghc-cmdargs)
|
|
|
|
("ghc-split" ,ghc-split)
|
|
|
|
("ghc-test-framework-quickcheck2" ,ghc-test-framework-quickcheck2)
|
|
|
|
("ghc-test-framework-hunit" ,ghc-test-framework-hunit)
|
|
|
|
("ghc-test-framework" ,ghc-test-framework)
|
|
|
|
("ghc-quickcheck" ,ghc-quickcheck)
|
|
|
|
("ghc-findbin" ,ghc-findbin)
|
|
|
|
("ghc-hunit" ,ghc-hunit)
|
|
|
|
("ghc-async" ,ghc-async)
|
|
|
|
("ghc-attoparsec" ,ghc-attoparsec)
|
|
|
|
("ghc-base16-bytestring" ,ghc-base16-bytestring)
|
|
|
|
("ghc-bytestring-builder" ,ghc-bytestring-builder)
|
|
|
|
("ghc-cryptohash" ,ghc-cryptohash)
|
|
|
|
("ghc-data-ordlist" ,ghc-data-ordlist)
|
|
|
|
("ghc-fgl" ,ghc-fgl)
|
|
|
|
("ghc-system-filepath" ,ghc-system-filepath)
|
|
|
|
("ghc-graphviz" ,ghc-graphviz)
|
|
|
|
("ghc-hashable" ,ghc-hashable)
|
|
|
|
("ghc-html" ,ghc-html)
|
|
|
|
("ghc-mmap" ,ghc-mmap)
|
|
|
|
("ghc-old-time" ,ghc-old-time)
|
|
|
|
("ghc-random" ,ghc-random)
|
|
|
|
("ghc-regex-applicative" ,ghc-regex-applicative)
|
|
|
|
("ghc-regex-compat-tdfa" ,ghc-regex-compat-tdfa)
|
|
|
|
("ghc-sandi" ,ghc-sandi)
|
|
|
|
("ghc-shelly" ,ghc-shelly)
|
|
|
|
("ghc-tar" ,ghc-tar)
|
|
|
|
("ghc-transformers-compat" ,ghc-transformers-compat)
|
|
|
|
("ghc-unix-compat" ,ghc-unix-compat)
|
|
|
|
("ghc-utf8-string" ,ghc-utf8-string)
|
|
|
|
("ghc-vector" ,ghc-vector)
|
|
|
|
("ghc-zip-archive" ,ghc-zip-archive)
|
|
|
|
("ghc-zlib" ,ghc-zlib)
|
|
|
|
("ghc-http" ,ghc-http)
|
|
|
|
("curl" ,curl)
|
|
|
|
("ghc" ,ghc)
|
|
|
|
("ncurses" ,ncurses)
|
|
|
|
("perl" ,perl)
|
|
|
|
("libiconv" ,libiconv)
|
|
|
|
("ghc-network" ,ghc-network)
|
|
|
|
("ghc-network-uri" ,ghc-network-uri)))
|
|
|
|
(native-inputs
|
|
|
|
`(("pkg-config" ,pkg-config)))
|
|
|
|
(home-page "http://darcs.net")
|
|
|
|
(synopsis "Distributed Revision Control System")
|
|
|
|
(description
|
|
|
|
"Darcs is a revision control system. It is:
|
|
|
|
|
|
|
|
@enumerate
|
|
|
|
@item Distributed: Every user has access to the full command set, removing boundaries
|
|
|
|
between server and client or committer and non-committers.
|
|
|
|
@item Interactive: Darcs is easy to learn and efficient to use because it asks you
|
|
|
|
questions in response to simple commands, giving you choices in your work flow.
|
|
|
|
You can choose to record one change in a file, while ignoring another. As you update
|
|
|
|
from upstream, you can review each patch name, even the full diff for interesting
|
|
|
|
patches.
|
|
|
|
@item Smart: Originally developed by physicist David Roundy, darcs is based on a
|
|
|
|
unique algebra of patches called @url{http://darcs.net/Theory,Patchtheory}.
|
|
|
|
@end enumerate")
|
|
|
|
(license license:gpl2)))
|
|
|
|
|
2020-02-04 13:59:03 +00:00
|
|
|
(define-public ghcid
|
|
|
|
(package
|
|
|
|
(name "ghcid")
|
|
|
|
(version "0.8.4")
|
|
|
|
(source
|
|
|
|
(origin
|
|
|
|
(method url-fetch)
|
|
|
|
(uri (string-append "https://hackage.haskell.org/package/ghcid/"
|
|
|
|
"ghcid-" version ".tar.gz"))
|
|
|
|
(sha256
|
|
|
|
(base32
|
|
|
|
"0wpm4ikrm1krz1ckzwk0srng091yh2skjal4fh95iz1hq3dw6qlw"))))
|
|
|
|
(build-system haskell-build-system)
|
|
|
|
(inputs
|
|
|
|
`(("ghc-extra" ,ghc-extra)
|
|
|
|
("ghc-ansi-terminal" ,ghc-ansi-terminal)
|
|
|
|
("ghc-cmdargs" ,ghc-cmdargs)
|
|
|
|
("ghc-fsnotify" ,ghc-fsnotify)
|
|
|
|
("ghc-terminal-size" ,ghc-terminal-size)))
|
|
|
|
(native-inputs
|
|
|
|
`(("ghc-tasty" ,ghc-tasty)
|
|
|
|
("ghc-tasty-hunit" ,ghc-tasty-hunit)))
|
|
|
|
(home-page
|
|
|
|
"https://github.com/ndmitchell/ghcid#readme")
|
|
|
|
(synopsis "GHCi based bare bones IDE")
|
|
|
|
(description
|
|
|
|
"Either \"GHCi as a daemon\" or \"GHC + a bit of an IDE\". A very simple Haskell
|
|
|
|
development tool which shows you the errors in your project and updates them whenever
|
|
|
|
you save. Run @code{ghcid --topmost --command=ghci}, where @code{--topmost} makes the
|
|
|
|
window on top of all others (Windows only) and @code{--command} is the command to start
|
|
|
|
GHCi on your project (defaults to @code{ghci} if you have a @file{.ghci} file, or else
|
|
|
|
to @code{cabal repl}).")
|
|
|
|
(license license:bsd-3)))
|
|
|
|
|
2019-04-04 12:27:28 +00:00
|
|
|
(define-public git-annex
|
|
|
|
(package
|
|
|
|
(name "git-annex")
|
2020-05-22 18:12:50 +00:00
|
|
|
(version "8.20200522")
|
2019-04-04 12:27:28 +00:00
|
|
|
(source
|
|
|
|
(origin
|
|
|
|
(method url-fetch)
|
|
|
|
(uri (string-append "https://hackage.haskell.org/package/"
|
|
|
|
"git-annex/git-annex-" version ".tar.gz"))
|
|
|
|
(sha256
|
2020-05-22 18:12:50 +00:00
|
|
|
(base32 "1v71k5k9mcj1nq4pb8apx99rgw2rmckr6yshhvjl1dr6j70d67x8"))))
|
2019-04-04 12:27:28 +00:00
|
|
|
(build-system haskell-build-system)
|
|
|
|
(arguments
|
|
|
|
`(#:configure-flags
|
2019-10-27 12:41:12 +00:00
|
|
|
'("--flags=-Android -Assistant -Pairing -Webapp -WebDAV")
|
2019-04-04 12:27:28 +00:00
|
|
|
#:phases
|
|
|
|
(modify-phases %standard-phases
|
2019-07-21 19:50:57 +00:00
|
|
|
(add-before 'configure 'patch-shell-for-tests
|
2019-04-04 12:27:28 +00:00
|
|
|
(lambda _
|
2019-07-21 19:50:57 +00:00
|
|
|
;; Shell.hs defines "/bin/sh" that is used in Git hooks. We
|
|
|
|
;; shouldn't patch hooks with Guix's current bash because the
|
|
|
|
;; hooks can exist after that bash is garbage collected, but
|
|
|
|
;; let's temporarily patch it so that we can run the tests.
|
|
|
|
(copy-file "Utility/Shell.hs" "/tmp/Shell.hs")
|
2019-04-04 12:27:28 +00:00
|
|
|
(substitute* "Utility/Shell.hs"
|
|
|
|
(("/bin/sh") (which "sh")))
|
|
|
|
#t))
|
|
|
|
(add-before 'configure 'factor-setup
|
|
|
|
(lambda _
|
|
|
|
;; Factor out necessary build logic from the provided
|
|
|
|
;; `Setup.hs' script. The script as-is does not work because
|
|
|
|
;; it cannot find its dependencies, and there is no obvious way
|
|
|
|
;; to tell it where to look. Note that we do not preserve the
|
|
|
|
;; code that installs man pages here.
|
|
|
|
(call-with-output-file "PreConf.hs"
|
|
|
|
(lambda (out)
|
|
|
|
(format out "import qualified Build.Configure as Configure~%")
|
|
|
|
(format out "main = Configure.run Configure.tests~%")))
|
|
|
|
(call-with-output-file "Setup.hs"
|
|
|
|
(lambda (out)
|
|
|
|
(format out "import Distribution.Simple~%")
|
|
|
|
(format out "main = defaultMain~%")))
|
|
|
|
#t))
|
|
|
|
(add-before 'configure 'pre-configure
|
|
|
|
(lambda _
|
|
|
|
(invoke "runhaskell" "PreConf.hs")
|
|
|
|
#t))
|
|
|
|
(replace 'check
|
|
|
|
(lambda _
|
|
|
|
;; We need to set the path so that Git recognizes
|
|
|
|
;; `git annex' as a custom command.
|
|
|
|
(setenv "PATH" (string-append (getenv "PATH") ":"
|
|
|
|
(getcwd) "/dist/build/git-annex"))
|
|
|
|
(with-directory-excursion "dist/build/git-annex"
|
|
|
|
(symlink "git-annex" "git-annex-shell"))
|
|
|
|
(invoke "git-annex" "test")
|
|
|
|
#t))
|
2019-07-21 19:50:57 +00:00
|
|
|
(add-after 'check 'unpatch-shell-and-rebuild
|
|
|
|
(lambda args
|
|
|
|
;; Undo `patch-shell-for-tests'.
|
|
|
|
(copy-file "/tmp/Shell.hs" "Utility/Shell.hs")
|
|
|
|
(apply (assoc-ref %standard-phases 'build) args)))
|
2019-04-04 12:27:28 +00:00
|
|
|
(add-after 'install 'install-symlinks
|
|
|
|
(lambda* (#:key outputs #:allow-other-keys)
|
|
|
|
(let* ((out (assoc-ref outputs "out"))
|
|
|
|
(bin (string-append out "/bin")))
|
|
|
|
(symlink (string-append bin "/git-annex")
|
|
|
|
(string-append bin "/git-annex-shell"))
|
|
|
|
(symlink (string-append bin "/git-annex")
|
|
|
|
(string-append bin "/git-remote-tor-annex"))
|
|
|
|
#t))))))
|
|
|
|
(inputs
|
|
|
|
`(("curl" ,curl)
|
|
|
|
("ghc-aeson" ,ghc-aeson)
|
|
|
|
("ghc-async" ,ghc-async)
|
2019-10-27 12:41:12 +00:00
|
|
|
("ghc-aws" ,ghc-aws)
|
2019-04-04 12:27:28 +00:00
|
|
|
("ghc-bloomfilter" ,ghc-bloomfilter)
|
|
|
|
("ghc-byteable" ,ghc-byteable)
|
|
|
|
("ghc-case-insensitive" ,ghc-case-insensitive)
|
2019-07-21 19:50:58 +00:00
|
|
|
("ghc-concurrent-output" ,ghc-concurrent-output)
|
2019-04-04 12:27:28 +00:00
|
|
|
("ghc-crypto-api" ,ghc-crypto-api)
|
|
|
|
("ghc-cryptonite" ,ghc-cryptonite)
|
|
|
|
("ghc-data-default" ,ghc-data-default)
|
|
|
|
("ghc-disk-free-space" ,ghc-disk-free-space)
|
|
|
|
("ghc-dlist" ,ghc-dlist)
|
|
|
|
("ghc-edit-distance" ,ghc-edit-distance)
|
|
|
|
("ghc-esqueleto" ,ghc-esqueleto)
|
|
|
|
("ghc-exceptions" ,ghc-exceptions)
|
|
|
|
("ghc-feed" ,ghc-feed)
|
2019-12-30 21:02:18 +00:00
|
|
|
("ghc-filepath-bytestring" ,ghc-filepath-bytestring)
|
2019-04-04 12:27:28 +00:00
|
|
|
("ghc-free" ,ghc-free)
|
|
|
|
("ghc-hslogger" ,ghc-hslogger)
|
|
|
|
("ghc-http-client" ,ghc-http-client)
|
|
|
|
("ghc-http-conduit" ,ghc-http-conduit)
|
|
|
|
("ghc-http-types" ,ghc-http-types)
|
|
|
|
("ghc-ifelse" ,ghc-ifelse)
|
2019-09-14 06:15:33 +00:00
|
|
|
("ghc-magic" ,ghc-magic)
|
2019-04-04 12:27:28 +00:00
|
|
|
("ghc-memory" ,ghc-memory)
|
|
|
|
("ghc-monad-control" ,ghc-monad-control)
|
|
|
|
("ghc-monad-logger" ,ghc-monad-logger)
|
|
|
|
("ghc-network" ,ghc-network)
|
|
|
|
("ghc-old-locale" ,ghc-old-locale)
|
|
|
|
("ghc-optparse-applicative" ,ghc-optparse-applicative)
|
|
|
|
("ghc-persistent" ,ghc-persistent)
|
|
|
|
("ghc-persistent-sqlite" ,ghc-persistent-sqlite)
|
|
|
|
("ghc-persistent-template" ,ghc-persistent-template)
|
|
|
|
("ghc-quickcheck" ,ghc-quickcheck)
|
|
|
|
("ghc-random" ,ghc-random)
|
|
|
|
("ghc-regex-tdfa" ,ghc-regex-tdfa)
|
|
|
|
("ghc-resourcet" ,ghc-resourcet)
|
|
|
|
("ghc-safesemaphore" ,ghc-safesemaphore)
|
|
|
|
("ghc-sandi" ,ghc-sandi)
|
|
|
|
("ghc-securemem" ,ghc-securemem)
|
|
|
|
("ghc-socks" ,ghc-socks)
|
|
|
|
("ghc-split" ,ghc-split)
|
|
|
|
("ghc-stm-chans" ,ghc-stm-chans)
|
|
|
|
("ghc-tagsoup" ,ghc-tagsoup)
|
|
|
|
("ghc-unix-compat" ,ghc-unix-compat)
|
|
|
|
("ghc-unordered-containers" ,ghc-unordered-containers)
|
|
|
|
("ghc-utf8-string" ,ghc-utf8-string)
|
|
|
|
("ghc-uuid" ,ghc-uuid)
|
|
|
|
("git" ,git)
|
|
|
|
("rsync" ,rsync)))
|
|
|
|
(native-inputs
|
|
|
|
`(("ghc-tasty" ,ghc-tasty)
|
|
|
|
("ghc-tasty-hunit" ,ghc-tasty-hunit)
|
|
|
|
("ghc-tasty-quickcheck" ,ghc-tasty-quickcheck)
|
|
|
|
("ghc-tasty-rerun" ,ghc-tasty-rerun)))
|
|
|
|
(home-page "https://git-annex.branchable.com/")
|
|
|
|
(synopsis "Manage files with Git, without checking in their contents")
|
|
|
|
(description "This package allows managing files with Git, without
|
|
|
|
checking the file contents into Git. It can store files in many places,
|
|
|
|
such as local hard drives and cloud storage services. It can also be
|
|
|
|
used to keep a folder in sync between computers.")
|
2019-09-14 06:15:31 +00:00
|
|
|
;; The main author has released all his changes under AGPLv3+ as of March
|
|
|
|
;; 2019 (7.20190219-187-g40ecf58d4). These are also licensed under the
|
|
|
|
;; original GPLv3+ license, but going forward new changes will be under
|
|
|
|
;; only AGPLv3+. The other licenses below cover code written by others.
|
|
|
|
;; See git-annex's COPYRIGHT file for details on each file.
|
|
|
|
(license (list license:agpl3+
|
|
|
|
license:gpl3+
|
|
|
|
license:bsd-2
|
|
|
|
license:expat
|
|
|
|
license:gpl2))))
|
2019-04-04 12:45:13 +00:00
|
|
|
|
2019-08-30 01:15:59 +00:00
|
|
|
(define-public hlint
|
|
|
|
(package
|
|
|
|
(name "hlint")
|
2019-10-31 17:24:07 +00:00
|
|
|
(version "2.1.26")
|
2019-08-30 01:15:59 +00:00
|
|
|
(source
|
|
|
|
(origin
|
|
|
|
(method url-fetch)
|
|
|
|
(uri (string-append
|
|
|
|
"https://hackage.haskell.org/package/" name
|
|
|
|
"/" name "-" version ".tar.gz"))
|
|
|
|
(sha256
|
|
|
|
(base32
|
2019-10-31 17:24:07 +00:00
|
|
|
"16zkkpbfrd69853cdqf597fva969lirfc86b039i9zd7ghlrcayc"))))
|
2019-08-30 01:15:59 +00:00
|
|
|
(build-system haskell-build-system)
|
|
|
|
(inputs
|
|
|
|
`(("cpphs" ,cpphs)
|
|
|
|
("ghc-unordered-containers" ,ghc-unordered-containers)
|
|
|
|
("ghc-yaml" ,ghc-yaml)
|
|
|
|
("ghc-vector" ,ghc-vector)
|
|
|
|
("ghc-data-default" ,ghc-data-default)
|
|
|
|
("ghc-cmdargs" ,ghc-cmdargs)
|
|
|
|
("ghc-haskell-src-exts" ,ghc-haskell-src-exts)
|
|
|
|
("ghc-haskell-src-exts-util" ,ghc-haskell-src-exts-util)
|
|
|
|
("ghc-uniplate" ,ghc-uniplate)
|
|
|
|
("ghc-ansi-terminal" ,ghc-ansi-terminal)
|
|
|
|
("ghc-extra" ,ghc-extra)
|
|
|
|
("ghc-refact" ,ghc-refact)
|
|
|
|
("ghc-aeson" ,ghc-aeson)
|
2019-10-31 17:24:07 +00:00
|
|
|
("ghc-lib-parser" ,ghc-lib-parser)
|
2019-08-30 01:15:59 +00:00
|
|
|
("hscolour" ,hscolour)))
|
2020-01-18 18:42:31 +00:00
|
|
|
(home-page "https://github.com/ndmitchell/hlint")
|
2019-08-30 01:15:59 +00:00
|
|
|
(synopsis "Suggest improvements for Haskell source code")
|
|
|
|
(description "HLint reads Haskell programs and suggests changes that
|
|
|
|
hopefully make them easier to read. HLint also makes it easy to disable
|
|
|
|
unwanted suggestions, and to add your own custom suggestions.")
|
|
|
|
(license license:bsd-3)))
|
|
|
|
|
2019-07-08 01:03:26 +00:00
|
|
|
(define-public hoogle
|
|
|
|
(package
|
|
|
|
(name "hoogle")
|
2019-10-31 17:31:50 +00:00
|
|
|
(version "5.0.17.11")
|
2019-07-08 01:03:26 +00:00
|
|
|
(source
|
|
|
|
(origin
|
|
|
|
(method url-fetch)
|
|
|
|
(uri
|
|
|
|
(string-append
|
|
|
|
"https://hackage.haskell.org/package/hoogle/hoogle-"
|
|
|
|
version ".tar.gz"))
|
|
|
|
(sha256
|
|
|
|
(base32
|
2019-10-31 17:31:50 +00:00
|
|
|
"1svp8z9pad8z2j386pr0dda0ds8ddxab0salnz4gm51q877w93p1"))))
|
2019-07-08 01:03:26 +00:00
|
|
|
(build-system haskell-build-system)
|
|
|
|
(inputs
|
2019-10-31 17:31:50 +00:00
|
|
|
`(("ghc-quickcheck" ,ghc-quickcheck)
|
2019-07-08 01:03:26 +00:00
|
|
|
("ghc-aeson" ,ghc-aeson)
|
2019-10-31 17:31:50 +00:00
|
|
|
("ghc-blaze-html" ,ghc-blaze-html)
|
|
|
|
("ghc-blaze-markup" ,ghc-blaze-markup)
|
2019-07-08 01:03:26 +00:00
|
|
|
("ghc-cmdargs" ,ghc-cmdargs)
|
|
|
|
("ghc-conduit" ,ghc-conduit)
|
|
|
|
("ghc-conduit-extra" ,ghc-conduit-extra)
|
|
|
|
("ghc-connection" ,ghc-connection)
|
|
|
|
("ghc-extra" ,ghc-extra)
|
2019-10-31 17:31:50 +00:00
|
|
|
("ghc-foundation" ,ghc-foundation)
|
2019-07-08 01:03:26 +00:00
|
|
|
("ghc-old-locale" ,ghc-old-locale)
|
|
|
|
("ghc-haskell-src-exts" ,ghc-haskell-src-exts)
|
|
|
|
("ghc-http-conduit" ,ghc-http-conduit)
|
|
|
|
("ghc-http-types" ,ghc-http-types)
|
|
|
|
("ghc-js-flot" ,ghc-js-flot)
|
|
|
|
("ghc-js-jquery" ,ghc-js-jquery)
|
|
|
|
("ghc-mmap" ,ghc-mmap)
|
|
|
|
("ghc-process-extras" ,ghc-process-extras)
|
|
|
|
("ghc-resourcet" ,ghc-resourcet)
|
|
|
|
("ghc-storable-tuple" ,ghc-storable-tuple)
|
|
|
|
("ghc-tar" ,ghc-tar)
|
|
|
|
("ghc-uniplate" ,ghc-uniplate)
|
|
|
|
("ghc-utf8-string" ,ghc-utf8-string)
|
|
|
|
("ghc-vector" ,ghc-vector)
|
|
|
|
("ghc-wai" ,ghc-wai)
|
|
|
|
("ghc-wai-logger" ,ghc-wai-logger)
|
|
|
|
("ghc-warp" ,ghc-warp)
|
|
|
|
("ghc-warp-tls" ,ghc-warp-tls)
|
|
|
|
("ghc-zlib" ,ghc-zlib)))
|
|
|
|
(home-page "https://hoogle.haskell.org/")
|
|
|
|
(synopsis "Haskell API Search")
|
|
|
|
(description "Hoogle is a Haskell API search engine, which allows
|
|
|
|
you to search many standard Haskell libraries by either function name,
|
|
|
|
or by approximate type signature.")
|
|
|
|
(license license:bsd-3)))
|
|
|
|
|
2019-08-30 01:15:59 +00:00
|
|
|
(define-public hscolour
|
|
|
|
(package
|
|
|
|
(name "hscolour")
|
|
|
|
(version "1.24.4")
|
|
|
|
(source
|
|
|
|
(origin
|
|
|
|
(method url-fetch)
|
|
|
|
(uri (string-append
|
|
|
|
"https://hackage.haskell.org/package/hscolour/hscolour-"
|
|
|
|
version
|
|
|
|
".tar.gz"))
|
|
|
|
(sha256
|
|
|
|
(base32
|
|
|
|
"079jwph4bwllfp03yfr26s5zc6m6kw3nhb1cggrifh99haq34cr4"))))
|
|
|
|
(build-system haskell-build-system)
|
|
|
|
(home-page "https://hackage.haskell.org/package/hscolour")
|
|
|
|
(synopsis "Script to colourise Haskell code")
|
|
|
|
(description "HSColour is a small Haskell script to colourise Haskell
|
|
|
|
code. It currently has six output formats: ANSI terminal codes (optionally
|
|
|
|
XTerm-256colour codes), HTML 3.2 with font tags, HTML 4.01 with CSS, HTML 4.01
|
|
|
|
with CSS and mouseover annotations, XHTML 1.0 with inline CSS styling, LaTeX,
|
|
|
|
and mIRC chat codes.")
|
|
|
|
(license license:bsd-3)))
|
|
|
|
|
2019-10-12 18:55:49 +00:00
|
|
|
(define-public kmonad
|
|
|
|
(package
|
|
|
|
(name "kmonad")
|
2019-11-21 16:38:42 +00:00
|
|
|
(version "0.3.0")
|
2019-10-12 18:55:49 +00:00
|
|
|
(source
|
|
|
|
(origin
|
|
|
|
(method git-fetch)
|
|
|
|
(uri (git-reference
|
|
|
|
(url "https://github.com/david-janssen/kmonad.git")
|
2019-11-21 16:38:42 +00:00
|
|
|
(commit version)))
|
2019-10-12 18:55:49 +00:00
|
|
|
(file-name (git-file-name name version))
|
|
|
|
(sha256
|
2019-11-21 16:38:42 +00:00
|
|
|
(base32 "1g40nkpldih6h1rlxjx5yf9iavr3qs1f2b6j0gd8135p5hkg8d8n"))))
|
2019-10-12 18:55:49 +00:00
|
|
|
(build-system haskell-build-system)
|
|
|
|
(arguments
|
|
|
|
`(#:phases
|
|
|
|
(modify-phases %standard-phases
|
|
|
|
(delete 'haddock) ; Haddock fails to generate docs
|
|
|
|
(add-after 'install 'install-udev-rules
|
|
|
|
(lambda* (#:key outputs #:allow-other-keys)
|
|
|
|
(let* ((out (assoc-ref outputs "out"))
|
|
|
|
(rules (string-append out "/lib/udev/rules.d")))
|
|
|
|
(mkdir-p rules)
|
|
|
|
(call-with-output-file (string-append rules "/70-kmonad.rules")
|
|
|
|
(lambda (port)
|
|
|
|
(display
|
|
|
|
(string-append
|
|
|
|
"KERNEL==\"uinput\", MODE=\"0660\", "
|
|
|
|
"GROUP=\"input\", OPTIONS+=\"static_node=uinput\"\n")
|
|
|
|
port)))
|
|
|
|
#t)))
|
|
|
|
(add-after 'install-udev-rules 'install-documentation
|
|
|
|
(lambda* (#:key outputs #:allow-other-keys)
|
|
|
|
(let* ((out (assoc-ref outputs "out"))
|
|
|
|
(doc (string-append out "/share/doc/kmonad-" ,version)))
|
|
|
|
(install-file "README.md" doc)
|
|
|
|
(copy-recursively "doc" doc)
|
|
|
|
(copy-recursively "example" (string-append doc "/example"))
|
|
|
|
#t))))))
|
|
|
|
(inputs
|
|
|
|
`(("ghc-cereal" ,ghc-cereal)
|
|
|
|
("ghc-exceptions" ,ghc-exceptions)
|
|
|
|
("ghc-hashable" ,ghc-hashable)
|
|
|
|
("ghc-lens" ,ghc-lens)
|
2019-10-31 16:59:06 +00:00
|
|
|
("ghc-megaparsec" ,ghc-megaparsec)
|
2019-10-12 18:55:49 +00:00
|
|
|
("ghc-optparse-applicative" ,ghc-optparse-applicative)
|
|
|
|
("ghc-unagi-chan" ,ghc-unagi-chan)
|
|
|
|
("ghc-unliftio" ,ghc-unliftio)
|
|
|
|
("ghc-unordered-containers" ,ghc-unordered-containers)))
|
|
|
|
(home-page "https://github.com/david-janssen/kmonad")
|
|
|
|
(synopsis "Advanced keyboard manager")
|
|
|
|
(description "KMonad is a keyboard remapping utility that supports
|
|
|
|
advanced functionality, such as custom keymap layers and modifiers, macros,
|
|
|
|
and conditional mappings that send a different keycode when tapped or held.
|
|
|
|
By operating at a lower level than most similar tools, it supports X11,
|
|
|
|
Wayland, and Linux console environments alike.")
|
|
|
|
(license license:expat)))
|
|
|
|
|
2019-04-04 12:45:13 +00:00
|
|
|
(define-public raincat
|
|
|
|
(package
|
|
|
|
(name "raincat")
|
|
|
|
(version "1.2.1")
|
|
|
|
(source
|
|
|
|
(origin
|
|
|
|
(method url-fetch)
|
2019-11-10 09:19:56 +00:00
|
|
|
(uri (string-append "mirror://hackage/package/Raincat/"
|
2019-04-04 12:45:13 +00:00
|
|
|
"Raincat-" version ".tar.gz"))
|
|
|
|
(sha256
|
|
|
|
(base32
|
|
|
|
"10y9zi22m6hf13c9h8zd9vg7mljpwbw0r3djb6r80bna701fdf6c"))))
|
|
|
|
(build-system haskell-build-system)
|
|
|
|
(arguments
|
|
|
|
`(#:phases
|
|
|
|
(modify-phases %standard-phases
|
|
|
|
(add-after 'install 'wrap-executable
|
|
|
|
(lambda* (#:key inputs outputs #:allow-other-keys)
|
|
|
|
(let ((out (assoc-ref outputs "out")))
|
|
|
|
(wrap-program (string-append out "/bin/raincat")
|
|
|
|
`("LD_LIBRARY_PATH" ":" =
|
|
|
|
(,(string-append (assoc-ref inputs "freeglut")
|
|
|
|
"/lib"))))
|
|
|
|
#t))))))
|
|
|
|
(inputs
|
|
|
|
`(("ghc-extensible-exceptions" ,ghc-extensible-exceptions)
|
|
|
|
("ghc-random" ,ghc-random)
|
|
|
|
("ghc-glut" ,ghc-glut)
|
|
|
|
("freeglut" ,freeglut)
|
|
|
|
("ghc-opengl" ,ghc-opengl)
|
|
|
|
("ghc-sdl2" ,ghc-sdl2)
|
|
|
|
("ghc-sdl2-image" ,ghc-sdl2-image)
|
|
|
|
("ghc-sdl2-mixer" ,ghc-sdl2-mixer)))
|
2020-01-18 21:41:06 +00:00
|
|
|
(home-page "https://www.gamecreation.org/games/raincat")
|
2019-04-04 12:45:13 +00:00
|
|
|
(synopsis "Puzzle game with a cat in lead role")
|
|
|
|
(description "Project Raincat is a game developed by Carnegie Mellon
|
|
|
|
students through GCS during the Fall 2008 semester. Raincat features game
|
|
|
|
play inspired from classics Lemmings and The Incredible Machine. The project
|
|
|
|
proved to be an excellent learning experience for the programmers. Everything
|
|
|
|
is programmed in Haskell.")
|
|
|
|
(license license:bsd-3)))
|
2019-08-30 01:15:59 +00:00
|
|
|
|
2019-11-03 20:09:34 +00:00
|
|
|
(define-public scroll
|
|
|
|
(package
|
|
|
|
(name "scroll")
|
|
|
|
(version "1.20180421")
|
|
|
|
(source
|
|
|
|
(origin
|
|
|
|
(method url-fetch)
|
|
|
|
(uri (string-append
|
|
|
|
"https://hackage.haskell.org/package/scroll/scroll-"
|
|
|
|
version ".tar.gz"))
|
|
|
|
(sha256
|
|
|
|
(base32
|
|
|
|
"0apzrvf99rskj4dbmn57jjxrsf19j436s8a09m950df5aws3a0wj"))))
|
|
|
|
(build-system haskell-build-system)
|
|
|
|
(inputs
|
|
|
|
`(("ghc-case-insensitive" ,ghc-case-insensitive)
|
|
|
|
("ghc-data-default" ,ghc-data-default)
|
|
|
|
("ghc-ifelse" ,ghc-ifelse)
|
|
|
|
("ghc-monad-loops" ,ghc-monad-loops)
|
|
|
|
("ghc-ncurses" ,ghc-ncurses)
|
|
|
|
("ghc-optparse-applicative" ,ghc-optparse-applicative)
|
|
|
|
("ghc-random" ,ghc-random)
|
|
|
|
("ghc-vector" ,ghc-vector)))
|
|
|
|
(home-page "https://joeyh.name/code/scroll/")
|
|
|
|
(synopsis "scroll(6), a roguelike game")
|
|
|
|
(description
|
|
|
|
"You're a bookworm that's stuck on a scroll. You have to dodge between
|
|
|
|
words and use spells to make your way down the page as the scroll is read. Go
|
|
|
|
too slow and you'll get wound up in the scroll and crushed.")
|
|
|
|
(license license:gpl2)))
|
|
|
|
|
2019-08-30 01:15:59 +00:00
|
|
|
(define-public shellcheck
|
|
|
|
(package
|
|
|
|
(name "shellcheck")
|
|
|
|
(version "0.7.0")
|
|
|
|
(source
|
|
|
|
(origin
|
|
|
|
(method url-fetch)
|
|
|
|
(uri (string-append
|
|
|
|
"https://hackage.haskell.org/package/ShellCheck/ShellCheck-"
|
|
|
|
version ".tar.gz"))
|
|
|
|
(sha256
|
|
|
|
(base32 "1vx895cp5k5h0680xfwj74lk97m9y627n965x6srds0gfnbkzy9s"))
|
|
|
|
(file-name (string-append name "-" version ".tar.gz"))))
|
|
|
|
(build-system haskell-build-system)
|
|
|
|
(inputs
|
|
|
|
`(("ghc-aeson" ,ghc-aeson)
|
|
|
|
("ghc-diff" ,ghc-diff)
|
|
|
|
("ghc-quickcheck" ,ghc-quickcheck)
|
|
|
|
("ghc-regex-tdfa" ,ghc-regex-tdfa)))
|
2020-04-09 16:35:40 +00:00
|
|
|
(home-page "https://www.shellcheck.net/")
|
2019-08-30 01:15:59 +00:00
|
|
|
(synopsis "Static analysis for shell scripts")
|
|
|
|
(description "@code{shellcheck} provides static analysis for
|
|
|
|
@command{bash} and @command{sh} shell scripts.
|
|
|
|
It gives warnings and suggestions in order to:
|
|
|
|
|
|
|
|
@enumerate
|
|
|
|
@item Point out and clarify typical beginner's syntax issues that cause
|
|
|
|
a shell to give cryptic error messages.
|
|
|
|
@item Point out and clarify typical intermediate level semantic problems
|
|
|
|
that cause a shell to behave strangely and counter-intuitively.
|
|
|
|
@item Point out subtle caveats, corner cases and pitfalls that may cause an
|
|
|
|
advanced user's otherwise working script to fail under future circumstances.
|
|
|
|
@end enumerate")
|
|
|
|
(license license:gpl3+)))
|
2019-08-16 14:20:28 +00:00
|
|
|
|
2020-06-09 23:04:21 +00:00
|
|
|
(define-public shelltestrunner
|
|
|
|
(package
|
|
|
|
(name "shelltestrunner")
|
|
|
|
(version "1.9")
|
|
|
|
(source (origin
|
|
|
|
(method url-fetch)
|
|
|
|
(uri (string-append "mirror://hackage/package/shelltestrunner-"
|
|
|
|
version "/shelltestrunner-" version ".tar.gz"))
|
|
|
|
(sha256
|
|
|
|
(base32
|
|
|
|
"1a5kzqbwg6990249ypw0cx6cqj6663as1kbj8nzblcky8j6kbi6b"))))
|
|
|
|
(build-system haskell-build-system)
|
|
|
|
(arguments
|
|
|
|
'(#:phases
|
|
|
|
(modify-phases %standard-phases
|
|
|
|
(delete 'check)
|
|
|
|
(add-after 'install 'check
|
|
|
|
(lambda* (#:key outputs tests? parallel-tests? #:allow-other-keys)
|
|
|
|
;; This test is inspired by the Makefile in the upstream
|
|
|
|
;; repository, which is missing in the Hackage release tarball
|
|
|
|
;; along with some of the tests. The Makefile would not work
|
|
|
|
;; anyway as it ties into the 'stack' build tool.
|
|
|
|
(let* ((out (assoc-ref outputs "out"))
|
|
|
|
(shelltest (string-append out "/bin/shelltest"))
|
|
|
|
(numjobs (if parallel-tests?
|
|
|
|
(number->string (parallel-job-count))
|
|
|
|
"1")))
|
|
|
|
(if tests?
|
|
|
|
(invoke shelltest (string-append "-j" numjobs)
|
|
|
|
"tests/examples")
|
|
|
|
(format #t "test suite not run~%"))
|
|
|
|
#t))))))
|
|
|
|
(inputs
|
|
|
|
`(("ghc-diff" ,ghc-diff)
|
|
|
|
("ghc-cmdargs" ,ghc-cmdargs)
|
|
|
|
("ghc-filemanip" ,ghc-filemanip)
|
|
|
|
("ghc-hunit" ,ghc-hunit)
|
|
|
|
("ghc-pretty-show" ,ghc-pretty-show)
|
|
|
|
("ghc-regex-tdfa" ,ghc-regex-tdfa)
|
|
|
|
("ghc-safe" ,ghc-safe)
|
|
|
|
("ghc-utf8-string" ,ghc-utf8-string)
|
|
|
|
("ghc-test-framework" ,ghc-test-framework)
|
|
|
|
("ghc-test-framework-hunit" ,ghc-test-framework-hunit)))
|
|
|
|
(home-page "https://github.com/simonmichael/shelltestrunner")
|
|
|
|
(synopsis "Test CLI programs")
|
|
|
|
(description
|
|
|
|
"shelltestrunner (executable: @command{shelltest}) is a command-line tool
|
|
|
|
for testing command-line programs, or general shell commands. It reads simple
|
|
|
|
test specifications defining a command to run, some input, and the expected
|
|
|
|
output, stderr, and exit status.")
|
|
|
|
(license license:gpl3+)))
|
|
|
|
|
2019-08-16 14:20:28 +00:00
|
|
|
(define-public stylish-haskell
|
|
|
|
(package
|
|
|
|
(name "stylish-haskell")
|
|
|
|
(version "0.9.2.2")
|
|
|
|
(source
|
|
|
|
(origin
|
|
|
|
(method url-fetch)
|
|
|
|
(uri
|
|
|
|
(string-append
|
|
|
|
"mirror://hackage/package/stylish-haskell/"
|
|
|
|
"stylish-haskell-" version ".tar.gz"))
|
|
|
|
(sha256
|
|
|
|
(base32
|
|
|
|
"1zs624xqp6j8vrl6pfv18dm8vz8hvz25grri65ximxhcizgwhnax"))))
|
|
|
|
(build-system haskell-build-system)
|
|
|
|
(inputs
|
|
|
|
`(("ghc-aeson" ,ghc-aeson)
|
|
|
|
("ghc-file-embed" ,ghc-file-embed)
|
|
|
|
("ghc-haskell-src-exts" ,ghc-haskell-src-exts)
|
|
|
|
("ghc-semigroups" ,ghc-semigroups)
|
|
|
|
("ghc-syb" ,ghc-syb)
|
|
|
|
("ghc-yaml" ,ghc-yaml)
|
|
|
|
("ghc-strict" ,ghc-strict)
|
|
|
|
("ghc-optparse-applicative" ,ghc-optparse-applicative)
|
|
|
|
("ghc-hunit" ,ghc-hunit)
|
|
|
|
("ghc-test-framework" ,ghc-test-framework)
|
|
|
|
("ghc-test-framework-hunit" ,ghc-test-framework-hunit)))
|
|
|
|
(home-page "https://github.com/jaspervdj/stylish-haskell")
|
|
|
|
(synopsis "Haskell code prettifier")
|
2019-12-13 14:29:27 +00:00
|
|
|
(description "Stylish-haskell is a Haskell code prettifier. The goal is
|
|
|
|
not to format all of the code in a file, to avoid \"getting in the way\".
|
|
|
|
However, this tool can e.g. clean up import statements and help doing various
|
|
|
|
tasks that get tedious very quickly. It can
|
|
|
|
@itemize
|
|
|
|
@item
|
|
|
|
Align and sort @code{import} statements
|
|
|
|
@item
|
|
|
|
Group and wrap @code{{-# LANGUAGE #-}} pragmas, remove (some) redundant
|
|
|
|
pragmas
|
|
|
|
@item
|
|
|
|
Remove trailing whitespaces
|
|
|
|
@item
|
|
|
|
Align branches in @code{case} and fields in records
|
|
|
|
@item
|
|
|
|
Convert line endings (customisable)
|
|
|
|
@item
|
|
|
|
Replace tabs by four spaces (turned off by default)
|
|
|
|
@item
|
|
|
|
Replace some ASCII sequences by their Unicode equivalent (turned off by
|
|
|
|
default)
|
|
|
|
@end itemize")
|
2019-08-16 14:20:28 +00:00
|
|
|
(license license:bsd-3)))
|
2020-03-29 19:15:59 +00:00
|
|
|
|
|
|
|
(define-public ghc-stylish-haskell
|
|
|
|
(deprecated-package "ghc-stylish-haskell" stylish-haskell))
|