From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.org/gmane.linux.lib.musl.general/9011 Path: news.gmane.org!not-for-mail From: Alba Pompeo Newsgroups: gmane.linux.lib.musl.general Subject: Re: musl & proprietary programs Date: Thu, 24 Dec 2015 19:29:34 -0200 Message-ID: References: <20151222132706.57214aa6@vostro> <20151222222513.10f23f5a@r2lynx> <20151223144852.GR23362@port70.net> <20151224002205.588ac8e8@r2lynx> <20151223174352.GA238@brightrain.aerifal.cx> <20151224015135.34dfe5f4@r2lynx> <20151224070051.GA5769@newbook> <20151224194944.GA6996@newbook> Reply-To: musl@lists.openwall.com NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 X-Trace: ger.gmane.org 1450992597 23696 80.91.229.3 (24 Dec 2015 21:29:57 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 24 Dec 2015 21:29:57 +0000 (UTC) To: musl@lists.openwall.com Original-X-From: musl-return-9024-gllmg-musl=m.gmane.org@lists.openwall.com Thu Dec 24 22:29:51 2015 Return-path: Envelope-to: gllmg-musl@m.gmane.org Original-Received: from mother.openwall.net ([195.42.179.200]) by plane.gmane.org with smtp (Exim 4.69) (envelope-from ) id 1aCDSG-0007PU-J0 for gllmg-musl@m.gmane.org; Thu, 24 Dec 2015 22:29:48 +0100 Original-Received: (qmail 30354 invoked by uid 550); 24 Dec 2015 21:29:46 -0000 Mailing-List: contact musl-help@lists.openwall.com; run by ezmlm Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: Original-Received: (qmail 30336 invoked from network); 24 Dec 2015 21:29:46 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :content-type; bh=GoeSbxL23kPa5uqdOCZFH0k+q4NCcVYPLj3RLjRYxtQ=; b=FcU4Uf9i1I0LuFzwY56GP/DxBj43xKF5JPhxJGyFTPw+Mnp7+U83/R0nsnASS2g3tX GaFZEwI05vkzSBW85xgHvxus9QjaaREG5/unTn0LYYSnzUuPvnCLdjHmPgW2iAHibgUP OSxO1EdTEX9dQD1pMBjyf/tYT7MzWBSEfAZXkb8+J/RVOHjTOuIzFVRHvbZcieLcAZQN ZwXWcCrKczv6pT9BAG10PpcMQla/cdb/RyGd9hl7LjEiV2KbCK33TilR4HicDgVIK4z7 nhUC5zvSTXM0IckHLiK5QowJsKWI2NyLY6L/ie/LINmh38UBO9WAzqLcemstgHV3Ibef ReSA== X-Received: by 10.194.103.198 with SMTP id fy6mr26028365wjb.48.1450992574911; Thu, 24 Dec 2015 13:29:34 -0800 (PST) In-Reply-To: <20151224194944.GA6996@newbook> Xref: news.gmane.org gmane.linux.lib.musl.general:9011 Archived-At: 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 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