Commit graph

53232 commits

Author SHA1 Message Date
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
Katherine Cox-Buday
5ae0b25e06
gnu: Add cl-ana.makeres-progress.
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.makeres-progress,
  cl-ana.makeres-progress): New variables.

Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2020-01-03 20:45:48 +01:00
Katherine Cox-Buday
98e5f45e79
gnu: Add cl-ana.makeres-block.
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.makeres-block, cl-ana.makeres-block):
  New variables.

Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2020-01-03 20:45:48 +01:00
Katherine Cox-Buday
ad9e007e62
gnu: Add cl-ana.makeres-macro.
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.makeres-macro, cl-ana.makeres-macro):
  New variables.

Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2020-01-03 20:45:47 +01:00
Katherine Cox-Buday
26b875f6a9
gnu: Add cl-ana.makeres.
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.makeres, cl-ana.makeres): New
  variables.

Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2020-01-03 20:45:47 +01:00
Katherine Cox-Buday
f97cc359df
gnu: Add cl-ana.serialization.
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.serialization, cl-ana.serialization):
  New variables.

Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2020-01-03 20:45:47 +01:00
Katherine Cox-Buday
d521d67a50
gnu: Add cl-ana.table-viewing.
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.table-viewing, cl-ana.table-viewing):
  New variables.

Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2020-01-03 20:45:47 +01:00
Katherine Cox-Buday
0f5350c12c
gnu: Add cl-ana.plotting.
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.plotting, cl-ana.plotting): New
  variables.

Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2020-01-03 20:45:47 +01:00
Katherine Cox-Buday
81e6c659a5
gnu: Add cl-ana.gnuplot-interface.
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.gnuplot-interface,
  cl-ana.gnuplot-interface, ecl-cl-ana.gnuplot-interface): New variables.

Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2020-01-03 20:45:47 +01:00
Katherine Cox-Buday
a47ce94c75
gnu: Add cl-ana.statistics.
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.statistics, cl-ana.statistics): New
  variables.

Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2020-01-03 20:45:47 +01:00
Katherine Cox-Buday
d6c13a8e7b
gnu: Add cl-ana.file-utils.
* gnu/packages/lisp-xyz.scm (sbcl-cl-ana.file-utils, cl-ana.file-utils,
  ecl-cl-ana.file-utils): New variables.

Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2020-01-03 20:45:47 +01:00