From mboxrd@z Thu Jan 1 00:00:00 1970 From: Frederick Muriithi Subject: Re: [PATCH 4/6] gnu: Add python-pycosat Date: Thu, 9 Feb 2017 19:46:26 +0300 Message-ID: References: <1486490441-3995-1-git-send-email-fredmanglis@gmail.com> <1486490441-3995-4-git-send-email-fredmanglis@gmail.com> <87a89wb9a7.fsf@kirby.i-did-not-set--mail-host-address--so-tickle-me> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:47681) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cbrrs-0003ST-48 for guix-devel@gnu.org; Thu, 09 Feb 2017 11:46:48 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1cbrrr-0002sD-Du for guix-devel@gnu.org; Thu, 09 Feb 2017 11:46:48 -0500 Received: from mail-yb0-x244.google.com ([2607:f8b0:4002:c09::244]:36198) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1cbrrr-0002rt-9P for guix-devel@gnu.org; Thu, 09 Feb 2017 11:46:47 -0500 Received: by mail-yb0-x244.google.com with SMTP id o65so369380ybo.3 for ; Thu, 09 Feb 2017 08:46:47 -0800 (PST) In-Reply-To: <87a89wb9a7.fsf@kirby.i-did-not-set--mail-host-address--so-tickle-me> List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: "Guix-devel" To: Marius Bakke Cc: guix-devel@gnu.org On Thu, Feb 9, 2017 at 1:35 AM, Marius Bakke wrote: > > Does this package not need "picosat" as input? Or is it bundled? > I used `./pre-inst-env guix environment guix --pure -- ./pre-inst-env guix build --rounds=3 python-pycosat` to build the package, and it built successfully without requiring picosat as an input, and hence I submitted the patch as it was. I will fix the remaining issues and resubmit the patch -- Frederick M. Muriithi