verda

const { createBuildAndThenStart } = require('verda'); const path = require('path'); const fs = require('fs/promises'); const build = createBuildAndThenStart(); const buildDir = path.join(__dirname, 'build'); build.setJournal(path.join(buildDir, '.verda-journal')); const { oracle, file } = build.ruleTypes; const { run, cp, rm } = build.actions; // Create a dummy source file for the example (async () => { await fs.mkdir(path.join(__dirname, 'src'), { recursive: true }); await fs.writeFile(path.join(__dirname, 'src', 'main.c'), '#include <stdio.h>\nint main() { printf(\"Hello, Verda!\\n\"); return 0; }'); })(); // A simple oracle rule that returns a number const one = oracle("one", async t => { console.log('Computing rule "one"'); return 1; }); // A file rule to compile a C source file into an object file const ObjFile = file.glob('build/*.o', async (t, o) => { console.log(`Compiling ${o.name}.c into ${o.full}`); const c = await t.need(file.named(`src/${o.name}.c`)); await run('gcc', c.full, '-c', '-o', o.full); }); // An executable rule depending on the object file const Executable = file.named('build/app', async t => { await fs.mkdir(buildDir, { recursive: true }); const mainObj = await t.need(ObjFile.named('build/main.o')); console.log(`Linking ${mainObj.full} into build/app`); await run('gcc', mainObj.full, '-o', t.full); }); // The default rule to build the application build.main(Executable); // To run this, save as 'verdafile.js' and execute 'node verdafile.js'