diff options
| author | Enrico | 2018-08-01 11:48:09 +0200 |
|---|---|---|
| committer | GitHub | 2018-08-01 11:48:09 +0200 |
| commit | 247ec435a6dd1c17a42b75ae46763a9062f1f291 (patch) | |
| tree | e78cba9b79b6f509a37d645a95139d143add6632 /mathcomp/ssreflect/Makefile | |
| parent | 6c6c907438f4179ac335e7daa9f1ed030c0c8259 (diff) | |
| parent | 629a7a065146679f14f95abf1de63a7ff3a2eacc (diff) | |
Merge pull request #213 from CohenCyril/Makefile
Rework the whole Makefile architecture
Diffstat (limited to 'mathcomp/ssreflect/Makefile')
| -rw-r--r-- | mathcomp/ssreflect/Makefile | 37 |
1 files changed, 13 insertions, 24 deletions
diff --git a/mathcomp/ssreflect/Makefile b/mathcomp/ssreflect/Makefile index e4474c2..c3092fc 100644 --- a/mathcomp/ssreflect/Makefile +++ b/mathcomp/ssreflect/Makefile @@ -1,28 +1,17 @@ -H=@ +# -*- Makefile -*- -ifeq "$(COQBIN)" "" -COQBIN=$(dir $(shell which coqtop))/ -endif +# setting variables +COQPROJECT?=Make +COQMAKEOPTIONS=--no-print-directory -# this sets variable V -include Makefile.detect-coq-version -# this defined coqmakefile -include Makefile.coq-makefile - -COQDEP=$(COQBIN)coqdep - -OLD_MAKEFLAGS:=$(MAKEFLAGS) -MAKEFLAGS+=-B +# Main Makefile +include ../Makefile.common -.DEFAULT_GOAL := all - -%: - $(H)[ -e Makefile.coq ] || $(call coqmakefile,.) - $(H)MAKEFLAGS="$(OLD_MAKEFLAGS)" $(MAKE) --no-print-directory \ - -f Makefile.coq $* \ - COQDEP='$(COQDEP) -exclude-dir plugin -c' +# -------------------------------------------------------------------- +# this sets variable V (coq version) and MLLIBEXTRA +# assuming PLUGIN is set to the directory which contains the plugins +PLUGIN=../../plugin/ +SSR=. +include Makefile.detect-coq-version -clean: - $(H)MAKEFLAGS="$(OLD_MAKEFLAGS)" $(MAKE) --no-print-directory \ - -f Makefile.coq clean - $(H)rm -f Makefile.coq +COQMAKEFILEOPTIONS=$(MLLIBEXTRA) |