Add shell scripts contract-compile and contract-prove to KPlutus executable directory.
Change Makefile to do so.
Add the above scripts.
Update README.md with a draft explanation on how to use the scripts.
With this PR and #381, assuming the directory structure and files exlpained in README.md/Compiling contracts, one just need to hit contract-contract and contract-prove to get one's properties proven.
Add shell scripts
contract-compileandcontract-proveto KPlutus executable directory.Makefileto do so.README.mdwith a draft explanation on how to use the scripts.With this PR and #381, assuming the directory structure and files exlpained in
README.md/Compiling contracts, one just need to hitcontract-contractandcontract-proveto get one's properties proven.