civl and z3 _ error when I install them locally.

[Ryan Schmidt]

On Apr 28, 2016, at 9:23 PM, Ryan Schmidt wrote:

> You can override the destroot phase with:
> 
> destroot {
>    system -C ${worksrcpath} "java -jar filename.jar"
> }

Sorry, I've made the same mistake twice: it's system -W, not system -C.