]> Cypherpunks.ru repositories - goredo.git/blob - dep.go
isModified check must only look at ifchanges
[goredo.git] / dep.go
1 /*
2 goredo -- djb's redo implementation on pure Go
3 Copyright (C) 2020-2021 Sergey Matveev <stargrave@stargrave.org>
4
5 This program is free software: you can redistribute it and/or modify
6 it under the terms of the GNU General Public License as published by
7 the Free Software Foundation, version 3 of the License.
8
9 This program is distributed in the hope that it will be useful,
10 but WITHOUT ANY WARRANTY; without even the implied warranty of
11 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
12 GNU General Public License for more details.
13
14 You should have received a copy of the GNU General Public License
15 along with this program.  If not, see <http://www.gnu.org/licenses/>.
16 */
17
18 // Dependencies saver
19
20 package main
21
22 import (
23         "bufio"
24         "encoding/hex"
25         "errors"
26         "io"
27         "os"
28         "path"
29         "path/filepath"
30
31         "go.cypherpunks.ru/recfile"
32         "lukechampine.com/blake3"
33 )
34
35 var (
36         DirPrefix string
37         DepCwd    string
38 )
39
40 func recfileWrite(fdDep *os.File, fields ...recfile.Field) error {
41         w := recfile.NewWriter(fdDep)
42         if _, err := w.RecordStart(); err != nil {
43                 return err
44         }
45         if _, err := w.WriteFields(fields...); err != nil {
46                 return err
47         }
48         return nil
49 }
50
51 func ifcreate(fdDep *os.File, tgt string) error {
52         trace(CDebug, "ifcreate: %s <- %s", fdDep.Name(), tgt)
53         return recfileWrite(
54                 fdDep,
55                 recfile.Field{Name: "Type", Value: DepTypeIfcreate},
56                 recfile.Field{Name: "Target", Value: tgt},
57         )
58 }
59
60 func always(fdDep *os.File) error {
61         trace(CDebug, "always: %s", fdDep.Name())
62         return recfileWrite(fdDep, recfile.Field{Name: "Type", Value: DepTypeAlways})
63 }
64
65 func stamp(fdDep, src *os.File) error {
66         var hsh string
67         hsh, err := fileHash(os.Stdin)
68         if err != nil {
69                 return err
70         }
71         trace(CDebug, "stamp: %s <- %s", fdDep.Name(), hsh)
72         return recfileWrite(
73                 fdDep,
74                 recfile.Field{Name: "Type", Value: DepTypeStamp},
75                 recfile.Field{Name: "Hash", Value: hsh},
76         )
77 }
78
79 func fileHash(fd *os.File) (string, error) {
80         h := blake3.New(32, nil)
81         if _, err := io.Copy(h, bufio.NewReader(fd)); err != nil {
82                 return "", err
83         }
84         return hex.EncodeToString(h.Sum(nil)), nil
85 }
86
87 func writeDep(fdDep *os.File, cwd, tgt string) error {
88         trace(CDebug, "ifchange: %s <- %s", fdDep.Name(), tgt)
89         fd, err := os.Open(path.Join(cwd, tgt))
90         if err != nil {
91                 return err
92         }
93         defer fd.Close()
94         fi, err := fd.Stat()
95         if err != nil {
96                 return err
97         }
98         if fi.IsDir() {
99                 return nil
100         }
101         inode, err := inodeFromFile(fd)
102         if err != nil {
103                 return err
104         }
105         hsh, err := fileHash(fd)
106         if err != nil {
107                 return err
108         }
109         fields := []recfile.Field{
110                 {Name: "Type", Value: DepTypeIfchange},
111                 {Name: "Target", Value: tgt},
112                 {Name: "Hash", Value: hsh},
113         }
114         fields = append(fields, inode.RecfileFields()...)
115         return recfileWrite(fdDep, fields...)
116 }
117
118 func writeDeps(fdDep *os.File, tgts []string) (err error) {
119         if fdDep == nil {
120                 trace(CDebug, "no opened fdDep: %s", tgts)
121                 return nil
122         }
123         for _, tgt := range tgts {
124                 tgtAbs, err := filepath.Abs(tgt)
125                 if err != nil {
126                         panic(err)
127                 }
128                 cwd := Cwd
129                 if DepCwd != "" && Cwd != DepCwd {
130                         cwd = DepCwd
131                 }
132                 tgtDir := path.Join(cwd, DirPrefix)
133                 tgtRel, err := filepath.Rel(tgtDir, tgtAbs)
134                 if err != nil {
135                         panic(err)
136                 }
137                 if _, errStat := os.Stat(tgt); errStat == nil {
138                         err = writeDep(fdDep, tgtDir, tgtRel)
139                 } else {
140                         trace(CDebug, "ifchange: %s <- %s (non-existing)", fdDep.Name(), tgtRel)
141                         fields := []recfile.Field{
142                                 {Name: "Type", Value: DepTypeIfchange},
143                                 {Name: "Target", Value: tgtRel},
144                         }
145                         inodeDummy := Inode{}
146                         fields = append(fields, inodeDummy.RecfileFields()...)
147                         err = recfileWrite(fdDep, fields...)
148                 }
149         }
150         return
151 }
152
153 type DepInfo struct {
154         build     string
155         always    bool
156         stamp     string
157         ifcreates []string
158         ifchanges []map[string]string
159 }
160
161 func depRead(fdDep *os.File) (*DepInfo, error) {
162         r := recfile.NewReader(fdDep)
163         m, err := r.NextMap()
164         if err != nil {
165                 return nil, err
166         }
167         depInfo := DepInfo{}
168         if b := m["Build"]; b == "" {
169                 return nil, errors.New(".rec missing Build:")
170         } else {
171                 depInfo.build = b
172         }
173         for {
174                 m, err := r.NextMap()
175                 if err != nil {
176                         if err == io.EOF {
177                                 break
178                         }
179                         return nil, err
180                 }
181                 switch m["Type"] {
182                 case DepTypeAlways:
183                         depInfo.always = true
184                 case DepTypeIfcreate:
185                         dep := m["Target"]
186                         if dep == "" {
187                                 return nil, errors.New("invalid format of .rec")
188                         }
189                         depInfo.ifcreates = append(depInfo.ifcreates, dep)
190                 case DepTypeIfchange:
191                         delete(m, "Type")
192                         depInfo.ifchanges = append(depInfo.ifchanges, m)
193                 case DepTypeStamp:
194                         hsh := m["Hash"]
195                         if hsh == "" {
196                                 return nil, errors.New("invalid format of .rec")
197                         }
198                         depInfo.stamp = hsh
199                 default:
200                         return nil, errors.New("invalid format of .rec")
201                 }
202         }
203         return &depInfo, nil
204 }