Re: civl and z3 _ error when I install them locally.

2016-04-28 Thread 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. ___ macpor

Re: Github Checksums ..

2016-04-28 Thread Ryan Schmidt
On Apr 16, 2016, at 9:55 AM, Rainer Müller wrote: > On 2016-04-16 02:54, Brandon Allbery wrote: >> Yes, that's what I meant. You want to point to archives, because they >> don't change; tarballs will be regenerated on the fly by github, so they >> do not have fixed checksums and you would have to

Re: automatic choice of a default +llvmXY variant via selected compiler?

2016-04-28 Thread Ryan Schmidt
On Apr 9, 2016, at 3:29 AM, René J.V. Bertin wrote: > The KF5 version of the KDevelop IDE uses libclang for its C/C++ parser, and > requires a clang installation that includes llvm-config. Apple doesn't > include that utility (and possibly other required components) in its > toolchain, so one

Re: civl and z3 _ error when I install them locally.

2016-04-28 Thread Abdulrahman Alshammari
Ryan, Thank you so much. I have edited things in z3 portfile locally but I haven’t updates in macport site. I appreciate your support. For civl, I will make all changes that you suggest. I will update you if I face further issue. Thank you again. -Abdul

Re: civl and z3 _ error when I install them locally.

2016-04-28 Thread Ryan Schmidt
On Apr 28, 2016, at 9:03 PM, Abdulrahman Alshammari wrote: > On Apr 28, 2016, at 9:29 PM, Ryan Schmidt wrote: > >> On Apr 28, 2016, at 8:08 PM, Abdulrahman Alshammari wrote: >> >>> Hey, >>> I am working in parallel between two ports. some of the tickets are useful >>> and get results. Some of

Re: civl and z3 _ error when I install them locally.

2016-04-28 Thread Abdulrahman Alshammari
--- Note: It might appear my name as "Ziad Ali" instaed of "Abdulrahman Alshammari". This is an issue that I am trying to fix. > On Apr 28, 2016, at 9:29 PM, Ryan Schmidt wrote: > > >

Re: civl and z3 _ error when I install them locally.

2016-04-28 Thread Ryan Schmidt
On Apr 28, 2016, at 8:08 PM, Abdulrahman Alshammari wrote: > Hey, > I am working in parallel between two ports. some of the tickets are useful > and get results. Some of them I get lost when I read them. > > For civl: I got this error > :error:destroot org.macports.destroot for port civl return

civl and z3 _ error when I install them locally.

2016-04-28 Thread Abdulrahman Alshammari
Hey,I am working in parallel between two ports. some of the tickets are useful and get results. Some of them I get lost when I read them.For civl: I got this error:error:destroot org.macports.destroot for port civl returned: command execution failed:debug:destroot Error code: CHILDSTATUS 575 2:debu

Re: [MacPorts] MacPortsDevelopers modified

2016-04-28 Thread Clemens Lang
Hi Marius, On Wed, Apr 27, 2016 at 12:39:18AM +, MacPorts wrote: > Page "MacPortsDevelopers" was changed by m...@macports.org > Diff URL: > > Revision 293 > Changes: > ---8<--8<--8<--8<--8<--8<