[RFU 64bit] gmp / mpfr / mpc / ppl / isl / cloog-ppl / cloog

[Yaakov (Cygwin/X)]

On 2013-05-02 14:19, Achim Gratz wrote:
> Yaakov (Cygwin/X) writes:
>> I would prefer that we stick with the naming used for the existing
>> 64bit packages, which would not require a bunch of renamings on the
>> 32bit side either.
>
> You are asking for the impossible.

WRT Cygwin, I *specialize* in the "impossible". :-)

> MPC is called mpclib in 32bit and libmpc in 64bit — which one to
> keep?

While the libmpc name makes more sense IMO, as we're already using 
mpclib, you could stick with that.  Only the source package uses this 
name, so changing this now won't really affect anything.

> PPL has its doc in ppl-doc rather than libppl-doc in both 32bit
> and 64bit — change to libppl-doc per your rules or keep?

My "rules" would say ppl-doc.


Yaakov