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