From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp10.migadu.com ([2001:41d0:306:2d92::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms9.migadu.com with LMTPS id IOcAG8RxHWV4lwAAG6o9tA:P1 (envelope-from ) for ; Wed, 04 Oct 2023 16:08:04 +0200 Received: from aspmx1.migadu.com ([2001:41d0:306:2d92::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp10.migadu.com with LMTPS id IOcAG8RxHWV4lwAAG6o9tA (envelope-from ) for ; Wed, 04 Oct 2023 16:08:04 +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 9C0E757CF5 for ; Wed, 4 Oct 2023 16:08:03 +0200 (CEST) Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20230601 header.b=YkV56DKD; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org"; dmarc=none ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1696428484; 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:resent-cc:resent-from:resent-sender: resent-message-id:in-reply-to:in-reply-to:references:references: list-id:list-help:list-unsubscribe:list-subscribe:list-post: dkim-signature; bh=wP8MqCkVMswXq+XprIRACTuIJa5H776A9o3Utzhmf6M=; b=NNIfpC9lBt1qssGc5oHWumJHc2vrdg8W4dscbx8c+TuaH19/7zc07FfWHUVSl60TDZcF2j ed7+EX4+TbNr0zjjkoPI5Vwtq0RGFu/VP6fgxi11jAYUe2F+vvGl21s6YH7jbqnoEhyXZY 7ZXEXeSkS6Rek1x1FYQKQmz0rhE4esiI9+PqqK1nq8N2KI2xXJAJg2pnETyyW7evWEzk1r IqtOJKJr4yP7az9uBS1h8HtoxMgbiZPCLUc3fJqRXO4MuW5+FbKtOkIGbmEIvL/ljgiPur K/Qti3lKn3VS9EwQ692LKhDuGGG6WjxsJsZcDitxTeoppsw8cdLqg4wfh+i0tA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20230601 header.b=YkV56DKD; spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org"; dmarc=none ARC-Seal: i=1; s=key1; d=yhetil.org; t=1696428484; a=rsa-sha256; cv=none; b=slsK/qCyWMea6c3Ley09HJ8Ll38+71d9Bbs0wyLuUjN/aRuiS+gWNoCzijP8X7u0CJKay3 YTz7BwVN377/FX9IVyIx7aY8D1hDNN/E0uFUB/sff0anNOz6AloGCULJGTAuxMF9kHj4VI Gt+tfveWU/BVPpxBeovtQifMfWxLeQoC6KeG/iiRuymb36CNzaEG96XB1WxssTkDYZeVM+ TvW+4XjklePgThXyOlBUlwoJZ4SEMJK7u7o0GpOydBKeaOXCjdcwjKdOSEFLo3Fo7U9f2Y JoSDcvKxg2uumAqW11SjXgKqu3X15iv8nrwTHplEPuO3xq7/LvTFvSJfvBA/Ww== Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qo2XW-0006lL-9T; Wed, 04 Oct 2023 10:07:51 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qo2XQ-0006iY-Ia for guix-patches@gnu.org; Wed, 04 Oct 2023 10:07:44 -0400 Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1qo2XQ-0007Kg-3l for guix-patches@gnu.org; Wed, 04 Oct 2023 10:07:44 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1qo2Xh-0002Fm-If for guix-patches@gnu.org; Wed, 04 Oct 2023 10:08:01 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#66263] [PATCH 06/23] gnu: microscheme: Move to avr-xyz. Resent-From: Efraim Flashner Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 04 Oct 2023 14:08:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 66263 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Jean-Pierre De Jesus DIAZ Cc: 66263@debbugs.gnu.org, vagrant@debian.org, maxim.cournoyer@gmail.com Received: via spool by 66263-submit@debbugs.gnu.org id=B66263.16964284798654 (code B ref 66263); Wed, 04 Oct 2023 14:08:01 +0000 Received: (at 66263) by debbugs.gnu.org; 4 Oct 2023 14:07:59 +0000 Received: from localhost ([127.0.0.1]:45073 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qo2Xe-0002FU-QB for submit@debbugs.gnu.org; Wed, 04 Oct 2023 10:07:59 -0400 Received: from mail-wr1-x431.google.com ([2a00:1450:4864:20::431]:47136) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qo2Xc-0002FH-Dp for 66263@debbugs.gnu.org; Wed, 04 Oct 2023 10:07:57 -0400 Received: by mail-wr1-x431.google.com with SMTP id ffacd0b85a97d-31f71b25a99so2142588f8f.2 for <66263@debbugs.gnu.org>; Wed, 04 Oct 2023 07:07:38 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1696428453; x=1697033253; darn=debbugs.gnu.org; h=in-reply-to:content-disposition:mime-version:references :mail-followup-to:message-id:subject:cc:to:from:date:sender:from:to :cc:subject:date:message-id:reply-to; bh=wP8MqCkVMswXq+XprIRACTuIJa5H776A9o3Utzhmf6M=; b=YkV56DKDm4z6JT1lneSI/HAnVRqP/yZ/fC+4kVxknRPCL31PHT/EEu/uANdX0TkCnm M4we5MJkGIMMhAe2xZuan2tKJwe5jocg9NaGrgRHo/5eaFLuS7vlha0HTx9Oop0mYn4R ogBslk/E5ylr1PTxK54MYcepZRagJYeLJj6MmDP+rHyik+78O7GAWvadQaJz1wAQ8NTX DpsbF8PgOhd6Qx8NIsWHltPWueOM9uVTnjhm7NtWmyvVNB5dyDgx1+SVFR14VprHfSdX BIowVzn+jmYHtsKqttvA8dwCsjlfnSxR2lMwkXre71zl3TWF6PLIsMGSUizMfK9d0HDw B16w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1696428453; x=1697033253; h=in-reply-to:content-disposition:mime-version:references :mail-followup-to:message-id:subject:cc:to:from:date:sender :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=wP8MqCkVMswXq+XprIRACTuIJa5H776A9o3Utzhmf6M=; b=LkIoQqvq1mPfjY13q0+0oex5cfgBoWRfl1kaTcUyCGNQVf+uM9HJWrQ3Y0/9gDyKoO VijBYGTEZzfKTj1TbKPLFIoooWrr/BhiAwXArQKHktyTuO/2aXlnrRIXvESzIViQKKj6 KdLeCJW0MGXSdEkdsjwivkT11oievnmVVPOwvZLziyDTviAIHDqz1VXNSsmos6ulm6AA 4HL022qAhLlLshEmLXzqTkUuuTCZuQ242O/2r+fXlAg3P3t64uvgw6880C/Ek3Ebhzz8 AN3a9PB1EVlzDwNrqKOVU9h+ufGgwf4sOhgFm2u3199Vn0L2TUomGwiqcZWfZxp/uWqF O8uQ== X-Gm-Message-State: AOJu0YxETO8hFG4YB9sFo3nbDI9lT6sYRxjrmH1K2IAhQH28M8lm6b5o xiY+tb92y+PxrMfODzSq8NA= X-Google-Smtp-Source: AGHT+IFjPzCQmKNWgeU//pDjs+bOe4mJSO85frpzeO2nY3pGJ/ZG/FvpQ8e/KgXysGRByIrfkZ9jWg== X-Received: by 2002:a5d:5151:0:b0:31f:fa61:961b with SMTP id u17-20020a5d5151000000b0031ffa61961bmr2179376wrt.66.1696428451346; Wed, 04 Oct 2023 07:07:31 -0700 (PDT) Received: from localhost ([2a02:ed3:916:6300:c3db:b80e:a694:a54f]) by smtp.gmail.com with ESMTPSA id v7-20020a5d4a47000000b00321773bb933sm4136976wrs.77.2023.10.04.07.07.30 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 04 Oct 2023 07:07:30 -0700 (PDT) Date: Wed, 4 Oct 2023 17:07:29 +0300 From: Efraim Flashner Message-ID: Mail-Followup-To: Efraim Flashner , Jean-Pierre De Jesus DIAZ , 66263@debbugs.gnu.org, vagrant@debian.org, maxim.cournoyer@gmail.com References: <20230929091627.7820-1-jean@foundationdevices.com> <20230929091627.7820-6-jean@foundationdevices.com> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="MwkoFQeImpZLJTaC" Content-Disposition: inline In-Reply-To: <20230929091627.7820-6-jean@foundationdevices.com> X-PGP-Key-ID: 0x41AAE7DCCA3D8351 X-PGP-Key: https://flashner.co.il/~efraim/efraim_flashner.asc X-PGP-Fingerprint: A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: guix-patches-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US X-Migadu-Spam-Score: -5.29 X-Migadu-Scanner: mx2.migadu.com X-Migadu-Queue-Id: 9C0E757CF5 X-Spam-Score: -5.29 X-TUID: szfYGWYmaJIu --MwkoFQeImpZLJTaC Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable This missing the copyright headers associated with microscheme which should be copied over also On Fri, Sep 29, 2023 at 11:16:10AM +0200, Jean-Pierre De Jesus DIAZ wrote: > * gnu/packages/avr.scm (microscheme): Remove from file. >=20 > * gnu/packages/avr-xyz.scm (microscheme): New variable. > --- > gnu/packages/avr-xyz.scm | 41 +++++++++++++++++++++++++++++++++++++++ > gnu/packages/avr.scm | 42 +--------------------------------------- > 2 files changed, 42 insertions(+), 41 deletions(-) >=20 > diff --git a/gnu/packages/avr-xyz.scm b/gnu/packages/avr-xyz.scm > index a05157ede7..771753b5e4 100644 > --- a/gnu/packages/avr-xyz.scm > +++ b/gnu/packages/avr-xyz.scm > @@ -28,14 +28,55 @@ (define-module (gnu packages avr-xyz) > #:use-module (gnu packages autotools) > #:use-module (gnu packages base) > #:use-module (gnu packages bash) > + #:use-module (gnu packages check) > + #:use-module (gnu packages compression) > #:use-module (gnu packages avr) > #:use-module (gnu packages elf) > #:use-module (gnu packages gl) > + #:use-module (gnu packages llvm) > #:use-module (gnu packages pkg-config) > #:use-module (gnu packages ncurses) > #:use-module (gnu packages version-control) > + #:use-module (gnu packages vim) > #:use-module (gnu packages ruby)) > =20 > +(define-public microscheme > + (package > + (name "microscheme") > + (version "0.9.4") > + (source > + (origin > + (method git-fetch) > + (uri (git-reference > + (url "https://github.com/ryansuchocki/microscheme") > + (commit (string-append "v" version)))) > + (sha256 > + (base32 "1bflwirpcd58bngbs6hgjfwxl894ni2gpdd4pj10pm2mjhyj5dgw")) > + (file-name (git-file-name name version)))) > + (build-system gnu-build-system) > + (arguments > + `(#:parallel-build? #f ; fails to build otherwise > + #:tests? #f ; no tests > + #:phases > + (modify-phases %standard-phases > + (delete 'configure)) > + #:make-flags > + (list (string-append "PREFIX=3D" (assoc-ref %outputs "out"))))) > + (native-inputs > + (list clang cppcheck unzip xxd)) > + (home-page "https://github.com/ryansuchocki/microscheme/") > + (synopsis "Scheme subset for Atmel microcontrollers") > + (description > + "Microscheme, or @code{(ms)} for short, is a functional programming > +language for the Arduino, and for Atmel 8-bit AVR microcontrollers in ge= neral. > +Microscheme is a subset of Scheme, in the sense that every valid @code{(= ms)} > +program is also a valid Scheme program (with the exception of Arduino > +hardware-specific primitives). The @code{(ms)} compiler performs functi= on > +inlining, and features an aggressive tree-shaker, eliminating unused top= -level > +definitions. Microscheme has a robust @dfn{Foreign Function Interface} = (FFI) > +meaning that C code may be invoked directly from (ms) programs.") > + (license license:expat))) > + > (define-public simavr > (package > (name "simavr") > diff --git a/gnu/packages/avr.scm b/gnu/packages/avr.scm > index e976203b89..ccce686010 100644 > --- a/gnu/packages/avr.scm > +++ b/gnu/packages/avr.scm > @@ -32,12 +32,9 @@ (define-module (gnu packages avr) > #:use-module (guix build-system gnu) > #:use-module (guix build-system trivial) > #:use-module (gnu packages check) > - #:use-module (gnu packages compression) > #:use-module (gnu packages cross-base) > #:use-module (gnu packages flashing-tools) > - #:use-module (gnu packages gcc) > - #:use-module (gnu packages llvm) > - #:use-module (gnu packages vim)) > + #:use-module (gnu packages gcc)) > =20 > (define-public avr-binutils > (package > @@ -142,40 +139,3 @@ (define-public avr-toolchain > C++.") > (home-page (package-home-page avr-libc)) > (license (package-license avr-gcc)))) > - > -(define-public microscheme > - (package > - (name "microscheme") > - (version "0.9.4") > - (source > - (origin > - (method git-fetch) > - (uri (git-reference > - (url "https://github.com/ryansuchocki/microscheme") > - (commit (string-append "v" version)))) > - (sha256 > - (base32 "1bflwirpcd58bngbs6hgjfwxl894ni2gpdd4pj10pm2mjhyj5dgw")) > - (file-name (git-file-name name version)))) > - (build-system gnu-build-system) > - (arguments > - `(#:parallel-build? #f ; fails to build otherwise > - #:tests? #f ; no tests > - #:phases > - (modify-phases %standard-phases > - (delete 'configure)) > - #:make-flags > - (list (string-append "PREFIX=3D" (assoc-ref %outputs "out"))))) > - (native-inputs > - (list clang cppcheck unzip xxd)) > - (home-page "https://github.com/ryansuchocki/microscheme/") > - (synopsis "Scheme subset for Atmel microcontrollers") > - (description > - "Microscheme, or @code{(ms)} for short, is a functional programming > -language for the Arduino, and for Atmel 8-bit AVR microcontrollers in ge= neral. > -Microscheme is a subset of Scheme, in the sense that every valid @code{(= ms)} > -program is also a valid Scheme program (with the exception of Arduino > -hardware-specific primitives). The @code{(ms)} compiler performs functi= on > -inlining, and features an aggressive tree-shaker, eliminating unused top= -level > -definitions. Microscheme has a robust @dfn{Foreign Function Interface} = (FFI) > -meaning that C code may be invoked directly from (ms) programs.") > - (license license:expat))) > --=20 > 2.34.1 >=20 >=20 >=20 --=20 Efraim Flashner =D7=A8=D7=A0=D7=A9=D7=9C=D7=A4 = =D7=9D=D7=99=D7=A8=D7=A4=D7=90 GPG key =3D A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351 Confidentiality cannot be guaranteed on emails sent or received unencrypted --MwkoFQeImpZLJTaC Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAABCAAdFiEEoov0DD5VE3JmLRT3Qarn3Mo9g1EFAmUdcZ0ACgkQQarn3Mo9 g1H3XxAAoOnTuowzfz9mjFiw1B2dcYb0Lvh/iNWv94sT6EhQn+Sk3c4qnJ3YwXCh C7T4knTwLiWx46tR5dhI1L2SkuE6cy0qUwYL8VcsrQs1/s8wOxkHRDr44cIYD6wL yTvFt5eCqVbmxhIcazsiQOv31Fqgk6iVeYAzhhNeNg47NtZT7LBn3uuJP3GDlbU9 yX/HdteTTHjGjbqtSUcB6ITce9VoURvMpqtNObRs8FqF5lrwFIxo2V+QjoiMpuca TzlfHFJvZ6jYNh6enH+3JZgvobmlJNhcR9rbluUpLG2Xf1quJ3aHUS3duqgmuMbc 9Qgj49XfncfNAkds+wvv/uFjyitBUU5Y77Sea06kX9O1mhCdF5TXpVjDbhbJFn1F CvnUnwwTL7bXMteIwJ/jf2zdYoGajf8gs8Ie8JLo1iz8GTMAgFAD0+9CJh7v98p6 KSeOLIRQ4zsO9fvz3bTKmIDrO3N9qV11nfSXkSrEFx46kvTszfWZpWsGOIM0hexQ f3y9H2YGb+gZSdVeqsXyyPcwXI4Fu3etl7/28rlQqebmgS7Bk6PeQh1FrTbVDrWf PWr1tSmpFMwZn1vkj53y5AzM3j/sdbe4Lcz0G8p4V2AptQl6iK297fezYApMXG1v 710MlxGj3GEGyNko++in9tWPk4u29GssTDe9dIv/vqhxWLthGp4= =9qm+ -----END PGP SIGNATURE----- --MwkoFQeImpZLJTaC--