Tobias Geerinckx-Rice
1133596b42
installer: Fix typo.
...
* gnu/installer/parted.scm (create-btrfs-file-system): Fix typo in docstring.
2020-01-05 02:40:07 +01:00
Nicolas Goaziou
42399ad7c6
gnu: Add ode.
...
* gnu/packages/game-development.scm (ode): New variable.
2020-01-05 02:13:18 +01:00
Nicolas Goaziou
45c552ec51
gnu: Add libccd.
...
* gnu/packages/game-development.scm (libccd): New variable.
2020-01-05 02:13:18 +01:00
Leo Prikler
fe0686864d
gnu: Add xcur2png.
...
* gnu/packages/xorg.scm (xcur2png): New variable.
2020-01-05 02:05:40 +01:00
Timotej Lazar
85ad4ffb25
gnu: bitlbee: Use HTTPS home page.
...
* gnu/packages/messaging.scm (bitlbee)[home-page]: Use HTTPS.
2020-01-05 02:00:24 +01:00
Ludovic Courtès
d63ee94d63
gexp: Add 'raw-derivation-file'.
...
* guix/gexp.scm (<raw-derivation-file>): New record type.
(raw-derivation-file-compiler): New gexp compiler.
* tests/gexp.scm ("lower-gexp, raw-derivation-file")
("raw-derivation-file"): New tests.
2020-01-04 23:44:26 +01:00
Ludovic Courtès
f918a8d9d8
gnu: guile-hashing: Add variant for Guile 3.0.
...
* gnu/packages/guile-xyz.scm (guile3.0-hashing): New variable.
2020-01-04 23:44:25 +01:00
Ludovic Courtès
d67fa5c824
gnu: Add guile-hashing.
...
* gnu/packages/guile-xyz.scm (guile-hashing): New variable.
2020-01-04 23:44:25 +01:00
Jan Nieuwenhuizen
f851fd6b2b
build-system/guile: Add #:implicit-inputs?.
...
* guix/build-system/guile.scm (lower): Add implicit-inputs? keyword
parameter.
[private-keywords]: Add it.
Honor it.
2020-01-04 23:44:25 +01:00
Ricardo Wurmus
92afa57b93
gnu: Add cl-zpb-ttf.
...
* gnu/packages/lisp-xyz.scm (sbcl-zpb-ttf, ecl-zpb-ttf, cl-zpb-ttf): New
variables.
2020-01-04 22:38:12 +01:00
Ricardo Wurmus
0d66b9d6cd
gnu: Add opencog.
...
* gnu/packages/opencog.scm (opencog): New variable.
2020-01-04 22:38:12 +01:00
Ricardo Wurmus
3cc6b1232b
gnu: Add attention.
...
* gnu/packages/opencog.scm (attention): New variable.
2020-01-04 22:38:12 +01:00
Ricardo Wurmus
1f6f0b6bca
gnu: Add link-grammar.
...
* gnu/packages/language.scm (link-grammar): New variable.
2020-01-04 22:38:12 +01:00
Ricardo Wurmus
d946ede596
gnu: Add cogserver.
...
* gnu/packages/opencog.scm (cogserver): New variable.
2020-01-04 22:38:12 +01:00
Ricardo Wurmus
fc139475dd
gnu: Add atomspace.
...
* gnu/packages/opencog.scm (atomspace): New variable.
2020-01-04 22:38:12 +01:00
Ricardo Wurmus
51c9221a72
gnu: Add cogutil.
...
* gnu/packages/opencog.scm: New file.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add it.
2020-01-04 22:38:12 +01:00
Ricardo Wurmus
b224ff4a2d
gnu: nfs-utils: Update to 2.4.2.
...
* gnu/packages/nfs.scm (nfs-utils): Update to 2.4.2.
[source]: Remove patch.
[arguments]: Update configure flags, remove fix-glibc-compatability phase,
update substitutions.
[inputs]: Add keyutils and rpcsvc-proto.
* gnu/packages/patches/nfs-utils-missing-headers.patch: Remove file.
* gnu/local.mk (dist_patch_DATA): Remove it.
2020-01-04 22:38:12 +01:00
Brett Gilio
bcd47c67b0
gnu: swi-prolog: Update to 8.1.20.
...
* gnu/packages/prolog.scm (swi-prolog): Update to 8.1.20.
2020-01-04 14:52:22 -06:00
Brett Gilio
235c67341b
gnu: swi-prolog: Modify documentation installation.
...
* gnu/packages/prolog.scm (swi-prolog)[arguments]: Remove configuration step
for PDF documentation.
2020-01-04 14:51:44 -06:00
Brett Gilio
5a92e7c954
gnu: swi-prolog: Enable tests.
...
* gnu/packages/prolog.scm (swi-prolog)[arguments]: Enable tests and work
around tests that cause failure by trying to write to the store, or
establishing a network connection.
2020-01-04 14:50:52 -06:00
Guillaume Le Vaillant
198af489de
gnu: Add jgmenu.
...
* gnu/packages/xdisorg.scm (jgmenu): New variable.
2020-01-04 17:16:41 +01:00
LaFreniere, Joseph
4589148f57
gnu: Add emacs-company-posframe.
...
* gnu/packages/emacs-xyz.scm (emacs-company-posframe): New variable.
Signed-off-by: Brett Gilio <brettg@gnu.org>
2020-01-03 22:19:37 -06:00
Brett Gilio
7eef98484c
gnu: Add swi-prolog.
...
* gnu/packages/prolog.scm (swi-prolog): New variable.
2020-01-03 21:44:18 -06:00
Brett Gilio
e4ed992953
gnu: gprolog: Use license prefix.
...
* gnu/packages/prolog.scm (gprolog)[license]: Use prefix for list of licenses.
2020-01-03 21:43:34 -06:00
Brett Gilio
a06a4f9182
Revert "gnu: Add swi-prolog."
...
This reverts commit 3f37f39097
.
2020-01-03 20:15:44 -06:00
Brett Gilio
3f37f39097
gnu: Add swi-prolog.
...
* gnu/packages/prolog.scm (swi-prolog): New variable.
2020-01-03 19:59:00 -06:00
Brett Gilio
d98e64b4e5
gnu: Rename module gprolog to prolog.
...
* gnu/local.mk (GNU_SYSTEM_MODULES): Replace gprolog.scm => prolog.scm.
* gnu/packages/{gprolog.scm -> prolog.scm}: Rename file so it is not
implementation specific.
2020-01-03 19:53:04 -06:00
Brett Gilio
1074ec1dd7
gnu: femtolisp: Update to 0.0.0-2.
...
* gnu/packages/scheme.scm (femtolisp): Update to 0.0.0-2. This commit revision
patches several bugs.
2020-01-03 18:33:40 -06:00
Tobias Geerinckx-Rice
d87d256720
gnu: soundtouch: Update to 2.1.2.
...
* gnu/packages/audio.scm (soundtouch): Update to 2.1.2.
2020-01-04 01:04:22 +01:00
Tobias Geerinckx-Rice
42678debec
gnu: doctest: Update to 2.3.6.
...
* gnu/packages/check.scm (doctest): Update to 2.3.6.
2020-01-04 01:04:22 +01:00
Tobias Geerinckx-Rice
553199c59e
gnu: polybar: Update to 3.4.2.
...
* gnu/packages/wm.scm (polybar): Update to 3.4.2.
2020-01-04 01:04:21 +01:00
Tobias Geerinckx-Rice
d16d788422
gnu: libshout: Update to 2.4.3.
...
* gnu/packages/xiph.scm (libshout): Update to 2.4.3.
2020-01-04 01:04:21 +01:00
Tobias Geerinckx-Rice
bafafa805b
gnu: html-xml-utils: Update to 7.8.
...
* gnu/packages/xml.scm (html-xml-utils): Update to 7.8.
2020-01-04 01:04:21 +01:00
Tobias Geerinckx-Rice
16fcca6451
gnu: mg: Use @command mark-up in description.
...
* gnu/packages/text-editors.scm (mg)[description]: Use @command.
2020-01-04 01:04:21 +01:00
Brett Gilio
046dd621ec
gnu: python-language-server: Update to 0.31.4.
...
* gnu/packages/python-xyz.scm (python-language-server): Update to 0.31.4.
2020-01-03 18:00:15 -06:00
Brett Gilio
6fd226df2b
gnu: emacs-pyvenv: Update to 1.21.
...
* gnu/packages/emacs-xyz.scm (emacs-pyvenv): Update to 1.21.
2020-01-03 17:56:23 -06:00
Brett Gilio
5f31c040d8
gnu: emacs-request: Disable tests.
...
* gnu/packages/emacs-xyz.scm (emacs-request)[arguments]: Disabling test phase
as it checks for network access.
2020-01-03 17:47:45 -06:00
Brett Gilio
219a587de5
gnu: emacs-request: Update to 0.3.2.
...
* gnu/packages/emacs-xyz.scm (emacs-request): Update to 0.3.2.
2020-01-03 17:45:38 -06:00
Brett Gilio
bd45235e2c
gnu: emacs-doom-themes: Add note about byte-compilation issue.
...
* gnu/packages/emacs-xyz.scm (emacs-doom-themes): The byte-compilation issue
has been worked around upstream, but arguably not as effective as the
strategy we use in our package. Make a note about this issue, and mark the
affecting commit number.
2020-01-03 17:40:38 -06:00
Brett Gilio
2e26dd69c8
gnu: Add ocaml-fftw3.
...
* gnu/packages/ocaml.scm (ocaml-fftw3): New variable.
2020-01-03 16:47:03 -06:00
Brett Gilio
eb1ebabffe
gnu: Add ocaml-lacaml.
...
* gnu/packages/ocaml.scm (ocaml-lacaml): New variable.
2020-01-03 16:46:48 -06:00
Brett Gilio
1614c6336a
gnu: ocaml-utop: Modify home-page.
...
* gnu/packages/ocaml.scm (ocaml-utop)[home-page]: Change home-page to reflect
permanent redirection.
2020-01-03 16:22:46 -06:00
Brett Gilio
3bc6b9bb17
gnu: ocaml-utop: Update to 2.4.3.
...
* gnu/packages/ocaml.scm (ocaml-utop): Update to 2.4.3.
2020-01-03 16:22:22 -06:00
Amin Bandali
db1bc0d92e
gnu: Add lean.
...
* gnu/local.mk (GNU_SYSTEM_MODULES): Add lean.scm.
* gnu/packages/lean.scm: New file.
Signed-off-by: Brett Gilio <brettg@gnu.org>
2020-01-03 15:46:53 -06:00
Katherine Cox-Buday
13e3bc1c80
gnu: Add cl-ana.
...
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana, cl-ana): New variables.
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2020-01-03 20:45:49 +01:00
Katherine Cox-Buday
c16e3dfb1c
gnu: Add cl-ana.statistical-learning.
...
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.statistical-learning,
cl-ana.statistical-learning): New variables.
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2020-01-03 20:45:48 +01:00
Katherine Cox-Buday
5f413815c9
gnu: Add cl-ana.makeres-utils.
...
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.makeres-utils, cl-ana.makeres-utils):
New variables.
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2020-01-03 20:45:48 +01:00
Katherine Cox-Buday
d154dd5a1b
gnu: Add cl-ana.makeres-branch.
...
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.makeres-branch,
cl-ana.makeres-branch): New variables.
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2020-01-03 20:45:48 +01:00
Katherine Cox-Buday
2e43d80da1
gnu: Add cl-ana.makeres-graphviz.
...
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.makeres-graphviz,
cl-ana.makeres-graphviz): New variables.
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2020-01-03 20:45:48 +01:00
Katherine Cox-Buday
a9810e7049
gnu: Add cl-ana.makeres-table.
...
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.makeres-table, cl-ana.makeres-table):
New variables.
Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2020-01-03 20:45:48 +01:00