Skip to content

Commit

Permalink
Skip ml tests with make hacking-runtest
Browse files Browse the repository at this point in the history
  • Loading branch information
ccasin committed May 5, 2024
1 parent 1016956 commit f798adc
Show file tree
Hide file tree
Showing 2 changed files with 7 additions and 4 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -5,14 +5,16 @@

(rule
(alias runtest)
(enabled_if (= %{context_name} "main"))
(deps test1.ml test1.mli)
(action
(progn
(run %{bin:ocamlopt.opt} -validate test1.mli test1.ml))))
(run %{bin:ocamlopt.opt} -c -validate test1.mli test1.ml))))

(rule
(alias runtest)
(enabled_if (= %{context_name} "main"))
(deps test2.ml test2.mli)
(action
(progn
(run %{bin:ocamlopt.opt} -validate test2.mli test2.ml))))
(run %{bin:ocamlopt.opt} -c -validate test2.mli test2.ml))))
5 changes: 3 additions & 2 deletions middle_end/flambda2/validate/test-validate/test-mls/script.ml
Original file line number Diff line number Diff line change
Expand Up @@ -11,11 +11,12 @@ let [@ocamlformat "disable"] print_test_rule ~compiler ~file =
Format.printf
{|
(rule
(alias runtest)
(alias runtest)
(enabled_if (= %{context_name} "main"))
(deps %s.ml %s.mli)
(action
(progn
(run %s -validate %s.mli %s.ml))))
(run %s -c -validate %s.mli %s.ml))))
|}
file file compiler file file

Expand Down

0 comments on commit f798adc

Please sign in to comment.