Code

Rework of clerk run#789

Code

Open

AltGr wants to merge 13 commits intomasterCatalaLang/catala:masterfrom clerkbldCatalaLang/catala:clerkbldCopy head branch name to clipboard

+977-378

Commits

Commits on Feb 19, 2025

• clerk: triage targets by backend, remove exec targets

  AltGr

  committed
  e46bc3e

  Copy full SHA for e46bc3e

• Skip submodule scopes when choosing a default scope for exec

  AltGr

  committed
  139129b

  Copy full SHA for 139129b

• Refactor clerk run target

  Show description for b97a09b
  AltGr

  committed
  b97a09b

  Copy full SHA for b97a09b

• Clerk: rework handling of backend-specific dependencies

  Show description for d0920ee
  AltGr

  committed
  d0920ee

  Copy full SHA for d0920ee

• Clerk: allow listing and overriding build variables (CFLAGS, etc.)

  AltGr

  committed
  8fc9409

  Copy full SHA for 8fc9409

• allow list of scopes from the CLI

  Show description for 5cc2fbf
  AltGr

  committed
  5cc2fbf

  Copy full SHA for 5cc2fbf

• Allow generating execs that run no scope

  Show description for 63ec208
  AltGr

  committed
  63ec208

  Copy full SHA for 63ec208

• Add --autotest as a clerk option

  Show description for 0723f88
  AltGr

  committed
  0723f88

  Copy full SHA for 0723f88

• Cleanup a couple tests broken w.r.t interpretation

  AltGr

  committed
  cba4f01

  Copy full SHA for cba4f01

• Message: print debug timers on their own line

  Show description for 2c91c3b
  AltGr

  committed
  2c91c3b

  Copy full SHA for 2c91c3b

• File module: add functions to copy and remove

  AltGr

  committed
  db2bf40

  Copy full SHA for db2bf40

• Clerk: support for clerk run --backend=python

  AltGr

  committed
  94fe53a

  Copy full SHA for 94fe53a

• Makefile: add backend-tests targets

  Show description for 4ef1090
  AltGr

  committed
  4ef1090

  Copy full SHA for 4ef1090