CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-09-19 00:15:39 +03:00
Code Issues Projects Releases Wiki Activity

Formatting

Browse Source
This commit is contained in:
Louis Gesbert 2024-02-09 18:36:12 +01:00
parent e308ff8d02
commit f7672857a7
3 changed files with 4 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
build_system/clerk_driver.ml
View File

@ -459,9 +459,7 @@ let base_bindings catala_exe catala_flags build_dir include_dirs =
];
Nj.binding Var.catala_flags (catala_flags @ includes);
Nj.binding Var.clerk_flags
("-e"
:: Var.(!catala_exe)
:: includes
(("-e" :: Var.(!catala_exe) :: includes)
@ List.map (fun f -> "--catala-opts=" ^ f) catala_flags);
Nj.binding Var.ocamlopt_exe ["ocamlopt"];
Nj.binding Var.ocamlopt_flags (ocamlopt_flags @ includes);

3
build_system/clerk_runtest.ml
View File

@ -94,8 +94,7 @@ let run_inline_tests catala_exe catala_opts filename =
skip_block lines
| Some args ->
let args = String.split_on_char ' ' args in
run_catala_test catala_exe catala_opts filename
lines_until_now args oc;
run_catala_test catala_exe catala_opts filename lines_until_now args oc;
skip_block lines)
and skip_block lines =
match Seq.uncons lines with

4
build_system/clerk_runtest.mli
View File

@ -23,6 +23,6 @@
open Catala_utils
val run_inline_tests : string -> string list -> File.t -> unit
(** [run_inline_tests catala_exe catala_opts file] runs the tests in
Catala [file] using the given path to the Catala executable and the provided
(** [run_inline_tests catala_exe catala_opts file] runs the tests in Catala
[file] using the given path to the Catala executable and the provided
options. Output is printed to [stdout]. *)