diff options
Diffstat (limited to 'mathcomp/Makefile.coq.local')
| -rw-r--r-- | mathcomp/Makefile.coq.local | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/mathcomp/Makefile.coq.local b/mathcomp/Makefile.coq.local deleted file mode 100644 index a5bbf9d..0000000 --- a/mathcomp/Makefile.coq.local +++ /dev/null @@ -1,8 +0,0 @@ -VOFILES += test_suite/hierarchy_test.vo - -test_suite/hierarchy_test.vo: test_suite/hierarchy_test.v all/all.vo - -test_suite/hierarchy_test.v: all/all.vo - mkdir -p test_suite/ - COQBIN=$(COQBIN) ocaml ../etc/utils/hierarchy.ml -verify \ - -R . mathcomp -lib all.all > test_suite/hierarchy_test.v |