diff options
| author | Cyril Cohen | 2018-07-31 15:20:43 +0200 |
|---|---|---|
| committer | Cyril Cohen | 2018-07-31 15:41:45 +0200 |
| commit | 7d7b0688c818c5dde68d2b2bfc8ba3aecfe017d6 (patch) | |
| tree | 69c32570a9e238a717b89b5015137233d9080cbb /mathcomp/ssreflect/Makefile | |
| parent | 4199c23da311e612cb1ae45cf5519b5f3947c3b3 (diff) | |
removing dead code + reshuffling stuff
Diffstat (limited to 'mathcomp/ssreflect/Makefile')
| -rw-r--r-- | mathcomp/ssreflect/Makefile | 25 |
1 files changed, 9 insertions, 16 deletions
diff --git a/mathcomp/ssreflect/Makefile b/mathcomp/ssreflect/Makefile index 817a89c..2c1fc01 100644 --- a/mathcomp/ssreflect/Makefile +++ b/mathcomp/ssreflect/Makefile @@ -1,22 +1,15 @@ # -*- Makefile -*- -COQPROJECT="Make" +# setting variables +COQPROJECT?=Make +COQMAKEOPTIONS=--no-print-directory -# -------------------------------------------------------------------- -# this sets variable V -include Makefile.detect-coq-version -# this defines prepare_coqmakefile -include Makefile.coq-makefile +# Main Makefile include ../Makefile.common # -------------------------------------------------------------------- -COQMAKEOPTIONS=--no-print-directory \ - COQDEP='$(COQDEP) -exclude-dir plugin -c' -COQMAKEFILEOPTIONS=$(MLLIB) $(EXTRA) - -# -------------------------------------------------------------------- -.PHONY: pre_makefile -BEFOREMAKEFILE=pre_makefile - -pre_makefile: - $(call prepare_coqmakefile,.) +# this sets variable V (coq version) and MLLIBEXTRA +# assuming SSR is set to the directory which contains the ssreflect package +SSR=. +include Makefile.detect-coq-version +COQMAKEFILEOPTIONS=$(MLLIBEXTRA) |