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.detect-coq-version | |
| parent | 5892b9b06ec9cd16584c4c56884949c23949cffe (diff) | |
agressive fix for duplicated files!
Diffstat (limited to 'mathcomp/ssreflect/Makefile.detect-coq-version')
| -rw-r--r-- | mathcomp/ssreflect/Makefile.detect-coq-version | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/mathcomp/ssreflect/Makefile.detect-coq-version b/mathcomp/ssreflect/Makefile.detect-coq-version index 385c078..0f7d9de 100644 --- a/mathcomp/ssreflect/Makefile.detect-coq-version +++ b/mathcomp/ssreflect/Makefile.detect-coq-version @@ -12,9 +12,9 @@ V:=$(BRANCH_coq) MLLIBEXTRA:=$(shell \ if [ $(V) = "8.6" ];\ - then cp $(SSR)/plugin/v$(V)/ssreflect_plugin.mlpack .;\ - cp $(SSR)/plugin/v$(V)/ssreflect.ml4 .;\ - cp $(SSR)/plugin/v$(V)/ssrbool.v $(SSR)/;\ - cp $(SSR)/plugin/v$(V)/ssrfun.v $(SSR)/;\ - cp $(SSR)/plugin/v$(V)/ssreflect.v $(SSR)/;\ + then cp $(PLUGIN)/v$(V)/ssreflect_plugin.mlpack .;\ + cp $(PLUGIN)/v$(V)/ssreflect.ml4 .;\ + cp $(PLUGIN)/v$(V)/ssrbool.v $(SSR)/;\ + cp $(PLUGIN)/v$(V)/ssrfun.v $(SSR)/;\ + cp $(PLUGIN)/v$(V)/ssreflect.v $(SSR)/;\ echo "ssreflect_plugin.mlpack ssreflect.ml4"; fi) |