Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Rework of clerk run #789

Open
wants to merge 13 commits into
base: master
Choose a base branch
from
+977 −378
Open

Rework of clerk run #789

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
13 commits
Select commit Hold shift + click to select a range
e46bc3e
clerk: triage targets by backend, remove exec targets
AltGr Feb 13, 2025
139129b
Skip submodule scopes when choosing a default scope for exec
AltGr Feb 13, 2025
b97a09b
Refactor clerk run target
AltGr Feb 13, 2025
d0920ee
Clerk: rework handling of backend-specific dependencies
AltGr Feb 14, 2025
8fc9409
Clerk: allow listing and overriding build variables (CFLAGS, etc.)
AltGr Feb 18, 2025
5cc2fbf
allow list of scopes from the CLI
AltGr Feb 18, 2025
63ec208
Allow generating execs that run no scope
AltGr Feb 19, 2025
0723f88
Add `--autotest` as a clerk option
AltGr Feb 19, 2025
cba4f01
Cleanup a couple tests broken w.r.t interpretation
AltGr Feb 19, 2025
2c91c3b
Message: print debug timers on their own line
AltGr Feb 19, 2025
db2bf40
File module: add functions to copy and remove
AltGr Feb 19, 2025
94fe53a
Clerk: support for `clerk run --backend=python`
AltGr Feb 19, 2025
4ef1090
Makefile: add backend-tests targets
AltGr Feb 19, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion .gitignore
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -17,6 +17,6 @@ build.ninja
.#*
.envrc
.direnv

**/__pycache__/

.catleg_secrets.toml
10 changes: 10 additions & 0 deletions Makefile
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -209,6 +209,16 @@ CLERK_TEST=$(CLERK_BIN) test --exe $(CATALA_BIN) \
unit-tests: .FORCE
dune build @for-tests @runtest

BACKEND_TEST_DIRS = arithmetic array bool date dec default enum exception func io money monomorphisation name_resolution parsing scope struct tuples typing variable_state

BACKEND_TESTS = $(wildcard $(BACKEND_TEST_DIRS:%=tests/%/good/*.catala_*))

backend-tests-%: $(BACKEND_TESTS)
@echo ">> RUNNING BACKEND TESTS FOR $* <<"
@clerk run $^ --command interpret --backend $*

backend-tests: backend-tests-ocaml backend-tests-c backend-tests-python

#> test : Run interpreter tests
test: .FORCE unit-tests
$(CLERK_TEST) tests doc
Expand Down
Loading
Loading