blob: d2e8dce55aa8238ecac2bcd2fbe7f483cc95fc24 (
plain)
1
2
3
4
5
6
7
8
|
MLLIBEXTRA=$(shell \
if [ $(COQVV) = "8.6" ];\
then cp $(PLUGIN)/v$(COQVV)/ssreflect_plugin.mlpack .;\
cp $(PLUGIN)/v$(COQVV)/ssreflect.ml4 .;\
cp $(PLUGIN)/v$(COQVV)/ssrbool.v $(SSR)/;\
cp $(PLUGIN)/v$(COQVV)/ssrfun.v $(SSR)/;\
cp $(PLUGIN)/v$(COQVV)/ssreflect.v $(SSR)/;\
echo "ssreflect_plugin.mlpack ssreflect.ml4"; fi)
|
