From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id +OA0FQcsAWO+AwEAbAwnHQ (envelope-from ) for ; Sat, 20 Aug 2022 20:46:31 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id wKIyFQcsAWPMaQEAauVa8A (envelope-from ) for ; Sat, 20 Aug 2022 20:46:31 +0200 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id AB4DC3DD6B for ; Sat, 20 Aug 2022 20:46:29 +0200 (CEST) Received: from localhost ([::1]:39764 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1oPTUK-00024b-EF for larch@yhetil.org; Sat, 20 Aug 2022 14:46:28 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:55946) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oPTU1-00024R-10 for help-guix@gnu.org; Sat, 20 Aug 2022 14:46:09 -0400 Received: from mx1.riseup.net ([198.252.153.129]:49822) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oPTTw-0004R8-L3 for help-guix@gnu.org; Sat, 20 Aug 2022 14:46:08 -0400 Received: from fews2.riseup.net (fews2-pn.riseup.net [10.0.1.84]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "mail.riseup.net", Issuer "R3" (not verified)) by mx1.riseup.net (Postfix) with ESMTPS id 4M96yd5CSXzDryy; Sat, 20 Aug 2022 18:46:01 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=riseup.net; s=squak; t=1661021161; bh=3mA1kOoi+zBrXfdBJcAQ9QuSwyCQI4at4Mz6qAPDJrY=; h=References:From:To:Cc:Subject:Date:In-reply-to:From; b=UgLMLfV9to+y3Jh2PfeulFttp6W4xduSYKGSnM/yKhDCtMD0SYNYe/HObZVHkgdDq V5erLpVYsbR6IcJtB+7lLhYNTUpGJNK2AWGXc4nVK9zmJspWMac4HW6bzjVp5xFij6 txqheTjS9IzTw69Q84xvx8NUWwDAxo9GgiUAOzdY= X-Riseup-User-ID: B434229679657E91DD1822CF43DA1AF29529E270521C409920F188A388561AF9 Received: from [127.0.0.1] (localhost [127.0.0.1]) by fews2.riseup.net (Postfix) with ESMTPSA id 4M96yc5Chcz1yWm; Sat, 20 Aug 2022 18:46:00 +0000 (UTC) References: <138fc06ac78045c4a7117566484ebb936caff178.camel@phfrohring.com> From: Csepp To: Pierre-Henry =?utf-8?Q?Fr=C3=B6hring?= Cc: paren@disroot.org, help-guix@gnu.org Subject: Re: Packaging Idris2 Date: Sat, 20 Aug 2022 20:42:38 +0200 In-reply-to: Message-ID: <87r11aeot8.fsf@riseup.net> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=198.252.153.129; envelope-from=raingloom@riseup.net; helo=mx1.riseup.net X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_MSPIKE_H3=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: help-guix@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-guix-bounces+larch=yhetil.org@gnu.org Sender: "Help-Guix" X-Migadu-Flow: FLOW_IN X-Migadu-To: larch@yhetil.org X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1661021190; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=235cv5ScMOMA3YMTAk4WHP09K17nLnp+HRV+WJVghtI=; b=MoLsxmVh8PcHH51QCHQV7kMXAN+pwF07R4vILklXbIiZ2UmlKXV0s8WykUV60MKBxu9H3e ahtB6oS7sjGoSesxt7L0M3uVX7fIVW3IN9YeXUUbld5NxX2C3UhQ7pVdIpX3N7hAR258YI P+y3aT0CYtswlyb/YIJ7X0b8KHsRicHUN+ZgwYhpzaJ8mkmHQxYej0x+qM0AXT916Ls/hG FzUi9E3+2FifJCkj9WHbbdUDNqwpDaNbmYKfnfZjpWQmBhNdiFsFmw9rkw85ykRS+PiWx8 tCFUlAwgVwHGxXqjhRbhpOq6bvoBD5/l4sombSyA2pe/DUkqBdePwkrPHcThKQ== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1661021190; a=rsa-sha256; cv=none; b=W2SsLMHC6DDBy9Tl4iDet416yA4+ztXGvPr989DeCTIyDGUd52424ubFtwqO6Vg0JV7m3T f6BT4MtOEaw6k71BMTkoeuNp5vy7E0m7BEbXJbd4xEJdeMVLoZmO6wS189i5w9XJEF+een a3YvIZphabiPekBV8vl8PVXLl54BWFxBrD15d8Pxmyz4O+UPqU5JJcEBzkHhiVVKCIb/A4 LlDmjfQR03XEy/9ulZCpNg2wT5IU51HGsCSyO83BwHMvFxmGZOzv30ykVawFCjsqfZX/vn YBpB5dNl43ZL7YAlSsH6acAWUYp2gmGkhxx9UJtX+eshYMcGzf3RcT1kg1scVg== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=riseup.net header.s=squak header.b=UgLMLfV9; dmarc=pass (policy=none) header.from=riseup.net; spf=pass (aspmx1.migadu.com: domain of "help-guix-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="help-guix-bounces+larch=yhetil.org@gnu.org" X-Migadu-Spam-Score: -9.35 Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=riseup.net header.s=squak header.b=UgLMLfV9; dmarc=pass (policy=none) header.from=riseup.net; spf=pass (aspmx1.migadu.com: domain of "help-guix-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="help-guix-bounces+larch=yhetil.org@gnu.org" X-Migadu-Queue-Id: AB4DC3DD6B X-Spam-Score: -9.35 X-Migadu-Scanner: scn0.migadu.com X-TUID: F5qcdgAHdF73 Pierre-Henry Fr=C3=B6hring writes: > Well, I went from a `guix shell --container' up to `make test' passing ; > assuming a `chez-scheme' backend (no `node' nor `racket'). It boils down > to a shell session looking like: > > =E2=94=8C=E2=94=80=E2=94=80=E2=94=80=E2=94=80 > =E2=94=82 $ cd ~/src/ > =E2=94=82 $ git clone git@github.com:idris-lang/Idris2.git > =E2=94=82 $ cd Idris2 > =E2=94=82 $ ./build_idris > =E2=94=94=E2=94=80=E2=94=80=E2=94=80=E2=94=80 > Listing 1: session > > I guess that an idea would be to =C2=AB translate =C2=BB this session int= o a Guix > Package. What's the best option here? To torture the `gnu-build-system' > until it accepts to build Idris2 or should I take the > `trivial-build-system' route? > Thank you. > =E2=80=95 PHF > > =E2=94=8C=E2=94=80=E2=94=80=E2=94=80=E2=94=80 > =E2=94=82 #! /usr/bin/env bash > =E2=94=82 set -euo pipefail > =E2=94=82 IFS=3D$'\n\t' > =E2=94=82=20 > =E2=94=82 cat <<'EOF' >manifest.scm > =E2=94=82 (specifications->manifest > =E2=94=82 '("gcc@12.1.0" > =E2=94=82 "chez-scheme" > =E2=94=82 "gmp" > =E2=94=82 "coreutils" > =E2=94=82 "bash" > =E2=94=82 "make" > =E2=94=82 "findutils" > =E2=94=82 "git" > =E2=94=82 "diffutils" > =E2=94=82 "glibc" > =E2=94=82 "sed" > =E2=94=82 "gawk" > =E2=94=82 "binutils")) > =E2=94=82 EOF > =E2=94=82=20 > =E2=94=82 cat <<'EOF' >build_idris_in_container > =E2=94=82 set -euo pipefail > =E2=94=82 IFS=3D$'\n\t' > =E2=94=82=20 > =E2=94=82 echo 'Idris build configuration' > =E2=94=82 set -x > =E2=94=82 export PREFIX=3D/tmp/idris2 > =E2=94=82 export SCHEME=3Dchez-scheme > =E2=94=82 export CC=3Dgcc > =E2=94=82 export INTERACTIVE=3D'' > =E2=94=82 set +x > =E2=94=82 echo > =E2=94=82=20 > =E2=94=82 echo 'PATHS configuration' > =E2=94=82 set -x > =E2=94=82 export LD_LIBRARY_PATH=3D$GUIX_ENVIRONMENT/lib:$PREFIX/lib > =E2=94=82 export PATH=3D$PATH:$PREFIX/bin > =E2=94=82 set +x > =E2=94=82 echo > =E2=94=82=20 > =E2=94=82 echo 'Bootstrap' > =E2=94=82 make bootstrap > =E2=94=82 echo > =E2=94=82=20 > =E2=94=82 echo 'Install' > =E2=94=82 make install > =E2=94=82 echo > =E2=94=82=20 > =E2=94=82 echo 'Self-host' > =E2=94=82 make clean > =E2=94=82 make all > =E2=94=82 make install > =E2=94=82 echo > =E2=94=82=20 > =E2=94=82 echo 'Test' > =E2=94=82 make test > =E2=94=82 echo > =E2=94=82=20 > =E2=94=82 echo 'Clean' > =E2=94=82 rm -v manifest.scm > =E2=94=82 rm -v build_idris_in_container > =E2=94=82 echo > =E2=94=82 EOF > =E2=94=82=20 > =E2=94=82 guix shell -C -m manifest.scm -- bash ./build_idris_in_container > =E2=94=94=E2=94=80=E2=94=80=E2=94=80=E2=94=80 > Listing 2: build_idris I'm pretty sure Lendvai Attila has a WIP package that was supposed to be submitted as a patch "soon", which was like a year ago. Anyways, there are definitely already Idris 2 patches floating around the mailing list so I'd prefer if discussion was moved there. I'm also interested in getting it packaged, but building it takes a lot of time. The Scheme bootstrap seed can be generated with Idris 1, true. But compiling Idris 2 with Idris 1 takes such an ungodly amount of time and RAM that expecting people to do so is maybe not a great idea. I certainly will not be working on that. Last time I built it I needed at least 16 gigs of swap. I have better use cases for my SSD.