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

[Achim Gratz]

Yaakov (Cygwin/X) writes:
>> 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.

Can't you simply tell me how I should name it or should I throw a coin?

>> 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.

What do your rules resolve to w.r.t. libgmp-doc, libmpfr-doc,
libmpc-doc?  That's what they're named on 32bit and those were the
trigger for me having second thoughts about the whole naming exercise in
the first place.


Regards,
Achim.
-- 
+<[Q+ Matrix-12 WAVE#46+305 Neuron microQkb Andromeda XTk Blofeld]>+

Factory and User Sound Singles for Waldorf Blofeld:
http://Synth.Stromeko.net/Downloads.html#WaldorfSounds