blob: c6a981a01f1a5705c25db4cb527b00bea646fa92 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
BRANCH_coq:= $(shell $(COQBIN)coqtop -v | head -1 | grep -E '(trunk|master)' \
| wc -l | sed 's/ *//g')
ifneq "$(BRANCH_coq)" "0"
COQVERSION:= master
else
COQVERSION:= $(shell $(COQBIN)coqtop -v | head -1 \
| sed 's/.*version \([0-9]\.[0-9]\)[^ ]* .*/\1/')
endif
MLLIBEXTRA:=$(shell \
if [ $(COQVERSION) = "8.6" ];\
then cp $(PLUGIN)/v$(COQVERSION)/ssreflect_plugin.mlpack .;\
cp $(PLUGIN)/v$(COQVERSION)/ssreflect.ml4 .;\
cp $(PLUGIN)/v$(COQVERSION)/ssrbool.v $(SSR)/;\
cp $(PLUGIN)/v$(COQVERSION)/ssrfun.v $(SSR)/;\
cp $(PLUGIN)/v$(COQVERSION)/ssreflect.v $(SSR)/;\
echo "ssreflect_plugin.mlpack ssreflect.ml4"; fi)
|
