Mentions légales du service

Skip to content
Snippets Groups Projects
Commit 01b77ea9 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Add [make vendor].

parent 06b475d6
No related branches found
No related tags found
No related merge requests found
......@@ -153,3 +153,16 @@ handiwork:
opam install --yes zarith seq fix.20201120 ; \
done ; \
opam switch $$current
# ------------------------------------------------------------------------------
# Vendoring this library inside Menhir.
.PHONY: vendor
vendor:
# Copy the library to Menhir's working directory.
@ make clean
@ make -f Makefile.vendor \
THIS=feat \
CLIENTS=$(HOME)/dev/menhir \
SUPERFLUOUS=".git .gitignore headers Makefile Makefile.vendor README.md TODO.md" \
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment