We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent a3d43f6 commit 8998e47Copy full SHA for 8998e47
1 file changed
tests/regression/46-apron2/dune
@@ -10,4 +10,6 @@
10
(action (chdir ../../.. (run %{update_suite} group apron2 -q))))
11
12
(cram
13
+ (alias runaprontest)
14
+ (enabled_if %{lib-available:apron})
15
(deps (glob_files *.c)))
0 commit comments