From mboxrd@z Thu Jan  1 00:00:00 1970
From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=)
Subject: Re: (dynamic-link "libm") doesn't work on guile
Date: Sat, 09 Jan 2016 18:39:21 +0100
Message-ID: <87poxabqk6.fsf@gnu.org>
References: <87bn8x65i9.fsf@gmail.com> <87a8ogbvii.fsf@member.fsf.org>
	<87bn8w9r89.fsf@gmail.com> <87vb74ji1y.fsf@gnu.org>
	<87fuy6rgky.fsf@gmail.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Return-path: <help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:52950)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <ludo@gnu.org>) id 1aHxUA-00030y-3K
	for help-guix@gnu.org; Sat, 09 Jan 2016 12:39:33 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <ludo@gnu.org>) id 1aHxU4-00081l-KC
	for help-guix@gnu.org; Sat, 09 Jan 2016 12:39:30 -0500
In-Reply-To: <87fuy6rgky.fsf@gmail.com> (Alex Vong's message of "Sat, 09 Jan
	2016 22:08:13 +0800")
List-Id: <help-guix.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/help-guix>,
	<mailto:help-guix-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/help-guix>
List-Post: <mailto:help-guix@gnu.org>
List-Help: <mailto:help-guix-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/help-guix>,
	<mailto:help-guix-request@gnu.org?subject=subscribe>
Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org
Sender: help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org
To: Alex Vong <alexvong1995@gmail.com>
Cc: help-guix@gnu.org

Alex Vong <alexvong1995@gmail.com> skribis:

> ludo@gnu.org (Ludovic Court=C3=A8s) writes:

[...]

>> I think that=E2=80=99s because libm.so and libc.so are linker scripts, w=
hereas
>> libm-2.22.so and libc-2.22.so are the actual ELF files:
>>
>> $ cat ~/.guix-profile/lib/libm.so
>> /* GNU ld script
>> */
>> OUTPUT_FORMAT(elf64-x86-64)
>> GROUP ( /gnu/store/qv7bk62c22ms9i11dhfl71hnivyc82k2-glibc-2.22/lib/libm.=
so.6  AS_NEEDED ( /gnu/store/qv7bk62c22ms9i11dhfl71hnivyc82k2-glibc-2.22/li=
b/libmvec.so.1 ) )
>> $ cat ~/.guix-profile/lib/libc.so
>> /* GNU ld script
>>    Use the shared library, but some functions are only in
>>    the static library, so try that secondarily.  */
>> OUTPUT_FORMAT(elf64-x86-64)
>> GROUP ( /gnu/store/qv7bk62c22ms9i11dhfl71hnivyc82k2-glibc-2.22/lib/libc.=
so.6 /gnu/store/qv7bk62c22ms9i11dhfl71hnivyc82k2-glibc-2.22/lib/libc_nonsha=
red.a  AS_NEEDED ( /gnu/store/qv7bk62c22ms9i11dhfl71hnivyc82k2-glibc-2.22/l=
ib/ld-linux-x86-64.so.2 ) )
>>
> I think you are right, libm.so is a binary file in Debian,

That=E2=80=99s because Debian uses libc < 2.22 (libc 2.22 introduced libmve=
c,
hence the linker script.)

> Is there way to specify an ABI version (I suppose 6 is the ABI version
> since we have libm.so.6) when dlopening a shared library to avoid this
> glitch?

Unfortunately no, that=E2=80=99s a long-standing libltdl bug:

  https://lists.gnu.org/archive/html/guile-devel/2011-03/msg00021.html
  https://lists.gnu.org/archive/html/bug-libtool/2011-03/msg00029.html

You=E2=80=99d make a lot of people happy by fixing libltdl.  ;-)

Thanks,
Ludo=E2=80=99.