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 YFfmAmWWAGMzTQAAbAwnHQ (envelope-from ) for ; Sat, 20 Aug 2022 10:08:05 +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 gOzXAWWWAGMWUAAAauVa8A (envelope-from ) for ; Sat, 20 Aug 2022 10:08:05 +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 9A71E283E4 for ; Sat, 20 Aug 2022 10:08:04 +0200 (CEST) Received: from localhost ([::1]:39112 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1oPJWU-0000Cp-RG for larch@yhetil.org; Sat, 20 Aug 2022 04:08:03 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:52544) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oPJVs-0000CR-Hz for help-guix@gnu.org; Sat, 20 Aug 2022 04:07:25 -0400 Received: from relay6-d.mail.gandi.net ([2001:4b98:dc4:8::226]:47299) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1oPJVp-0001CW-Ad for help-guix@gnu.org; Sat, 20 Aug 2022 04:07:24 -0400 Received: (Authenticated sender: contact@phfrohring.com) by mail.gandi.net (Postfix) with ESMTPSA id E6062C000D; Sat, 20 Aug 2022 08:07:15 +0000 (UTC) Message-ID: Subject: Re: Packaging Idris2 From: Pierre-Henry =?ISO-8859-1?Q?Fr=F6hring?= To: paren@disroot.org, help-guix@gnu.org In-Reply-To: References: <138fc06ac78045c4a7117566484ebb936caff178.camel@phfrohring.com> Content-Type: text/plain; charset="UTF-8" Date: Sat, 20 Aug 2022 02:11:33 +0200 MIME-Version: 1.0 User-Agent: Evolution 3.38.3-1 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=2001:4b98:dc4:8::226; envelope-from=contact@phfrohring.com; helo=relay6-d.mail.gandi.net X-Spam_score_int: -10 X-Spam_score: -1.1 X-Spam_bar: - X-Spam_report: (-1.1 / 5.0 requ) BAYES_00=-1.9, DATE_IN_PAST_06_12=1.543, RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=no 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=1660982884; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to: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; bh=Tqx2kUQShPQQPthnxloIIGQdX04iLN2GUrSqtT0Htf0=; b=WU/8+I7o0Gom1lyOyzgsTXtOt8f5jKEBekodsouePwzlZ2yuiaLZaYkOl5oRYSTZK9z/6H EgQLHcZ1WEjrSFLFO6dfiGv9B+z2dgjLtO3mUEzx5ci6K8hvNHCBS20z2fBEfyLCEbiF4n lQ+yblx2nFJGRUT6AjcOYkEObKVMWLXco1faJXj7KMzku8yceBMV1dcrx6FJbjDJbL/bsO 93jKGxDqAHJCXn96TFaGE46Rk9lCgmTdp5Xg9Wx8fv6hE20TuUWuf6vakW/btRJMxhb5pE YVU9S2qrLC9gGFoGAbcFboptvmdgh+/KUPOo4hnX14BXtYYH2KBkxgEJN+q5YA== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1660982884; a=rsa-sha256; cv=none; b=J0UfYxRe1ld9Cx1fJI5EOohTmmauhQmLWuKsZACqTsVTZm8YI+Y4EDRoNW5R0MD7VsQXvy 1s6g6A09uNWTvKmeAn0ODwYd/VWKuBx90XZKOzKED+CjDaX5nP8gMmMnQxlt8eErPl2ubj cckZIaHq0G6glKL8e4hkLzHW+h93+PpEQvwuEBDC+EYmZF3lu7t6NsdHU43RlIhAwp/fRM VqP2/RO1xE6lZqTC6KXI/m7Wr6RQU22+pKbcy4eWmohBzQDh5+EmTvrXAzLoTM+2JvASLS 90gN8GxUOpVqm/1ViZZ3agmLQQGsNzz/ZsOaz6cHCtGVQIIX1KS9C07/GZJofg== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=none; dmarc=none; 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: -2.75 Authentication-Results: aspmx1.migadu.com; dkim=none; dmarc=none; 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: 9A71E283E4 X-Spam-Score: -2.75 X-Migadu-Scanner: scn1.migadu.com X-TUID: tMda7gGxpbk1 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: ┌──── │ $ cd ~/src/ │ $ git clone git@github.com:idris-lang/Idris2.git │ $ cd Idris2 │ $ ./build_idris └──── Listing 1: session I guess that an idea would be to « translate » this session into 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. ― PHF ┌──── │ #! /usr/bin/env bash │ set -euo pipefail │ IFS=$'\n\t' │ │ cat <<'EOF' >manifest.scm │ (specifications->manifest │ '("gcc@12.1.0" │ "chez-scheme" │ "gmp" │ "coreutils" │ "bash" │ "make" │ "findutils" │ "git" │ "diffutils" │ "glibc" │ "sed" │ "gawk" │ "binutils")) │ EOF │ │ cat <<'EOF' >build_idris_in_container │ set -euo pipefail │ IFS=$'\n\t' │ │ echo 'Idris build configuration' │ set -x │ export PREFIX=/tmp/idris2 │ export SCHEME=chez-scheme │ export CC=gcc │ export INTERACTIVE='' │ set +x │ echo │ │ echo 'PATHS configuration' │ set -x │ export LD_LIBRARY_PATH=$GUIX_ENVIRONMENT/lib:$PREFIX/lib │ export PATH=$PATH:$PREFIX/bin │ set +x │ echo │ │ echo 'Bootstrap' │ make bootstrap │ echo │ │ echo 'Install' │ make install │ echo │ │ echo 'Self-host' │ make clean │ make all │ make install │ echo │ │ echo 'Test' │ make test │ echo │ │ echo 'Clean' │ rm -v manifest.scm │ rm -v build_idris_in_container │ echo │ EOF │ │ guix shell -C -m manifest.scm -- bash ./build_idris_in_container └──── Listing 2: build_idris