Update COMPILING with cmake setup instructions#1523
Merged
kroening merged 1 commit intodiffblue:developfrom Oct 25, 2017
Merged
Update COMPILING with cmake setup instructions#1523kroening merged 1 commit intodiffblue:developfrom
kroening merged 1 commit intodiffblue:developfrom
