path: root/mathcomp/Make.test-suite

test_suite/hierarchy_test.v
test_suite/test_ssrAC.v
test_suite/test_guard.v

-I .
-R . mathcomp

-arg -w -arg -notation-overridden
-arg -w -arg -ambiguous-paths