From mboxrd@z Thu Jan  1 00:00:00 1970
From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=)
Subject: Re: Seg fault when building from git
Date: Sat, 23 Nov 2013 22:48:29 +0100
Message-ID: <8761rix00i.fsf@gnu.org>
References: <20131123132131.GA26055@jocasta.intra> <87txf3xhnd.fsf@gnu.org>
	<20131123155055.GA32705@jocasta.intra> <87ob5bvxcl.fsf@gnu.org>
	<20131123173627.GA2284@jocasta.intra>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Return-path: <guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:55205)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <ludo@gnu.org>) id 1VkL49-0006XV-Ci
	for guix-devel@gnu.org; Sat, 23 Nov 2013 16:48:43 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <ludo@gnu.org>) id 1VkL43-0004eg-4j
	for guix-devel@gnu.org; Sat, 23 Nov 2013 16:48:37 -0500
Received: from mail2-relais-roc.national.inria.fr ([192.134.164.83]:36104)
	by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from <ludo@gnu.org>)
	id 1VkL42-0004eT-Ug
	for guix-devel@gnu.org; Sat, 23 Nov 2013 16:48:31 -0500
In-Reply-To: <20131123173627.GA2284@jocasta.intra> (John Darrington's message
	of "Sat, 23 Nov 2013 18:36:27 +0100")
List-Id: "Development of GNU Guix and the GNU System distribution."
	<guix-devel.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/guix-devel>,
	<mailto:guix-devel-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/guix-devel>
List-Post: <mailto:guix-devel@gnu.org>
List-Help: <mailto:guix-devel-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/guix-devel>,
	<mailto:guix-devel-request@gnu.org?subject=subscribe>
Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org
Sender: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org
To: John Darrington <john@darrington.wattle.id.au>
Cc: guix-devel@gnu.org

John Darrington <john@darrington.wattle.id.au> skribis:

> On Sat, Nov 23, 2013 at 06:31:22PM +0100, Ludovic Court??s wrote:
>=20=20=20=20=20=20
>=20=20=20=20=20=20
>      > Program terminated with signal 11, Segmentation fault.
>      > #0  0x408701e5 in scm_init_gnutls () from /usr/lib/i386-linux-gnu/=
libguile-gnutls-v-1.so
>      > (gdb) bt full
>      > #0  0x408701e5 in scm_init_gnutls () from /usr/lib/i386-linux-gnu/=
libguile-gnutls-v-1.so
>      > No symbol table info available.
>      > #1  0x4012aee2 in scm_dynamic_call () from /usr/lib/libguile-2.0.s=
o.22
>      > No symbol table info available.
>      > #2  0x40093949 in ?? () from /usr/lib/libguile-2.0.so.22
>      > No symbol table info available.
>      > #3  0x40093980 in scm_load_extension () from /usr/lib/libguile-2.0=
.so.22
>      > No symbol table info available.
>=20=20=20=20=20=20
>      What does ???ldd /usr/lib/i386-linux-gnu/libguile-gnutls-v-1.so??? r=
eport?
>=20=20=20=20=20=20
> $ ldd /usr/lib/i386-linux-gnu/libguile-gnutls-v-1.so
>         linux-gate.so.1 =3D>  (0xb77c9000)
>         libgnutls.so.26 =3D> /usr/lib/i386-linux-gnu/libgnutls.so.26 (0xb=
76bc000)
>         libguile.so.17 =3D> /usr/lib/libguile.so.17 (0xb75c0000)

So indeed, that=E2=80=99s the problem: the guile-gnutls package is linked
against Guile 1.8.

What could work for you is:

  sudo apt-get remove guile-gnutls
  guix package -i guile -i gnutls

HTH,
Ludo=E2=80=99.