From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id qXxOFpuCql/dcwAA0tVLHw (envelope-from ) for ; Tue, 10 Nov 2020 12:07:55 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0 with LMTPS id aLr9EZuCql+aBgAA1q6Kng (envelope-from ) for ; Tue, 10 Nov 2020 12:07:55 +0000 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 15BCD9403A6 for ; Tue, 10 Nov 2020 12:07:55 +0000 (UTC) Received: from localhost ([::1]:43826 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kcSRG-0006I3-2L for larch@yhetil.org; Tue, 10 Nov 2020 07:07:54 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:57358) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kcSR0-0006Hc-0m for guix-devel@gnu.org; Tue, 10 Nov 2020 07:07:38 -0500 Received: from mail-wr1-x435.google.com ([2a00:1450:4864:20::435]:33539) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1kcSQy-0006F5-21 for guix-devel@gnu.org; Tue, 10 Nov 2020 07:07:37 -0500 Received: by mail-wr1-x435.google.com with SMTP id b8so12403445wrn.0 for ; Tue, 10 Nov 2020 04:07:35 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:cc:subject:references:date:in-reply-to:message-id :user-agent:mime-version; bh=riNgY3ywX7esuVf2bmxOsRNBbVB3uFOcybgIk5iDI2E=; b=A28S6mmkpJ/heWghmytkAigUFCtSh5OVZwh0ODVLtTx6tQC+VaZr7cBm83fi0wievM TmHccTWwUGMtgFbrNF8Li3vprU73QaxcFSMdZkoR+gvJmg1oK3YPZWzwzJSPD0wG0qbk 2Q41BnsbwT4s827x4dwwYHdPa+M/bL6qsIf6Pu35lthS9legqIULPaK2N+TqFIRuW8+2 5K4QahC6rl479wPLcXPxYhukYY1BQD1J/kkI1YK4b8kXJKJozwrObZzqfmicIhndmjLG T8P8b0LYghOz6lwVAaig3DgDg8M5loLzxrzKt75+XW+fOBiy8/IEihhKrvB3nuC8kaEA 0AeQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:references:date:in-reply-to :message-id:user-agent:mime-version; bh=riNgY3ywX7esuVf2bmxOsRNBbVB3uFOcybgIk5iDI2E=; b=ktK4iKUHJNBQ5JZ7auna63nFjPoEg21lgyqctsICGr7e4kr5ST8ZGWOkRhQkxP1ZIe AJTunTdWjq+OVVvRFfKtrrjSuBt0JZACrkfWHjEJYh4gJYhy4V1wQcG0XGHzLtPnUdwX RxGVAM0vAI+G/f1xLPwmzRDMwE34OpWdjYCZUvRYPcQMtjo6viCz1er4sAZPFR9uTtvm TL+uqH2F/jcw6GKN+7czaR8OyRZv6Y+cwa5BIyrg+yqYvRqtIOLNdODm9d0pOTuM5SWg ektD3fcVdBeUrg1FBWt/1oSudt1SZ2keU25DBH6eQaKUPgvx+Gj2jJylHAa10PoAvTgb GU1g== X-Gm-Message-State: AOAM533p/seGLauJOqCHOrkLCUREX7WXA0FrSv1+C/ZyePiFpX0pasxE s3QFBwBNClBUgss/kFrhotI= X-Google-Smtp-Source: ABdhPJw7rBv2D+cQG+IDjaqsKV3uzJDC7nuRoCmEyj2FeZuJAYfXG8tcMXSgcmT+nn+ZWbMxaK1Rmg== X-Received: by 2002:a5d:5746:: with SMTP id q6mr25068822wrw.53.1605010054188; Tue, 10 Nov 2020 04:07:34 -0800 (PST) Received: from susa ([41.80.188.235]) by smtp.gmail.com with ESMTPSA id c17sm8891314wro.19.2020.11.10.04.07.30 (version=TLS1_2 cipher=ECDHE-ECDSA-CHACHA20-POLY1305 bits=256/256); Tue, 10 Nov 2020 04:07:33 -0800 (PST) From: "Bonface M. K." To: Christopher Lemmer Webber Subject: Re: Racket packages / build system References: <87ft6c1ypz.fsf@dustycloud.org> <865z77smyg.fsf@gmail.com> <87a6wizuic.fsf@dustycloud.org> <86blg6xncq.fsf@gmail.com> <87a6vqxm3m.fsf@bendersteed.tech> <87imaem9dd.fsf@dustycloud.org> Date: Tue, 10 Nov 2020 15:07:17 +0300 In-Reply-To: <87imaem9dd.fsf@dustycloud.org> (Christopher Lemmer Webber's message of "Mon, 09 Nov 2020 17:51:58 -0500") Message-ID: <865z6djtze.fsf@gmail.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" Received-SPF: pass client-ip=2a00:1450:4864:20::435; envelope-from=bonfacemunyoki@gmail.com; helo=mail-wr1-x435.google.com X-detected-operating-system: by eggs.gnu.org: No matching host in p0f cache. That's all we know. X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 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, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: guix-devel@gnu.org, Dimos Dimakakos , Pjotr Prins Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: "Guix-devel" X-Scanner: ns3122888.ip-94-23-21.eu Authentication-Results: aspmx1.migadu.com; dkim=fail (headers rsa verify failed) header.d=gmail.com header.s=20161025 header.b=A28S6mmk; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (policy=none); spf=pass (aspmx1.migadu.com: domain of guix-devel-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-devel-bounces@gnu.org X-Spam-Score: 0.49 X-TUID: L2kmMQ2QFq+z --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable Christopher Lemmer Webber writes: > Dimos Dimakakos writes: > >> Bonface M. K. writes: >> >>> To simply put it, AFAIU updating a package would >>> require racket to update it's references(either >>> links, and other references that I won't go into), >>> hence creating some form of "global state"; >>> thereby if you use raco, every package updated >>> would lead to some update with racket's search >>> paths or dirs somewhere. Any ideas to overcome >>> this wall? (or anything I've got wrong somewhere?) >> >> This was one of the main problems that I also encountered when working >> on this. racket2nix solves this by generating a temporary environment >> (by coping most of the racket folders and the deps needed as writable >> folders) where it installs with raco and then tries to update the global >> state of racket. >> >> To be honest this solution is kinda hacky and also slow, but I couldn't >> think of another one at the time I tried to work on the issue. It's a >> reality that the racket install system is quite stateful and also many >> operations seem to try to touch files. Installing with raco for example >> will try to recompile the dependencies of the new package and other such >> examples. >> >> Anyway, I hope you can find a way to move this forward! > > I wonder if it would be a good idea to copy many of the points from this > email and the parent to racket-users or racket-dev and see if someone > more familiar with the structure of the system can provide guidance from > there? > This is a good idea IMHO. I'll go ahead and do this. Perhaps there's something more important we've missed or aren't seeing. > If we have to go the racket2nix route, it would be better than nothing I > guess. > Yeah. I'm considering going though this route as a last resort. I don't understand the nix DSL syntax(though it reads alot like Haskell!). > Another possible route: don't use the Racket installer tooling. > Instead, read the info.rkt file of the package to understand what raco > *probably would* do, and then do it in a more Guix way instead. > > What do you think of that route? I've considered doing this... studying raco's source and seeing how it actually does and sets up things. I'd rather do this than the above, but it would take more time and would lead to alot more boiler plate I think... I'm not entirely sure about how to work around the global state though... First, let's consult with the racket-devel and racket-user ML and see what those communities have to suggest... =2D-=20 Bonface M. K. Chief Emacs Bazu / Rieng ya software sare Mchochezi of: / Twitter: @BonfaceKilz GPG Key: D4F09EB110177E03C28E2FE1F5BBAE1E0392253F --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQJNBAEBCAA3FiEE1PCesRAXfgPCji/h9buuHgOSJT8FAl+qgngZHGJvbmZhY2Vt dW55b2tpQGdtYWlsLmNvbQAKCRD1u64eA5IlP1wQD/9SDjJyNJiKLviwI2TCdkY5 CbxNwPbUPOdO06xImgrYa3aeZo2NJTM2BLa0jBMkTdk/AyqgxIdpzb+u98BpXnqU k0PQM+WsCoh7zz5f38w0IkKlCCBHWwtH34J7lV2VDwLUXHEi27MsDw4NHO/jn1yT Rf+qbC+ax9eqvbQE4aYQ+VYZP4lGtVtVdyRlejJnxG5NkjtWuUNFS3kq9QBWxGDh VGo+t3UbKvgvY2er5Kyfnpzu8x+9CIVtMprz/dmRw3Go/k8O3OXEpGvAqetOjxXB 0ODvTrfGJPLLHOeo1m+zDe6OZZuDa3oMk0Iy1oDaB2M02tA3+7WiYsS7nCgIy6K/ 0sy3PkEM+0keQbrQc5tI6YunQNHPau+D26N60VTL07XrgH/sTy1iiMGBmDb19TVu QAFuvnNrKQ7ehx18B8tLsJhmGNhYnYMZ6rvdCB9gBnRDCk6nug0yEPCAe58Inaw5 CvaKnRNBp4oWPntrq+2H+9wF6nI0XJd07YbpNP1g6Ta8fE6NnOUO9kU/mC3k9lRy s2rW9it7JO0Yn6xI409YJ6+ansSJXtDI0I3H/RVHXiqSUyG1JOPpUVp0+XmGyle+ rRj8P+1jAXxIanFKSuACWfDU4YWApn1182SIUTqEyeH4KU5R1b6D9Yo2iv3S181V nVThrq1maXgW0vKJ4Tggbw== =vZfc -----END PGP SIGNATURE----- --=-=-=--