blob: 9cce300dd411f64054e0f6b22e3ec772eec8d21e (
plain)
1
2
3
4
5
6
7
8
9
|
define coqmakefile
(echo "Generating Makefile.coq for Coq $(V) with COQBIN=$(COQBIN)";\
ln -sf $(1)/plugin/$(V)/ssreflect.mllib .;\
ln -sf $(1)/plugin/$(V)/ssrmatching.mli .;\
ln -sf $(1)/plugin/$(V)/ssrmatching.ml4 .;\
ln -sf $(1)/plugin/$(V)/ssreflect.ml4 .;\
$(COQBIN)coq_makefile -f Make -o Makefile.coq)
endef
|
