From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?UTF-8?Q?Court=C3=A8s?=) Subject: bug#25449: GHC packages take a long time to install Date: Sun, 15 Jan 2017 21:24:44 +0100 Message-ID: <87tw90gjg3.fsf@gnu.org> References: <87a8atmtmd.fsf@gnu.org> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:55351) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cSrMM-0007LF-L3 for bug-guix@gnu.org; Sun, 15 Jan 2017 15:25:03 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1cSrML-00006d-Rc for bug-guix@gnu.org; Sun, 15 Jan 2017 15:25:02 -0500 Received: from debbugs.gnu.org ([208.118.235.43]:39652) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1cSrML-00006X-OU for bug-guix@gnu.org; Sun, 15 Jan 2017 15:25:01 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1cSrML-00029f-Ij for bug-guix@gnu.org; Sun, 15 Jan 2017 15:25:01 -0500 Sender: "Debbugs-submit" Resent-Message-ID: In-Reply-To: (David Craven's message of "Sat, 14 Jan 2017 19:25:07 +0100") List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org Sender: "bug-Guix" To: David Craven Cc: 25449@debbugs.gnu.org Hi! David Craven skribis: > guix build idris -n works for me too. OK. And how long does it take, since this was the subject of this report? > guix build idris --no-substitutes does this (which may be a problem on my= end): [...] > error: failed to run download program > '/home/dvc/guix/nix/scripts/download': Permission denied Problem on your end I think. :-) That script must be readable and executable by the guixbuild* users (thus, its parent directories must be readable/executable as well). HTH! Ludo=E2=80=99.