Add Makefile for mythril

kern · kern · commit 4be7597c67ce · 2018-05-28T19:01:56.000-07:00
diff --git a/Makefile b/Makefile
@@ -0,0 +1,10 @@
+.PHONY: install-mythril
+install-mythril:
+	brew tap ethereum/ethereum
+	brew install leveldb solidity
+	pip3 install mythril
+
+.PHONY: myth
+myth:
+	myth -x contracts/SimpleIdentityProvider.sol
+	myth -x contracts/policies/SimpleWhitelistPolicy.sol
