Ludovic Courtès
3bccc5edac
system: bootstrap: Compute and print the result's hash.
...
* gnu/packages/commencement.scm (%bootstrap-guile+guild): Make public.
[properties]: New field.
* gnu/system/bootstrap.scm (hash-script): New procedure.
(bootstrapping-os): Wrap OBJ in 'hash-script'.
2020-01-05 11:40:02 +01:00
Ludovic Courtès
b446a604b4
DRAFT serialization: Avoid 'define-values', for the sake of Guile 2.0.
...
DRAFT: We should probably just use 'let-values' instead.
* guix/serialization.scm (define-values) [not guile-2.2]: New macro.
2020-01-05 11:40:02 +01:00
Jan Nieuwenhuizen
eb8eba95da
bootstrap: Add %bootstrap-guile+guild.
...
* gnu/packages/commencement.scm (%bootstrap-guile+guild): New variable.
2020-01-05 11:40:01 +01:00
Ludovic Courtès
de340bd1f2
DRAFT system: Add (gnu system bootstrap).
...
This allows us to perform arbitrary builds on a system that has no
userland besides the build process itself, running as PID 1.
Suggested by Vagrant Cascadian.
DRAFT: The resulting system does build things, but this is all happening
into memory, which may or may not be a problem (it allows us to not have
disk drivers in the kernel!). More importantly, it does not display
anything upon completion, and the build result is lost as well.
* gnu/system/bootstrap.scm: New file.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add it.
2020-01-05 11:40:01 +01:00
Ludovic Courtès
18c10b055e
DRAFT gexp: Add 'object-sources'.
...
DRAFT: Add tests.
* guix/gexp.scm (<object-sources>): New record type.
(object-sources-compiler): New gexp compiler.
2020-01-05 11:40:01 +01:00
Ludovic Courtès
ba6390df42
DRAFT gexp: Add 'raw-derivation-closure'.
...
DRAFT: Add tests.
* guix/gexp.scm (<raw-derivation-closure>): New record type.
(sorted-references): New procedure.
(raw-derivation-closure-compiler): New gexp compiler.
2020-01-05 11:40:01 +01:00
Ludovic Courtès
09763444ce
derivations: Add #:skip-dependencies? parameter to 'derivation-input-fold'.
...
* guix/derivations.scm (derivation-input-fold): Add #:skip-dependencies?.
2020-01-05 11:40:01 +01:00
Ludovic Courtès
947c4a1689
store: Add #:cut? parameter to 'topologically-sorted'.
...
* guix/store.scm (topologically-sorted): Add #:cut? and honor it.
* tests/store.scm ("topologically-sorted, one item, cutting"): New
test.
2020-01-05 11:40:01 +01:00
Ludovic Courtès
22a9dc1b79
monads: Add portability to Guile 2.0.
...
This allows (guix monads) to be compiled and use on the current
"guile-bootstrap" package, which is Guile 2.0.9.
* guix/monads.scm (define-syntax-parameter-once): Add 'cond-expand' form.
2020-01-05 11:40:01 +01:00
Ludovic Courtès
3e480b17c7
utils: 'version-compare' delays 'dynamic-link' code.
...
* guix/utils.scm (version-compare): Delay 'strverscmp' and force it when
called.
2020-01-05 11:39:54 +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