CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-11-08 07:51:43 +03:00
Code Issues Projects Releases Wiki Activity
c4f6141288
catala/build_system
History
Louis Gesbert 2d756698fb clerk report: allow to choose diff command 
Also, detect non-GNU diff or absence of colors, and fallback to a basic view;
this is actually more readable in logs or diffs.
2024-06-27 12:06:24 +02:00
..
clerk_driver.ml clerk report: allow to choose diff command 2024-06-27 12:06:24 +02:00
clerk_driver.mli Reformat 2023-09-27 13:19:04 +02:00
clerk_report.ml clerk report: allow to choose diff command 2024-06-27 12:06:24 +02:00
clerk_report.mli clerk report: allow to choose diff command 2024-06-27 12:06:24 +02:00
clerk_runtest.ml Allow catala ocaml --closure-conversion 2024-06-21 12:23:01 +02:00
clerk_runtest.mli Generate tests reports from 'clerk test' 2024-06-19 16:10:26 +02:00
clerk_scan.ml Generate tests reports from 'clerk test' 2024-06-19 16:10:26 +02:00
clerk_scan.mli Move global options of Cli to their own module 2024-03-19 15:18:35 +01:00
clerk.ml Big reformatting 2022-03-08 15:03:14 +01:00
dune Generate tests reports from 'clerk test' 2024-06-19 16:10:26 +02:00
README.md docs(clerk): add documentation about clerk and the Ninja_utils module 2022-02-24 14:05:05 +01:00

README.md

Clerk

The build system for Catala built on top of ninja.

Usage

Use clerk --help if you have installed it to get more information about the command line options available. To get the development version of the help, run make help_clerk after make build. The clerk binary corresponds to the Catala build system, responsible for testing among other things.

Under the hood

To perform tests, Clerk will first generate a build.ninja file with required rules and build statements retrieved from the given input path(s), before executing the command ninja test.

The handling of the ninja structure is done with the module Ninja_utils.