2019-04-04 14:27:28 +02:00
|
|
|
;;; GNU Guix --- Functional package management for GNU
|
2019-08-30 03:15:59 +02:00
|
|
|
;;; Copyright © 2015 Siniša Biđin <sinisa@bidin.eu>
|
2019-04-04 14:27:28 +02:00
|
|
|
;;; Copyright © 2015, 2017, 2018 Ricardo Wurmus <rekado@elephly.net>
|
|
|
|
;;; Copyright © 2016, 2017, 2018 ng0 <ng0@n0.is>
|
2019-08-30 03:15:59 +02:00
|
|
|
;;; Copyright © 2017 Danny Milosavljevic <dannym@scratchpost.org>
|
|
|
|
;;; Copyright © 2017, 2018 Alex Vong <alexvong1995@gmail.com>
|
2019-04-04 14:27:28 +02: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 14:45:13 +02:00
|
|
|
;;; Copyright © 2015 Paul van der Walt <paul@denknerd.org>
|
2019-07-21 21:50:57 +02:00
|
|
|
;;; Copyright © 2019 Kyle Meyer <kyle@kyleam.com>
|
2019-07-08 03:03:26 +02:00
|
|
|
;;; Copyright © 2015 John Soo <jsoo1@asu.edu>
|
2019-04-04 14:27:28 +02: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 03:15:59 +02:00
|
|
|
#:use-module (guix git-download)
|
2019-04-04 14:27:28 +02: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 14:45:13 +02:00
|
|
|
#:use-module (gnu packages gl)
|
2019-04-04 14:27:28 +02: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 03:56:35 +02:00
|
|
|
#:use-module (gnu packages haskell-xyz)
|
2019-04-04 14:27:28 +02: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))
|
|
|
|
|
2019-08-30 03:15:59 +02:00
|
|
|
(define-public cabal-install
|
|
|
|
(package
|
|
|
|
(name "cabal-install")
|
|
|
|
(version "2.2.0.0")
|
|
|
|
(source
|
|
|
|
(origin
|
|
|
|
(method url-fetch)
|
|
|
|
(uri (string-append
|
|
|
|
"https://hackage.haskell.org/package/cabal-install/cabal-install-"
|
|
|
|
version
|
|
|
|
".tar.gz"))
|
|
|
|
(sha256
|
|
|
|
(base32 "1nd3ch7qr4dpfxhgkcq2lnhvszx2kjgnn1kwb44vk9y5jgfs4mn8"))))
|
|
|
|
(arguments `(#:tests? #f)) ; FIXME: testing libraries are missing.
|
|
|
|
(build-system haskell-build-system)
|
|
|
|
(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)
|
|
|
|
("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")))
|
|
|
|
(file-name
|
|
|
|
(string-append name "-" version "-checkout"))
|
|
|
|
(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+))))
|
|
|
|
|
2019-04-04 14:27:28 +02:00
|
|
|
;; Darcs has no https support: http://irclog.perlgeek.de/darcs/2016-09-17
|
|
|
|
;; 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
|
|
|
|
`(#:configure-flags '("-fpkgconfig" "-fcurl" "-flibiconv" "-fthreaded"
|
|
|
|
"-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")))
|
|
|
|
#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)))
|
|
|
|
|
|
|
|
(define-public git-annex
|
|
|
|
(package
|
|
|
|
(name "git-annex")
|
2019-07-21 21:50:58 +02:00
|
|
|
(version "7.20190708")
|
2019-04-04 14:27:28 +02:00
|
|
|
(source
|
|
|
|
(origin
|
|
|
|
(method url-fetch)
|
|
|
|
(uri (string-append "https://hackage.haskell.org/package/"
|
|
|
|
"git-annex/git-annex-" version ".tar.gz"))
|
|
|
|
(sha256
|
|
|
|
(base32
|
2019-07-21 21:50:58 +02:00
|
|
|
"18s563swrp8mx479995pdhhmn40y3xwlbm1z3w63qsnjqmj7zlij"))))
|
2019-04-04 14:27:28 +02:00
|
|
|
(build-system haskell-build-system)
|
|
|
|
(arguments
|
|
|
|
`(#:configure-flags
|
|
|
|
'("--flags=-Android -Assistant -Pairing -S3 -Webapp -WebDAV")
|
|
|
|
#:phases
|
|
|
|
(modify-phases %standard-phases
|
2019-07-21 21:50:57 +02:00
|
|
|
(add-before 'configure 'patch-shell-for-tests
|
2019-04-04 14:27:28 +02:00
|
|
|
(lambda _
|
2019-07-21 21:50:57 +02: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 14:27:28 +02: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 21:50:57 +02: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 14:27:28 +02: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)
|
|
|
|
("ghc-bloomfilter" ,ghc-bloomfilter)
|
|
|
|
("ghc-byteable" ,ghc-byteable)
|
|
|
|
("ghc-case-insensitive" ,ghc-case-insensitive)
|
2019-07-21 21:50:58 +02:00
|
|
|
("ghc-concurrent-output" ,ghc-concurrent-output)
|
2019-04-04 14:27:28 +02: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)
|
|
|
|
("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)
|
|
|
|
("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.")
|
|
|
|
;; The web app is released under the AGPLv3+.
|
|
|
|
(license (list license:gpl3+
|
|
|
|
license:agpl3+))))
|
2019-04-04 14:45:13 +02:00
|
|
|
|
2019-08-30 03:15:59 +02:00
|
|
|
(define-public hlint
|
|
|
|
(package
|
|
|
|
(name "hlint")
|
|
|
|
(version "2.1.10")
|
|
|
|
(source
|
|
|
|
(origin
|
|
|
|
(method url-fetch)
|
|
|
|
(uri (string-append
|
|
|
|
"https://hackage.haskell.org/package/" name
|
|
|
|
"/" name "-" version ".tar.gz"))
|
|
|
|
(sha256
|
|
|
|
(base32
|
|
|
|
"19as2m9g75cr6n1agzvsij0cvqhb0wbjlk31w4y5d5mns87dki0w"))))
|
|
|
|
(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)
|
|
|
|
("hscolour" ,hscolour)))
|
|
|
|
(home-page "http://community.haskell.org/~ndm/hlint/")
|
|
|
|
(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 03:03:26 +02:00
|
|
|
(define-public hoogle
|
|
|
|
(package
|
|
|
|
(name "hoogle")
|
|
|
|
(version "5.0.17.3")
|
|
|
|
(source
|
|
|
|
(origin
|
|
|
|
(method url-fetch)
|
|
|
|
(uri
|
|
|
|
(string-append
|
|
|
|
"https://hackage.haskell.org/package/hoogle/hoogle-"
|
|
|
|
version ".tar.gz"))
|
|
|
|
(sha256
|
|
|
|
(base32
|
|
|
|
"174gp41v0krzj37m75pnr3aawyhkbk2wq4q6zk2z3zh0avvvmgk6"))))
|
|
|
|
(build-system haskell-build-system)
|
|
|
|
(inputs
|
|
|
|
`(("ghc-network-uri" ,ghc-network-uri)
|
|
|
|
("ghc-network" ,ghc-network)
|
|
|
|
("ghc-quickcheck" ,ghc-quickcheck)
|
|
|
|
("ghc-aeson" ,ghc-aeson)
|
|
|
|
("ghc-cmdargs" ,ghc-cmdargs)
|
|
|
|
("ghc-conduit" ,ghc-conduit)
|
|
|
|
("ghc-conduit-extra" ,ghc-conduit-extra)
|
|
|
|
("ghc-connection" ,ghc-connection)
|
|
|
|
("ghc-extra" ,ghc-extra)
|
|
|
|
("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 03:15:59 +02: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-04-04 14:45:13 +02:00
|
|
|
(define-public raincat
|
|
|
|
(package
|
|
|
|
(name "raincat")
|
|
|
|
(version "1.2.1")
|
|
|
|
(source
|
|
|
|
(origin
|
|
|
|
(method url-fetch)
|
|
|
|
(uri (string-append "http://hackage.haskell.org/package/Raincat/"
|
|
|
|
"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)))
|
|
|
|
(home-page "http://www.bysusanlin.com/raincat/")
|
|
|
|
(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 03:15:59 +02: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)))
|
|
|
|
(home-page "https://github.com/koalaman/shellcheck")
|
|
|
|
(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 16:20:28 +02: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")
|
|
|
|
(description
|
|
|
|
"A simple Haskell code prettifier. The goal is not to format all of the
|
|
|
|
code in a file, just clean up import statements and a few other tedious
|
|
|
|
items. This tool tries to help where necessary without getting in the way.")
|
|
|
|
(license license:bsd-3)))
|