diff options
| author | Enrico Tassi | 2015-03-09 11:07:53 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2015-03-09 11:24:38 +0100 |
| commit | fc84c27eac260dffd8f2fb1cb56d599f1e3486d9 (patch) | |
| tree | c16205f1637c80833a4c4598993c29fa0fd8c373 /mathcomp/ssrtest/Makefile | |
Initial commit
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) $@ |