/*
-goredo -- redo implementation on pure Go
-Copyright (C) 2020 Sergey Matveev <stargrave@stargrave.org>
+goredo -- djb's redo implementation on pure Go
+Copyright (C) 2020-2023 Sergey Matveev <stargrave@stargrave.org>
This program is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
import (
"bufio"
"encoding/hex"
- "fmt"
+ "errors"
"io"
"os"
"path"
- "strings"
- "syscall"
+ "path/filepath"
"go.cypherpunks.ru/recfile"
- "golang.org/x/crypto/blake2b"
+ "lukechampine.com/blake3"
)
-const EnvNoHash = "REDO_NO_HASH"
+var (
+ DirPrefix string
+ DepCwd string
-var NoHash bool
+ ErrBadRecFormat = errors.New("invalid format of .rec")
+)
-func recfileWrite(fdDep *os.File, fields ...recfile.Field) error {
+func recfileWrite(fdDep io.StringWriter, fields ...recfile.Field) error {
w := recfile.NewWriter(fdDep)
if _, err := w.RecordStart(); err != nil {
return err
}
func ifcreate(fdDep *os.File, tgt string) error {
- trace(CDebug, "ifcreate: %s <- %s", fdDep.Name(), tgt)
+ tracef(CDebug, "ifcreate: %s <- %s", fdDep.Name(), tgt)
return recfileWrite(
fdDep,
recfile.Field{Name: "Type", Value: DepTypeIfcreate},
}
func always(fdDep *os.File) error {
- trace(CDebug, "always: %s", fdDep.Name())
+ tracef(CDebug, "always: %s", fdDep.Name())
return recfileWrite(fdDep, recfile.Field{Name: "Type", Value: DepTypeAlways})
}
func stamp(fdDep, src *os.File) error {
var hsh string
- hsh, err := fileHash(os.Stdin)
+ hsh, err := fileHash(src)
if err != nil {
return err
}
- trace(CDebug, "stamp: %s <- %s", fdDep.Name(), hsh)
+ tracef(CDebug, "stamp: %s <- %s", fdDep.Name(), hsh)
return recfileWrite(
fdDep,
recfile.Field{Name: "Type", Value: DepTypeStamp},
)
}
-func fileCtime(fd *os.File) (string, error) {
- fi, err := fd.Stat()
- if err != nil {
- return "", err
- }
- stat := fi.Sys().(*syscall.Stat_t)
- sec, nsec := stat.Ctimespec.Unix()
- return fmt.Sprintf("%d.%d", sec, nsec), nil
-}
-
func fileHash(fd *os.File) (string, error) {
- h, err := blake2b.New256(nil)
- if err != nil {
- panic(err)
- }
- if _, err = io.Copy(h, bufio.NewReader(fd)); err != nil {
+ h := blake3.New(32, nil)
+ if _, err := io.Copy(h, bufio.NewReader(fd)); err != nil {
return "", err
}
return hex.EncodeToString(h.Sum(nil)), nil
}
-func writeDep(fdDep *os.File, cwd, tgt string) error {
- trace(CDebug, "ifchange: %s <- %s", fdDep.Name(), tgt)
+func depWrite(fdDep *os.File, cwd, tgt, hsh string) error {
+ tracef(CDebug, "ifchange: %s <- %s", fdDep.Name(), tgt)
fd, err := os.Open(path.Join(cwd, tgt))
if err != nil {
return err
}
defer fd.Close()
- ts, err := fileCtime(fd)
+ fi, err := fd.Stat()
if err != nil {
return err
}
- fields := []recfile.Field{
- recfile.Field{Name: "Type", Value: DepTypeIfchange},
- recfile.Field{Name: "Target", Value: tgt},
- recfile.Field{Name: "Ctime", Value: ts},
+ if fi.IsDir() {
+ return nil
}
- var hsh string
- if !NoHash {
+ inode, err := inodeFromFileByFd(fd)
+ if err != nil {
+ return err
+ }
+ if hsh == "" {
hsh, err = fileHash(fd)
if err != nil {
return err
}
- fields = append(fields, recfile.Field{Name: "Hash", Value: hsh})
}
+ fields := []recfile.Field{
+ {Name: "Type", Value: DepTypeIfchange},
+ {Name: "Target", Value: tgt},
+ {Name: "Hash", Value: hsh},
+ }
+ fields = append(fields, inode.RecfileFields()...)
return recfileWrite(fdDep, fields...)
}
-func writeDeps(fdDep *os.File, tgts []string) error {
+func depsWrite(fdDep *os.File, tgts []string) error {
if fdDep == nil {
- trace(CDebug, "no opened fdDep: %s", tgts)
+ tracef(CDebug, "no opened fdDep: %s", tgts)
return nil
}
- ups := []string{}
- upLevels := strings.Count(os.Getenv(EnvDirPrefix), "/")
- for i := 0; i < upLevels; i++ {
- ups = append(ups, "..")
- }
- up := path.Join(ups...)
for _, tgt := range tgts {
- if _, err := os.Stat(tgt); err == nil {
- if err = writeDep(fdDep, Cwd, path.Join(up, tgt)); err != nil {
- return err
+ tgtAbs, err := filepath.Abs(tgt)
+ if err != nil {
+ panic(err)
+ }
+ cwd := Cwd
+ if DepCwd != "" && Cwd != DepCwd {
+ cwd = DepCwd
+ }
+ tgtDir := path.Join(cwd, DirPrefix)
+ tgtRel, err := filepath.Rel(tgtDir, tgtAbs)
+ if err != nil {
+ panic(err)
+ }
+ if _, errStat := os.Stat(tgt); errStat == nil {
+ err = depWrite(fdDep, tgtDir, tgtRel, "")
+ } else {
+ tracef(CDebug, "ifchange: %s <- %s (non-existing)", fdDep.Name(), tgtRel)
+ fields := []recfile.Field{
+ {Name: "Type", Value: DepTypeIfchange},
+ {Name: "Target", Value: tgtRel},
}
+ inodeDummy := Inode{}
+ fields = append(fields, inodeDummy.RecfileFields()...)
+ err = recfileWrite(fdDep, fields...)
+ }
+ if err != nil {
+ return err
}
}
return nil
}
+
+type DepInfo struct {
+ build string
+ always bool
+ stamp string
+ ifcreates []string
+ ifchanges []map[string]string
+}
+
+func depRead(fdDep io.Reader) (*DepInfo, error) {
+ r := recfile.NewReader(fdDep)
+ m, err := r.NextMap()
+ if err != nil {
+ return nil, err
+ }
+ depInfo := DepInfo{}
+ b := m["Build"]
+ if b == "" {
+ return nil, errors.New(".rec missing Build:")
+ }
+ depInfo.build = b
+ for {
+ m, err := r.NextMap()
+ if err != nil {
+ if errors.Is(err, io.EOF) {
+ break
+ }
+ return nil, err
+ }
+ switch m["Type"] {
+ case DepTypeAlways:
+ depInfo.always = true
+ case DepTypeIfcreate:
+ dep := m["Target"]
+ if dep == "" {
+ return nil, ErrBadRecFormat
+ }
+ depInfo.ifcreates = append(depInfo.ifcreates, dep)
+ case DepTypeIfchange:
+ delete(m, "Type")
+ depInfo.ifchanges = append(depInfo.ifchanges, m)
+ case DepTypeStamp:
+ hsh := m["Hash"]
+ if hsh == "" {
+ return nil, ErrBadRecFormat
+ }
+ depInfo.stamp = hsh
+ default:
+ return nil, ErrBadRecFormat
+ }
+ }
+ return &depInfo, nil
+}