https://gitlab.com/nomadic-labs/mi-cho-coq
Raw File
Tip revision: 52f92a690e068871bca6100c785496df7548b934 authored by Julien Tesson on 15 March 2019, 13:20:40 UTC
Adding Mutually calling contracts
Tip revision: 52f92a6
Makefile.local
extraction:
	make -C src/extraction

clean-extracted:
	 make -C src/extraction clean-extracted

cleanall::
	make -C src/extraction cleanall
back to top