diff options
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 |