aboutsummaryrefslogtreecommitdiff
path: root/nix/libstore/derivations.hh
blob: 8d5e4d05d469e0d0ab6dd66ccaabc6faa6ccfd70 (about) (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
#pragma once

#include "types.hh"
#include "hash.hh"

#include <map>


namespace nix {


/* Extension of derivations in the Nix store. */
const string drvExtension = ".drv";


/* Abstract syntax of derivations. */

struct DerivationOutput
{
    Path path;
    string hashAlgo; /* hash used for expected hash computation */
    string hash; /* expected hash, may be null */
    DerivationOutput()
    {
    }
    DerivationOutput(Path path, string hashAlgo, string hash)
    {
        this->path = path;
        this->hashAlgo = hashAlgo;
        this->hash = hash;
    }
    void parseHashInfo(bool & recursive, HashType & hashType, Hash & hash) const;
};

typedef std::map<string, DerivationOutput> DerivationOutputs;

/* For inputs that are sub-derivations, we specify exactly which
   output IDs we are interested in. */
typedef std::map<Path, StringSet> DerivationInputs;

typedef std::map<string, string> StringPairs;

struct Derivation
{
    DerivationOutputs outputs; /* keyed on symbolic IDs */
    DerivationInputs inputDrvs; /* inputs that are sub-derivations */
    PathSet inputSrcs; /* inputs that are sources */
    string platform;
    Path builder;
    Strings args;
    StringPairs env;
};


class StoreAPI;


/* Write a derivation to the Nix store, and return its path. */
Path writeDerivation(StoreAPI & store,
    const Derivation & drv, const string & name, bool repair = false);

/* Read a derivation from a file. */
Derivation readDerivation(const Path & drvPath);

/* Print a derivation. */
string unparseDerivation(const Derivation & drv);

/* Check whether a file name ends with the extensions for
   derivations. */
bool isDerivation(const string & fileName);

/* Return true iff this is a fixed-output derivation. */
bool isFixedOutputDrv(const Derivation & drv);

Hash hashDerivationModulo(StoreAPI & store, Derivation drv);

/* Memoisation of hashDerivationModulo(). */
typedef std::map<Path, Hash> DrvHashes;

extern DrvHashes drvHashes;

/* Split a string specifying a derivation and a set of outputs
   (/nix/store/hash-foo!out1,out2,...) into the derivation path and
   the outputs. */
typedef std::pair<string, std::set<string> > DrvPathWithOutputs;
DrvPathWithOutputs parseDrvPathWithOutputs(const string & s);

Path makeDrvPathWithOutputs(const Path & drvPath, const std::set<string> & outputs);

bool wantOutput(const string & output, const std::set<string> & wanted);

PathSet outputPaths(const Derivation & drv);

}
#:modules '((guix build utils)))) (two (build-expression->derivation %store "two" '(begin (use-modules (guix build utils) (srfi srfi-26)) (let ((foo (string-append %output "/foo")) (bar (string-append %output "/bar"))) (mkdir-p bar) (call-with-output-file (string-append bar "/two") (cut display "two" <>)) (symlink "bar" foo))) #:modules '((guix build utils)))) (builder '(begin (use-modules (guix build union)) (union-build (assoc-ref %outputs "out") (list (assoc-ref %build-inputs "one") (assoc-ref %build-inputs "two"))))) (drv (build-expression->derivation %store "union-collision-symlink" builder #:inputs `(("one" ,one) ("two" ,two)) #:modules '((guix build union))))) (and (build-derivations %store (list drv)) (with-directory-excursion (pk (derivation->output-path drv)) (and (string=? "one" (call-with-input-file "foo/one" get-string-all)) (string=? "two" (call-with-input-file "foo/two" get-string-all)) (string=? "two" (call-with-input-file "bar/two" get-string-all)) (not (file-exists? "bar/one"))))))) (test-skip (if (and %store (network-reachable?)) 0 1)) (test-assert "union-build" (let* ((inputs (map (match-lambda ((name package) `(,name ,(package-derivation %store package)))) ;; Purposefully leave duplicate entries. (append %bootstrap-inputs (take %bootstrap-inputs 3)))) (builder `(begin (use-modules (guix build union)) (union-build (assoc-ref %outputs "out") (map cdr %build-inputs)))) (drv (build-expression->derivation %store "union-test" builder #:inputs inputs #:modules '((guix build union))))) (and (build-derivations %store (list (pk 'drv drv))) (with-directory-excursion (derivation->output-path drv) (and (file-exists? "bin/touch") (file-exists? "bin/gcc") (file-exists? "bin/ld") (file-exists? "lib/libc.so") (directory-exists? "lib/gcc") (file-exists? "include/unistd.h") ;; The 'include/c++' sub-directory is only found in ;; gcc-bootstrap, so it should be unified in a ;; straightforward way, without traversing it. (eq? 'symlink (stat:type (lstat "include/c++"))) ;; Conversely, several inputs have a 'bin' sub-directory, so ;; unifying it requires traversing them all, and creating a ;; new 'bin' sub-directory in the profile. (eq? 'directory (stat:type (lstat "bin")))))))) (test-end)