Ludovic Courtès f9a8fce10f
status: Build upon multiplexed build output.
This allows for more accurate status tracking and parsing of extended
build traces.

* guix/status.scm (multiplexed-output-supported?): New procedure.
(print-build-event): Don't print \r when PRINT-LOG? is true.
Adjust 'build-log' handling for when 'multiplexed-output-supported?'
returns true.
(bytevector-index, split-lines): New procedures.
(build-event-output-port)[%build-output-pid, %build-output]
[%build-output-left]: New variables.
[process-line]: Handle "@ build-output" traces.
[process-build-output]: New procedure.
[write!]: Add case for when %BUILD-OUTPUT-PID is true.  Use
'bytevector-index' rather than 'string-index'.
(compute-status): Add #:derivation-path->output-path.  Use it.
* tests/status.scm ("compute-status, multiplexed build output"):
New test.
("build-output-port, UTF-8")
("current-build-output-port, UTF-8 + garbage"): Adjust to new
'build-log' output.
* guix/scripts/build.scm (set-build-options-from-command-line):
Pass #:multiplexed-build-output?.
(%default-options): Add 'multiplexed-build-output?'.
* guix/scripts/environment.scm (%default-options): Likewise.
* guix/scripts/pack.scm (%default-options): Likewise.
* guix/scripts/package.scm (%default-options): Likewise.
* guix/scripts/pull.scm (%default-options): Likewise.
* guix/scripts/system.scm (%default-options): Likewise.
2018-10-15 23:06:55 +02:00
..
2018-09-04 17:25:11 +02:00
2017-01-26 13:49:56 +01:00
2018-09-04 17:25:11 +02:00
2018-09-04 17:25:11 +02:00
2018-09-04 17:25:11 +02:00
2018-09-04 17:25:11 +02:00
2015-11-26 22:35:01 +01:00
2018-09-04 17:25:11 +02:00
2018-09-04 17:25:11 +02:00
2018-06-06 14:37:35 +02:00
2015-10-19 10:10:47 +02:00
2018-09-07 11:40:22 +02:00
2018-03-27 14:51:44 +02:00
2018-07-05 21:35:55 +02:00
2018-09-04 17:25:11 +02:00
2018-09-04 17:25:11 +02:00
2018-09-04 17:25:11 +02:00
2018-09-04 17:25:11 +02:00
2017-09-28 13:10:10 +02:00
2018-09-04 17:25:11 +02:00
2018-09-04 17:25:11 +02:00
2018-09-04 17:25:11 +02:00
2017-06-15 17:03:19 +02:00
2018-05-10 14:53:56 +02:00
2018-05-13 13:29:27 +02:00
2017-11-17 10:47:49 +01:00