From mboxrd@z Thu Jan 1 00:00:00 1970 From: P Subject: Idris packaging Date: Mon, 19 Aug 2019 07:24:54 +0000 Message-ID: Reply-To: P Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:470:142:3::10]:60255) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1hzc2J-0003ru-5W for guix-devel@gnu.org; Mon, 19 Aug 2019 03:25:05 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hzc2I-0006JX-0B for guix-devel@gnu.org; Mon, 19 Aug 2019 03:25:02 -0400 Received: from mail-40130.protonmail.ch ([185.70.40.130]:58991) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1hzc2H-0006HO-Au for guix-devel@gnu.org; Mon, 19 Aug 2019 03:25:01 -0400 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: Guix-devel I ran across an idiosyncrasy in Idris's module system, it looks like `IDRIS= _LIBRARY_PATH` is not a list of colon separated paths but a single path, bu= t it supports multiple source and binary paths with the `--sourcepath` opti= on. Currently this breaks `guix environment` if Idris is installed in the u= ser's profile. Should I patch Idris itself to use a list of paths in `IDRIS_LIBRARY_PATH` = or should I create a wrapper that calls it with `--sourcepath`?