Follow @Openwall on Twitter for new release announcements and other news
[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Date: Thu, 24 Dec 2015 19:29:34 -0200
From: Alba Pompeo <>
Subject: Re: musl & proprietary programs

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

Siemens NX

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.

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


On Thu, Dec 24, 2015 at 5:49 PM, Isaac Dunham <> 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 to
> 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

Powered by blists - more mailing lists

Confused about mailing lists and their use? Read about mailing lists on Wikipedia and check out these guidelines on proper formatting of your messages.