TakeV/guix
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity
53335 commits 102 branches 35 tags 561 MiB
Commit graph

53335 commits

This branch
This branch
All branches
Author SHA1 Message Date
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
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