civl and z3 _ error when I install them locally.

Ryan Schmidt ryandesign at
Thu Apr 28 19:31:02 PDT 2016

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.

More information about the macports-dev mailing list