diff options
| author | Cyril Cohen | 2018-07-31 16:06:28 +0200 |
|---|---|---|
| committer | Cyril Cohen | 2018-07-31 16:06:28 +0200 |
| commit | 5892b9b06ec9cd16584c4c56884949c23949cffe (patch) | |
| tree | 2af8eaed76e846fee4973b28980cb88826a12b44 /mathcomp | |
| parent | 1a4a4b1cd2407ffd8b76fb544596d1c91ea63a4b (diff) | |
change coqdep
Diffstat (limited to 'mathcomp')
| -rw-r--r-- | mathcomp/ssreflect/Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/mathcomp/ssreflect/Makefile b/mathcomp/ssreflect/Makefile index 2c1fc01..8587073 100644 --- a/mathcomp/ssreflect/Makefile +++ b/mathcomp/ssreflect/Makefile @@ -2,6 +2,8 @@ # setting variables COQPROJECT?=Make +BEFOREMAKEFILES+=Makefile.coqdep +OTHERCLEAN+=Makefile.coqdep COQMAKEOPTIONS=--no-print-directory # Main Makefile @@ -13,3 +15,6 @@ include ../Makefile.common SSR=. include Makefile.detect-coq-version COQMAKEFILEOPTIONS=$(MLLIBEXTRA) + +Makefile.coqdep: + echo "COQDEP=$(COQDEP) -exclude-dir ssreflect/plugin -c" > Makefile.coqdep |