diff options
Diffstat (limited to 'mathcomp/Makefile')
| -rw-r--r-- | mathcomp/Makefile | 41 |
1 files changed, 14 insertions, 27 deletions
diff --git a/mathcomp/Makefile b/mathcomp/Makefile index 07f1869..9064020 100644 --- a/mathcomp/Makefile +++ b/mathcomp/Makefile @@ -1,30 +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 ssreflect/Makefile.detect-coq-version -# this defined coqmakefile -include ssreflect/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,ssreflect) - # Override COQDEP to find only the "right" copy .ml files - $(H)MAKEFLAGS="$(OLD_MAKEFLAGS)" $(MAKE) --no-print-directory \ - -f Makefile.coq $* \ - COQDEP='$(COQDEP) -exclude-dir plugin -c' - -clean: - $(H)[ -e Makefile.coq ] || $(call coqmakefile,ssreflect) - $(H)MAKEFLAGS="$(OLD_MAKEFLAGS)" $(MAKE) --no-print-directory \ - -f Makefile.coq clean - $(H)rm -f Makefile.coq +# -------------------------------------------------------------------- +# this sets variable V (coq version) and MLLIBEXTRA +# assuming PLUGIN is set to the directory which contains the plugins +# and SSR is set to the directory of the ssreflect package +PLUGIN=../plugin +SSR=ssreflect +include ssreflect/Makefile.detect-coq-version +COQMAKEFILEOPTIONS=$(MLLIBEXTRA) |