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/Makefile | |
| parent | 5892b9b06ec9cd16584c4c56884949c23949cffe (diff) | |
agressive fix for duplicated files!
Diffstat (limited to 'mathcomp/Makefile')
| -rw-r--r-- | mathcomp/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/mathcomp/Makefile b/mathcomp/Makefile index 2acfa83..9064020 100644 --- a/mathcomp/Makefile +++ b/mathcomp/Makefile @@ -9,7 +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 +# and SSR is set to the directory of the ssreflect package +PLUGIN=../plugin SSR=ssreflect include ssreflect/Makefile.detect-coq-version COQMAKEFILEOPTIONS=$(MLLIBEXTRA) |