milner
7502fcd7dd
feat(sched): cancel in-flight actions when a build fails
...
Only new spawns were held back after a failure, so every action already running
was allowed to finish even though its output would be discarded. The scheduler
now sends SIGTERM to the remaining children on the first failure, and reports
them separately rather than counting a process it killed as a failure of its
own. Partial outputs are removed and their cache entries dropped, so the next
run starts clean.
Under -k the existing behaviour is kept, since keeping going is the point.
On a graph with three six-second generators alongside one translation unit that
fails immediately, -j4 now returns in 0.12 s rather than 6.03 s.
2022-07-15 04:18:43 +00:00
milner
bf81a54bc2
perf(cache): memoise file digests and invalidate them on write
...
A header included by fourteen translation units was hashed once per dependent,
and every built action hashed its inputs twice: once to decide it was stale and
again to store the new key. Digests are now memoised for the run, and the
scheduler drops the entries for an action's outputs and depfile once it
finishes, so a freshly written file is never read from the memo.
2022-07-12 08:44:33 +00:00
milner
5560658db7
feat(scaffold): generate a project that builds and tests unmodified
...
Writes a build file, a library, a binary and a test, wired so build and test
both pass immediately after init.
2022-06-25 01:39:44 +00:00
milner
694370f2db
feat(watch): rebuild when a tracked input changes
...
Snapshots the modification times of every graph input and re-runs the
scheduler on change.
2022-06-23 12:20:02 +00:00
milner
1713944e56
feat(testrun): build and run test targets, reporting pass or fail
...
Runs each test binary, captures its exit status, and reports per-test timing
alongside an aggregate line.
2022-06-23 03:23:45 +00:00
milner
38dbe2b8ee
feat(install): copy installable outputs under a prefix
...
Destinations come from each target's install field, the executable bit is
preserved, and a dry run prints the plan without touching anything.
2022-06-21 02:23:23 +00:00
milner
12111f2b55
feat(dot): emit Graphviz source for the action graph
...
Nodes coloured by action kind, with a targets-only mode for graphs too large
to read in full.
2022-06-19 01:08:42 +00:00
milner
597c5b0d75
feat(compdb): write compile_commands.json for clangd
...
One entry per translation unit with directory, arguments and file, taken from
the compile actions already in the graph.
2022-06-17 19:15:48 +00:00
milner
b6a41fda7b
feat(sched): dispatch ready actions under a job limit
...
Checks each node's key at the moment it becomes ready rather than up front,
because an input may have been produced by a node that ran seconds earlier.
This is what gives early cutoff.
2022-06-15 20:17:47 +00:00
milner
9097815563
feat(build): lower resolved targets into graph actions
...
Emits compile, archive, shared-link and link actions per target, and applies
-fPIC to anything reachable from a shared target.
2022-06-13 08:04:17 +00:00
milner
e42fbc8c57
feat(dep): source header edges from compiler depfiles
...
Parses -MMD -MF output, unfolding line continuations, so the include set comes
from the compiler rather than from hand-maintained declarations.
2022-06-12 22:24:06 +00:00
milner
8fa9b6ba4f
feat(cache): key actions on content, argv and the real input set
...
Digests every input plus the exact argument vector into one key, persisted
under the build directory. Staleness becomes a content question rather than a
timestamp comparison.
2022-06-12 01:49:31 +00:00
milner
df3abecf6a
feat(graph): derive edges from which node produces which file
...
Indexes producers by output path, so a generator and the compile consuming its
output are connected without being declared. Detects duplicate producers and
reports dependency cycles by path.
2022-06-09 14:01:08 +00:00
milner
fcb544fd65
feat(resolve): lower surviving blocks into targets and rule instances
...
Expands globs, resolves use edges between targets, propagates inherited
includes, and instantiates a rule once per matched input.
2022-06-08 10:43:20 +00:00
milner
c680a70e1c
feat(eval): evaluate statements in written order
...
Expands variables top to bottom, runs checks as they are reached and evaluates
conditionals against results already established. Written order is the
semantics, not an implementation detail.
2022-06-06 11:35:41 +00:00
milner
0259325381
feat(configh): generate a guarded C header from probe results
...
Emits the project name and the HAVE_ and SIZEOF_ defines from what the probes
actually found, behind an include guard derived from the output path.
2022-06-05 22:51:52 +00:00
milner
301ce7eab5
feat(probe): detect headers, functions, symbols, sizeof and pkg-config
...
Compiles and links throwaway programs to answer each check, and shells out to
pkg-config for cflags and libs. Results are memoised on the toolchain.
2022-06-03 09:35:23 +00:00
milner
8581f2e931
feat(exec): spawn subprocesses and capture stdout and status
...
Argv-vector execution with no shell in the path, so arguments containing
spaces or quotes need no escaping.
2022-06-01 08:37:55 +00:00
milner
0cef03d6b0
feat(parse): parse the grammar with recursive descent
...
Turns tokens into the AST, and consults suggest at each failure point so an
unknown declaration or field offers the nearest valid name.
2022-05-30 01:11:45 +00:00
milner
eec988b452
feat(ast): model statements, blocks and nested conditionals
...
Keeps written order, so a later branch can observe the result of a check that
appeared earlier in the file.
2022-05-29 08:59:55 +00:00
milner
125376f53f
feat(lexer): tokenise build files with a span on every token
...
Words, strings, braces and comments, each carrying its source range, so an
error points at the offending token rather than the whole line.
2022-05-27 13:59:46 +00:00
milner
a864f5e7a8
feat(types): define resolved project, target and rule records
...
Targets carry sources, includes, flags and uses; rule instances carry resolved
inputs and outputs. This is the shape every later stage consumes.
2022-05-26 00:17:18 +00:00
milner
d182750a9f
feat(suggest): rank near-miss names by edit distance
...
Levenshtein with a cutoff, returning the closest valid name at a position, or
nothing when no candidate is close enough.
2022-05-25 15:17:54 +00:00
milner
4040f5a404
feat(json): emit JSON with correct control-character escaping
...
So generated output survives paths containing spaces, quotes or backslashes.
2022-05-23 21:14:56 +00:00
milner
9f4871b1e5
feat(glob): expand source patterns without shelling out
...
Matches *, ? and ** against directory entries directly, so src/**/*.c
resolves identically regardless of the shell.
2022-05-21 21:37:43 +00:00
milner
e9f7f2c7dd
feat(fs): add recursive mkdir, whole-file IO and mtime reads
...
Path joining, read, write, is_dir and mtime, used by every later stage that
touches disk.
2022-05-21 12:14:44 +00:00
milner
14377f6794
feat(ident): normalise names into C macro identifiers
...
Uppercases, replaces non-alphanumerics with underscores, and derives the
HAVE_X and SIZEOF_X forms the generated header uses.
2022-05-20 03:45:44 +00:00
milner
e26d8344da
feat(diag): render errors with a caret and the offending line
...
Formats file:line:col, re-reads the source to print the line, underlines the
span and leaves a slot for a suggestion.
2022-05-18 08:54:32 +00:00
milner
003a707af0
feat(style): gate ANSI colour on tty detection
...
One wrapper per colour plus a padding helper, all no-ops when stdout is not a
terminal, so piped output and CI logs stay readable.
2022-05-17 19:36:28 +00:00
milner
0377287c1e
feat(span): track byte ranges so errors can point into source
...
Span.t carries file, offset and length, with join to merge two spans and a
none sentinel for synthesised nodes. Every token and node gets one.
2022-05-17 08:50:46 +00:00
milner
223b5e2bd7
build: add dune project skeleton and library stanza
...
The meow library against unix, plus ignore rules for _build, generated
sources and the meowc symlink.
2022-05-16 09:42:00 +00:00
milner