Re: musl & proprietary programs

[Alba Pompeo <albapompeo@gmail.com>]

Isaac, I just realized nobody on the mailing list received that copy I
sent you. It was delivered to just 1 person by my mistake.
Here's a copy to everyone.

Here's a list of some programs I couldn't get to work - in
alphabetical order and with links to those easily available (no
registration required for free trial).

AIMMS http://download.aimms.com/aimms/download/data/4.13/2.233/Aimms-4.13.2-233.x86_64.rpm
AMPL http://ampl.com/dl/demo/ampl-demo-linux64.tar.gz
MATLAB
Siemens NX
SPSS

It was a colleague that recommended me musl and I immediately loved it
after reading about its goals. But he forgot to tell me about these
shortcomings, which he has too. We both have to dual-boot to use most
proprietary software we need. Maybe we are doing something wrong?

I both thanked my colleague to have introduced me to musl and cursed
him for making my life harder :)
But in general I'm pleased to use musl now. I hope the proprietary
software I need works well.

For now I'd like to focus on AMPL. I got it to run on a chroot as per
my work colleague help, but Rich Felker's suggestions sounds much
better. But I'm out of luck by being a novice user. Does anyone know
of a guide for Void or Alpine (musl distributions) that explain it in
a step-by-step? I couldn't find any.

@Isaac
If it makes things easier, CPLEX can be used instead of MINOS. Does
that helps a bit?

Ciao.

On Thu, Dec 24, 2015 at 5:49 PM, Isaac Dunham <ibid.ag@gmail.com> wrote:
> On Wed, Dec 23, 2015 at 11:00:51PM -0800, Isaac Dunham wrote:
>> On Wed, Dec 23, 2015 at 06:00:12PM -0200, Alba Pompeo wrote:
>> > I also don't want to pollute my system with glibc. That's why I asked
>> > if there was any plan to improve musl support of proprietary programs
>> > like the ones I listed.
>>
>> I looked through the thread and saw no list of proprietary programs.
>> (Is this undelivered mail? is google bouncing random emails?)
>
> (Apparently didn't get successfully delivered from the list to me; thanks
>  for sending a copy.)
>
> Looking at AMPL's linux32 demo, I get this list of missing functions:
>  __divdi3
>  __fpu_control
>  __isinf
>  __isinfl
>  __isnanl
>  __strtod_internal
>  fedisableexcept
>  feenableexcept
>  pthread_rwlockattr_setkind_np
>
> The first indicates that it may be necessary to add libgcc_s.so.1 to
> LD_PRELOAD.
> The rest are missing from musl for ABI compat.
> ampl and minos are "for GNU/Linux 2.2.5", so may use the 32-bit IO abi.
> __is* can be trivially implemented.
> __strtod_internal is a version of strtod with an extra int that's expected
> to be 0 (per LSB); no idea what that's for.
>
> HTH,
> Isaac Dunham