diff options
| author | Cyril Cohen | 2018-07-31 16:17:07 +0200 |
|---|---|---|
| committer | Cyril Cohen | 2018-07-31 16:17:07 +0200 |
| commit | 629a7a065146679f14f95abf1de63a7ff3a2eacc (patch) | |
| tree | e78cba9b79b6f509a37d645a95139d143add6632 /mathcomp/ssreflect/Makefile | |
| parent | 5892b9b06ec9cd16584c4c56884949c23949cffe (diff) | |
agressive fix for duplicated files!
Diffstat (limited to 'mathcomp/ssreflect/Makefile')
| -rw-r--r-- | mathcomp/ssreflect/Makefile | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/mathcomp/ssreflect/Makefile b/mathcomp/ssreflect/Makefile index 8587073..c3092fc 100644 --- a/mathcomp/ssreflect/Makefile +++ b/mathcomp/ssreflect/Makefile @@ -2,8 +2,6 @@ # setting variables COQPROJECT?=Make -BEFOREMAKEFILES+=Makefile.coqdep -OTHERCLEAN+=Makefile.coqdep COQMAKEOPTIONS=--no-print-directory # Main Makefile @@ -11,10 +9,9 @@ include ../Makefile.common # -------------------------------------------------------------------- # this sets variable V (coq version) and MLLIBEXTRA -# assuming SSR is set to the directory which contains the ssreflect package +# assuming PLUGIN is set to the directory which contains the plugins +PLUGIN=../../plugin/ SSR=. include Makefile.detect-coq-version -COQMAKEFILEOPTIONS=$(MLLIBEXTRA) -Makefile.coqdep: - echo "COQDEP=$(COQDEP) -exclude-dir ssreflect/plugin -c" > Makefile.coqdep +COQMAKEFILEOPTIONS=$(MLLIBEXTRA) |