Bug#534177: [pkg-fso-maint] Bug#534177: Please provide single-precision library as well

[Nikita V. Youshchenko]

> > > on some hardware like the Openmoko FreeRunner, using libode built
> > > with double precision is not possible, as it it just too slow. This
> > > can be worked around with building ode with single precision. Having
> > > such a package in Debian would enable the use of mokomaze.
> > > ...
> >
> > Make sence, but how will you switch between the two different lib
> > since they don't share the same ABI? Maybe we can disable double
> > precision on the slow archs (armel, mips, m68k). I don't know if it's
> > an acceptable solution?
>
> hmm, right, didn’t think of the ABI incompatibility.
>
> Making this dependent on the architecture sounds like a good compromise
> to me, at least until someone else complains.

Why not just make two libs with different sonames?