From 41faaff11feb04375161ae20350bacf9bdbaed42 Mon Sep 17 00:00:00 2001 From: Ricardo Wurmus Date: Mon, 12 Feb 2018 23:49:15 +0100 Subject: gnu: Add ghc-doctest-0.12. * gnu/packages/haskell.scm (ghc-doctest-0.12): New variable. --- gnu/packages/haskell.scm | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) (limited to 'gnu/packages/haskell.scm') diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm index 48f25f00d6..5ed06d5563 100644 --- a/gnu/packages/haskell.scm +++ b/gnu/packages/haskell.scm @@ -4537,6 +4537,24 @@ It is modeled after doctest for Python, see @uref{http://docs.python.org/library/doctest.html, the Doctest website}.") (license license:expat))) +(define-public ghc-doctest-0.12 + (package (inherit ghc-doctest) + (name "ghc-doctest") + (version "0.12.0") + (source + (origin + (method url-fetch) + (uri (string-append + "https://hackage.haskell.org/package/doctest/doctest-" + version + ".tar.gz")) + (sha256 + (base32 + "13h549cpgcvb7c54c7wif28g5wak84dxc3ais0hlqhzk1q6la91a")))) + (inputs + `(("ghc-code-page" ,ghc-code-page) + ,@(package-inputs ghc-doctest))))) + (define-public ghc-lifted-base (package (name "ghc-lifted-base") -- cgit v1.2.3 e/doc/guix.texi?id=a733253b5cf81808afda589c50782129472f11d5'>treecommitdiff
path: root/doc/guix.texi
AgeCommit message (Expand)Author
2020-02-22build: Depend on guile-ssh 0.12.0...This is a followup to 35f35111678e6622301b414f3d464acb71e106bb. * m4/guix.m4 (GUIX_CHECK_GUILE_SSH): Check for userauth-gssapi! * doc/guix.texi: Document version requirement Signed-off-by: Ludovic Courtès <ludo@gnu.org> Lars-Dominik Braun
2020-02-21doc: Fix copy-build-system specification....* doc/guix.texi (Build Systems): Files must match one or more filters, not exactly one. Pierre Neidhardt
2020-02-21doc: Fix indentation....This follows up on commit e90e64049ce160d28d1e8b3014badcc2b214627c, which broke ‘guix pull’. * doc/guix.texi (Build Systems): Un-indent. Tobias Geerinckx-Rice
2020-02-21doc: Fix typos....* doc/guix.texi (Build Systems): Add missing hash to "#:exclude", and a comma after "e.g.". Use @file and @var appropriately. Nicolas Goaziou
2020-02-21build-system: Add copy-build-system....* guix/build-system/copy.scm: New file. * guix/build/copy-build-system.scm: New file. * Makefile.am (MODULES): Add them. * doc/guix.texi (Build Systems): Document 'copy-build-system'. Pierre Neidhardt
2020-02-20doc: Use two spaces after full stops....* doc/guix.texi (The Store): Use two spaces after full stops. Nicolas Goaziou
2020-02-20ssh: Add Kerberos-support to ssh:// daemon URLs...* guix/ssh.scm (open-ssh-session): Fall back to GSSAPI if public key authentication does not work Signed-off-by: Ludovic Courtès <ludo@gnu.org> Lars-Dominik Braun
2020-02-19gnu: services: Add openvpn options....* gnu/services/vpn.scm (openvpn-client-configuration) (openvpn-server-configuration): Add fast-io? and auth-user-pass options. Julien Lepiller
2020-02-16doc: Fix typo....* doc/guix.texi (X Window)[sddm-service-type]: SSDM -> SDDM typo fix. [sddm-configuration]: Also list 'maya' theme. * gnu/services/sddm.scm (sddm-service): Fix typo in doc string. (sddm-configuration): Also list 'maya' theme. Efraim Flashner
2020-02-14doc: Use @itemx as needed....This is a followup to 459e0967705945bf6b5861598202aefef27451cd. * doc/guix.texi (Invoking guix environment): Use @itemx for '--share'. Ludovic Courtès
2020-02-14doc: Clarify documentation of guix environment --expose vs. --share...The documentation for --expose and --share parameters are so similar that the reader has to read both descriptions in parallel to find the difference. * doc/guix.texi (Invoking guix environment)[--expose, --share]: Merge the two descriptions into one. Signed-off-by: Jakub Kądziołka <kuba@kadziolka.net> Damien Cassou
2020-02-14doc: Clarify how sudo and guix interact when updating...* doc/guix.texi (After System Installation): Explicitly explain the mechanics of how sudo differs from a login shell. Some recent discussions on IRC suggest that the existing wording wasn't entirely clear. Jakub Kądziołka
2020-02-14guix build: Add '--manifest' option....* guix/scripts/build.scm (show-help): Document --manifest argument. (options->things-to-build): When given a manifest, evaluate all the entries. * tests/guix-build.sh: Add test for --manifest. * doc/guix.texi (Additional Build Options): Mention --manifest. * etc/completion/bash/guix: Complete file name if 'guix build' argument is -m. Marius Bakke
2020-02-10Merge branch 'staging'Marius Bakke
2020-02-07doc: Add missing copyright notice for Damien Cassou....This is a followup to commit ea9cc4ef219e62de569945816a5e666775e7fa41. * doc/guix.texi: Add copyright line. Leo Famulari
2020-02-05Merge branch 'master' into stagingMarius Bakke
2020-02-05doc: Clarify documentation of Substitute Server Authorization....* doc/guix.texi (Substitute Server Authorization): Highlight the salient part of the example. Signed-off-by: Leo Famulari <leo@famulari.name> Damien Cassou
2020-02-05doc: Improve "guix pack -f docker" example....* doc/guix.texi (Invoking guix pack): Provide more concrete instructions for the "guix pack -f docker" example. Ludovic Courtès
2020-02-05doc: Fix typo in channel example....* doc/guix.texi (Channels): Use 'commit' field instead of 'branch' in example. Ludovic Courtès
2020-02-03Merge branch 'master' into stagingMarius Bakke
2020-01-31gnu: Add earlyoom-service-type....* gnu/services/linux.scm: New file. * tests/services/linux.scm: Add test. * Makefile.am (SCM_TESTS): Register test. * doc/guix.texi (Linux Services): Add a new section and document the new service and its configuration. Maxim Cournoyer
2020-01-28guix: qt-build-system: Add phase `check-setup`....* guix/build/qt-build-system.scm (check-setup): New function. (%standard-phases): Add as new phase `check-setup before `check. * doc/guix.texi (Build System)[qt-build-system]: Describe the new phase. Hartmut Goebel
2020-01-25bootloader: grub: Add gfxmode (resolution) override....* gnu/bootloader/grub.scm (<grub-theme>): Add `gfxmode' entry. (eye-candy): Use it. * doc/guix.texi (Bootloader Configuration): Document it. Jan Nieuwenhuizen
2020-01-21services: sane: Create the "scanner" account....* gnu/services/desktop.scm (%sane-accounts, sane-service-type): New variables. (%desktop-services): Use SANE-SERVICE-TYPE instead of 'simple-service'. * doc/guix.texi (Desktop Services): Document 'sane-service-type'. Ludovic Courtès
2020-01-20services: getmail: Adjust a couple of default configuration values....Change the message-log-syslog and message-log-verbose configuration values to match the Getmail defaults. * gnu/services/getmail.scm (getmail-options-configuration): Change defaults for message-log-syslog and message-log-verbose * doc/guix.texi (Mail Services): Update the Getmail documentation accordingly. Christopher Baines
2020-01-20services: getmail: Fix some configuration documentation strings....* gnu/services/getmail.scm (getmail-retriever-configuration): Specify proper documentation strings for some of the fields. * doc/guix.texi (Mail Services): Update the documentation accordingly. Christopher Baines
2020-01-19repl: Add "-q"....* guix/scripts/repl.scm (%options, show-help): Add "-q". (guix-repl): Add 'user-config' and use it. Honor 'ignore-dot-guile?'. Ludovic Courtès
2020-01-17doc: Add booting instructions for Libreboot....* doc/guix.texi (Booting): Mention the relevant command for USB. Instructions for DVD and for Coreboot are missing. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Wiktor Żelazny
2020-01-17build: Allow builds with Guile 3.0....* configure.ac: Add "3.0" in 'GUILE_PKG' invocation. * doc/guix.texi (Requirements): Mention 3.0.x. Ludovic Courtès
2020-01-17doc: Replace some invalid uses of @var with @code....* doc/guix.texi (Build Systems): Replace invalid uses of @var with @code. Ludovic Courtès
2020-01-16repl: Add '--load-path' option....* guix/scripts/repl.scm (%option): Add '--load-path' option. * doc/guix.texi: Document it. zimoun
2020-01-16edit: Add '--load-path' option....* guix/scripts/edit.scm (%option): Add '--load-path' option. * doc/guix.texi: Document it. zimoun
2020-01-16refresh: Add '--load-path' option....* guix/scripts/refresh.scm (%option): Add '--load-path' option. * doc/guix.texi: Document it. zimoun
2020-01-16size: Add '--load-path' option....* guix/scripts/size.scm (%option): Add '--load-path' option. * doc/guix.texi: Document it. zimoun
2020-01-16graph: Add '--load-path' option....* guix/scripts/graph.scm (%option): Add '--load-path' option. * doc/guix.texi: Document it. * tests/guix-graph.sh: Test it. Pierre Neidhardt