Changed makefiles

This commit is contained in:
Denis Merigoux 2021-03-18 18:31:34 +01:00
parent c2bc7e9323
commit 5e0f8940e6
No known key found for this signature in database
GPG Key ID: EE99DCFA365C3EE3
2 changed files with 2 additions and 4 deletions

View File

@ -174,10 +174,10 @@ generate_french_law_library:\
build_french_law_library: generate_french_law_library format
dune build $(FRENCH_LAW_LIB_DIR)
run_french_law_library_benchmark: build_french_law_library
run_french_law_library_benchmark: generate_french_law_library
dune exec $(FRENCH_LAW_LIB_DIR)/bench.exe
run_french_law_library_tests: build_french_law_library
run_french_law_library_tests: generate_french_law_library
dune exec $(FRENCH_LAW_LIB_DIR)/law_source/unit_tests/run_tests.exe
#> build_french_law_library_js : Builds the JS version of the OCaml French law library

View File

@ -1,6 +1,4 @@
(executable
(name run_tests)
(modes native)
(package catala)
(public_name run_french_law_tests)
(libraries catala ANSITerminal))