diff options
Diffstat (limited to 'mathcomp/ssrtest/Makefile')
| -rw-r--r-- | mathcomp/ssrtest/Makefile | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/mathcomp/ssrtest/Makefile b/mathcomp/ssrtest/Makefile new file mode 100644 index 0000000..4bcf4fb --- /dev/null +++ b/mathcomp/ssrtest/Makefile @@ -0,0 +1,26 @@ +MAKEFLAGS := -r + +.SUFFIXES: + +.PHONY: clean all config tags install + +COQMAKEFILE := Makefile.coq +COQMAKE := +$(MAKE) -f $(COQMAKEFILE) + +all: $(COQMAKEFILE) + $(COQMAKE) all + +$(COQMAKEFILE) config: + $(COQBIN)coq_makefile -f Make -o $(COQMAKEFILE) + +clean: $(COQMAKEFILE) + $(COQMAKE) clean + $(RM) -rf $(COQMAKEFILE) + +tags: + $(COQBIN)coqtags `find . -name \*.v` + +install: + +%: Makefile.coq + $(COQMAKE) $@ |