2013-01-06 00:47:50 +01:00
|
|
|
|
;;; GNU Guix --- Functional package management for GNU
|
2018-01-05 17:15:41 +01:00
|
|
|
|
;;; Copyright © 2012, 2013, 2014, 2015, 2016, 2017, 2018 Ludovic Courtès <ludo@gnu.org>
|
2018-07-10 19:00:48 +02:00
|
|
|
|
;;; Copyright © 2018 Jan Nieuwenhuizen <janneke@gnu.org>
|
2012-04-18 23:34:12 +02:00
|
|
|
|
;;;
|
2013-01-06 00:47:50 +01:00
|
|
|
|
;;; This file is part of GNU Guix.
|
2012-04-18 23:34:12 +02:00
|
|
|
|
;;;
|
2013-01-06 00:47:50 +01:00
|
|
|
|
;;; GNU Guix is free software; you can redistribute it and/or modify it
|
2012-04-18 23:34:12 +02:00
|
|
|
|
;;; under the terms of the GNU General Public License as published by
|
|
|
|
|
;;; the Free Software Foundation; either version 3 of the License, or (at
|
|
|
|
|
;;; your option) any later version.
|
|
|
|
|
;;;
|
2013-01-06 00:47:50 +01:00
|
|
|
|
;;; GNU Guix is distributed in the hope that it will be useful, but
|
2012-04-18 23:34:12 +02:00
|
|
|
|
;;; WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
|
;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
|
;;; GNU General Public License for more details.
|
|
|
|
|
;;;
|
|
|
|
|
;;; You should have received a copy of the GNU General Public License
|
2013-01-06 00:47:50 +01:00
|
|
|
|
;;; along with GNU Guix. If not, see <http://www.gnu.org/licenses/>.
|
2012-04-18 23:34:12 +02:00
|
|
|
|
|
|
|
|
|
(define-module (guix store)
|
2012-10-24 17:03:45 +02:00
|
|
|
|
#:use-module (guix utils)
|
2012-12-05 23:02:47 +01:00
|
|
|
|
#:use-module (guix config)
|
Add (guix memoization).
* guix/combinators.scm (memoize): Remove.
* guix/memoization.scm: New file.
* Makefile.am (MODULES): Add it.
* gnu/packages.scm, gnu/packages/bootstrap.scm,
guix/build-system/gnu.scm, guix/build-system/python.scm,
guix/derivations.scm, guix/gnu-maintenance.scm,
guix/import/cran.scm, guix/import/elpa.scm,
guix/modules.scm, guix/scripts/build.scm,
guix/scripts/graph.scm, guix/scripts/lint.scm,
guix/store.scm, guix/utils.scm: Adjust imports accordingly.
2017-01-28 16:33:57 +01:00
|
|
|
|
#:use-module (guix memoization)
|
Add (guix nar) and (guix serialization).
* guix/store.scm (write-int, read-int, write-long-long, read-long-long,
write-padding, write-string, read-string, read-latin1-string,
write-string-list, read-string-list, write-store-path,
read-store-path, write-store-path-list, read-store-path-list): Move to
serialization.scm.
(write-contents, write-file): Move to nar.scm.
* guix/nar.scm, guix/serialization.scm: New files.
* Makefile.am (MODULES): Add them.
2013-04-04 22:29:08 +02:00
|
|
|
|
#:use-module (guix serialization)
|
monads: Move '%store-monad' and related procedures where they belong.
This turns (guix monads) into a generic module for monads, and moves the
store monad and related monadic procedures in their corresponding
module.
* guix/monads.scm (store-return, store-bind, %store-monad, store-lift,
text-file, interned-file, package-file, package->derivation,
package->cross-derivation, origin->derivation, imported-modules,
compiled, modules, built-derivations, run-with-store): Move to...
* guix/store.scm (store-return, store-bind, %store-monad, store-lift,
text-file, interned-file): ... here.
(%guile-for-build): New variable.
(run-with-store): Moved from monads.scm. Remove default value for
#:guile-for-build.
* guix/packages.scm (default-guile): Export.
(set-guile-for-build): New procedure.
(package-file, package->derivation, package->cross-derivation,
origin->derivation): Moved from monads.scm.
* guix/derivations.scm (%guile-for-build): Remove.
(imported-modules): Rename to...
(%imported-modules): ... this.
(compiled-modules): Rename to...
(%compiled-modules): ... this.
(built-derivations, imported-modules, compiled-modules): New
procedures.
* gnu/services/avahi.scm, gnu/services/base.scm, gnu/services/dbus.scm,
gnu/services/dmd.scm, gnu/services/networking.scm,
gnu/services/ssh.scm, gnu/services/xorg.scm, gnu/system/install.scm,
gnu/system/linux-initrd.scm, gnu/system/shadow.scm, guix/download.scm,
guix/gexp.scm, guix/git-download.scm, guix/profiles.scm,
guix/svn-download.scm, tests/monads.scm: Adjust imports accordingly.
* guix/monad-repl.scm (default-guile-derivation): New procedure.
(store-monad-language, run-in-store): Use it.
* build-aux/hydra/gnu-system.scm (qemu-jobs): Add explicit
'set-guile-for-build' call.
* guix/scripts/archive.scm (derivation-from-expression): Likewise.
* guix/scripts/build.scm (options/resolve-packages): Likewise.
* guix/scripts/environment.scm (guix-environment): Likewise.
* guix/scripts/system.scm (guix-system): Likewise.
* doc/guix.texi (The Store Monad): Adjust module names accordingly.
2015-01-14 13:34:52 +01:00
|
|
|
|
#:use-module (guix monads)
|
2015-11-20 18:44:29 +01:00
|
|
|
|
#:use-module (guix records)
|
utils: Move base16 procedures to (guix base16).
* guix/utils.scm (bytevector->base16-string, base16-string->bytevector):
Move to...
* guix/base16.scm: ... here. New file.
* tests/utils.scm ("bytevector->base16-string->bytevector"): Move to...
* tests/base16.scm: ... here. New file.
* Makefile.am (MODULES): Add guix/base16.scm.
(SCM_TESTS): Add tests/base16.scm.
* build-aux/download.scm, guix/derivations.scm,
guix/docker.scm, guix/import/snix.scm, guix/pk-crypto.scm,
guix/scripts/authenticate.scm, guix/scripts/download.scm,
guix/scripts/hash.scm, guix/store.scm, tests/hash.scm,
tests/pk-crypto.scm: Adjust imports accordingly.
2017-03-15 21:54:34 +01:00
|
|
|
|
#:use-module (guix base16)
|
2017-05-04 16:40:00 +02:00
|
|
|
|
#:use-module (guix base32)
|
Switch to Guile-Gcrypt.
This removes (guix hash) and (guix pk-crypto), which now live as part of
Guile-Gcrypt (version 0.1.0.)
* guix/gcrypt.scm, guix/hash.scm, guix/pk-crypto.scm,
tests/hash.scm, tests/pk-crypto.scm: Remove.
* configure.ac: Test for Guile-Gcrypt. Remove LIBGCRYPT and
LIBGCRYPT_LIBDIR assignments.
* m4/guix.m4 (GUIX_ASSERT_LIBGCRYPT_USABLE): Remove.
* README: Add Guile-Gcrypt to the dependencies; move libgcrypt as
"required unless --disable-daemon".
* doc/guix.texi (Requirements): Likewise.
* gnu/packages/bash.scm, guix/derivations.scm, guix/docker.scm,
guix/git.scm, guix/http-client.scm, guix/import/cpan.scm,
guix/import/cran.scm, guix/import/crate.scm, guix/import/elpa.scm,
guix/import/gnu.scm, guix/import/hackage.scm,
guix/import/texlive.scm, guix/import/utils.scm, guix/nar.scm,
guix/pki.scm, guix/scripts/archive.scm,
guix/scripts/authenticate.scm, guix/scripts/download.scm,
guix/scripts/hash.scm, guix/scripts/pack.scm,
guix/scripts/publish.scm, guix/scripts/refresh.scm,
guix/scripts/substitute.scm, guix/store.scm,
guix/store/deduplication.scm, guix/tests.scm, tests/base32.scm,
tests/builders.scm, tests/challenge.scm, tests/cpan.scm,
tests/crate.scm, tests/derivations.scm, tests/gem.scm,
tests/nar.scm, tests/opam.scm, tests/pki.scm,
tests/publish.scm, tests/pypi.scm, tests/store-deduplication.scm,
tests/store.scm, tests/substitute.scm: Adjust imports.
* gnu/system/vm.scm: Likewise.
(guile-sqlite3&co): Rename to...
(gcrypt-sqlite3&co): ... this. Add GUILE-GCRYPT.
(expression->derivation-in-linux-vm)[config]: Remove.
(iso9660-image)[config]: Remove.
(qemu-image)[config]: Remove.
(system-docker-image)[config]: Remove.
* guix/scripts/pack.scm: Adjust imports.
(guile-sqlite3&co): Rename to...
(gcrypt-sqlite3&co): ... this. Add GUILE-GCRYPT.
(self-contained-tarball)[build]: Call 'make-config.scm' without
#:libgcrypt argument.
(squashfs-image)[libgcrypt]: Remove.
[build]: Call 'make-config.scm' without #:libgcrypt.
(docker-image)[config, json]: Remove.
[build]: Add GUILE-GCRYPT to the extensions Remove (guix config) from
the imported modules.
* guix/self.scm (specification->package): Remove "libgcrypt", add
"guile-gcrypt".
(compiled-guix): Remove #:libgcrypt.
[guile-gcrypt]: New variable.
[dependencies]: Add it.
[*core-modules*]: Remove #:libgcrypt from 'make-config.scm' call.
Add #:extensions.
[*config*]: Remove #:libgcrypt from 'make-config.scm' call.
(%dependency-variables): Remove %libgcrypt.
(make-config.scm): Remove #:libgcrypt.
* build-aux/build-self.scm (guile-gcrypt): New variable.
(make-config.scm): Remove #:libgcrypt.
(build-program)[fake-gcrypt-hash]: New variable.
Add (gcrypt hash) to the imported modules. Adjust load path
assignments.
* gnu/packages/package-management.scm (guix)[propagated-inputs]: Add
GUILE-GCRYPT.
[arguments]: In 'wrap-program' phase, add GUILE-GCRYPT to the search
path.
2018-08-31 17:07:07 +02:00
|
|
|
|
#:use-module (gcrypt hash)
|
2017-06-28 10:13:45 +02:00
|
|
|
|
#:use-module (guix profiling)
|
2016-04-15 00:10:22 +02:00
|
|
|
|
#:autoload (guix build syscalls) (terminal-columns)
|
2012-04-18 23:34:12 +02:00
|
|
|
|
#:use-module (rnrs bytevectors)
|
2016-10-19 14:28:56 +02:00
|
|
|
|
#:use-module (ice-9 binary-ports)
|
2015-11-20 18:44:29 +01:00
|
|
|
|
#:use-module ((ice-9 control) #:select (let/ec))
|
2012-04-18 23:34:12 +02:00
|
|
|
|
#:use-module (srfi srfi-1)
|
|
|
|
|
#:use-module (srfi srfi-9)
|
2013-09-01 19:24:21 +02:00
|
|
|
|
#:use-module (srfi srfi-9 gnu)
|
2016-03-04 17:57:04 +01:00
|
|
|
|
#:use-module (srfi srfi-11)
|
2012-04-18 23:34:12 +02:00
|
|
|
|
#:use-module (srfi srfi-26)
|
2012-06-01 23:29:55 +02:00
|
|
|
|
#:use-module (srfi srfi-34)
|
|
|
|
|
#:use-module (srfi srfi-35)
|
2012-06-01 23:29:55 +02:00
|
|
|
|
#:use-module (srfi srfi-39)
|
2012-04-18 23:34:12 +02:00
|
|
|
|
#:use-module (ice-9 match)
|
2012-11-01 01:39:23 +01:00
|
|
|
|
#:use-module (ice-9 regex)
|
2013-06-13 22:03:42 +02:00
|
|
|
|
#:use-module (ice-9 vlist)
|
2014-01-11 17:11:14 +01:00
|
|
|
|
#:use-module (ice-9 popen)
|
2017-09-05 19:39:22 +02:00
|
|
|
|
#:use-module (ice-9 threads)
|
2017-10-07 16:14:16 +02:00
|
|
|
|
#:use-module (ice-9 format)
|
2017-04-21 11:39:49 +02:00
|
|
|
|
#:use-module (web uri)
|
|
|
|
|
#:export (%daemon-socket-uri
|
2014-04-12 22:32:10 +02:00
|
|
|
|
%gc-roots-directory
|
2015-07-13 16:07:59 +02:00
|
|
|
|
%default-substitute-urls
|
2013-02-18 21:53:59 +01:00
|
|
|
|
|
|
|
|
|
nix-server?
|
2017-01-18 23:21:29 +01:00
|
|
|
|
nix-server-version
|
2012-04-18 23:34:12 +02:00
|
|
|
|
nix-server-major-version
|
|
|
|
|
nix-server-minor-version
|
|
|
|
|
nix-server-socket
|
2017-01-18 23:21:29 +01:00
|
|
|
|
current-store-protocol-version ;for internal use
|
2015-11-20 18:44:29 +01:00
|
|
|
|
mcached
|
2012-04-18 23:34:12 +02:00
|
|
|
|
|
2012-06-01 23:29:55 +02:00
|
|
|
|
&nix-error nix-error?
|
2013-03-07 19:29:12 +01:00
|
|
|
|
&nix-connection-error nix-connection-error?
|
|
|
|
|
nix-connection-error-file
|
|
|
|
|
nix-connection-error-code
|
2012-06-01 23:29:55 +02:00
|
|
|
|
&nix-protocol-error nix-protocol-error?
|
|
|
|
|
nix-protocol-error-message
|
|
|
|
|
nix-protocol-error-status
|
|
|
|
|
|
2012-06-01 23:29:55 +02:00
|
|
|
|
hash-algo
|
2015-12-03 18:08:35 +01:00
|
|
|
|
build-mode
|
2012-06-01 23:29:55 +02:00
|
|
|
|
|
2012-04-18 23:34:12 +02:00
|
|
|
|
open-connection
|
2018-06-25 18:40:10 +02:00
|
|
|
|
port->connection
|
2012-08-22 17:22:46 +02:00
|
|
|
|
close-connection
|
2014-01-19 23:03:43 +01:00
|
|
|
|
with-store
|
2012-04-18 23:34:12 +02:00
|
|
|
|
set-build-options
|
2015-09-03 17:33:51 +02:00
|
|
|
|
set-build-options*
|
2012-07-01 00:21:16 +02:00
|
|
|
|
valid-path?
|
2012-10-24 17:03:45 +02:00
|
|
|
|
query-path-hash
|
2014-03-14 17:16:10 +01:00
|
|
|
|
hash-part->path
|
2015-03-17 15:19:36 +01:00
|
|
|
|
query-path-info
|
2017-01-29 12:55:24 +01:00
|
|
|
|
add-data-to-store
|
2012-04-18 23:34:12 +02:00
|
|
|
|
add-text-to-store
|
|
|
|
|
add-to-store
|
2018-07-16 09:55:49 +02:00
|
|
|
|
add-file-tree-to-store
|
2018-07-10 19:00:48 +02:00
|
|
|
|
binary-file
|
2015-02-02 12:25:34 +01:00
|
|
|
|
build-things
|
|
|
|
|
build
|
2015-09-28 21:32:17 +02:00
|
|
|
|
query-failed-paths
|
|
|
|
|
clear-failed-paths
|
2012-12-09 23:52:59 +01:00
|
|
|
|
add-temp-root
|
2012-10-30 00:20:53 +01:00
|
|
|
|
add-indirect-root
|
2014-04-12 22:32:10 +02:00
|
|
|
|
add-permanent-root
|
|
|
|
|
remove-permanent-root
|
2012-06-01 23:29:55 +02:00
|
|
|
|
|
2013-02-03 23:24:25 +01:00
|
|
|
|
substitutable?
|
|
|
|
|
substitutable-path
|
|
|
|
|
substitutable-deriver
|
|
|
|
|
substitutable-references
|
|
|
|
|
substitutable-download-size
|
|
|
|
|
substitutable-nar-size
|
|
|
|
|
has-substitutes?
|
|
|
|
|
substitutable-paths
|
|
|
|
|
substitutable-path-info
|
|
|
|
|
|
2015-03-17 15:19:36 +01:00
|
|
|
|
path-info?
|
|
|
|
|
path-info-deriver
|
|
|
|
|
path-info-hash
|
|
|
|
|
path-info-references
|
|
|
|
|
path-info-registration-time
|
|
|
|
|
path-info-nar-size
|
|
|
|
|
|
2016-11-13 22:59:54 +01:00
|
|
|
|
built-in-builders
|
2013-02-27 22:40:35 +01:00
|
|
|
|
references
|
2016-03-04 17:57:04 +01:00
|
|
|
|
references/substitutes
|
2016-11-19 17:05:07 +01:00
|
|
|
|
references*
|
2018-07-02 23:50:38 +02:00
|
|
|
|
query-path-info*
|
2013-06-13 22:03:42 +02:00
|
|
|
|
requisites
|
2013-02-27 22:40:35 +01:00
|
|
|
|
referrers
|
2015-05-19 09:35:52 +02:00
|
|
|
|
optimize-store
|
2015-06-06 19:05:25 +02:00
|
|
|
|
verify-store
|
2014-01-23 22:13:27 +01:00
|
|
|
|
topologically-sorted
|
2013-02-27 22:40:35 +01:00
|
|
|
|
valid-derivers
|
|
|
|
|
query-derivation-outputs
|
2012-12-09 23:52:59 +01:00
|
|
|
|
live-paths
|
|
|
|
|
dead-paths
|
|
|
|
|
collect-garbage
|
|
|
|
|
delete-paths
|
2013-12-20 17:17:42 +01:00
|
|
|
|
import-paths
|
|
|
|
|
export-paths
|
2012-12-09 23:52:59 +01:00
|
|
|
|
|
2012-06-16 16:13:12 +02:00
|
|
|
|
current-build-output-port
|
|
|
|
|
|
monads: Move '%store-monad' and related procedures where they belong.
This turns (guix monads) into a generic module for monads, and moves the
store monad and related monadic procedures in their corresponding
module.
* guix/monads.scm (store-return, store-bind, %store-monad, store-lift,
text-file, interned-file, package-file, package->derivation,
package->cross-derivation, origin->derivation, imported-modules,
compiled, modules, built-derivations, run-with-store): Move to...
* guix/store.scm (store-return, store-bind, %store-monad, store-lift,
text-file, interned-file): ... here.
(%guile-for-build): New variable.
(run-with-store): Moved from monads.scm. Remove default value for
#:guile-for-build.
* guix/packages.scm (default-guile): Export.
(set-guile-for-build): New procedure.
(package-file, package->derivation, package->cross-derivation,
origin->derivation): Moved from monads.scm.
* guix/derivations.scm (%guile-for-build): Remove.
(imported-modules): Rename to...
(%imported-modules): ... this.
(compiled-modules): Rename to...
(%compiled-modules): ... this.
(built-derivations, imported-modules, compiled-modules): New
procedures.
* gnu/services/avahi.scm, gnu/services/base.scm, gnu/services/dbus.scm,
gnu/services/dmd.scm, gnu/services/networking.scm,
gnu/services/ssh.scm, gnu/services/xorg.scm, gnu/system/install.scm,
gnu/system/linux-initrd.scm, gnu/system/shadow.scm, guix/download.scm,
guix/gexp.scm, guix/git-download.scm, guix/profiles.scm,
guix/svn-download.scm, tests/monads.scm: Adjust imports accordingly.
* guix/monad-repl.scm (default-guile-derivation): New procedure.
(store-monad-language, run-in-store): Use it.
* build-aux/hydra/gnu-system.scm (qemu-jobs): Add explicit
'set-guile-for-build' call.
* guix/scripts/archive.scm (derivation-from-expression): Likewise.
* guix/scripts/build.scm (options/resolve-packages): Likewise.
* guix/scripts/environment.scm (guix-environment): Likewise.
* guix/scripts/system.scm (guix-system): Likewise.
* doc/guix.texi (The Store Monad): Adjust module names accordingly.
2015-01-14 13:34:52 +01:00
|
|
|
|
%store-monad
|
|
|
|
|
store-bind
|
|
|
|
|
store-return
|
|
|
|
|
store-lift
|
2015-01-14 14:25:58 +01:00
|
|
|
|
store-lower
|
monads: Move '%store-monad' and related procedures where they belong.
This turns (guix monads) into a generic module for monads, and moves the
store monad and related monadic procedures in their corresponding
module.
* guix/monads.scm (store-return, store-bind, %store-monad, store-lift,
text-file, interned-file, package-file, package->derivation,
package->cross-derivation, origin->derivation, imported-modules,
compiled, modules, built-derivations, run-with-store): Move to...
* guix/store.scm (store-return, store-bind, %store-monad, store-lift,
text-file, interned-file): ... here.
(%guile-for-build): New variable.
(run-with-store): Moved from monads.scm. Remove default value for
#:guile-for-build.
* guix/packages.scm (default-guile): Export.
(set-guile-for-build): New procedure.
(package-file, package->derivation, package->cross-derivation,
origin->derivation): Moved from monads.scm.
* guix/derivations.scm (%guile-for-build): Remove.
(imported-modules): Rename to...
(%imported-modules): ... this.
(compiled-modules): Rename to...
(%compiled-modules): ... this.
(built-derivations, imported-modules, compiled-modules): New
procedures.
* gnu/services/avahi.scm, gnu/services/base.scm, gnu/services/dbus.scm,
gnu/services/dmd.scm, gnu/services/networking.scm,
gnu/services/ssh.scm, gnu/services/xorg.scm, gnu/system/install.scm,
gnu/system/linux-initrd.scm, gnu/system/shadow.scm, guix/download.scm,
guix/gexp.scm, guix/git-download.scm, guix/profiles.scm,
guix/svn-download.scm, tests/monads.scm: Adjust imports accordingly.
* guix/monad-repl.scm (default-guile-derivation): New procedure.
(store-monad-language, run-in-store): Use it.
* build-aux/hydra/gnu-system.scm (qemu-jobs): Add explicit
'set-guile-for-build' call.
* guix/scripts/archive.scm (derivation-from-expression): Likewise.
* guix/scripts/build.scm (options/resolve-packages): Likewise.
* guix/scripts/environment.scm (guix-environment): Likewise.
* guix/scripts/system.scm (guix-system): Likewise.
* doc/guix.texi (The Store Monad): Adjust module names accordingly.
2015-01-14 13:34:52 +01:00
|
|
|
|
run-with-store
|
|
|
|
|
%guile-for-build
|
2016-02-12 18:59:11 +01:00
|
|
|
|
current-system
|
|
|
|
|
set-current-system
|
monads: Move '%store-monad' and related procedures where they belong.
This turns (guix monads) into a generic module for monads, and moves the
store monad and related monadic procedures in their corresponding
module.
* guix/monads.scm (store-return, store-bind, %store-monad, store-lift,
text-file, interned-file, package-file, package->derivation,
package->cross-derivation, origin->derivation, imported-modules,
compiled, modules, built-derivations, run-with-store): Move to...
* guix/store.scm (store-return, store-bind, %store-monad, store-lift,
text-file, interned-file): ... here.
(%guile-for-build): New variable.
(run-with-store): Moved from monads.scm. Remove default value for
#:guile-for-build.
* guix/packages.scm (default-guile): Export.
(set-guile-for-build): New procedure.
(package-file, package->derivation, package->cross-derivation,
origin->derivation): Moved from monads.scm.
* guix/derivations.scm (%guile-for-build): Remove.
(imported-modules): Rename to...
(%imported-modules): ... this.
(compiled-modules): Rename to...
(%compiled-modules): ... this.
(built-derivations, imported-modules, compiled-modules): New
procedures.
* gnu/services/avahi.scm, gnu/services/base.scm, gnu/services/dbus.scm,
gnu/services/dmd.scm, gnu/services/networking.scm,
gnu/services/ssh.scm, gnu/services/xorg.scm, gnu/system/install.scm,
gnu/system/linux-initrd.scm, gnu/system/shadow.scm, guix/download.scm,
guix/gexp.scm, guix/git-download.scm, guix/profiles.scm,
guix/svn-download.scm, tests/monads.scm: Adjust imports accordingly.
* guix/monad-repl.scm (default-guile-derivation): New procedure.
(store-monad-language, run-in-store): Use it.
* build-aux/hydra/gnu-system.scm (qemu-jobs): Add explicit
'set-guile-for-build' call.
* guix/scripts/archive.scm (derivation-from-expression): Likewise.
* guix/scripts/build.scm (options/resolve-packages): Likewise.
* guix/scripts/environment.scm (guix-environment): Likewise.
* guix/scripts/system.scm (guix-system): Likewise.
* doc/guix.texi (The Store Monad): Adjust module names accordingly.
2015-01-14 13:34:52 +01:00
|
|
|
|
text-file
|
|
|
|
|
interned-file
|
2018-07-16 09:55:49 +02:00
|
|
|
|
interned-file-tree
|
monads: Move '%store-monad' and related procedures where they belong.
This turns (guix monads) into a generic module for monads, and moves the
store monad and related monadic procedures in their corresponding
module.
* guix/monads.scm (store-return, store-bind, %store-monad, store-lift,
text-file, interned-file, package-file, package->derivation,
package->cross-derivation, origin->derivation, imported-modules,
compiled, modules, built-derivations, run-with-store): Move to...
* guix/store.scm (store-return, store-bind, %store-monad, store-lift,
text-file, interned-file): ... here.
(%guile-for-build): New variable.
(run-with-store): Moved from monads.scm. Remove default value for
#:guile-for-build.
* guix/packages.scm (default-guile): Export.
(set-guile-for-build): New procedure.
(package-file, package->derivation, package->cross-derivation,
origin->derivation): Moved from monads.scm.
* guix/derivations.scm (%guile-for-build): Remove.
(imported-modules): Rename to...
(%imported-modules): ... this.
(compiled-modules): Rename to...
(%compiled-modules): ... this.
(built-derivations, imported-modules, compiled-modules): New
procedures.
* gnu/services/avahi.scm, gnu/services/base.scm, gnu/services/dbus.scm,
gnu/services/dmd.scm, gnu/services/networking.scm,
gnu/services/ssh.scm, gnu/services/xorg.scm, gnu/system/install.scm,
gnu/system/linux-initrd.scm, gnu/system/shadow.scm, guix/download.scm,
guix/gexp.scm, guix/git-download.scm, guix/profiles.scm,
guix/svn-download.scm, tests/monads.scm: Adjust imports accordingly.
* guix/monad-repl.scm (default-guile-derivation): New procedure.
(store-monad-language, run-in-store): Use it.
* build-aux/hydra/gnu-system.scm (qemu-jobs): Add explicit
'set-guile-for-build' call.
* guix/scripts/archive.scm (derivation-from-expression): Likewise.
* guix/scripts/build.scm (options/resolve-packages): Likewise.
* guix/scripts/environment.scm (guix-environment): Likewise.
* guix/scripts/system.scm (guix-system): Likewise.
* doc/guix.texi (The Store Monad): Adjust module names accordingly.
2015-01-14 13:34:52 +01:00
|
|
|
|
|
2012-06-01 23:29:55 +02:00
|
|
|
|
%store-prefix
|
2017-05-04 16:40:00 +02:00
|
|
|
|
store-path
|
|
|
|
|
output-path
|
|
|
|
|
fixed-output-path
|
2012-06-01 23:29:55 +02:00
|
|
|
|
store-path?
|
2013-11-12 23:36:29 +01:00
|
|
|
|
direct-store-path?
|
2012-11-01 01:39:23 +01:00
|
|
|
|
derivation-path?
|
2013-04-01 16:08:31 +02:00
|
|
|
|
store-path-package-name
|
2013-11-12 00:10:10 +01:00
|
|
|
|
store-path-hash-part
|
2015-05-24 14:04:15 +02:00
|
|
|
|
direct-store-path
|
2018-09-28 23:19:13 +02:00
|
|
|
|
derivation-log-file
|
2013-11-12 00:10:10 +01:00
|
|
|
|
log-file))
|
2012-04-18 23:34:12 +02:00
|
|
|
|
|
2018-10-15 22:40:35 +02:00
|
|
|
|
(define %protocol-version #x163)
|
2012-04-18 23:34:12 +02:00
|
|
|
|
|
2014-02-11 23:16:28 +01:00
|
|
|
|
(define %worker-magic-1 #x6e697863) ; "nixc"
|
|
|
|
|
(define %worker-magic-2 #x6478696f) ; "dxio"
|
2012-04-18 23:34:12 +02:00
|
|
|
|
|
|
|
|
|
(define (protocol-major magic)
|
|
|
|
|
(logand magic #xff00))
|
|
|
|
|
(define (protocol-minor magic)
|
|
|
|
|
(logand magic #x00ff))
|
2017-01-18 23:21:29 +01:00
|
|
|
|
(define (protocol-version major minor)
|
|
|
|
|
(logior major minor))
|
2012-04-18 23:34:12 +02:00
|
|
|
|
|
|
|
|
|
(define-syntax define-enumerate-type
|
|
|
|
|
(syntax-rules ()
|
|
|
|
|
((_ name->int (name id) ...)
|
|
|
|
|
(define-syntax name->int
|
|
|
|
|
(syntax-rules (name ...)
|
|
|
|
|
((_ name) id) ...)))))
|
|
|
|
|
|
|
|
|
|
(define-enumerate-type operation-id
|
|
|
|
|
;; operation numbers from worker-protocol.hh
|
|
|
|
|
(quit 0)
|
|
|
|
|
(valid-path? 1)
|
|
|
|
|
(has-substitutes? 3)
|
|
|
|
|
(query-path-hash 4)
|
|
|
|
|
(query-references 5)
|
|
|
|
|
(query-referrers 6)
|
|
|
|
|
(add-to-store 7)
|
|
|
|
|
(add-text-to-store 8)
|
2015-02-02 12:25:34 +01:00
|
|
|
|
(build-things 9)
|
2012-04-18 23:34:12 +02:00
|
|
|
|
(ensure-path 10)
|
|
|
|
|
(add-temp-root 11)
|
|
|
|
|
(add-indirect-root 12)
|
|
|
|
|
(sync-with-gc 13)
|
|
|
|
|
(find-roots 14)
|
|
|
|
|
(export-path 16)
|
|
|
|
|
(query-deriver 18)
|
|
|
|
|
(set-options 19)
|
|
|
|
|
(collect-garbage 20)
|
2013-02-03 23:02:14 +01:00
|
|
|
|
;;(query-substitutable-path-info 21) ; obsolete as of #x10c
|
2012-04-18 23:34:12 +02:00
|
|
|
|
(query-derivation-outputs 22)
|
2013-02-03 23:02:14 +01:00
|
|
|
|
(query-all-valid-paths 23)
|
2012-04-18 23:34:12 +02:00
|
|
|
|
(query-failed-paths 24)
|
|
|
|
|
(clear-failed-paths 25)
|
|
|
|
|
(query-path-info 26)
|
|
|
|
|
(import-paths 27)
|
2013-02-03 23:02:14 +01:00
|
|
|
|
(query-derivation-output-names 28)
|
|
|
|
|
(query-path-from-hash-part 29)
|
|
|
|
|
(query-substitutable-path-infos 30)
|
|
|
|
|
(query-valid-paths 31)
|
2013-02-27 22:40:35 +01:00
|
|
|
|
(query-substitutable-paths 32)
|
2015-05-19 09:35:52 +02:00
|
|
|
|
(query-valid-derivers 33)
|
2015-06-06 19:05:25 +02:00
|
|
|
|
(optimize-store 34)
|
2016-11-13 22:59:54 +01:00
|
|
|
|
(verify-store 35)
|
|
|
|
|
(built-in-builders 80))
|
2012-04-18 23:34:12 +02:00
|
|
|
|
|
|
|
|
|
(define-enumerate-type hash-algo
|
|
|
|
|
;; hash.hh
|
|
|
|
|
(md5 1)
|
|
|
|
|
(sha1 2)
|
|
|
|
|
(sha256 3))
|
|
|
|
|
|
2015-12-03 18:08:35 +01:00
|
|
|
|
(define-enumerate-type build-mode
|
|
|
|
|
;; store-api.hh
|
|
|
|
|
(normal 0)
|
|
|
|
|
(repair 1)
|
|
|
|
|
(check 2))
|
|
|
|
|
|
2012-12-09 23:52:59 +01:00
|
|
|
|
(define-enumerate-type gc-action
|
|
|
|
|
;; store-api.hh
|
|
|
|
|
(return-live 0)
|
|
|
|
|
(return-dead 1)
|
|
|
|
|
(delete-dead 2)
|
|
|
|
|
(delete-specific 3))
|
|
|
|
|
|
2012-04-18 23:34:12 +02:00
|
|
|
|
(define %default-socket-path
|
2014-01-08 21:12:55 +01:00
|
|
|
|
(string-append %state-directory "/daemon-socket/socket"))
|
2012-04-18 23:34:12 +02:00
|
|
|
|
|
2017-04-21 11:39:49 +02:00
|
|
|
|
(define %daemon-socket-uri
|
|
|
|
|
;; URI or file name of the socket the daemon listens too.
|
2013-02-18 21:53:59 +01:00
|
|
|
|
(make-parameter (or (getenv "GUIX_DAEMON_SOCKET")
|
|
|
|
|
%default-socket-path)))
|
|
|
|
|
|
|
|
|
|
|
2012-04-18 23:34:12 +02:00
|
|
|
|
|
2013-02-03 23:24:25 +01:00
|
|
|
|
;; Information about a substitutable store path.
|
|
|
|
|
(define-record-type <substitutable>
|
|
|
|
|
(substitutable path deriver refs dl-size nar-size)
|
|
|
|
|
substitutable?
|
|
|
|
|
(path substitutable-path)
|
|
|
|
|
(deriver substitutable-deriver)
|
|
|
|
|
(refs substitutable-references)
|
|
|
|
|
(dl-size substitutable-download-size)
|
|
|
|
|
(nar-size substitutable-nar-size))
|
|
|
|
|
|
|
|
|
|
(define (read-substitutable-path-list p)
|
|
|
|
|
(let loop ((len (read-int p))
|
|
|
|
|
(result '()))
|
|
|
|
|
(if (zero? len)
|
|
|
|
|
(reverse result)
|
|
|
|
|
(let ((path (read-store-path p))
|
|
|
|
|
(deriver (read-store-path p))
|
|
|
|
|
(refs (read-store-path-list p))
|
|
|
|
|
(dl-size (read-long-long p))
|
|
|
|
|
(nar-size (read-long-long p)))
|
|
|
|
|
(loop (- len 1)
|
|
|
|
|
(cons (substitutable path deriver refs dl-size nar-size)
|
|
|
|
|
result))))))
|
|
|
|
|
|
2015-03-17 15:19:36 +01:00
|
|
|
|
;; Information about a store path.
|
|
|
|
|
(define-record-type <path-info>
|
|
|
|
|
(path-info deriver hash references registration-time nar-size)
|
|
|
|
|
path-info?
|
2016-02-26 23:14:28 +01:00
|
|
|
|
(deriver path-info-deriver) ;string | #f
|
2015-03-17 15:19:36 +01:00
|
|
|
|
(hash path-info-hash)
|
|
|
|
|
(references path-info-references)
|
|
|
|
|
(registration-time path-info-registration-time)
|
|
|
|
|
(nar-size path-info-nar-size))
|
|
|
|
|
|
|
|
|
|
(define (read-path-info p)
|
2016-02-26 23:14:28 +01:00
|
|
|
|
(let ((deriver (match (read-store-path p)
|
|
|
|
|
("" #f)
|
|
|
|
|
(x x)))
|
2015-03-17 15:19:36 +01:00
|
|
|
|
(hash (base16-string->bytevector (read-string p)))
|
|
|
|
|
(refs (read-store-path-list p))
|
|
|
|
|
(registration-time (read-int p))
|
|
|
|
|
(nar-size (read-long-long p)))
|
|
|
|
|
(path-info deriver hash refs registration-time nar-size)))
|
|
|
|
|
|
2012-04-18 23:34:12 +02:00
|
|
|
|
(define-syntax write-arg
|
2017-01-29 12:55:24 +01:00
|
|
|
|
(syntax-rules (integer boolean bytevector
|
|
|
|
|
string string-list string-pairs
|
2012-12-09 23:52:59 +01:00
|
|
|
|
store-path store-path-list base16)
|
2012-04-18 23:34:12 +02:00
|
|
|
|
((_ integer arg p)
|
|
|
|
|
(write-int arg p))
|
|
|
|
|
((_ boolean arg p)
|
|
|
|
|
(write-int (if arg 1 0) p))
|
2017-01-29 12:55:24 +01:00
|
|
|
|
((_ bytevector arg p)
|
|
|
|
|
(write-bytevector arg p))
|
2012-04-18 23:34:12 +02:00
|
|
|
|
((_ string arg p)
|
|
|
|
|
(write-string arg p))
|
|
|
|
|
((_ string-list arg p)
|
2012-10-24 17:03:45 +02:00
|
|
|
|
(write-string-list arg p))
|
2014-03-09 23:01:18 +01:00
|
|
|
|
((_ string-pairs arg p)
|
|
|
|
|
(write-string-pairs arg p))
|
2012-12-09 23:52:59 +01:00
|
|
|
|
((_ store-path arg p)
|
|
|
|
|
(write-store-path arg p))
|
|
|
|
|
((_ store-path-list arg p)
|
|
|
|
|
(write-store-path-list arg p))
|
2012-10-24 17:03:45 +02:00
|
|
|
|
((_ base16 arg p)
|
|
|
|
|
(write-string (bytevector->base16-string arg) p))))
|
2012-04-18 23:34:12 +02:00
|
|
|
|
|
|
|
|
|
(define-syntax read-arg
|
2016-11-13 22:59:54 +01:00
|
|
|
|
(syntax-rules (integer boolean string store-path store-path-list string-list
|
2015-03-17 15:19:36 +01:00
|
|
|
|
substitutable-path-list path-info base16)
|
2012-04-18 23:34:12 +02:00
|
|
|
|
((_ integer p)
|
|
|
|
|
(read-int p))
|
|
|
|
|
((_ boolean p)
|
|
|
|
|
(not (zero? (read-int p))))
|
|
|
|
|
((_ string p)
|
|
|
|
|
(read-string p))
|
|
|
|
|
((_ store-path p)
|
2012-10-24 17:03:45 +02:00
|
|
|
|
(read-store-path p))
|
2012-12-09 23:52:59 +01:00
|
|
|
|
((_ store-path-list p)
|
|
|
|
|
(read-store-path-list p))
|
2016-11-13 22:59:54 +01:00
|
|
|
|
((_ string-list p)
|
|
|
|
|
(read-string-list p))
|
2013-02-03 23:24:25 +01:00
|
|
|
|
((_ substitutable-path-list p)
|
|
|
|
|
(read-substitutable-path-list p))
|
2015-03-17 15:19:36 +01:00
|
|
|
|
((_ path-info p)
|
|
|
|
|
(read-path-info p))
|
2013-02-03 23:24:25 +01:00
|
|
|
|
((_ base16 p)
|
2012-10-24 17:03:45 +02:00
|
|
|
|
(base16-string->bytevector (read-string p)))))
|
2012-04-18 23:34:12 +02:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
;; remote-store.cc
|
|
|
|
|
|
2015-11-20 18:44:29 +01:00
|
|
|
|
(define-record-type* <nix-server> nix-server %make-nix-server
|
2012-04-18 23:34:12 +02:00
|
|
|
|
nix-server?
|
|
|
|
|
(socket nix-server-socket)
|
|
|
|
|
(major nix-server-major-version)
|
2013-01-29 23:34:50 +01:00
|
|
|
|
(minor nix-server-minor-version)
|
|
|
|
|
|
2017-06-19 21:47:22 +02:00
|
|
|
|
(buffer nix-server-output-port) ;output port
|
|
|
|
|
(flush nix-server-flush-output) ;thunk
|
|
|
|
|
|
2013-01-29 23:34:50 +01:00
|
|
|
|
;; Caches. We keep them per-connection, because store paths build
|
|
|
|
|
;; during the session are temporary GC roots kept for the duration of
|
|
|
|
|
;; the session.
|
2013-01-29 23:53:09 +01:00
|
|
|
|
(ats-cache nix-server-add-to-store-cache)
|
2015-11-20 18:44:29 +01:00
|
|
|
|
(atts-cache nix-server-add-text-to-store-cache)
|
|
|
|
|
(object-cache nix-server-object-cache
|
|
|
|
|
(default vlist-null))) ;vhash
|
2012-04-18 23:34:12 +02:00
|
|
|
|
|
2013-09-01 19:24:21 +02:00
|
|
|
|
(set-record-type-printer! <nix-server>
|
|
|
|
|
(lambda (obj port)
|
|
|
|
|
(format port "#<build-daemon ~a.~a ~a>"
|
|
|
|
|
(nix-server-major-version obj)
|
|
|
|
|
(nix-server-minor-version obj)
|
|
|
|
|
(number->string (object-address obj)
|
|
|
|
|
16))))
|
|
|
|
|
|
2012-06-01 23:29:55 +02:00
|
|
|
|
(define-condition-type &nix-error &error
|
|
|
|
|
nix-error?)
|
|
|
|
|
|
2013-03-07 19:29:12 +01:00
|
|
|
|
(define-condition-type &nix-connection-error &nix-error
|
|
|
|
|
nix-connection-error?
|
|
|
|
|
(file nix-connection-error-file)
|
|
|
|
|
(errno nix-connection-error-code))
|
|
|
|
|
|
2012-06-01 23:29:55 +02:00
|
|
|
|
(define-condition-type &nix-protocol-error &nix-error
|
|
|
|
|
nix-protocol-error?
|
|
|
|
|
(message nix-protocol-error-message)
|
|
|
|
|
(status nix-protocol-error-status))
|
|
|
|
|
|
2017-04-21 11:48:57 +02:00
|
|
|
|
(define-syntax-rule (system-error-to-connection-error file exp ...)
|
|
|
|
|
"Catch 'system-error' exceptions and translate them to
|
|
|
|
|
'&nix-connection-error'."
|
|
|
|
|
(catch 'system-error
|
|
|
|
|
(lambda ()
|
|
|
|
|
exp ...)
|
|
|
|
|
(lambda args
|
|
|
|
|
(let ((errno (system-error-errno args)))
|
|
|
|
|
(raise (condition (&nix-connection-error
|
|
|
|
|
(file file)
|
|
|
|
|
(errno errno))))))))
|
|
|
|
|
|
2016-11-02 22:50:31 +01:00
|
|
|
|
(define (open-unix-domain-socket file)
|
|
|
|
|
"Connect to the Unix-domain socket at FILE and return it. Raise a
|
|
|
|
|
'&nix-connection-error' upon error."
|
2012-04-18 23:34:12 +02:00
|
|
|
|
(let ((s (with-fluids ((%default-port-encoding #f))
|
|
|
|
|
;; This trick allows use of the `scm_c_read' optimization.
|
|
|
|
|
(socket PF_UNIX SOCK_STREAM 0)))
|
|
|
|
|
(a (make-socket-address PF_UNIX file)))
|
2012-10-13 22:36:39 +02:00
|
|
|
|
|
2017-04-21 11:48:57 +02:00
|
|
|
|
(system-error-to-connection-error file
|
|
|
|
|
(connect s a)
|
|
|
|
|
s)))
|
2013-03-07 19:29:12 +01:00
|
|
|
|
|
2017-06-19 17:50:28 +02:00
|
|
|
|
(define %default-guix-port
|
|
|
|
|
;; Default port when connecting to a daemon over TCP/IP.
|
|
|
|
|
44146)
|
|
|
|
|
|
2017-04-21 14:57:02 +02:00
|
|
|
|
(define (open-inet-socket host port)
|
|
|
|
|
"Connect to the Unix-domain socket at HOST:PORT and return it. Raise a
|
|
|
|
|
'&nix-connection-error' upon error."
|
2017-05-05 15:32:16 +02:00
|
|
|
|
;; Define 'TCP_NODELAY' on Guile 2.0. The value is the same on all GNU
|
|
|
|
|
;; systems.
|
|
|
|
|
(cond-expand (guile-2.2 #t)
|
|
|
|
|
(else (define TCP_NODELAY 1)))
|
|
|
|
|
|
2017-04-21 14:57:02 +02:00
|
|
|
|
(let ((sock (with-fluids ((%default-port-encoding #f))
|
|
|
|
|
;; This trick allows use of the `scm_c_read' optimization.
|
|
|
|
|
(socket PF_UNIX SOCK_STREAM 0))))
|
|
|
|
|
(define addresses
|
|
|
|
|
(getaddrinfo host
|
|
|
|
|
(if (number? port) (number->string port) port)
|
|
|
|
|
(if (number? port)
|
|
|
|
|
(logior AI_ADDRCONFIG AI_NUMERICSERV)
|
2017-06-21 23:00:08 +02:00
|
|
|
|
AI_ADDRCONFIG)
|
|
|
|
|
0 ;any address family
|
|
|
|
|
SOCK_STREAM)) ;TCP only
|
2017-04-21 14:57:02 +02:00
|
|
|
|
|
|
|
|
|
(let loop ((addresses addresses))
|
|
|
|
|
(match addresses
|
|
|
|
|
((ai rest ...)
|
|
|
|
|
(let ((s (socket (addrinfo:fam ai)
|
|
|
|
|
;; TCP/IP only
|
|
|
|
|
SOCK_STREAM IPPROTO_IP)))
|
|
|
|
|
|
|
|
|
|
(catch 'system-error
|
|
|
|
|
(lambda ()
|
|
|
|
|
(connect s (addrinfo:addr ai))
|
2017-05-05 15:32:16 +02:00
|
|
|
|
|
|
|
|
|
;; Setting this option makes a dramatic difference because it
|
|
|
|
|
;; avoids the "ACK delay" on our RPC messages.
|
|
|
|
|
(setsockopt s IPPROTO_TCP TCP_NODELAY 1)
|
2017-04-21 14:57:02 +02:00
|
|
|
|
s)
|
|
|
|
|
(lambda args
|
|
|
|
|
;; Connection failed, so try one of the other addresses.
|
|
|
|
|
(close s)
|
|
|
|
|
(if (null? rest)
|
|
|
|
|
(raise (condition (&nix-connection-error
|
|
|
|
|
(file host)
|
|
|
|
|
(errno (system-error-errno args)))))
|
|
|
|
|
(loop rest))))))))))
|
|
|
|
|
|
2017-04-21 11:39:49 +02:00
|
|
|
|
(define (connect-to-daemon uri)
|
|
|
|
|
"Connect to the daemon at URI, a string that may be an actual URI or a file
|
|
|
|
|
name."
|
2017-04-21 19:13:32 +02:00
|
|
|
|
(define (not-supported)
|
|
|
|
|
(raise (condition (&nix-connection-error
|
|
|
|
|
(file uri)
|
|
|
|
|
(errno ENOTSUP)))))
|
|
|
|
|
|
2017-04-21 11:39:49 +02:00
|
|
|
|
(define connect
|
|
|
|
|
(match (string->uri uri)
|
|
|
|
|
(#f ;URI is a file name
|
|
|
|
|
open-unix-domain-socket)
|
|
|
|
|
((? uri? uri)
|
|
|
|
|
(match (uri-scheme uri)
|
|
|
|
|
((or #f 'file 'unix)
|
|
|
|
|
(lambda (_)
|
|
|
|
|
(open-unix-domain-socket (uri-path uri))))
|
2017-04-21 14:57:02 +02:00
|
|
|
|
('guix
|
|
|
|
|
(lambda (_)
|
2017-06-19 17:50:28 +02:00
|
|
|
|
(open-inet-socket (uri-host uri)
|
|
|
|
|
(or (uri-port uri) %default-guix-port))))
|
2017-04-21 19:13:32 +02:00
|
|
|
|
((? symbol? scheme)
|
|
|
|
|
;; Try to dynamically load a module for SCHEME.
|
|
|
|
|
;; XXX: Errors are swallowed.
|
|
|
|
|
(match (false-if-exception
|
|
|
|
|
(resolve-interface `(guix store ,scheme)))
|
|
|
|
|
((? module? module)
|
|
|
|
|
(match (false-if-exception
|
|
|
|
|
(module-ref module 'connect-to-daemon))
|
|
|
|
|
((? procedure? connect)
|
|
|
|
|
(lambda (_)
|
|
|
|
|
(connect uri)))
|
|
|
|
|
(x (not-supported))))
|
|
|
|
|
(#f (not-supported))))
|
2017-04-21 11:39:49 +02:00
|
|
|
|
(x
|
2017-04-21 19:13:32 +02:00
|
|
|
|
(not-supported))))))
|
2017-04-21 11:39:49 +02:00
|
|
|
|
|
|
|
|
|
(connect uri))
|
|
|
|
|
|
|
|
|
|
(define* (open-connection #:optional (uri (%daemon-socket-uri))
|
2016-11-02 22:50:31 +01:00
|
|
|
|
#:key port (reserve-space? #t) cpu-affinity)
|
2017-04-21 11:39:49 +02:00
|
|
|
|
"Connect to the daemon at URI (a string), or, if PORT is not #f, use it as
|
|
|
|
|
the I/O port over which to communicate to a build daemon.
|
2016-11-02 22:50:31 +01:00
|
|
|
|
|
|
|
|
|
When RESERVE-SPACE? is true, instruct it to reserve a little bit of extra
|
|
|
|
|
space on the file system so that the garbage collector can still operate,
|
|
|
|
|
should the disk become full. When CPU-AFFINITY is true, it must be an integer
|
|
|
|
|
corresponding to an OS-level CPU number to which the daemon's worker process
|
|
|
|
|
for this connection will be pinned. Return a server object."
|
2016-12-08 14:03:33 +01:00
|
|
|
|
(guard (c ((nar-error? c)
|
|
|
|
|
;; One of the 'write-' or 'read-' calls below failed, but this is
|
|
|
|
|
;; really a connection error.
|
|
|
|
|
(raise (condition
|
2017-04-21 11:39:49 +02:00
|
|
|
|
(&nix-connection-error (file (or port uri))
|
2016-12-08 14:03:33 +01:00
|
|
|
|
(errno EPROTO))
|
|
|
|
|
(&message (message "build daemon handshake failed"))))))
|
2017-06-19 21:47:22 +02:00
|
|
|
|
(let*-values (((port)
|
|
|
|
|
(or port (connect-to-daemon uri)))
|
|
|
|
|
((output flush)
|
|
|
|
|
(buffering-output-port port
|
|
|
|
|
(make-bytevector 8192))))
|
2016-12-08 14:03:33 +01:00
|
|
|
|
(write-int %worker-magic-1 port)
|
|
|
|
|
(let ((r (read-int port)))
|
|
|
|
|
(and (eqv? r %worker-magic-2)
|
|
|
|
|
(let ((v (read-int port)))
|
|
|
|
|
(and (eqv? (protocol-major %protocol-version)
|
|
|
|
|
(protocol-major v))
|
|
|
|
|
(begin
|
|
|
|
|
(write-int %protocol-version port)
|
|
|
|
|
(when (>= (protocol-minor v) 14)
|
|
|
|
|
(write-int (if cpu-affinity 1 0) port)
|
|
|
|
|
(when cpu-affinity
|
|
|
|
|
(write-int cpu-affinity port)))
|
|
|
|
|
(when (>= (protocol-minor v) 11)
|
|
|
|
|
(write-int (if reserve-space? 1 0) port))
|
|
|
|
|
(let ((conn (%make-nix-server port
|
|
|
|
|
(protocol-major v)
|
|
|
|
|
(protocol-minor v)
|
2017-06-19 21:47:22 +02:00
|
|
|
|
output flush
|
2016-12-08 14:03:33 +01:00
|
|
|
|
(make-hash-table 100)
|
2015-11-20 18:44:29 +01:00
|
|
|
|
(make-hash-table 100)
|
|
|
|
|
vlist-null)))
|
2016-12-08 14:03:33 +01:00
|
|
|
|
(let loop ((done? (process-stderr conn)))
|
|
|
|
|
(or done? (process-stderr conn)))
|
|
|
|
|
conn)))))))))
|
2012-04-18 23:34:12 +02:00
|
|
|
|
|
2018-06-25 18:40:10 +02:00
|
|
|
|
(define* (port->connection port
|
|
|
|
|
#:key (version %protocol-version))
|
|
|
|
|
"Assimilate PORT, an input/output port, and return a connection to the
|
|
|
|
|
daemon, assuming the given protocol VERSION.
|
|
|
|
|
|
|
|
|
|
Warning: this procedure assumes that the initial handshake with the daemon has
|
|
|
|
|
already taken place on PORT and that we're just continuing on this established
|
|
|
|
|
connection. Use with care."
|
|
|
|
|
(let-values (((output flush)
|
|
|
|
|
(buffering-output-port port (make-bytevector 8192))))
|
|
|
|
|
(%make-nix-server port
|
|
|
|
|
(protocol-major version)
|
|
|
|
|
(protocol-minor version)
|
|
|
|
|
output flush
|
|
|
|
|
(make-hash-table 100)
|
2015-11-20 18:44:29 +01:00
|
|
|
|
(make-hash-table 100)
|
|
|
|
|
vlist-null)))
|
2018-06-25 18:40:10 +02:00
|
|
|
|
|
2017-01-18 23:21:29 +01:00
|
|
|
|
(define (nix-server-version store)
|
|
|
|
|
"Return the protocol version of STORE as an integer."
|
|
|
|
|
(protocol-version (nix-server-major-version store)
|
|
|
|
|
(nix-server-minor-version store)))
|
|
|
|
|
|
2017-06-19 21:47:22 +02:00
|
|
|
|
(define (write-buffered-output server)
|
|
|
|
|
"Flush SERVER's output port."
|
|
|
|
|
(force-output (nix-server-output-port server))
|
|
|
|
|
((nix-server-flush-output server)))
|
|
|
|
|
|
2012-08-22 17:22:46 +02:00
|
|
|
|
(define (close-connection server)
|
|
|
|
|
"Close the connection to SERVER."
|
|
|
|
|
(close (nix-server-socket server)))
|
|
|
|
|
|
2014-01-19 23:03:43 +01:00
|
|
|
|
(define-syntax-rule (with-store store exp ...)
|
|
|
|
|
"Bind STORE to an open connection to the store and evaluate EXPs;
|
|
|
|
|
automatically close the store when the dynamic extent of EXP is left."
|
|
|
|
|
(let ((store (open-connection)))
|
|
|
|
|
(dynamic-wind
|
|
|
|
|
(const #f)
|
|
|
|
|
(lambda ()
|
2017-01-18 23:21:29 +01:00
|
|
|
|
(parameterize ((current-store-protocol-version
|
|
|
|
|
(nix-server-version store)))
|
|
|
|
|
exp) ...)
|
2014-01-19 23:03:43 +01:00
|
|
|
|
(lambda ()
|
|
|
|
|
(false-if-exception (close-connection store))))))
|
|
|
|
|
|
2017-01-18 23:21:29 +01:00
|
|
|
|
(define current-store-protocol-version
|
|
|
|
|
;; Protocol version of the store currently used. XXX: This is a hack to
|
|
|
|
|
;; communicate the protocol version to the build output port. It's a hack
|
|
|
|
|
;; because it could be inaccurrate, for instance if there's code that
|
|
|
|
|
;; manipulates several store connections at once; it works well for the
|
|
|
|
|
;; purposes of (guix status) though.
|
|
|
|
|
(make-parameter #f))
|
|
|
|
|
|
2012-06-16 16:13:12 +02:00
|
|
|
|
(define current-build-output-port
|
|
|
|
|
;; The port where build output is sent.
|
|
|
|
|
(make-parameter (current-error-port)))
|
|
|
|
|
|
2013-12-20 17:17:42 +01:00
|
|
|
|
(define* (dump-port in out
|
|
|
|
|
#:optional len
|
|
|
|
|
#:key (buffer-size 16384))
|
|
|
|
|
"Read LEN bytes from IN (or as much as possible if LEN is #f) and write it
|
|
|
|
|
to OUT, using chunks of BUFFER-SIZE bytes."
|
|
|
|
|
(define buffer
|
|
|
|
|
(make-bytevector buffer-size))
|
|
|
|
|
|
|
|
|
|
(let loop ((total 0)
|
|
|
|
|
(bytes (get-bytevector-n! in buffer 0
|
|
|
|
|
(if len
|
|
|
|
|
(min len buffer-size)
|
|
|
|
|
buffer-size))))
|
|
|
|
|
(or (eof-object? bytes)
|
|
|
|
|
(and len (= total len))
|
|
|
|
|
(let ((total (+ total bytes)))
|
|
|
|
|
(put-bytevector out buffer 0 bytes)
|
|
|
|
|
(loop total
|
|
|
|
|
(get-bytevector-n! in buffer 0
|
|
|
|
|
(if len
|
|
|
|
|
(min (- len total) buffer-size)
|
|
|
|
|
buffer-size)))))))
|
|
|
|
|
|
2014-05-21 15:29:23 +02:00
|
|
|
|
(define %newlines
|
|
|
|
|
;; Newline characters triggering a flush of 'current-build-output-port'.
|
|
|
|
|
;; Unlike Guile's _IOLBF, we flush upon #\return so that progress reports
|
|
|
|
|
;; that use that trick are correctly displayed.
|
|
|
|
|
(char-set #\newline #\return))
|
|
|
|
|
|
2013-12-20 17:17:42 +01:00
|
|
|
|
(define* (process-stderr server #:optional user-port)
|
2012-06-16 16:13:12 +02:00
|
|
|
|
"Read standard output and standard error from SERVER, writing it to
|
|
|
|
|
CURRENT-BUILD-OUTPUT-PORT. Return #t when SERVER is done sending data, and
|
|
|
|
|
#f otherwise; in the latter case, the caller should call `process-stderr'
|
2013-01-31 14:05:10 +01:00
|
|
|
|
again until #t is returned or an error is raised.
|
|
|
|
|
|
|
|
|
|
Since the build process's output cannot be assumed to be UTF-8, we
|
|
|
|
|
conservatively consider it to be Latin-1, thereby avoiding possible
|
|
|
|
|
encoding conversion errors."
|
2012-04-18 23:34:12 +02:00
|
|
|
|
(define p
|
|
|
|
|
(nix-server-socket server))
|
|
|
|
|
|
|
|
|
|
;; magic cookies from worker-protocol.hh
|
2014-01-09 23:59:07 +01:00
|
|
|
|
(define %stderr-next #x6f6c6d67) ; "olmg", build log
|
|
|
|
|
(define %stderr-read #x64617461) ; "data", data needed from source
|
|
|
|
|
(define %stderr-write #x64617416) ; "dat\x16", data for sink
|
|
|
|
|
(define %stderr-last #x616c7473) ; "alts", we're done
|
|
|
|
|
(define %stderr-error #x63787470) ; "cxtp", error reporting
|
2012-04-18 23:34:12 +02:00
|
|
|
|
|
|
|
|
|
(let ((k (read-int p)))
|
|
|
|
|
(cond ((= k %stderr-write)
|
2013-12-20 17:17:42 +01:00
|
|
|
|
;; Write a byte stream to USER-PORT.
|
|
|
|
|
(let* ((len (read-int p))
|
|
|
|
|
(m (modulo len 8)))
|
2016-12-01 23:09:34 +01:00
|
|
|
|
(dump-port p user-port len
|
|
|
|
|
#:buffer-size (if (<= len 16384) 16384 65536))
|
2013-12-20 17:17:42 +01:00
|
|
|
|
(unless (zero? m)
|
|
|
|
|
;; Consume padding, as for strings.
|
|
|
|
|
(get-bytevector-n p (- 8 m))))
|
2012-06-16 16:13:12 +02:00
|
|
|
|
#f)
|
2012-04-18 23:34:12 +02:00
|
|
|
|
((= k %stderr-read)
|
2013-12-20 17:17:42 +01:00
|
|
|
|
;; Read a byte stream from USER-PORT.
|
2014-05-27 22:01:51 +02:00
|
|
|
|
;; Note: Avoid 'get-bytevector-n' to work around
|
|
|
|
|
;; <http://bugs.gnu.org/17591> in Guile up to 2.0.11.
|
2013-12-20 17:17:42 +01:00
|
|
|
|
(let* ((max-len (read-int p))
|
2014-05-27 22:01:51 +02:00
|
|
|
|
(data (make-bytevector max-len))
|
|
|
|
|
(len (get-bytevector-n! user-port data 0 max-len)))
|
2018-01-10 21:38:08 +01:00
|
|
|
|
(write-bytevector data p len)
|
2012-06-16 16:13:12 +02:00
|
|
|
|
#f))
|
2012-04-18 23:34:12 +02:00
|
|
|
|
((= k %stderr-next)
|
2015-03-05 22:00:11 +01:00
|
|
|
|
;; Log a string. Build logs are usually UTF-8-encoded, but they
|
|
|
|
|
;; may also contain arbitrary byte sequences that should not cause
|
|
|
|
|
;; this to fail. Thus, use the permissive
|
|
|
|
|
;; 'read-maybe-utf8-string'.
|
|
|
|
|
(let ((s (read-maybe-utf8-string p)))
|
2012-06-16 16:13:12 +02:00
|
|
|
|
(display s (current-build-output-port))
|
2014-05-21 15:29:23 +02:00
|
|
|
|
(when (string-any %newlines s)
|
2016-10-19 14:28:56 +02:00
|
|
|
|
(force-output (current-build-output-port)))
|
2012-06-16 16:13:12 +02:00
|
|
|
|
#f))
|
2012-04-18 23:34:12 +02:00
|
|
|
|
((= k %stderr-error)
|
2013-12-20 17:17:42 +01:00
|
|
|
|
;; Report an error.
|
2015-03-05 22:00:11 +01:00
|
|
|
|
(let ((error (read-maybe-utf8-string p))
|
2013-04-20 10:53:31 +02:00
|
|
|
|
;; Currently the daemon fails to send a status code for early
|
|
|
|
|
;; errors like DB schema version mismatches, so check for EOF.
|
|
|
|
|
(status (if (and (>= (nix-server-minor-version server) 8)
|
|
|
|
|
(not (eof-object? (lookahead-u8 p))))
|
2012-04-18 23:34:12 +02:00
|
|
|
|
(read-int p)
|
|
|
|
|
1)))
|
2012-06-01 23:29:55 +02:00
|
|
|
|
(raise (condition (&nix-protocol-error
|
|
|
|
|
(message error)
|
|
|
|
|
(status status))))))
|
2012-04-18 23:34:12 +02:00
|
|
|
|
((= k %stderr-last)
|
2012-06-16 16:13:12 +02:00
|
|
|
|
;; The daemon is done (see `stopWork' in `nix-worker.cc'.)
|
2012-04-18 23:34:12 +02:00
|
|
|
|
#t)
|
|
|
|
|
(else
|
2012-06-01 23:29:55 +02:00
|
|
|
|
(raise (condition (&nix-protocol-error
|
|
|
|
|
(message "invalid error code")
|
|
|
|
|
(status k))))))))
|
2012-04-18 23:34:12 +02:00
|
|
|
|
|
2015-03-22 23:43:25 +01:00
|
|
|
|
(define %default-substitute-urls
|
2016-03-28 22:18:17 +02:00
|
|
|
|
;; Default list of substituters. This is *not* the list baked in
|
|
|
|
|
;; 'guix-daemon', but it is used by 'guix-service-type' and and a couple of
|
|
|
|
|
;; clients ('guix build --log-file' uses it.)
|
2016-03-16 10:35:24 +01:00
|
|
|
|
(map (if (false-if-exception (resolve-interface '(gnutls)))
|
|
|
|
|
(cut string-append "https://" <>)
|
|
|
|
|
(cut string-append "http://" <>))
|
2018-12-03 16:32:03 +01:00
|
|
|
|
'("ci.guix.info")))
|
2015-03-22 23:43:25 +01:00
|
|
|
|
|
2012-04-18 23:34:12 +02:00
|
|
|
|
(define* (set-build-options server
|
2013-05-29 23:04:15 +02:00
|
|
|
|
#:key keep-failed? keep-going? fallback?
|
2012-04-18 23:34:12 +02:00
|
|
|
|
(verbosity 0)
|
2015-12-08 22:58:32 +01:00
|
|
|
|
rounds ;number of build rounds
|
2017-01-15 15:13:07 +01:00
|
|
|
|
max-build-jobs
|
2014-03-09 23:01:18 +01:00
|
|
|
|
timeout
|
2017-01-15 15:13:07 +01:00
|
|
|
|
max-silent-time
|
2012-04-18 23:34:12 +02:00
|
|
|
|
(use-build-hook? #t)
|
|
|
|
|
(build-verbosity 0)
|
|
|
|
|
(log-type 0)
|
2012-07-01 00:09:47 +02:00
|
|
|
|
(print-build-trace #t)
|
2017-01-18 23:21:29 +01:00
|
|
|
|
|
|
|
|
|
;; When true, provide machine-readable "build
|
|
|
|
|
;; traces" for use by (guix status). Old clients
|
|
|
|
|
;; are unable to make sense, which is why it's
|
|
|
|
|
;; disabled by default.
|
|
|
|
|
print-extended-build-trace?
|
|
|
|
|
|
2018-10-15 22:40:35 +02:00
|
|
|
|
;; When true, the daemon prefixes builder output
|
|
|
|
|
;; with "@ build-log" traces so we can
|
|
|
|
|
;; distinguish it from daemon output, and we can
|
|
|
|
|
;; distinguish each builder's output
|
|
|
|
|
;; (PRINT-BUILD-TRACE must be true as well.) The
|
|
|
|
|
;; latter is particularly useful when
|
|
|
|
|
;; MAX-BUILD-JOBS > 1.
|
|
|
|
|
multiplexed-build-output?
|
|
|
|
|
|
2017-01-15 15:13:07 +01:00
|
|
|
|
build-cores
|
2013-02-03 23:02:14 +01:00
|
|
|
|
(use-substitutes? #t)
|
2015-03-22 23:43:25 +01:00
|
|
|
|
|
2015-10-28 15:20:06 +01:00
|
|
|
|
;; Client-provided substitute URLs. If it is #f,
|
|
|
|
|
;; the daemon's settings are used. Otherwise, it
|
|
|
|
|
;; overrides the daemons settings; see 'guix
|
|
|
|
|
;; substitute'.
|
2016-04-15 00:10:22 +02:00
|
|
|
|
(substitute-urls #f)
|
|
|
|
|
|
|
|
|
|
;; Number of columns in the client's terminal.
|
2016-04-20 23:16:47 +02:00
|
|
|
|
(terminal-columns (terminal-columns))
|
|
|
|
|
|
|
|
|
|
;; Locale of the client.
|
|
|
|
|
(locale (false-if-exception (setlocale LC_ALL))))
|
2012-04-18 23:34:12 +02:00
|
|
|
|
;; Must be called after `open-connection'.
|
|
|
|
|
|
|
|
|
|
(define socket
|
|
|
|
|
(nix-server-socket server))
|
|
|
|
|
|
|
|
|
|
(let-syntax ((send (syntax-rules ()
|
2012-07-01 00:09:47 +02:00
|
|
|
|
((_ (type option) ...)
|
|
|
|
|
(begin
|
|
|
|
|
(write-arg type option socket)
|
|
|
|
|
...)))))
|
|
|
|
|
(write-int (operation-id set-options) socket)
|
|
|
|
|
(send (boolean keep-failed?) (boolean keep-going?)
|
2017-01-15 15:13:07 +01:00
|
|
|
|
(boolean fallback?) (integer verbosity))
|
|
|
|
|
(when (< (nix-server-minor-version server) #x61)
|
|
|
|
|
(let ((max-build-jobs (or max-build-jobs 1))
|
|
|
|
|
(max-silent-time (or max-silent-time 3600)))
|
|
|
|
|
(send (integer max-build-jobs) (integer max-silent-time))))
|
2014-02-27 19:17:10 +01:00
|
|
|
|
(when (>= (nix-server-minor-version server) 2)
|
|
|
|
|
(send (boolean use-build-hook?)))
|
|
|
|
|
(when (>= (nix-server-minor-version server) 4)
|
|
|
|
|
(send (integer build-verbosity) (integer log-type)
|
|
|
|
|
(boolean print-build-trace)))
|
2017-01-15 15:13:07 +01:00
|
|
|
|
(when (and (>= (nix-server-minor-version server) 6)
|
|
|
|
|
(< (nix-server-minor-version server) #x61))
|
|
|
|
|
(let ((build-cores (or build-cores (current-processor-count))))
|
|
|
|
|
(send (integer build-cores))))
|
2014-02-27 19:17:10 +01:00
|
|
|
|
(when (>= (nix-server-minor-version server) 10)
|
|
|
|
|
(send (boolean use-substitutes?)))
|
|
|
|
|
(when (>= (nix-server-minor-version server) 12)
|
2017-01-18 23:21:29 +01:00
|
|
|
|
(let ((pairs `(;; This option is honored by 'guix substitute' et al.
|
|
|
|
|
,@(if print-build-trace
|
|
|
|
|
`(("print-extended-build-trace"
|
|
|
|
|
. ,(if print-extended-build-trace? "1" "0")))
|
|
|
|
|
'())
|
2018-10-15 22:40:35 +02:00
|
|
|
|
,@(if multiplexed-build-output?
|
|
|
|
|
`(("multiplexed-build-output"
|
|
|
|
|
. ,(if multiplexed-build-output? "true" "false")))
|
|
|
|
|
'())
|
2017-01-18 23:21:29 +01:00
|
|
|
|
,@(if timeout
|
2015-03-18 14:39:53 +01:00
|
|
|
|
`(("build-timeout" . ,(number->string timeout)))
|
|
|
|
|
'())
|
2017-01-15 15:13:07 +01:00
|
|
|
|
,@(if max-silent-time
|
|
|
|
|
`(("build-max-silent-time"
|
|
|
|
|
. ,(number->string max-silent-time)))
|
|
|
|
|
'())
|
|
|
|
|
,@(if max-build-jobs
|
|
|
|
|
`(("build-max-jobs"
|
|
|
|
|
. ,(number->string max-build-jobs)))
|
|
|
|
|
'())
|
|
|
|
|
,@(if build-cores
|
|
|
|
|
`(("build-cores" . ,(number->string build-cores)))
|
|
|
|
|
'())
|
2015-10-28 15:20:06 +01:00
|
|
|
|
,@(if substitute-urls
|
|
|
|
|
`(("substitute-urls"
|
|
|
|
|
. ,(string-join substitute-urls)))
|
2015-12-08 22:58:32 +01:00
|
|
|
|
'())
|
|
|
|
|
,@(if rounds
|
|
|
|
|
`(("build-repeat"
|
|
|
|
|
. ,(number->string (max 0 (1- rounds)))))
|
2016-04-15 00:10:22 +02:00
|
|
|
|
'())
|
|
|
|
|
,@(if terminal-columns
|
|
|
|
|
`(("terminal-columns"
|
|
|
|
|
. ,(number->string terminal-columns)))
|
2016-04-20 23:16:47 +02:00
|
|
|
|
'())
|
|
|
|
|
,@(if locale
|
|
|
|
|
`(("locale" . ,locale))
|
2015-10-28 15:20:06 +01:00
|
|
|
|
'()))))
|
2015-03-18 18:10:16 +01:00
|
|
|
|
(send (string-pairs pairs))))
|
2012-06-16 16:13:12 +02:00
|
|
|
|
(let loop ((done? (process-stderr server)))
|
|
|
|
|
(or done? (process-stderr server)))))
|
2012-04-18 23:34:12 +02:00
|
|
|
|
|
2017-06-19 21:47:22 +02:00
|
|
|
|
(define (buffering-output-port port buffer)
|
|
|
|
|
"Return two value: an output port wrapped around PORT that uses BUFFER (a
|
|
|
|
|
bytevector) as its internal buffer, and a thunk to flush this output port."
|
|
|
|
|
;; Note: In Guile 2.2.2, custom binary output ports already have their own
|
|
|
|
|
;; 4K internal buffer.
|
|
|
|
|
(define size
|
|
|
|
|
(bytevector-length buffer))
|
|
|
|
|
|
|
|
|
|
(define total 0)
|
|
|
|
|
|
|
|
|
|
(define (flush)
|
|
|
|
|
(put-bytevector port buffer 0 total)
|
2018-09-17 22:00:26 +02:00
|
|
|
|
(force-output port)
|
2017-06-19 21:47:22 +02:00
|
|
|
|
(set! total 0))
|
|
|
|
|
|
|
|
|
|
(define (write bv offset count)
|
|
|
|
|
(if (zero? count) ;end of file
|
|
|
|
|
(flush)
|
|
|
|
|
(let loop ((offset offset)
|
|
|
|
|
(count count)
|
|
|
|
|
(written 0))
|
|
|
|
|
(cond ((= total size)
|
|
|
|
|
(flush)
|
|
|
|
|
(loop offset count written))
|
|
|
|
|
((zero? count)
|
|
|
|
|
written)
|
|
|
|
|
(else
|
|
|
|
|
(let ((to-copy (min count (- size total))))
|
|
|
|
|
(bytevector-copy! bv offset buffer total to-copy)
|
|
|
|
|
(set! total (+ total to-copy))
|
|
|
|
|
(loop (+ offset to-copy) (- count to-copy)
|
|
|
|
|
(+ written to-copy))))))))
|
|
|
|
|
|
|
|
|
|
;; Note: We need to return FLUSH because the custom binary port has no way
|
|
|
|
|
;; to be notified of a 'force-output' call on itself.
|
|
|
|
|
(values (make-custom-binary-output-port "buffering-output-port"
|
|
|
|
|
write #f #f flush)
|
|
|
|
|
flush))
|
|
|
|
|
|
2017-06-16 14:23:51 +02:00
|
|
|
|
(define %rpc-calls
|
|
|
|
|
;; Mapping from RPC names (symbols) to invocation counts.
|
|
|
|
|
(make-hash-table))
|
|
|
|
|
|
|
|
|
|
(define* (show-rpc-profile #:optional (port (current-error-port)))
|
|
|
|
|
"Write to PORT a summary of the RPCs that have been made."
|
|
|
|
|
(let ((profile (sort (hash-fold alist-cons '() %rpc-calls)
|
|
|
|
|
(lambda (rpc1 rpc2)
|
|
|
|
|
(< (cdr rpc1) (cdr rpc2))))))
|
|
|
|
|
(format port "Remote procedure call summary: ~a RPCs~%"
|
|
|
|
|
(match profile
|
|
|
|
|
(((names . counts) ...)
|
|
|
|
|
(reduce + 0 counts))))
|
|
|
|
|
(for-each (match-lambda
|
|
|
|
|
((rpc . count)
|
|
|
|
|
(format port " ~30a ... ~5@a~%" rpc count)))
|
|
|
|
|
profile)))
|
|
|
|
|
|
|
|
|
|
(define record-operation
|
|
|
|
|
;; Optionally, increment the number of calls of the given RPC.
|
2017-06-28 10:13:45 +02:00
|
|
|
|
(if (profiled? "rpc")
|
|
|
|
|
(begin
|
|
|
|
|
(register-profiling-hook! "rpc" show-rpc-profile)
|
|
|
|
|
(lambda (name)
|
|
|
|
|
(let ((count (or (hashq-ref %rpc-calls name) 0)))
|
|
|
|
|
(hashq-set! %rpc-calls name (+ count 1)))))
|
|
|
|
|
(lambda (_)
|
|
|
|
|
#t)))
|
2017-06-16 14:23:51 +02:00
|
|
|
|
|
2013-01-30 16:22:33 +01:00
|
|
|
|
(define-syntax operation
|
2012-04-18 23:34:12 +02:00
|
|
|
|
(syntax-rules ()
|
2013-01-30 16:22:33 +01:00
|
|
|
|
"Define a client-side RPC stub for the given operation."
|
2012-12-09 23:52:59 +01:00
|
|
|
|
((_ (name (type arg) ...) docstring return ...)
|
2013-01-30 16:22:33 +01:00
|
|
|
|
(lambda (server arg ...)
|
2012-04-18 23:34:12 +02:00
|
|
|
|
docstring
|
2017-06-19 21:47:22 +02:00
|
|
|
|
(let* ((s (nix-server-socket server))
|
|
|
|
|
(buffered (nix-server-output-port server)))
|
2017-06-16 14:23:51 +02:00
|
|
|
|
(record-operation 'name)
|
2017-06-19 21:47:22 +02:00
|
|
|
|
(write-int (operation-id name) buffered)
|
|
|
|
|
(write-arg type arg buffered)
|
2012-04-18 23:34:12 +02:00
|
|
|
|
...
|
2017-06-19 21:47:22 +02:00
|
|
|
|
(write-buffered-output server)
|
|
|
|
|
|
2012-06-16 16:13:12 +02:00
|
|
|
|
;; Loop until the server is done sending error output.
|
|
|
|
|
(let loop ((done? (process-stderr server)))
|
|
|
|
|
(or done? (loop (process-stderr server))))
|
2012-12-09 23:52:59 +01:00
|
|
|
|
(values (read-arg return s) ...))))))
|
2012-04-18 23:34:12 +02:00
|
|
|
|
|
2013-01-30 16:22:33 +01:00
|
|
|
|
(define-syntax-rule (define-operation (name args ...)
|
|
|
|
|
docstring return ...)
|
|
|
|
|
(define name
|
|
|
|
|
(operation (name args ...) docstring return ...)))
|
|
|
|
|
|
2012-07-01 00:21:16 +02:00
|
|
|
|
(define-operation (valid-path? (string path))
|
2016-02-25 12:12:50 +01:00
|
|
|
|
"Return #t when PATH designates a valid store item and #f otherwise (an
|
|
|
|
|
invalid item may exist on disk but still be invalid, for instance because it
|
|
|
|
|
is the result of an aborted or failed build.)
|
|
|
|
|
|
|
|
|
|
A '&nix-protocol-error' condition is raised if PATH is not prefixed by the
|
|
|
|
|
store directory (/gnu/store)."
|
2012-07-01 00:21:16 +02:00
|
|
|
|
boolean)
|
|
|
|
|
|
2013-02-03 23:02:14 +01:00
|
|
|
|
(define-operation (query-path-hash (store-path path))
|
2016-05-17 13:50:10 +02:00
|
|
|
|
"Return the SHA256 hash of the nar serialization of PATH as a bytevector."
|
2012-10-24 17:03:45 +02:00
|
|
|
|
base16)
|
|
|
|
|
|
2014-03-14 17:16:10 +01:00
|
|
|
|
(define hash-part->path
|
|
|
|
|
(let ((query-path-from-hash-part
|
|
|
|
|
(operation (query-path-from-hash-part (string hash))
|
|
|
|
|
#f
|
|
|
|
|
store-path)))
|
|
|
|
|
(lambda (server hash-part)
|
|
|
|
|
"Return the store path whose hash part is HASH-PART (a nix-base32
|
|
|
|
|
string). Raise an error if no such path exists."
|
|
|
|
|
;; This RPC is primarily used by Hydra to reply to HTTP GETs of
|
|
|
|
|
;; /HASH.narinfo.
|
|
|
|
|
(query-path-from-hash-part server hash-part))))
|
|
|
|
|
|
2015-03-17 15:19:36 +01:00
|
|
|
|
(define-operation (query-path-info (store-path path))
|
|
|
|
|
"Return the info (hash, references, etc.) for PATH."
|
|
|
|
|
path-info)
|
|
|
|
|
|
2017-01-29 12:55:24 +01:00
|
|
|
|
(define add-data-to-store
|
2013-01-30 16:22:33 +01:00
|
|
|
|
;; A memoizing version of `add-to-store', to avoid repeated RPCs with
|
|
|
|
|
;; the very same arguments during a given session.
|
|
|
|
|
(let ((add-text-to-store
|
2017-01-29 12:55:24 +01:00
|
|
|
|
(operation (add-text-to-store (string name) (bytevector text)
|
2013-01-30 16:22:33 +01:00
|
|
|
|
(string-list references))
|
|
|
|
|
#f
|
|
|
|
|
store-path)))
|
2017-01-29 12:55:24 +01:00
|
|
|
|
(lambda* (server name bytes #:optional (references '()))
|
|
|
|
|
"Add BYTES under file NAME in the store, and return its store path.
|
2013-01-29 23:53:09 +01:00
|
|
|
|
REFERENCES is the list of store paths referred to by the resulting store
|
|
|
|
|
path."
|
2017-01-29 12:55:24 +01:00
|
|
|
|
(let* ((args `(,bytes ,name ,references))
|
|
|
|
|
(cache (nix-server-add-text-to-store-cache server)))
|
2013-01-29 23:53:09 +01:00
|
|
|
|
(or (hash-ref cache args)
|
2017-01-29 12:55:24 +01:00
|
|
|
|
(let ((path (add-text-to-store server name bytes references)))
|
2013-01-29 23:53:09 +01:00
|
|
|
|
(hash-set! cache args path)
|
|
|
|
|
path))))))
|
|
|
|
|
|
2017-01-29 12:55:24 +01:00
|
|
|
|
(define* (add-text-to-store store name text #:optional (references '()))
|
|
|
|
|
"Add TEXT under file NAME in the store, and return its store path.
|
|
|
|
|
REFERENCES is the list of store paths referred to by the resulting store
|
|
|
|
|
path."
|
|
|
|
|
(add-data-to-store store name (string->utf8 text) references))
|
|
|
|
|
|
2016-06-15 11:51:16 +02:00
|
|
|
|
(define true
|
|
|
|
|
;; Define it once and for all since we use it as a default value for
|
|
|
|
|
;; 'add-to-store' and want to make sure two default values are 'eq?' for the
|
|
|
|
|
;; purposes or memoization.
|
|
|
|
|
(lambda (file stat)
|
|
|
|
|
#t))
|
|
|
|
|
|
2013-01-30 16:22:33 +01:00
|
|
|
|
(define add-to-store
|
2013-01-29 00:16:18 +01:00
|
|
|
|
;; A memoizing version of `add-to-store'. This is important because
|
|
|
|
|
;; `add-to-store' leads to huge data transfers to the server, and
|
|
|
|
|
;; because it's often called many times with the very same argument.
|
2016-06-15 11:51:16 +02:00
|
|
|
|
(let ((add-to-store
|
|
|
|
|
(lambda* (server basename recursive? hash-algo file-name
|
|
|
|
|
#:key (select? true))
|
|
|
|
|
;; We don't use the 'operation' macro so we can pass SELECT? to
|
|
|
|
|
;; 'write-file'.
|
2017-07-10 16:56:19 +02:00
|
|
|
|
(record-operation 'add-to-store)
|
2016-06-15 11:51:16 +02:00
|
|
|
|
(let ((port (nix-server-socket server)))
|
|
|
|
|
(write-int (operation-id add-to-store) port)
|
|
|
|
|
(write-string basename port)
|
|
|
|
|
(write-int 1 port) ;obsolete, must be #t
|
|
|
|
|
(write-int (if recursive? 1 0) port)
|
|
|
|
|
(write-string hash-algo port)
|
|
|
|
|
(write-file file-name port #:select? select?)
|
2018-09-17 22:00:26 +02:00
|
|
|
|
(write-buffered-output server)
|
2016-06-15 11:51:16 +02:00
|
|
|
|
(let loop ((done? (process-stderr server)))
|
|
|
|
|
(or done? (loop (process-stderr server))))
|
|
|
|
|
(read-store-path port)))))
|
|
|
|
|
(lambda* (server basename recursive? hash-algo file-name
|
|
|
|
|
#:key (select? true))
|
2013-01-30 16:30:49 +01:00
|
|
|
|
"Add the contents of FILE-NAME under BASENAME to the store. When
|
2015-06-19 10:17:37 +02:00
|
|
|
|
RECURSIVE? is false, FILE-NAME must designate a regular file--not a directory
|
|
|
|
|
nor a symlink. When RECURSIVE? is true and FILE-NAME designates a directory,
|
|
|
|
|
the contents of FILE-NAME are added recursively; if FILE-NAME designates a
|
|
|
|
|
flat file and RECURSIVE? is true, its contents are added, and its permission
|
2016-06-15 11:51:16 +02:00
|
|
|
|
bits are kept. HASH-ALGO must be a string such as \"sha256\".
|
|
|
|
|
|
|
|
|
|
When RECURSIVE? is true, call (SELECT? FILE STAT) for each directory entry,
|
|
|
|
|
where FILE is the entry's absolute file name and STAT is the result of
|
|
|
|
|
'lstat'; exclude entries for which SELECT? does not return true."
|
2017-06-12 15:38:49 +02:00
|
|
|
|
;; Note: We don't stat FILE-NAME at each call, and thus we assume that
|
|
|
|
|
;; the file remains unchanged for the lifetime of SERVER.
|
|
|
|
|
(let* ((args `(,file-name ,basename ,recursive? ,hash-algo ,select?))
|
2013-01-29 23:34:50 +01:00
|
|
|
|
(cache (nix-server-add-to-store-cache server)))
|
2017-06-12 15:38:49 +02:00
|
|
|
|
(or (hash-ref cache args)
|
2016-06-15 11:51:16 +02:00
|
|
|
|
(let ((path (add-to-store server basename recursive?
|
|
|
|
|
hash-algo file-name
|
|
|
|
|
#:select? select?)))
|
2013-01-29 00:16:18 +01:00
|
|
|
|
(hash-set! cache args path)
|
|
|
|
|
path))))))
|
|
|
|
|
|
2018-07-16 09:55:49 +02:00
|
|
|
|
(define %not-slash
|
|
|
|
|
(char-set-complement (char-set #\/)))
|
|
|
|
|
|
|
|
|
|
(define* (add-file-tree-to-store server tree
|
|
|
|
|
#:key
|
|
|
|
|
(hash-algo "sha256")
|
|
|
|
|
(recursive? #t))
|
|
|
|
|
"Add the given TREE to the store on SERVER. TREE must be an entry such as:
|
|
|
|
|
|
|
|
|
|
(\"my-tree\" directory
|
|
|
|
|
(\"a\" regular (data \"hello\"))
|
|
|
|
|
(\"b\" symlink \"a\")
|
|
|
|
|
(\"c\" directory
|
|
|
|
|
(\"d\" executable (file \"/bin/sh\"))))
|
|
|
|
|
|
|
|
|
|
This is a generalized version of 'add-to-store'. It allows you to reproduce
|
|
|
|
|
an arbitrary directory layout in the store without creating a derivation."
|
|
|
|
|
|
|
|
|
|
;; Note: The format of TREE was chosen to allow trees to be compared with
|
|
|
|
|
;; 'equal?', which in turn allows us to memoize things.
|
|
|
|
|
|
|
|
|
|
(define root
|
|
|
|
|
;; TREE is a single entry.
|
|
|
|
|
(list tree))
|
|
|
|
|
|
|
|
|
|
(define basename
|
|
|
|
|
(match tree
|
|
|
|
|
((name . _) name)))
|
|
|
|
|
|
|
|
|
|
(define (lookup file)
|
|
|
|
|
(let loop ((components (string-tokenize file %not-slash))
|
|
|
|
|
(tree root))
|
|
|
|
|
(match components
|
|
|
|
|
((basename)
|
|
|
|
|
(assoc basename tree))
|
|
|
|
|
((head . rest)
|
|
|
|
|
(loop rest
|
|
|
|
|
(match (assoc-ref tree head)
|
|
|
|
|
(('directory . entries) entries)))))))
|
|
|
|
|
|
|
|
|
|
(define (file-type+size file)
|
|
|
|
|
(match (lookup file)
|
|
|
|
|
((_ (and type (or 'directory 'symlink)) . _)
|
|
|
|
|
(values type 0))
|
|
|
|
|
((_ type ('file file))
|
|
|
|
|
(values type (stat:size (stat file))))
|
|
|
|
|
((_ type ('data (? string? data)))
|
|
|
|
|
(values type (string-length data)))
|
|
|
|
|
((_ type ('data (? bytevector? data)))
|
|
|
|
|
(values type (bytevector-length data)))))
|
|
|
|
|
|
|
|
|
|
(define (file-port file)
|
|
|
|
|
(match (lookup file)
|
|
|
|
|
((_ (or 'regular 'executable) content)
|
|
|
|
|
(match content
|
|
|
|
|
(('file (? string? file))
|
|
|
|
|
(open-file file "r0b"))
|
|
|
|
|
(('data (? string? str))
|
|
|
|
|
(open-input-string str))
|
|
|
|
|
(('data (? bytevector? bv))
|
|
|
|
|
(open-bytevector-input-port bv))))))
|
|
|
|
|
|
|
|
|
|
(define (symlink-target file)
|
|
|
|
|
(match (lookup file)
|
|
|
|
|
((_ 'symlink target) target)))
|
|
|
|
|
|
|
|
|
|
(define (directory-entries directory)
|
|
|
|
|
(match (lookup directory)
|
|
|
|
|
((_ 'directory (names . _) ...) names)))
|
|
|
|
|
|
|
|
|
|
(define cache
|
|
|
|
|
(nix-server-add-to-store-cache server))
|
|
|
|
|
|
|
|
|
|
(or (hash-ref cache tree)
|
|
|
|
|
(begin
|
|
|
|
|
;; We don't use the 'operation' macro so we can use 'write-file-tree'
|
|
|
|
|
;; instead of 'write-file'.
|
|
|
|
|
(record-operation 'add-to-store/tree)
|
|
|
|
|
(let ((port (nix-server-socket server)))
|
|
|
|
|
(write-int (operation-id add-to-store) port)
|
|
|
|
|
(write-string basename port)
|
|
|
|
|
(write-int 1 port) ;obsolete, must be #t
|
|
|
|
|
(write-int (if recursive? 1 0) port)
|
|
|
|
|
(write-string hash-algo port)
|
|
|
|
|
(write-file-tree basename port
|
|
|
|
|
#:file-type+size file-type+size
|
|
|
|
|
#:file-port file-port
|
|
|
|
|
#:symlink-target symlink-target
|
|
|
|
|
#:directory-entries directory-entries)
|
2018-09-18 21:37:23 +02:00
|
|
|
|
(write-buffered-output server)
|
2018-07-16 09:55:49 +02:00
|
|
|
|
(let loop ((done? (process-stderr server)))
|
|
|
|
|
(or done? (loop (process-stderr server))))
|
|
|
|
|
(let ((result (read-store-path port)))
|
|
|
|
|
(hash-set! cache tree result)
|
|
|
|
|
result)))))
|
|
|
|
|
|
2015-12-03 18:08:35 +01:00
|
|
|
|
(define build-things
|
|
|
|
|
(let ((build (operation (build-things (string-list things)
|
|
|
|
|
(integer mode))
|
|
|
|
|
"Do it!"
|
2015-12-04 10:32:50 +01:00
|
|
|
|
boolean))
|
|
|
|
|
(build/old (operation (build-things (string-list things))
|
|
|
|
|
"Do it!"
|
|
|
|
|
boolean)))
|
2015-12-03 18:08:35 +01:00
|
|
|
|
(lambda* (store things #:optional (mode (build-mode normal)))
|
|
|
|
|
"Build THINGS, a list of store items which may be either '.drv' files or
|
2015-02-02 12:25:34 +01:00
|
|
|
|
outputs, and return when the worker is done building them. Elements of THINGS
|
|
|
|
|
that are not derivations can only be substituted and not built locally.
|
2012-06-16 16:13:12 +02:00
|
|
|
|
Return #t on success."
|
2017-01-18 23:21:29 +01:00
|
|
|
|
(parameterize ((current-store-protocol-version
|
|
|
|
|
(nix-server-version store)))
|
|
|
|
|
(if (>= (nix-server-minor-version store) 15)
|
|
|
|
|
(build store things mode)
|
|
|
|
|
(if (= mode (build-mode normal))
|
|
|
|
|
(build/old store things)
|
|
|
|
|
(raise (condition (&nix-protocol-error
|
|
|
|
|
(message "unsupported build mode")
|
|
|
|
|
(status 1))))))))))
|
2012-06-01 23:29:55 +02:00
|
|
|
|
|
2012-12-09 23:50:17 +01:00
|
|
|
|
(define-operation (add-temp-root (store-path path))
|
|
|
|
|
"Make PATH a temporary root for the duration of the current session.
|
|
|
|
|
Return #t."
|
|
|
|
|
boolean)
|
|
|
|
|
|
2012-10-30 00:20:53 +01:00
|
|
|
|
(define-operation (add-indirect-root (string file-name))
|
2014-04-12 22:32:10 +02:00
|
|
|
|
"Make the symlink FILE-NAME an indirect root for the garbage collector:
|
|
|
|
|
whatever store item FILE-NAME points to will not be collected. Return #t on
|
|
|
|
|
success.
|
|
|
|
|
|
|
|
|
|
FILE-NAME can be anywhere on the file system, but it must be an absolute file
|
|
|
|
|
name--it is the caller's responsibility to ensure that it is an absolute file
|
|
|
|
|
name."
|
2012-10-30 00:20:53 +01:00
|
|
|
|
boolean)
|
|
|
|
|
|
2014-04-12 22:32:10 +02:00
|
|
|
|
(define %gc-roots-directory
|
|
|
|
|
;; The place where garbage collector roots (symlinks) are kept.
|
|
|
|
|
(string-append %state-directory "/gcroots"))
|
|
|
|
|
|
|
|
|
|
(define (add-permanent-root target)
|
|
|
|
|
"Add a garbage collector root pointing to TARGET, an element of the store,
|
|
|
|
|
preventing TARGET from even being collected. This can also be used if TARGET
|
|
|
|
|
does not exist yet.
|
|
|
|
|
|
|
|
|
|
Raise an error if the caller does not have write access to the GC root
|
|
|
|
|
directory."
|
|
|
|
|
(let* ((root (string-append %gc-roots-directory "/" (basename target))))
|
|
|
|
|
(catch 'system-error
|
|
|
|
|
(lambda ()
|
|
|
|
|
(symlink target root))
|
|
|
|
|
(lambda args
|
|
|
|
|
;; If ROOT already exists, this is fine; otherwise, re-throw.
|
|
|
|
|
(unless (= EEXIST (system-error-errno args))
|
|
|
|
|
(apply throw args))))))
|
|
|
|
|
|
|
|
|
|
(define (remove-permanent-root target)
|
|
|
|
|
"Remove the permanent garbage collector root pointing to TARGET. Raise an
|
|
|
|
|
error if there is no such root."
|
|
|
|
|
(delete-file (string-append %gc-roots-directory "/" (basename target))))
|
|
|
|
|
|
2013-02-27 22:40:35 +01:00
|
|
|
|
(define references
|
|
|
|
|
(operation (query-references (store-path path))
|
|
|
|
|
"Return the list of references of PATH."
|
|
|
|
|
store-path-list))
|
|
|
|
|
|
2016-03-14 16:53:38 +01:00
|
|
|
|
(define %reference-cache
|
|
|
|
|
;; Brute-force cache mapping store items to their list of references.
|
|
|
|
|
;; Caching matters because when building a profile in the presence of
|
|
|
|
|
;; grafts, we keep calling 'graft-derivation', which in turn calls
|
|
|
|
|
;; 'references/substitutes' many times with the same arguments. Ideally we
|
|
|
|
|
;; would use a cache associated with the daemon connection instead (XXX).
|
|
|
|
|
(make-hash-table 100))
|
|
|
|
|
|
2016-03-04 17:57:04 +01:00
|
|
|
|
(define (references/substitutes store items)
|
|
|
|
|
"Return the list of list of references of ITEMS; the result has the same
|
|
|
|
|
length as ITEMS. Query substitute information for any item missing from the
|
|
|
|
|
store at once. Raise a '&nix-protocol-error' exception if reference
|
|
|
|
|
information for one of ITEMS is missing."
|
2017-07-02 00:37:49 +02:00
|
|
|
|
(let* ((requested items)
|
|
|
|
|
(local-refs (map (lambda (item)
|
2016-03-14 16:53:38 +01:00
|
|
|
|
(or (hash-ref %reference-cache item)
|
|
|
|
|
(guard (c ((nix-protocol-error? c) #f))
|
|
|
|
|
(references store item))))
|
2016-03-04 17:57:04 +01:00
|
|
|
|
items))
|
|
|
|
|
(missing (fold-right (lambda (item local-ref result)
|
|
|
|
|
(if local-ref
|
|
|
|
|
result
|
|
|
|
|
(cons item result)))
|
|
|
|
|
'()
|
|
|
|
|
items local-refs))
|
|
|
|
|
|
|
|
|
|
;; Query all the substitutes at once to minimize the cost of
|
|
|
|
|
;; launching 'guix substitute' and making HTTP requests.
|
2017-07-02 00:20:23 +02:00
|
|
|
|
(substs (if (null? missing)
|
|
|
|
|
'()
|
|
|
|
|
(substitutable-path-info store missing))))
|
2016-03-04 17:57:04 +01:00
|
|
|
|
(when (< (length substs) (length missing))
|
|
|
|
|
(raise (condition (&nix-protocol-error
|
|
|
|
|
(message "cannot determine \
|
|
|
|
|
the list of references")
|
|
|
|
|
(status 1)))))
|
|
|
|
|
|
|
|
|
|
;; Intersperse SUBSTS and LOCAL-REFS.
|
2016-03-05 22:01:33 +01:00
|
|
|
|
(let loop ((items items)
|
|
|
|
|
(local-refs local-refs)
|
2016-03-04 17:57:04 +01:00
|
|
|
|
(result '()))
|
2016-03-05 22:01:33 +01:00
|
|
|
|
(match items
|
2016-03-04 17:57:04 +01:00
|
|
|
|
(()
|
2016-03-14 16:53:38 +01:00
|
|
|
|
(let ((result (reverse result)))
|
|
|
|
|
(for-each (cut hash-set! %reference-cache <> <>)
|
2017-07-02 00:37:49 +02:00
|
|
|
|
requested result)
|
2016-03-14 16:53:38 +01:00
|
|
|
|
result))
|
2016-03-05 22:01:33 +01:00
|
|
|
|
((item items ...)
|
|
|
|
|
(match local-refs
|
|
|
|
|
((#f tail ...)
|
|
|
|
|
(loop items tail
|
|
|
|
|
(cons (any (lambda (subst)
|
|
|
|
|
(and (string=? (substitutable-path subst) item)
|
|
|
|
|
(substitutable-references subst)))
|
|
|
|
|
substs)
|
|
|
|
|
result)))
|
|
|
|
|
((head tail ...)
|
|
|
|
|
(loop items tail
|
|
|
|
|
(cons head result)))))))))
|
2016-03-04 17:57:04 +01:00
|
|
|
|
|
2016-05-24 23:27:07 +02:00
|
|
|
|
(define* (fold-path store proc seed paths
|
2013-06-13 22:03:42 +02:00
|
|
|
|
#:optional (relatives (cut references store <>)))
|
2016-05-24 23:27:07 +02:00
|
|
|
|
"Call PROC for each of the RELATIVES of PATHS, exactly once, and return the
|
2013-06-13 22:03:42 +02:00
|
|
|
|
result formed from the successive calls to PROC, the first of which is passed
|
|
|
|
|
SEED."
|
2016-05-24 23:27:07 +02:00
|
|
|
|
(let loop ((paths paths)
|
2013-06-13 22:03:42 +02:00
|
|
|
|
(result seed)
|
|
|
|
|
(seen vlist-null))
|
|
|
|
|
(match paths
|
|
|
|
|
((path rest ...)
|
|
|
|
|
(if (vhash-assoc path seen)
|
|
|
|
|
(loop rest result seen)
|
|
|
|
|
(let ((seen (vhash-cons path #t seen))
|
|
|
|
|
(rest (append rest (relatives path)))
|
|
|
|
|
(result (proc path result)))
|
|
|
|
|
(loop rest result seen))))
|
|
|
|
|
(()
|
|
|
|
|
result))))
|
|
|
|
|
|
2016-05-24 23:27:07 +02:00
|
|
|
|
(define (requisites store paths)
|
|
|
|
|
"Return the requisites of PATHS, including PATHS---i.e., their closures (all
|
|
|
|
|
its references, recursively)."
|
|
|
|
|
(fold-path store cons '() paths))
|
2013-06-13 22:03:42 +02:00
|
|
|
|
|
2014-01-23 22:13:27 +01:00
|
|
|
|
(define (topologically-sorted store paths)
|
|
|
|
|
"Return a list containing PATHS and all their references sorted in
|
|
|
|
|
topological order."
|
|
|
|
|
(define (traverse)
|
|
|
|
|
;; Do a simple depth-first traversal of all of PATHS.
|
|
|
|
|
(let loop ((paths paths)
|
|
|
|
|
(visited vlist-null)
|
|
|
|
|
(result '()))
|
|
|
|
|
(define (visit n)
|
|
|
|
|
(vhash-cons n #t visited))
|
|
|
|
|
|
|
|
|
|
(define (visited? n)
|
|
|
|
|
(vhash-assoc n visited))
|
|
|
|
|
|
|
|
|
|
(match paths
|
|
|
|
|
((head tail ...)
|
|
|
|
|
(if (visited? head)
|
|
|
|
|
(loop tail visited result)
|
|
|
|
|
(call-with-values
|
|
|
|
|
(lambda ()
|
|
|
|
|
(loop (references store head)
|
|
|
|
|
(visit head)
|
|
|
|
|
result))
|
|
|
|
|
(lambda (visited result)
|
|
|
|
|
(loop tail
|
|
|
|
|
visited
|
|
|
|
|
(cons head result))))))
|
|
|
|
|
(()
|
|
|
|
|
(values visited result)))))
|
|
|
|
|
|
|
|
|
|
(call-with-values traverse
|
|
|
|
|
(lambda (_ result)
|
|
|
|
|
(reverse result))))
|
|
|
|
|
|
2013-02-27 22:40:35 +01:00
|
|
|
|
(define referrers
|
|
|
|
|
(operation (query-referrers (store-path path))
|
|
|
|
|
"Return the list of path that refer to PATH."
|
|
|
|
|
store-path-list))
|
|
|
|
|
|
|
|
|
|
(define valid-derivers
|
|
|
|
|
(operation (query-valid-derivers (store-path path))
|
|
|
|
|
"Return the list of valid \"derivers\" of PATH---i.e., all the
|
|
|
|
|
.drv present in the store that have PATH among their outputs."
|
|
|
|
|
store-path-list))
|
|
|
|
|
|
|
|
|
|
(define query-derivation-outputs ; avoid name clash with `derivation-outputs'
|
|
|
|
|
(operation (query-derivation-outputs (store-path path))
|
|
|
|
|
"Return the list of outputs of PATH, a .drv file."
|
|
|
|
|
store-path-list))
|
|
|
|
|
|
2013-02-03 23:24:25 +01:00
|
|
|
|
(define-operation (has-substitutes? (store-path path))
|
|
|
|
|
"Return #t if binary substitutes are available for PATH, and #f otherwise."
|
|
|
|
|
boolean)
|
|
|
|
|
|
|
|
|
|
(define substitutable-paths
|
|
|
|
|
(operation (query-substitutable-paths (store-path-list paths))
|
|
|
|
|
"Return the subset of PATHS that is substitutable."
|
|
|
|
|
store-path-list))
|
|
|
|
|
|
|
|
|
|
(define substitutable-path-info
|
2013-04-02 10:44:20 +02:00
|
|
|
|
(operation (query-substitutable-path-infos (store-path-list paths))
|
2013-02-03 23:24:25 +01:00
|
|
|
|
"Return information about the subset of PATHS that is
|
|
|
|
|
substitutable. For each substitutable path, a `substitutable?' object is
|
2016-03-05 22:01:33 +01:00
|
|
|
|
returned; thus, the resulting list can be shorter than PATHS. Furthermore,
|
|
|
|
|
that there is no guarantee that the order of the resulting list matches the
|
|
|
|
|
order of PATHS."
|
2013-02-03 23:24:25 +01:00
|
|
|
|
substitutable-path-list))
|
|
|
|
|
|
2016-11-13 22:59:54 +01:00
|
|
|
|
(define built-in-builders
|
|
|
|
|
(let ((builders (operation (built-in-builders)
|
|
|
|
|
"Return the built-in builders."
|
|
|
|
|
string-list)))
|
|
|
|
|
(lambda (store)
|
|
|
|
|
"Return the names of the supported built-in derivation builders
|
|
|
|
|
supported by STORE."
|
|
|
|
|
;; Check whether STORE's version supports this RPC and built-in
|
|
|
|
|
;; derivation builders in general, which appeared in Guix > 0.11.0.
|
|
|
|
|
;; Return the empty list if it doesn't. Note that this RPC does not
|
|
|
|
|
;; exist in 'nix-daemon'.
|
|
|
|
|
(if (or (> (nix-server-major-version store) #x100)
|
|
|
|
|
(and (= (nix-server-major-version store) #x100)
|
|
|
|
|
(>= (nix-server-minor-version store) #x60)))
|
|
|
|
|
(builders store)
|
|
|
|
|
'()))))
|
|
|
|
|
|
2015-05-19 09:35:52 +02:00
|
|
|
|
(define-operation (optimize-store)
|
|
|
|
|
"Optimize the store by hard-linking identical files (\"deduplication\".)
|
|
|
|
|
Return #t on success."
|
|
|
|
|
;; Note: the daemon in Guix <= 0.8.2 does not implement this RPC.
|
|
|
|
|
boolean)
|
|
|
|
|
|
2015-06-06 19:05:25 +02:00
|
|
|
|
(define verify-store
|
|
|
|
|
(let ((verify (operation (verify-store (boolean check-contents?)
|
|
|
|
|
(boolean repair?))
|
|
|
|
|
"Verify the store."
|
|
|
|
|
boolean)))
|
|
|
|
|
(lambda* (store #:key check-contents? repair?)
|
|
|
|
|
"Verify the integrity of the store and return false if errors remain,
|
|
|
|
|
and true otherwise. When REPAIR? is true, repair any missing or altered store
|
|
|
|
|
items by substituting them (this typically requires root privileges because it
|
|
|
|
|
is not an atomic operation.) When CHECK-CONTENTS? is true, check the contents
|
|
|
|
|
of store items; this can take a lot of time."
|
|
|
|
|
(not (verify store check-contents? repair?)))))
|
|
|
|
|
|
2012-12-09 23:52:59 +01:00
|
|
|
|
(define (run-gc server action to-delete min-freed)
|
|
|
|
|
"Perform the garbage-collector operation ACTION, one of the
|
|
|
|
|
`gc-action' values. When ACTION is `delete-specific', the TO-DELETE is
|
|
|
|
|
the list of store paths to delete. IGNORE-LIVENESS? should always be
|
|
|
|
|
#f. MIN-FREED is the minimum amount of disk space to be freed, in
|
|
|
|
|
bytes, before the GC can stop. Return the list of store paths delete,
|
|
|
|
|
and the number of bytes freed."
|
|
|
|
|
(let ((s (nix-server-socket server)))
|
|
|
|
|
(write-int (operation-id collect-garbage) s)
|
|
|
|
|
(write-int action s)
|
|
|
|
|
(write-store-path-list to-delete s)
|
|
|
|
|
(write-arg boolean #f s) ; ignore-liveness?
|
|
|
|
|
(write-long-long min-freed s)
|
|
|
|
|
(write-int 0 s) ; obsolete
|
|
|
|
|
(when (>= (nix-server-minor-version server) 5)
|
|
|
|
|
;; Obsolete `use-atime' and `max-atime' parameters.
|
|
|
|
|
(write-int 0 s)
|
|
|
|
|
(write-int 0 s))
|
|
|
|
|
|
|
|
|
|
;; Loop until the server is done sending error output.
|
|
|
|
|
(let loop ((done? (process-stderr server)))
|
|
|
|
|
(or done? (loop (process-stderr server))))
|
|
|
|
|
|
|
|
|
|
(let ((paths (read-store-path-list s))
|
|
|
|
|
(freed (read-long-long s))
|
|
|
|
|
(obsolete (read-long-long s)))
|
2014-11-04 20:55:48 +01:00
|
|
|
|
(unless (null? paths)
|
|
|
|
|
;; To be on the safe side, completely invalidate both caches.
|
|
|
|
|
;; Otherwise we could end up returning store paths that are no longer
|
|
|
|
|
;; valid.
|
|
|
|
|
(hash-clear! (nix-server-add-to-store-cache server))
|
|
|
|
|
(hash-clear! (nix-server-add-text-to-store-cache server)))
|
|
|
|
|
|
2012-12-09 23:52:59 +01:00
|
|
|
|
(values paths freed))))
|
|
|
|
|
|
|
|
|
|
(define-syntax-rule (%long-long-max)
|
|
|
|
|
;; Maximum unsigned 64-bit integer.
|
|
|
|
|
(- (expt 2 64) 1))
|
|
|
|
|
|
|
|
|
|
(define (live-paths server)
|
|
|
|
|
"Return the list of live store paths---i.e., store paths still
|
|
|
|
|
referenced, and thus not subject to being garbage-collected."
|
|
|
|
|
(run-gc server (gc-action return-live) '() (%long-long-max)))
|
|
|
|
|
|
|
|
|
|
(define (dead-paths server)
|
|
|
|
|
"Return the list of dead store paths---i.e., store paths no longer
|
|
|
|
|
referenced, and thus subject to being garbage-collected."
|
|
|
|
|
(run-gc server (gc-action return-dead) '() (%long-long-max)))
|
|
|
|
|
|
|
|
|
|
(define* (collect-garbage server #:optional (min-freed (%long-long-max)))
|
|
|
|
|
"Collect garbage from the store at SERVER. If MIN-FREED is non-zero,
|
|
|
|
|
then collect at least MIN-FREED bytes. Return the paths that were
|
|
|
|
|
collected, and the number of bytes freed."
|
|
|
|
|
(run-gc server (gc-action delete-dead) '() min-freed))
|
|
|
|
|
|
|
|
|
|
(define* (delete-paths server paths #:optional (min-freed (%long-long-max)))
|
|
|
|
|
"Delete PATHS from the store at SERVER, if they are no longer
|
|
|
|
|
referenced. If MIN-FREED is non-zero, then stop after at least
|
|
|
|
|
MIN-FREED bytes have been collected. Return the paths that were
|
|
|
|
|
collected, and the number of bytes freed."
|
|
|
|
|
(run-gc server (gc-action delete-specific) paths min-freed))
|
|
|
|
|
|
2013-12-20 17:17:42 +01:00
|
|
|
|
(define (import-paths server port)
|
|
|
|
|
"Import the set of store paths read from PORT into SERVER's store. An error
|
|
|
|
|
is raised if the set of paths read from PORT is not signed (as per
|
|
|
|
|
'export-path #:sign? #t'.) Return the list of store paths imported."
|
|
|
|
|
(let ((s (nix-server-socket server)))
|
|
|
|
|
(write-int (operation-id import-paths) s)
|
|
|
|
|
(let loop ((done? (process-stderr server port)))
|
|
|
|
|
(or done? (loop (process-stderr server port))))
|
|
|
|
|
(read-store-path-list s)))
|
|
|
|
|
|
|
|
|
|
(define* (export-path server path port #:key (sign? #t))
|
|
|
|
|
"Export PATH to PORT. When SIGN? is true, sign it."
|
|
|
|
|
(let ((s (nix-server-socket server)))
|
|
|
|
|
(write-int (operation-id export-path) s)
|
|
|
|
|
(write-store-path path s)
|
|
|
|
|
(write-arg boolean sign? s)
|
|
|
|
|
(let loop ((done? (process-stderr server port)))
|
|
|
|
|
(or done? (loop (process-stderr server port))))
|
|
|
|
|
(= 1 (read-int s))))
|
|
|
|
|
|
2015-01-17 15:59:00 +01:00
|
|
|
|
(define* (export-paths server paths port #:key (sign? #t) recursive?)
|
2014-02-10 23:30:09 +01:00
|
|
|
|
"Export the store paths listed in PATHS to PORT, in topological order,
|
2015-01-17 15:59:00 +01:00
|
|
|
|
signing them if SIGN? is true. When RECURSIVE? is true, export the closure of
|
|
|
|
|
PATHS---i.e., PATHS and all their dependencies."
|
2014-03-07 00:18:28 +01:00
|
|
|
|
(define ordered
|
2015-01-17 15:59:00 +01:00
|
|
|
|
(let ((sorted (topologically-sorted server paths)))
|
|
|
|
|
;; When RECURSIVE? is #f, filter out the references of PATHS.
|
|
|
|
|
(if recursive?
|
|
|
|
|
sorted
|
|
|
|
|
(filter (cut member <> paths) sorted))))
|
2014-03-07 00:18:28 +01:00
|
|
|
|
|
2015-01-17 16:03:35 +01:00
|
|
|
|
(let loop ((paths ordered))
|
|
|
|
|
(match paths
|
|
|
|
|
(()
|
|
|
|
|
(write-int 0 port))
|
|
|
|
|
((head tail ...)
|
|
|
|
|
(write-int 1 port)
|
|
|
|
|
(and (export-path server head port #:sign? sign?)
|
|
|
|
|
(loop tail))))))
|
2013-12-20 17:17:42 +01:00
|
|
|
|
|
2015-09-28 21:32:17 +02:00
|
|
|
|
(define-operation (query-failed-paths)
|
|
|
|
|
"Return the list of store items for which a build failure is cached.
|
|
|
|
|
|
|
|
|
|
The result is always the empty list unless the daemon was started with
|
|
|
|
|
'--cache-failures'."
|
|
|
|
|
store-path-list)
|
|
|
|
|
|
|
|
|
|
(define-operation (clear-failed-paths (store-path-list items))
|
|
|
|
|
"Remove ITEMS from the list of cached build failures.
|
|
|
|
|
|
|
|
|
|
This makes sense only when the daemon was started with '--cache-failures'."
|
|
|
|
|
boolean)
|
|
|
|
|
|
monads: Move '%store-monad' and related procedures where they belong.
This turns (guix monads) into a generic module for monads, and moves the
store monad and related monadic procedures in their corresponding
module.
* guix/monads.scm (store-return, store-bind, %store-monad, store-lift,
text-file, interned-file, package-file, package->derivation,
package->cross-derivation, origin->derivation, imported-modules,
compiled, modules, built-derivations, run-with-store): Move to...
* guix/store.scm (store-return, store-bind, %store-monad, store-lift,
text-file, interned-file): ... here.
(%guile-for-build): New variable.
(run-with-store): Moved from monads.scm. Remove default value for
#:guile-for-build.
* guix/packages.scm (default-guile): Export.
(set-guile-for-build): New procedure.
(package-file, package->derivation, package->cross-derivation,
origin->derivation): Moved from monads.scm.
* guix/derivations.scm (%guile-for-build): Remove.
(imported-modules): Rename to...
(%imported-modules): ... this.
(compiled-modules): Rename to...
(%compiled-modules): ... this.
(built-derivations, imported-modules, compiled-modules): New
procedures.
* gnu/services/avahi.scm, gnu/services/base.scm, gnu/services/dbus.scm,
gnu/services/dmd.scm, gnu/services/networking.scm,
gnu/services/ssh.scm, gnu/services/xorg.scm, gnu/system/install.scm,
gnu/system/linux-initrd.scm, gnu/system/shadow.scm, guix/download.scm,
guix/gexp.scm, guix/git-download.scm, guix/profiles.scm,
guix/svn-download.scm, tests/monads.scm: Adjust imports accordingly.
* guix/monad-repl.scm (default-guile-derivation): New procedure.
(store-monad-language, run-in-store): Use it.
* build-aux/hydra/gnu-system.scm (qemu-jobs): Add explicit
'set-guile-for-build' call.
* guix/scripts/archive.scm (derivation-from-expression): Likewise.
* guix/scripts/build.scm (options/resolve-packages): Likewise.
* guix/scripts/environment.scm (guix-environment): Likewise.
* guix/scripts/system.scm (guix-system): Likewise.
* doc/guix.texi (The Store Monad): Adjust module names accordingly.
2015-01-14 13:34:52 +01:00
|
|
|
|
|
|
|
|
|
;;;
|
|
|
|
|
;;; Store monad.
|
|
|
|
|
;;;
|
|
|
|
|
|
2015-01-17 23:19:13 +01:00
|
|
|
|
(define-syntax-rule (define-alias new old)
|
|
|
|
|
(define-syntax new (identifier-syntax old)))
|
monads: Move '%store-monad' and related procedures where they belong.
This turns (guix monads) into a generic module for monads, and moves the
store monad and related monadic procedures in their corresponding
module.
* guix/monads.scm (store-return, store-bind, %store-monad, store-lift,
text-file, interned-file, package-file, package->derivation,
package->cross-derivation, origin->derivation, imported-modules,
compiled, modules, built-derivations, run-with-store): Move to...
* guix/store.scm (store-return, store-bind, %store-monad, store-lift,
text-file, interned-file): ... here.
(%guile-for-build): New variable.
(run-with-store): Moved from monads.scm. Remove default value for
#:guile-for-build.
* guix/packages.scm (default-guile): Export.
(set-guile-for-build): New procedure.
(package-file, package->derivation, package->cross-derivation,
origin->derivation): Moved from monads.scm.
* guix/derivations.scm (%guile-for-build): Remove.
(imported-modules): Rename to...
(%imported-modules): ... this.
(compiled-modules): Rename to...
(%compiled-modules): ... this.
(built-derivations, imported-modules, compiled-modules): New
procedures.
* gnu/services/avahi.scm, gnu/services/base.scm, gnu/services/dbus.scm,
gnu/services/dmd.scm, gnu/services/networking.scm,
gnu/services/ssh.scm, gnu/services/xorg.scm, gnu/system/install.scm,
gnu/system/linux-initrd.scm, gnu/system/shadow.scm, guix/download.scm,
guix/gexp.scm, guix/git-download.scm, guix/profiles.scm,
guix/svn-download.scm, tests/monads.scm: Adjust imports accordingly.
* guix/monad-repl.scm (default-guile-derivation): New procedure.
(store-monad-language, run-in-store): Use it.
* build-aux/hydra/gnu-system.scm (qemu-jobs): Add explicit
'set-guile-for-build' call.
* guix/scripts/archive.scm (derivation-from-expression): Likewise.
* guix/scripts/build.scm (options/resolve-packages): Likewise.
* guix/scripts/environment.scm (guix-environment): Likewise.
* guix/scripts/system.scm (guix-system): Likewise.
* doc/guix.texi (The Store Monad): Adjust module names accordingly.
2015-01-14 13:34:52 +01:00
|
|
|
|
|
2015-01-17 23:19:13 +01:00
|
|
|
|
;; The store monad allows us to (1) build sequences of operations in the
|
|
|
|
|
;; store, and (2) make the store an implicit part of the execution context,
|
|
|
|
|
;; rather than a parameter of every single function.
|
|
|
|
|
(define-alias %store-monad %state-monad)
|
|
|
|
|
(define-alias store-return state-return)
|
|
|
|
|
(define-alias store-bind state-bind)
|
monads: Move '%store-monad' and related procedures where they belong.
This turns (guix monads) into a generic module for monads, and moves the
store monad and related monadic procedures in their corresponding
module.
* guix/monads.scm (store-return, store-bind, %store-monad, store-lift,
text-file, interned-file, package-file, package->derivation,
package->cross-derivation, origin->derivation, imported-modules,
compiled, modules, built-derivations, run-with-store): Move to...
* guix/store.scm (store-return, store-bind, %store-monad, store-lift,
text-file, interned-file): ... here.
(%guile-for-build): New variable.
(run-with-store): Moved from monads.scm. Remove default value for
#:guile-for-build.
* guix/packages.scm (default-guile): Export.
(set-guile-for-build): New procedure.
(package-file, package->derivation, package->cross-derivation,
origin->derivation): Moved from monads.scm.
* guix/derivations.scm (%guile-for-build): Remove.
(imported-modules): Rename to...
(%imported-modules): ... this.
(compiled-modules): Rename to...
(%compiled-modules): ... this.
(built-derivations, imported-modules, compiled-modules): New
procedures.
* gnu/services/avahi.scm, gnu/services/base.scm, gnu/services/dbus.scm,
gnu/services/dmd.scm, gnu/services/networking.scm,
gnu/services/ssh.scm, gnu/services/xorg.scm, gnu/system/install.scm,
gnu/system/linux-initrd.scm, gnu/system/shadow.scm, guix/download.scm,
guix/gexp.scm, guix/git-download.scm, guix/profiles.scm,
guix/svn-download.scm, tests/monads.scm: Adjust imports accordingly.
* guix/monad-repl.scm (default-guile-derivation): New procedure.
(store-monad-language, run-in-store): Use it.
* build-aux/hydra/gnu-system.scm (qemu-jobs): Add explicit
'set-guile-for-build' call.
* guix/scripts/archive.scm (derivation-from-expression): Likewise.
* guix/scripts/build.scm (options/resolve-packages): Likewise.
* guix/scripts/environment.scm (guix-environment): Likewise.
* guix/scripts/system.scm (guix-system): Likewise.
* doc/guix.texi (The Store Monad): Adjust module names accordingly.
2015-01-14 13:34:52 +01:00
|
|
|
|
|
2017-05-02 22:47:36 +02:00
|
|
|
|
;; Instantiate templates for %STORE-MONAD since it's syntactically different
|
|
|
|
|
;; from %STATE-MONAD.
|
|
|
|
|
(template-directory instantiations %store-monad)
|
|
|
|
|
|
2015-11-20 18:44:29 +01:00
|
|
|
|
(define* (cache-object-mapping object keys result)
|
|
|
|
|
"Augment the store's object cache with a mapping from OBJECT/KEYS to RESULT.
|
|
|
|
|
KEYS is a list of additional keys to match against, for instance a (SYSTEM
|
|
|
|
|
TARGET) tuple.
|
|
|
|
|
|
|
|
|
|
OBJECT is typically a high-level object such as a <package> or an <origin>,
|
|
|
|
|
and RESULT is typically its derivation."
|
|
|
|
|
(lambda (store)
|
|
|
|
|
(values result
|
|
|
|
|
(nix-server
|
|
|
|
|
(inherit store)
|
|
|
|
|
(object-cache (vhash-consq object (cons result keys)
|
|
|
|
|
(nix-server-object-cache store)))))))
|
|
|
|
|
|
|
|
|
|
(define* (lookup-cached-object object #:optional (keys '()))
|
|
|
|
|
"Return the cached object in the store connection corresponding to OBJECT
|
|
|
|
|
and KEYS. KEYS is a list of additional keys to match against, and which are
|
|
|
|
|
compared with 'equal?'. Return #f on failure and the cached result
|
|
|
|
|
otherwise."
|
|
|
|
|
(lambda (store)
|
|
|
|
|
;; Escape as soon as we find the result. This avoids traversing the whole
|
|
|
|
|
;; vlist chain and significantly reduces the number of 'hashq' calls.
|
|
|
|
|
(values (let/ec return
|
|
|
|
|
(vhash-foldq* (lambda (item result)
|
|
|
|
|
(match item
|
|
|
|
|
((value . keys*)
|
|
|
|
|
(if (equal? keys keys*)
|
|
|
|
|
(return value)
|
|
|
|
|
result))))
|
|
|
|
|
#f object
|
|
|
|
|
(nix-server-object-cache store)))
|
|
|
|
|
store)))
|
|
|
|
|
|
|
|
|
|
(define* (%mcached mthunk object #:optional (keys '()))
|
|
|
|
|
"Bind the monadic value returned by MTHUNK, which supposedly corresponds to
|
|
|
|
|
OBJECT/KEYS, or return its cached value."
|
|
|
|
|
(mlet %store-monad ((cached (lookup-cached-object object keys)))
|
|
|
|
|
(if cached
|
|
|
|
|
(return cached)
|
|
|
|
|
(>>= (mthunk)
|
|
|
|
|
(lambda (result)
|
|
|
|
|
(cache-object-mapping object keys result))))))
|
|
|
|
|
|
|
|
|
|
(define-syntax-rule (mcached mvalue object keys ...)
|
|
|
|
|
"Run MVALUE, which corresponds to OBJECT/KEYS, and cache it; or return the
|
|
|
|
|
value associated with OBJECT/KEYS in the store's object cache if there is
|
|
|
|
|
one."
|
|
|
|
|
(%mcached (lambda () mvalue)
|
|
|
|
|
object (list keys ...)))
|
|
|
|
|
|
2015-01-18 17:38:15 +01:00
|
|
|
|
(define (preserve-documentation original proc)
|
|
|
|
|
"Return PROC with documentation taken from ORIGINAL."
|
|
|
|
|
(set-object-property! proc 'documentation
|
|
|
|
|
(procedure-property original 'documentation))
|
|
|
|
|
proc)
|
|
|
|
|
|
monads: Move '%store-monad' and related procedures where they belong.
This turns (guix monads) into a generic module for monads, and moves the
store monad and related monadic procedures in their corresponding
module.
* guix/monads.scm (store-return, store-bind, %store-monad, store-lift,
text-file, interned-file, package-file, package->derivation,
package->cross-derivation, origin->derivation, imported-modules,
compiled, modules, built-derivations, run-with-store): Move to...
* guix/store.scm (store-return, store-bind, %store-monad, store-lift,
text-file, interned-file): ... here.
(%guile-for-build): New variable.
(run-with-store): Moved from monads.scm. Remove default value for
#:guile-for-build.
* guix/packages.scm (default-guile): Export.
(set-guile-for-build): New procedure.
(package-file, package->derivation, package->cross-derivation,
origin->derivation): Moved from monads.scm.
* guix/derivations.scm (%guile-for-build): Remove.
(imported-modules): Rename to...
(%imported-modules): ... this.
(compiled-modules): Rename to...
(%compiled-modules): ... this.
(built-derivations, imported-modules, compiled-modules): New
procedures.
* gnu/services/avahi.scm, gnu/services/base.scm, gnu/services/dbus.scm,
gnu/services/dmd.scm, gnu/services/networking.scm,
gnu/services/ssh.scm, gnu/services/xorg.scm, gnu/system/install.scm,
gnu/system/linux-initrd.scm, gnu/system/shadow.scm, guix/download.scm,
guix/gexp.scm, guix/git-download.scm, guix/profiles.scm,
guix/svn-download.scm, tests/monads.scm: Adjust imports accordingly.
* guix/monad-repl.scm (default-guile-derivation): New procedure.
(store-monad-language, run-in-store): Use it.
* build-aux/hydra/gnu-system.scm (qemu-jobs): Add explicit
'set-guile-for-build' call.
* guix/scripts/archive.scm (derivation-from-expression): Likewise.
* guix/scripts/build.scm (options/resolve-packages): Likewise.
* guix/scripts/environment.scm (guix-environment): Likewise.
* guix/scripts/system.scm (guix-system): Likewise.
* doc/guix.texi (The Store Monad): Adjust module names accordingly.
2015-01-14 13:34:52 +01:00
|
|
|
|
(define (store-lift proc)
|
|
|
|
|
"Lift PROC, a procedure whose first argument is a connection to the store,
|
|
|
|
|
in the store monad."
|
2015-01-18 17:38:15 +01:00
|
|
|
|
(preserve-documentation proc
|
|
|
|
|
(lambda args
|
|
|
|
|
(lambda (store)
|
|
|
|
|
(values (apply proc store args) store)))))
|
monads: Move '%store-monad' and related procedures where they belong.
This turns (guix monads) into a generic module for monads, and moves the
store monad and related monadic procedures in their corresponding
module.
* guix/monads.scm (store-return, store-bind, %store-monad, store-lift,
text-file, interned-file, package-file, package->derivation,
package->cross-derivation, origin->derivation, imported-modules,
compiled, modules, built-derivations, run-with-store): Move to...
* guix/store.scm (store-return, store-bind, %store-monad, store-lift,
text-file, interned-file): ... here.
(%guile-for-build): New variable.
(run-with-store): Moved from monads.scm. Remove default value for
#:guile-for-build.
* guix/packages.scm (default-guile): Export.
(set-guile-for-build): New procedure.
(package-file, package->derivation, package->cross-derivation,
origin->derivation): Moved from monads.scm.
* guix/derivations.scm (%guile-for-build): Remove.
(imported-modules): Rename to...
(%imported-modules): ... this.
(compiled-modules): Rename to...
(%compiled-modules): ... this.
(built-derivations, imported-modules, compiled-modules): New
procedures.
* gnu/services/avahi.scm, gnu/services/base.scm, gnu/services/dbus.scm,
gnu/services/dmd.scm, gnu/services/networking.scm,
gnu/services/ssh.scm, gnu/services/xorg.scm, gnu/system/install.scm,
gnu/system/linux-initrd.scm, gnu/system/shadow.scm, guix/download.scm,
guix/gexp.scm, guix/git-download.scm, guix/profiles.scm,
guix/svn-download.scm, tests/monads.scm: Adjust imports accordingly.
* guix/monad-repl.scm (default-guile-derivation): New procedure.
(store-monad-language, run-in-store): Use it.
* build-aux/hydra/gnu-system.scm (qemu-jobs): Add explicit
'set-guile-for-build' call.
* guix/scripts/archive.scm (derivation-from-expression): Likewise.
* guix/scripts/build.scm (options/resolve-packages): Likewise.
* guix/scripts/environment.scm (guix-environment): Likewise.
* guix/scripts/system.scm (guix-system): Likewise.
* doc/guix.texi (The Store Monad): Adjust module names accordingly.
2015-01-14 13:34:52 +01:00
|
|
|
|
|
2015-01-14 14:25:58 +01:00
|
|
|
|
(define (store-lower proc)
|
|
|
|
|
"Lower PROC, a monadic procedure in %STORE-MONAD, to a \"normal\" procedure
|
|
|
|
|
taking the store as its first argument."
|
2015-01-18 17:38:15 +01:00
|
|
|
|
(preserve-documentation proc
|
|
|
|
|
(lambda (store . args)
|
|
|
|
|
(run-with-store store (apply proc args)))))
|
2015-01-14 14:25:58 +01:00
|
|
|
|
|
monads: Move '%store-monad' and related procedures where they belong.
This turns (guix monads) into a generic module for monads, and moves the
store monad and related monadic procedures in their corresponding
module.
* guix/monads.scm (store-return, store-bind, %store-monad, store-lift,
text-file, interned-file, package-file, package->derivation,
package->cross-derivation, origin->derivation, imported-modules,
compiled, modules, built-derivations, run-with-store): Move to...
* guix/store.scm (store-return, store-bind, %store-monad, store-lift,
text-file, interned-file): ... here.
(%guile-for-build): New variable.
(run-with-store): Moved from monads.scm. Remove default value for
#:guile-for-build.
* guix/packages.scm (default-guile): Export.
(set-guile-for-build): New procedure.
(package-file, package->derivation, package->cross-derivation,
origin->derivation): Moved from monads.scm.
* guix/derivations.scm (%guile-for-build): Remove.
(imported-modules): Rename to...
(%imported-modules): ... this.
(compiled-modules): Rename to...
(%compiled-modules): ... this.
(built-derivations, imported-modules, compiled-modules): New
procedures.
* gnu/services/avahi.scm, gnu/services/base.scm, gnu/services/dbus.scm,
gnu/services/dmd.scm, gnu/services/networking.scm,
gnu/services/ssh.scm, gnu/services/xorg.scm, gnu/system/install.scm,
gnu/system/linux-initrd.scm, gnu/system/shadow.scm, guix/download.scm,
guix/gexp.scm, guix/git-download.scm, guix/profiles.scm,
guix/svn-download.scm, tests/monads.scm: Adjust imports accordingly.
* guix/monad-repl.scm (default-guile-derivation): New procedure.
(store-monad-language, run-in-store): Use it.
* build-aux/hydra/gnu-system.scm (qemu-jobs): Add explicit
'set-guile-for-build' call.
* guix/scripts/archive.scm (derivation-from-expression): Likewise.
* guix/scripts/build.scm (options/resolve-packages): Likewise.
* guix/scripts/environment.scm (guix-environment): Likewise.
* guix/scripts/system.scm (guix-system): Likewise.
* doc/guix.texi (The Store Monad): Adjust module names accordingly.
2015-01-14 13:34:52 +01:00
|
|
|
|
;;
|
|
|
|
|
;; Store monad operators.
|
|
|
|
|
;;
|
|
|
|
|
|
2018-07-10 19:00:48 +02:00
|
|
|
|
(define* (binary-file name
|
|
|
|
|
data ;bytevector
|
|
|
|
|
#:optional (references '()))
|
|
|
|
|
"Return as a monadic value the absolute file name in the store of the file
|
|
|
|
|
containing DATA, a bytevector. REFERENCES is a list of store items that the
|
|
|
|
|
resulting text file refers to; it defaults to the empty list."
|
|
|
|
|
(lambda (store)
|
|
|
|
|
(values (add-data-to-store store name data references)
|
|
|
|
|
store)))
|
|
|
|
|
|
|
|
|
|
(define* (text-file name
|
|
|
|
|
text ;string
|
2015-02-11 22:58:53 +01:00
|
|
|
|
#:optional (references '()))
|
monads: Move '%store-monad' and related procedures where they belong.
This turns (guix monads) into a generic module for monads, and moves the
store monad and related monadic procedures in their corresponding
module.
* guix/monads.scm (store-return, store-bind, %store-monad, store-lift,
text-file, interned-file, package-file, package->derivation,
package->cross-derivation, origin->derivation, imported-modules,
compiled, modules, built-derivations, run-with-store): Move to...
* guix/store.scm (store-return, store-bind, %store-monad, store-lift,
text-file, interned-file): ... here.
(%guile-for-build): New variable.
(run-with-store): Moved from monads.scm. Remove default value for
#:guile-for-build.
* guix/packages.scm (default-guile): Export.
(set-guile-for-build): New procedure.
(package-file, package->derivation, package->cross-derivation,
origin->derivation): Moved from monads.scm.
* guix/derivations.scm (%guile-for-build): Remove.
(imported-modules): Rename to...
(%imported-modules): ... this.
(compiled-modules): Rename to...
(%compiled-modules): ... this.
(built-derivations, imported-modules, compiled-modules): New
procedures.
* gnu/services/avahi.scm, gnu/services/base.scm, gnu/services/dbus.scm,
gnu/services/dmd.scm, gnu/services/networking.scm,
gnu/services/ssh.scm, gnu/services/xorg.scm, gnu/system/install.scm,
gnu/system/linux-initrd.scm, gnu/system/shadow.scm, guix/download.scm,
guix/gexp.scm, guix/git-download.scm, guix/profiles.scm,
guix/svn-download.scm, tests/monads.scm: Adjust imports accordingly.
* guix/monad-repl.scm (default-guile-derivation): New procedure.
(store-monad-language, run-in-store): Use it.
* build-aux/hydra/gnu-system.scm (qemu-jobs): Add explicit
'set-guile-for-build' call.
* guix/scripts/archive.scm (derivation-from-expression): Likewise.
* guix/scripts/build.scm (options/resolve-packages): Likewise.
* guix/scripts/environment.scm (guix-environment): Likewise.
* guix/scripts/system.scm (guix-system): Likewise.
* doc/guix.texi (The Store Monad): Adjust module names accordingly.
2015-01-14 13:34:52 +01:00
|
|
|
|
"Return as a monadic value the absolute file name in the store of the file
|
2015-02-11 22:58:53 +01:00
|
|
|
|
containing TEXT, a string. REFERENCES is a list of store items that the
|
|
|
|
|
resulting text file refers to; it defaults to the empty list."
|
monads: Move '%store-monad' and related procedures where they belong.
This turns (guix monads) into a generic module for monads, and moves the
store monad and related monadic procedures in their corresponding
module.
* guix/monads.scm (store-return, store-bind, %store-monad, store-lift,
text-file, interned-file, package-file, package->derivation,
package->cross-derivation, origin->derivation, imported-modules,
compiled, modules, built-derivations, run-with-store): Move to...
* guix/store.scm (store-return, store-bind, %store-monad, store-lift,
text-file, interned-file): ... here.
(%guile-for-build): New variable.
(run-with-store): Moved from monads.scm. Remove default value for
#:guile-for-build.
* guix/packages.scm (default-guile): Export.
(set-guile-for-build): New procedure.
(package-file, package->derivation, package->cross-derivation,
origin->derivation): Moved from monads.scm.
* guix/derivations.scm (%guile-for-build): Remove.
(imported-modules): Rename to...
(%imported-modules): ... this.
(compiled-modules): Rename to...
(%compiled-modules): ... this.
(built-derivations, imported-modules, compiled-modules): New
procedures.
* gnu/services/avahi.scm, gnu/services/base.scm, gnu/services/dbus.scm,
gnu/services/dmd.scm, gnu/services/networking.scm,
gnu/services/ssh.scm, gnu/services/xorg.scm, gnu/system/install.scm,
gnu/system/linux-initrd.scm, gnu/system/shadow.scm, guix/download.scm,
guix/gexp.scm, guix/git-download.scm, guix/profiles.scm,
guix/svn-download.scm, tests/monads.scm: Adjust imports accordingly.
* guix/monad-repl.scm (default-guile-derivation): New procedure.
(store-monad-language, run-in-store): Use it.
* build-aux/hydra/gnu-system.scm (qemu-jobs): Add explicit
'set-guile-for-build' call.
* guix/scripts/archive.scm (derivation-from-expression): Likewise.
* guix/scripts/build.scm (options/resolve-packages): Likewise.
* guix/scripts/environment.scm (guix-environment): Likewise.
* guix/scripts/system.scm (guix-system): Likewise.
* doc/guix.texi (The Store Monad): Adjust module names accordingly.
2015-01-14 13:34:52 +01:00
|
|
|
|
(lambda (store)
|
2015-02-11 22:58:53 +01:00
|
|
|
|
(values (add-text-to-store store name text references)
|
2015-01-17 23:19:13 +01:00
|
|
|
|
store)))
|
monads: Move '%store-monad' and related procedures where they belong.
This turns (guix monads) into a generic module for monads, and moves the
store monad and related monadic procedures in their corresponding
module.
* guix/monads.scm (store-return, store-bind, %store-monad, store-lift,
text-file, interned-file, package-file, package->derivation,
package->cross-derivation, origin->derivation, imported-modules,
compiled, modules, built-derivations, run-with-store): Move to...
* guix/store.scm (store-return, store-bind, %store-monad, store-lift,
text-file, interned-file): ... here.
(%guile-for-build): New variable.
(run-with-store): Moved from monads.scm. Remove default value for
#:guile-for-build.
* guix/packages.scm (default-guile): Export.
(set-guile-for-build): New procedure.
(package-file, package->derivation, package->cross-derivation,
origin->derivation): Moved from monads.scm.
* guix/derivations.scm (%guile-for-build): Remove.
(imported-modules): Rename to...
(%imported-modules): ... this.
(compiled-modules): Rename to...
(%compiled-modules): ... this.
(built-derivations, imported-modules, compiled-modules): New
procedures.
* gnu/services/avahi.scm, gnu/services/base.scm, gnu/services/dbus.scm,
gnu/services/dmd.scm, gnu/services/networking.scm,
gnu/services/ssh.scm, gnu/services/xorg.scm, gnu/system/install.scm,
gnu/system/linux-initrd.scm, gnu/system/shadow.scm, guix/download.scm,
guix/gexp.scm, guix/git-download.scm, guix/profiles.scm,
guix/svn-download.scm, tests/monads.scm: Adjust imports accordingly.
* guix/monad-repl.scm (default-guile-derivation): New procedure.
(store-monad-language, run-in-store): Use it.
* build-aux/hydra/gnu-system.scm (qemu-jobs): Add explicit
'set-guile-for-build' call.
* guix/scripts/archive.scm (derivation-from-expression): Likewise.
* guix/scripts/build.scm (options/resolve-packages): Likewise.
* guix/scripts/environment.scm (guix-environment): Likewise.
* guix/scripts/system.scm (guix-system): Likewise.
* doc/guix.texi (The Store Monad): Adjust module names accordingly.
2015-01-14 13:34:52 +01:00
|
|
|
|
|
|
|
|
|
(define* (interned-file file #:optional name
|
2016-06-15 11:51:16 +02:00
|
|
|
|
#:key (recursive? #t) (select? true))
|
monads: Move '%store-monad' and related procedures where they belong.
This turns (guix monads) into a generic module for monads, and moves the
store monad and related monadic procedures in their corresponding
module.
* guix/monads.scm (store-return, store-bind, %store-monad, store-lift,
text-file, interned-file, package-file, package->derivation,
package->cross-derivation, origin->derivation, imported-modules,
compiled, modules, built-derivations, run-with-store): Move to...
* guix/store.scm (store-return, store-bind, %store-monad, store-lift,
text-file, interned-file): ... here.
(%guile-for-build): New variable.
(run-with-store): Moved from monads.scm. Remove default value for
#:guile-for-build.
* guix/packages.scm (default-guile): Export.
(set-guile-for-build): New procedure.
(package-file, package->derivation, package->cross-derivation,
origin->derivation): Moved from monads.scm.
* guix/derivations.scm (%guile-for-build): Remove.
(imported-modules): Rename to...
(%imported-modules): ... this.
(compiled-modules): Rename to...
(%compiled-modules): ... this.
(built-derivations, imported-modules, compiled-modules): New
procedures.
* gnu/services/avahi.scm, gnu/services/base.scm, gnu/services/dbus.scm,
gnu/services/dmd.scm, gnu/services/networking.scm,
gnu/services/ssh.scm, gnu/services/xorg.scm, gnu/system/install.scm,
gnu/system/linux-initrd.scm, gnu/system/shadow.scm, guix/download.scm,
guix/gexp.scm, guix/git-download.scm, guix/profiles.scm,
guix/svn-download.scm, tests/monads.scm: Adjust imports accordingly.
* guix/monad-repl.scm (default-guile-derivation): New procedure.
(store-monad-language, run-in-store): Use it.
* build-aux/hydra/gnu-system.scm (qemu-jobs): Add explicit
'set-guile-for-build' call.
* guix/scripts/archive.scm (derivation-from-expression): Likewise.
* guix/scripts/build.scm (options/resolve-packages): Likewise.
* guix/scripts/environment.scm (guix-environment): Likewise.
* guix/scripts/system.scm (guix-system): Likewise.
* doc/guix.texi (The Store Monad): Adjust module names accordingly.
2015-01-14 13:34:52 +01:00
|
|
|
|
"Return the name of FILE once interned in the store. Use NAME as its store
|
|
|
|
|
name, or the basename of FILE if NAME is omitted.
|
|
|
|
|
|
|
|
|
|
When RECURSIVE? is true, the contents of FILE are added recursively; if FILE
|
|
|
|
|
designates a flat file and RECURSIVE? is true, its contents are added, and its
|
2016-06-15 11:51:16 +02:00
|
|
|
|
permission bits are kept.
|
|
|
|
|
|
|
|
|
|
When RECURSIVE? is true, call (SELECT? FILE STAT) for each directory entry,
|
|
|
|
|
where FILE is the entry's absolute file name and STAT is the result of
|
|
|
|
|
'lstat'; exclude entries for which SELECT? does not return true."
|
monads: Move '%store-monad' and related procedures where they belong.
This turns (guix monads) into a generic module for monads, and moves the
store monad and related monadic procedures in their corresponding
module.
* guix/monads.scm (store-return, store-bind, %store-monad, store-lift,
text-file, interned-file, package-file, package->derivation,
package->cross-derivation, origin->derivation, imported-modules,
compiled, modules, built-derivations, run-with-store): Move to...
* guix/store.scm (store-return, store-bind, %store-monad, store-lift,
text-file, interned-file): ... here.
(%guile-for-build): New variable.
(run-with-store): Moved from monads.scm. Remove default value for
#:guile-for-build.
* guix/packages.scm (default-guile): Export.
(set-guile-for-build): New procedure.
(package-file, package->derivation, package->cross-derivation,
origin->derivation): Moved from monads.scm.
* guix/derivations.scm (%guile-for-build): Remove.
(imported-modules): Rename to...
(%imported-modules): ... this.
(compiled-modules): Rename to...
(%compiled-modules): ... this.
(built-derivations, imported-modules, compiled-modules): New
procedures.
* gnu/services/avahi.scm, gnu/services/base.scm, gnu/services/dbus.scm,
gnu/services/dmd.scm, gnu/services/networking.scm,
gnu/services/ssh.scm, gnu/services/xorg.scm, gnu/system/install.scm,
gnu/system/linux-initrd.scm, gnu/system/shadow.scm, guix/download.scm,
guix/gexp.scm, guix/git-download.scm, guix/profiles.scm,
guix/svn-download.scm, tests/monads.scm: Adjust imports accordingly.
* guix/monad-repl.scm (default-guile-derivation): New procedure.
(store-monad-language, run-in-store): Use it.
* build-aux/hydra/gnu-system.scm (qemu-jobs): Add explicit
'set-guile-for-build' call.
* guix/scripts/archive.scm (derivation-from-expression): Likewise.
* guix/scripts/build.scm (options/resolve-packages): Likewise.
* guix/scripts/environment.scm (guix-environment): Likewise.
* guix/scripts/system.scm (guix-system): Likewise.
* doc/guix.texi (The Store Monad): Adjust module names accordingly.
2015-01-14 13:34:52 +01:00
|
|
|
|
(lambda (store)
|
2015-01-17 23:19:13 +01:00
|
|
|
|
(values (add-to-store store (or name (basename file))
|
2016-06-15 11:51:16 +02:00
|
|
|
|
recursive? "sha256" file
|
|
|
|
|
#:select? select?)
|
2015-01-17 23:19:13 +01:00
|
|
|
|
store)))
|
monads: Move '%store-monad' and related procedures where they belong.
This turns (guix monads) into a generic module for monads, and moves the
store monad and related monadic procedures in their corresponding
module.
* guix/monads.scm (store-return, store-bind, %store-monad, store-lift,
text-file, interned-file, package-file, package->derivation,
package->cross-derivation, origin->derivation, imported-modules,
compiled, modules, built-derivations, run-with-store): Move to...
* guix/store.scm (store-return, store-bind, %store-monad, store-lift,
text-file, interned-file): ... here.
(%guile-for-build): New variable.
(run-with-store): Moved from monads.scm. Remove default value for
#:guile-for-build.
* guix/packages.scm (default-guile): Export.
(set-guile-for-build): New procedure.
(package-file, package->derivation, package->cross-derivation,
origin->derivation): Moved from monads.scm.
* guix/derivations.scm (%guile-for-build): Remove.
(imported-modules): Rename to...
(%imported-modules): ... this.
(compiled-modules): Rename to...
(%compiled-modules): ... this.
(built-derivations, imported-modules, compiled-modules): New
procedures.
* gnu/services/avahi.scm, gnu/services/base.scm, gnu/services/dbus.scm,
gnu/services/dmd.scm, gnu/services/networking.scm,
gnu/services/ssh.scm, gnu/services/xorg.scm, gnu/system/install.scm,
gnu/system/linux-initrd.scm, gnu/system/shadow.scm, guix/download.scm,
guix/gexp.scm, guix/git-download.scm, guix/profiles.scm,
guix/svn-download.scm, tests/monads.scm: Adjust imports accordingly.
* guix/monad-repl.scm (default-guile-derivation): New procedure.
(store-monad-language, run-in-store): Use it.
* build-aux/hydra/gnu-system.scm (qemu-jobs): Add explicit
'set-guile-for-build' call.
* guix/scripts/archive.scm (derivation-from-expression): Likewise.
* guix/scripts/build.scm (options/resolve-packages): Likewise.
* guix/scripts/environment.scm (guix-environment): Likewise.
* guix/scripts/system.scm (guix-system): Likewise.
* doc/guix.texi (The Store Monad): Adjust module names accordingly.
2015-01-14 13:34:52 +01:00
|
|
|
|
|
2018-07-16 09:55:49 +02:00
|
|
|
|
(define interned-file-tree
|
|
|
|
|
(store-lift add-file-tree-to-store))
|
|
|
|
|
|
2015-02-02 12:25:34 +01:00
|
|
|
|
(define build
|
|
|
|
|
;; Monadic variant of 'build-things'.
|
|
|
|
|
(store-lift build-things))
|
|
|
|
|
|
2015-09-03 17:33:51 +02:00
|
|
|
|
(define set-build-options*
|
|
|
|
|
(store-lift set-build-options))
|
|
|
|
|
|
2016-11-19 17:05:07 +01:00
|
|
|
|
(define references*
|
|
|
|
|
(store-lift references))
|
|
|
|
|
|
2018-07-02 23:50:38 +02:00
|
|
|
|
(define (query-path-info* item)
|
|
|
|
|
"Monadic version of 'query-path-info' that returns #f when ITEM is not in
|
|
|
|
|
the store."
|
|
|
|
|
(lambda (store)
|
|
|
|
|
(guard (c ((nix-protocol-error? c)
|
|
|
|
|
;; ITEM is not in the store; return #f.
|
|
|
|
|
(values #f store)))
|
|
|
|
|
(values (query-path-info store item) store))))
|
|
|
|
|
|
2016-02-12 18:59:11 +01:00
|
|
|
|
(define-inlinable (current-system)
|
|
|
|
|
;; Consult the %CURRENT-SYSTEM fluid at bind time. This is equivalent to
|
|
|
|
|
;; (lift0 %current-system %store-monad), but inlinable, thus avoiding
|
|
|
|
|
;; closure allocation in some cases.
|
|
|
|
|
(lambda (state)
|
|
|
|
|
(values (%current-system) state)))
|
|
|
|
|
|
|
|
|
|
(define-inlinable (set-current-system system)
|
|
|
|
|
;; Set the %CURRENT-SYSTEM fluid at bind time.
|
|
|
|
|
(lambda (state)
|
|
|
|
|
(values (%current-system system) state)))
|
|
|
|
|
|
monads: Move '%store-monad' and related procedures where they belong.
This turns (guix monads) into a generic module for monads, and moves the
store monad and related monadic procedures in their corresponding
module.
* guix/monads.scm (store-return, store-bind, %store-monad, store-lift,
text-file, interned-file, package-file, package->derivation,
package->cross-derivation, origin->derivation, imported-modules,
compiled, modules, built-derivations, run-with-store): Move to...
* guix/store.scm (store-return, store-bind, %store-monad, store-lift,
text-file, interned-file): ... here.
(%guile-for-build): New variable.
(run-with-store): Moved from monads.scm. Remove default value for
#:guile-for-build.
* guix/packages.scm (default-guile): Export.
(set-guile-for-build): New procedure.
(package-file, package->derivation, package->cross-derivation,
origin->derivation): Moved from monads.scm.
* guix/derivations.scm (%guile-for-build): Remove.
(imported-modules): Rename to...
(%imported-modules): ... this.
(compiled-modules): Rename to...
(%compiled-modules): ... this.
(built-derivations, imported-modules, compiled-modules): New
procedures.
* gnu/services/avahi.scm, gnu/services/base.scm, gnu/services/dbus.scm,
gnu/services/dmd.scm, gnu/services/networking.scm,
gnu/services/ssh.scm, gnu/services/xorg.scm, gnu/system/install.scm,
gnu/system/linux-initrd.scm, gnu/system/shadow.scm, guix/download.scm,
guix/gexp.scm, guix/git-download.scm, guix/profiles.scm,
guix/svn-download.scm, tests/monads.scm: Adjust imports accordingly.
* guix/monad-repl.scm (default-guile-derivation): New procedure.
(store-monad-language, run-in-store): Use it.
* build-aux/hydra/gnu-system.scm (qemu-jobs): Add explicit
'set-guile-for-build' call.
* guix/scripts/archive.scm (derivation-from-expression): Likewise.
* guix/scripts/build.scm (options/resolve-packages): Likewise.
* guix/scripts/environment.scm (guix-environment): Likewise.
* guix/scripts/system.scm (guix-system): Likewise.
* doc/guix.texi (The Store Monad): Adjust module names accordingly.
2015-01-14 13:34:52 +01:00
|
|
|
|
(define %guile-for-build
|
|
|
|
|
;; The derivation of the Guile to be used within the build environment,
|
|
|
|
|
;; when using 'gexp->derivation' and co.
|
|
|
|
|
(make-parameter #f))
|
|
|
|
|
|
|
|
|
|
(define* (run-with-store store mval
|
|
|
|
|
#:key
|
|
|
|
|
(guile-for-build (%guile-for-build))
|
2017-09-12 22:19:44 +02:00
|
|
|
|
(system (%current-system))
|
|
|
|
|
(target #f))
|
monads: Move '%store-monad' and related procedures where they belong.
This turns (guix monads) into a generic module for monads, and moves the
store monad and related monadic procedures in their corresponding
module.
* guix/monads.scm (store-return, store-bind, %store-monad, store-lift,
text-file, interned-file, package-file, package->derivation,
package->cross-derivation, origin->derivation, imported-modules,
compiled, modules, built-derivations, run-with-store): Move to...
* guix/store.scm (store-return, store-bind, %store-monad, store-lift,
text-file, interned-file): ... here.
(%guile-for-build): New variable.
(run-with-store): Moved from monads.scm. Remove default value for
#:guile-for-build.
* guix/packages.scm (default-guile): Export.
(set-guile-for-build): New procedure.
(package-file, package->derivation, package->cross-derivation,
origin->derivation): Moved from monads.scm.
* guix/derivations.scm (%guile-for-build): Remove.
(imported-modules): Rename to...
(%imported-modules): ... this.
(compiled-modules): Rename to...
(%compiled-modules): ... this.
(built-derivations, imported-modules, compiled-modules): New
procedures.
* gnu/services/avahi.scm, gnu/services/base.scm, gnu/services/dbus.scm,
gnu/services/dmd.scm, gnu/services/networking.scm,
gnu/services/ssh.scm, gnu/services/xorg.scm, gnu/system/install.scm,
gnu/system/linux-initrd.scm, gnu/system/shadow.scm, guix/download.scm,
guix/gexp.scm, guix/git-download.scm, guix/profiles.scm,
guix/svn-download.scm, tests/monads.scm: Adjust imports accordingly.
* guix/monad-repl.scm (default-guile-derivation): New procedure.
(store-monad-language, run-in-store): Use it.
* build-aux/hydra/gnu-system.scm (qemu-jobs): Add explicit
'set-guile-for-build' call.
* guix/scripts/archive.scm (derivation-from-expression): Likewise.
* guix/scripts/build.scm (options/resolve-packages): Likewise.
* guix/scripts/environment.scm (guix-environment): Likewise.
* guix/scripts/system.scm (guix-system): Likewise.
* doc/guix.texi (The Store Monad): Adjust module names accordingly.
2015-01-14 13:34:52 +01:00
|
|
|
|
"Run MVAL, a monadic value in the store monad, in STORE, an open store
|
2015-01-21 19:31:10 +01:00
|
|
|
|
connection, and return the result."
|
2015-07-07 22:57:54 +02:00
|
|
|
|
;; Initialize the dynamic bindings here to avoid bad surprises. The
|
|
|
|
|
;; difficulty lies in the fact that dynamic bindings are resolved at
|
|
|
|
|
;; bind-time and not at call time, which can be disconcerting.
|
monads: Move '%store-monad' and related procedures where they belong.
This turns (guix monads) into a generic module for monads, and moves the
store monad and related monadic procedures in their corresponding
module.
* guix/monads.scm (store-return, store-bind, %store-monad, store-lift,
text-file, interned-file, package-file, package->derivation,
package->cross-derivation, origin->derivation, imported-modules,
compiled, modules, built-derivations, run-with-store): Move to...
* guix/store.scm (store-return, store-bind, %store-monad, store-lift,
text-file, interned-file): ... here.
(%guile-for-build): New variable.
(run-with-store): Moved from monads.scm. Remove default value for
#:guile-for-build.
* guix/packages.scm (default-guile): Export.
(set-guile-for-build): New procedure.
(package-file, package->derivation, package->cross-derivation,
origin->derivation): Moved from monads.scm.
* guix/derivations.scm (%guile-for-build): Remove.
(imported-modules): Rename to...
(%imported-modules): ... this.
(compiled-modules): Rename to...
(%compiled-modules): ... this.
(built-derivations, imported-modules, compiled-modules): New
procedures.
* gnu/services/avahi.scm, gnu/services/base.scm, gnu/services/dbus.scm,
gnu/services/dmd.scm, gnu/services/networking.scm,
gnu/services/ssh.scm, gnu/services/xorg.scm, gnu/system/install.scm,
gnu/system/linux-initrd.scm, gnu/system/shadow.scm, guix/download.scm,
guix/gexp.scm, guix/git-download.scm, guix/profiles.scm,
guix/svn-download.scm, tests/monads.scm: Adjust imports accordingly.
* guix/monad-repl.scm (default-guile-derivation): New procedure.
(store-monad-language, run-in-store): Use it.
* build-aux/hydra/gnu-system.scm (qemu-jobs): Add explicit
'set-guile-for-build' call.
* guix/scripts/archive.scm (derivation-from-expression): Likewise.
* guix/scripts/build.scm (options/resolve-packages): Likewise.
* guix/scripts/environment.scm (guix-environment): Likewise.
* guix/scripts/system.scm (guix-system): Likewise.
* doc/guix.texi (The Store Monad): Adjust module names accordingly.
2015-01-14 13:34:52 +01:00
|
|
|
|
(parameterize ((%guile-for-build guile-for-build)
|
2015-07-07 22:57:54 +02:00
|
|
|
|
(%current-system system)
|
2017-09-12 22:19:44 +02:00
|
|
|
|
(%current-target-system target))
|
2015-01-21 19:31:10 +01:00
|
|
|
|
(call-with-values (lambda ()
|
|
|
|
|
(run-with-state mval store))
|
|
|
|
|
(lambda (result store)
|
|
|
|
|
;; Discard the state.
|
|
|
|
|
result))))
|
monads: Move '%store-monad' and related procedures where they belong.
This turns (guix monads) into a generic module for monads, and moves the
store monad and related monadic procedures in their corresponding
module.
* guix/monads.scm (store-return, store-bind, %store-monad, store-lift,
text-file, interned-file, package-file, package->derivation,
package->cross-derivation, origin->derivation, imported-modules,
compiled, modules, built-derivations, run-with-store): Move to...
* guix/store.scm (store-return, store-bind, %store-monad, store-lift,
text-file, interned-file): ... here.
(%guile-for-build): New variable.
(run-with-store): Moved from monads.scm. Remove default value for
#:guile-for-build.
* guix/packages.scm (default-guile): Export.
(set-guile-for-build): New procedure.
(package-file, package->derivation, package->cross-derivation,
origin->derivation): Moved from monads.scm.
* guix/derivations.scm (%guile-for-build): Remove.
(imported-modules): Rename to...
(%imported-modules): ... this.
(compiled-modules): Rename to...
(%compiled-modules): ... this.
(built-derivations, imported-modules, compiled-modules): New
procedures.
* gnu/services/avahi.scm, gnu/services/base.scm, gnu/services/dbus.scm,
gnu/services/dmd.scm, gnu/services/networking.scm,
gnu/services/ssh.scm, gnu/services/xorg.scm, gnu/system/install.scm,
gnu/system/linux-initrd.scm, gnu/system/shadow.scm, guix/download.scm,
guix/gexp.scm, guix/git-download.scm, guix/profiles.scm,
guix/svn-download.scm, tests/monads.scm: Adjust imports accordingly.
* guix/monad-repl.scm (default-guile-derivation): New procedure.
(store-monad-language, run-in-store): Use it.
* build-aux/hydra/gnu-system.scm (qemu-jobs): Add explicit
'set-guile-for-build' call.
* guix/scripts/archive.scm (derivation-from-expression): Likewise.
* guix/scripts/build.scm (options/resolve-packages): Likewise.
* guix/scripts/environment.scm (guix-environment): Likewise.
* guix/scripts/system.scm (guix-system): Likewise.
* doc/guix.texi (The Store Monad): Adjust module names accordingly.
2015-01-14 13:34:52 +01:00
|
|
|
|
|
2012-06-01 23:29:55 +02:00
|
|
|
|
|
|
|
|
|
;;;
|
|
|
|
|
;;; Store paths.
|
|
|
|
|
;;;
|
|
|
|
|
|
|
|
|
|
(define %store-prefix
|
|
|
|
|
;; Absolute path to the Nix store.
|
2014-01-08 21:37:06 +01:00
|
|
|
|
(make-parameter %store-directory))
|
2012-06-01 23:29:55 +02:00
|
|
|
|
|
2017-05-04 16:40:00 +02:00
|
|
|
|
(define (compressed-hash bv size) ; `compressHash'
|
|
|
|
|
"Given the hash stored in BV, return a compressed version thereof that fits
|
|
|
|
|
in SIZE bytes."
|
|
|
|
|
(define new (make-bytevector size 0))
|
|
|
|
|
(define old-size (bytevector-length bv))
|
|
|
|
|
(let loop ((i 0))
|
|
|
|
|
(if (= i old-size)
|
|
|
|
|
new
|
|
|
|
|
(let* ((j (modulo i size))
|
|
|
|
|
(o (bytevector-u8-ref new j)))
|
|
|
|
|
(bytevector-u8-set! new j
|
|
|
|
|
(logxor o (bytevector-u8-ref bv i)))
|
|
|
|
|
(loop (+ 1 i))))))
|
|
|
|
|
|
|
|
|
|
(define (store-path type hash name) ; makeStorePath
|
|
|
|
|
"Return the store path for NAME/HASH/TYPE."
|
|
|
|
|
(let* ((s (string-append type ":sha256:"
|
|
|
|
|
(bytevector->base16-string hash) ":"
|
|
|
|
|
(%store-prefix) ":" name))
|
|
|
|
|
(h (sha256 (string->utf8 s)))
|
|
|
|
|
(c (compressed-hash h 20)))
|
|
|
|
|
(string-append (%store-prefix) "/"
|
|
|
|
|
(bytevector->nix-base32-string c) "-"
|
|
|
|
|
name)))
|
|
|
|
|
|
|
|
|
|
(define (output-path output hash name) ; makeOutputPath
|
|
|
|
|
"Return an output path for OUTPUT (the name of the output as a string) of
|
|
|
|
|
the derivation called NAME with hash HASH."
|
|
|
|
|
(store-path (string-append "output:" output) hash
|
|
|
|
|
(if (string=? output "out")
|
|
|
|
|
name
|
|
|
|
|
(string-append name "-" output))))
|
|
|
|
|
|
|
|
|
|
(define* (fixed-output-path name hash
|
|
|
|
|
#:key
|
|
|
|
|
(output "out")
|
|
|
|
|
(hash-algo 'sha256)
|
|
|
|
|
(recursive? #t))
|
|
|
|
|
"Return an output path for the fixed output OUTPUT defined by HASH of type
|
|
|
|
|
HASH-ALGO, of the derivation NAME. RECURSIVE? has the same meaning as for
|
|
|
|
|
'add-to-store'."
|
|
|
|
|
(if (and recursive? (eq? hash-algo 'sha256))
|
|
|
|
|
(store-path "source" hash name)
|
|
|
|
|
(let ((tag (string-append "fixed:" output ":"
|
|
|
|
|
(if recursive? "r:" "")
|
|
|
|
|
(symbol->string hash-algo) ":"
|
|
|
|
|
(bytevector->base16-string hash) ":")))
|
|
|
|
|
(store-path (string-append "output:" output)
|
|
|
|
|
(sha256 (string->utf8 tag))
|
|
|
|
|
name))))
|
|
|
|
|
|
2012-09-01 19:21:06 +02:00
|
|
|
|
(define (store-path? path)
|
|
|
|
|
"Return #t if PATH is a store path."
|
|
|
|
|
;; This is a lightweight check, compared to using a regexp, but this has to
|
|
|
|
|
;; be fast as it's called often in `derivation', for instance.
|
|
|
|
|
;; `isStorePath' in Nix does something similar.
|
|
|
|
|
(string-prefix? (%store-prefix) path))
|
2012-06-01 23:29:55 +02:00
|
|
|
|
|
2013-11-12 23:36:29 +01:00
|
|
|
|
(define (direct-store-path? path)
|
|
|
|
|
"Return #t if PATH is a store path, and not a sub-directory of a store path.
|
|
|
|
|
This predicate is sometimes needed because files *under* a store path are not
|
|
|
|
|
valid inputs."
|
|
|
|
|
(and (store-path? path)
|
2014-04-26 16:38:38 +02:00
|
|
|
|
(not (string=? path (%store-prefix)))
|
2013-11-12 23:36:29 +01:00
|
|
|
|
(let ((len (+ 1 (string-length (%store-prefix)))))
|
|
|
|
|
(not (string-index (substring path len) #\/)))))
|
|
|
|
|
|
2015-05-24 14:04:15 +02:00
|
|
|
|
(define (direct-store-path path)
|
|
|
|
|
"Return the direct store path part of PATH, stripping components after
|
|
|
|
|
'/gnu/store/xxxx-foo'."
|
|
|
|
|
(let ((prefix-length (+ (string-length (%store-prefix)) 35)))
|
|
|
|
|
(if (> (string-length path) prefix-length)
|
|
|
|
|
(let ((slash (string-index path #\/ prefix-length)))
|
|
|
|
|
(if slash (string-take path slash) path))
|
|
|
|
|
path)))
|
|
|
|
|
|
2012-06-01 23:29:55 +02:00
|
|
|
|
(define (derivation-path? path)
|
|
|
|
|
"Return #t if PATH is a derivation path."
|
|
|
|
|
(and (store-path? path) (string-suffix? ".drv" path)))
|
2012-11-01 01:39:23 +01:00
|
|
|
|
|
2013-12-11 00:19:27 +01:00
|
|
|
|
(define store-regexp*
|
|
|
|
|
;; The substituter makes repeated calls to 'store-path-hash-part', hence
|
|
|
|
|
;; this optimization.
|
2017-01-28 17:09:34 +01:00
|
|
|
|
(mlambda (store)
|
|
|
|
|
"Return a regexp matching a file in STORE."
|
|
|
|
|
(make-regexp (string-append "^" (regexp-quote store)
|
|
|
|
|
"/([0-9a-df-np-sv-z]{32})-([^/]+)$"))))
|
2013-12-11 00:19:27 +01:00
|
|
|
|
|
2012-11-01 01:39:23 +01:00
|
|
|
|
(define (store-path-package-name path)
|
|
|
|
|
"Return the package name part of PATH, a file name in the store."
|
2013-12-11 00:19:27 +01:00
|
|
|
|
(let ((path-rx (store-regexp* (%store-prefix))))
|
|
|
|
|
(and=> (regexp-exec path-rx path)
|
|
|
|
|
(cut match:substring <> 2))))
|
2013-04-01 16:08:31 +02:00
|
|
|
|
|
|
|
|
|
(define (store-path-hash-part path)
|
|
|
|
|
"Return the hash part of PATH as a base32 string, or #f if PATH is not a
|
|
|
|
|
syntactically valid store path."
|
2017-07-21 14:50:16 +02:00
|
|
|
|
(and (string-prefix? (%store-prefix) path)
|
|
|
|
|
(let ((base (string-drop path (+ 1 (string-length (%store-prefix))))))
|
|
|
|
|
(and (> (string-length base) 33)
|
|
|
|
|
(let ((hash (string-take base 32)))
|
|
|
|
|
(and (string-every %nix-base32-charset hash)
|
|
|
|
|
hash))))))
|
2013-11-12 00:10:10 +01:00
|
|
|
|
|
2018-09-28 23:19:13 +02:00
|
|
|
|
(define (derivation-log-file drv)
|
|
|
|
|
"Return the build log file for DRV, a derivation file name, or #f if it
|
|
|
|
|
could not be found."
|
|
|
|
|
(let* ((base (basename drv))
|
|
|
|
|
(log (string-append (dirname %state-directory) ; XXX
|
|
|
|
|
"/log/guix/drvs/"
|
|
|
|
|
(string-take base 2) "/"
|
|
|
|
|
(string-drop base 2)))
|
|
|
|
|
(log.gz (string-append log ".gz"))
|
|
|
|
|
(log.bz2 (string-append log ".bz2")))
|
|
|
|
|
(cond ((file-exists? log.gz) log.gz)
|
|
|
|
|
((file-exists? log.bz2) log.bz2)
|
|
|
|
|
((file-exists? log) log)
|
|
|
|
|
(else #f))))
|
|
|
|
|
|
2013-11-12 00:10:10 +01:00
|
|
|
|
(define (log-file store file)
|
|
|
|
|
"Return the build log file for FILE, or #f if none could be found. FILE
|
|
|
|
|
must be an absolute store file name, or a derivation file name."
|
|
|
|
|
(cond ((derivation-path? file)
|
2018-09-28 23:19:13 +02:00
|
|
|
|
(derivation-log-file file))
|
2013-11-12 00:10:10 +01:00
|
|
|
|
(else
|
|
|
|
|
(match (valid-derivers store file)
|
|
|
|
|
((derivers ...)
|
|
|
|
|
;; Return the first that works.
|
|
|
|
|
(any (cut log-file store <>) derivers))
|
|
|
|
|
(_ #f)))))
|
2017-04-21 11:48:57 +02:00
|
|
|
|
|
|
|
|
|
;;; Local Variables:
|
|
|
|
|
;;; eval: (put 'system-error-to-connection-error 'scheme-indent-function 1)
|
|
|
|
|
;;; End:
|