From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp1.migadu.com ([2001:41d0:303:e16b::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms13.migadu.com with LMTPS id oOJzIuF6smYkbAAA62LTzQ:P1 (envelope-from ) for ; Tue, 06 Aug 2024 19:34:57 +0000 Received: from aspmx1.migadu.com ([2001:41d0:303:e16b::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp1.migadu.com with LMTPS id oOJzIuF6smYkbAAA62LTzQ (envelope-from ) for ; Tue, 06 Aug 2024 21:34:57 +0200 X-Envelope-To: larch@yhetil.org Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=debbugs.gnu.org header.s=debbugs-gnu-org header.b=HyedUqkS; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20230601 header.b=A9n1RkkD; 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=fail reason="SPF not aligned (relaxed), DKIM not aligned (relaxed)" header.from=gmail.com (policy=none) ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1722972897; 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: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=Tm3EoHGP2X2aTX6SxmPsV5GoslziQc1Kmc+jbAd/CfE=; b=t9iV00eoiSJkV0pApARKGKmpMdWuROoe04fgCFyzuQEo6S/vAaYuUliDg3AGHyWJjAWd9J SsFODGXZPR28rZ0cn5HwYA2iJxa8VFrm/TjAdQjGsywN+/urUKBtxA0nIiRGieOS+AFCWJ aEHq2LxmxQO5qyX4gDzXr3aPXnnbK24NzkIrOhVRgbUQ0nHyesaQF2UvTnJGbAcOti7oby Zg0rKmJv5RjTeEQKg6oMpy/M4dH1zvz/IxoemwCS3Z0yjdxll+ywxkLja8jtNpA6VcYynj XExqgyZIVQQpcIe6HEVkti60WG7swShCuMQulNxRA8tEUh616gGbHhpFSidsvQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=debbugs.gnu.org header.s=debbugs-gnu-org header.b=HyedUqkS; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20230601 header.b=A9n1RkkD; 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=fail reason="SPF not aligned (relaxed), DKIM not aligned (relaxed)" header.from=gmail.com (policy=none) ARC-Seal: i=1; s=key1; d=yhetil.org; t=1722972897; a=rsa-sha256; cv=none; b=q45jLnsIEBZKyuAIutuEOwfn9X1lcUE2so1A9k3RH1O4wL9+a1/cFzSJp6LJW2YGP8IfTd JQTpkGmklfMZucBkOE4bEfLE2WygaBOV/ueiNCf1UX1zA9fY7iNnljnFXbhJ/esz1JI2li yT344wjmtVTlW4tS3RLr/gxNwys1Zt9NWAxH5ls5yn4UkMd1trbeIrQDv5TKlK80eOlhJe RdwBJlvB8pKnfq8qb9DklK6/DXmgdCXmrATafA3CG6pWsJG9lmbHU/oF5TK5vzAuwBnbZJ r+ulIliyNKNWH7OYBcPv1fSLvUfwgpppKJcxAj8hTI8cISYrilp1qVmQZzUgPw== 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 0440C17E91 for ; Tue, 6 Aug 2024 21:34:57 +0200 (CEST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1sbPxA-0008J9-1u; Tue, 06 Aug 2024 15:34:40 -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 1sbPx8-0008In-5l for guix-patches@gnu.org; Tue, 06 Aug 2024 15:34:38 -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 1sbPx7-0006zI-SS for guix-patches@gnu.org; Tue, 06 Aug 2024 15:34:37 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=debbugs.gnu.org; s=debbugs-gnu-org; h=MIME-Version:Date:From:To:In-Reply-To:References:Subject; bh=Tm3EoHGP2X2aTX6SxmPsV5GoslziQc1Kmc+jbAd/CfE=; b=HyedUqkSs5iVMIoeg7CgOGRaGyEbZyx35Ou/6GF11JANJCEwpAIqmTSpyW6pYSmBpaQD7cMKkBtvFV+byKVNXlFExQ5o+fja1UGamhsFwHRwi0usid7+dGZwwuetIp7Z/WiYOhPh/UURaqmIP3dSyjCDrbo01jel5kHchAlnu1oy/grtJkXGEX3nR/DkhPt9uHueUlbdONKYYKlAUdFdLIclsWOdstazsVfYkkEvDNLipO42Alg+Lq+Ljbasw0u+cNxhwNWaUvS1fWlpYh/6q3WxfNg8qy+igFfBBfGVE2UQ8wTtbSfP2SfFWJ32EtcgzIaqeVu+xXM1Hsdz8Wa+0w==; Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1sbPxV-0007lv-P5 for guix-patches@gnu.org; Tue, 06 Aug 2024 15:35:01 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#72494] [PATCH v1] gnu: Add C3 1.6.1. References: In-Reply-To: Resent-From: Ashvith Shetty Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 06 Aug 2024 19:35:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 72494 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 72494@debbugs.gnu.org Cc: Ashvith Shetty Received: via spool by 72494-submit@debbugs.gnu.org id=B72494.172297285029809 (code B ref 72494); Tue, 06 Aug 2024 19:35:01 +0000 Received: (at 72494) by debbugs.gnu.org; 6 Aug 2024 19:34:10 +0000 Received: from localhost ([127.0.0.1]:33100 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sbPwf-0007kj-VH for submit@debbugs.gnu.org; Tue, 06 Aug 2024 15:34:10 -0400 Received: from mail-pg1-f169.google.com ([209.85.215.169]:43112) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sbPwd-0007kV-CJ for 72494@debbugs.gnu.org; Tue, 06 Aug 2024 15:34:08 -0400 Received: by mail-pg1-f169.google.com with SMTP id 41be03b00d2f7-7afd1aeac83so154844a12.0 for <72494@debbugs.gnu.org>; Tue, 06 Aug 2024 12:33:43 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1722972757; x=1723577557; darn=debbugs.gnu.org; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:from:to:cc:subject:date:message-id:reply-to; bh=Tm3EoHGP2X2aTX6SxmPsV5GoslziQc1Kmc+jbAd/CfE=; b=A9n1RkkDUkyPrwGeDoumGeYifBic4Cfv+p2YGFtlo8xHU6yiPyPd/eWn0q84xWJk6i f5OUjw+Jp6ARwYNrASi7gnXW5l41b5kj/5+WDWhdMWZqrJVEmCTgLcQFMR69putK33Ya gB8NU5U6mwPRsZGjIXm+kXGFLCuy6WOhjp7AqQJy3cZ5bHLyutSOONdGLdbEhMU5SKC1 mWVEw9w5on1jF/60jFx0IYccnjsCzyon2jGMQk25lEvRmg31PGMWqcRfAF1iWcW+lVmZ qljMYK3xvrGzB3AtHt0YilThqonPGW0gHbrAkuV8P/J1RPRRp/YxxUd+28XGa4ved9om GWAg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1722972757; x=1723577557; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=Tm3EoHGP2X2aTX6SxmPsV5GoslziQc1Kmc+jbAd/CfE=; b=Yeilz4yycw8NvTP7cct7T5f7BzvlFTAuSyGBONu0HxuHhek/eL4dtUH9OZ5LPBv/6p YkH7XGNbnX5xImJjrx01oqnbtaAN8ecEUADSl1DFbu9IffF1gZQs0yJQtDBNevzikRj8 7/qb1h01KZNoyZZAz7idVn6EYDpeVNq3ZoTHUJxH+kdVSnVU5Ly2nZlMseBfNsy8VaOI SHqT2CTpoYNGjcVwZv+C1t9aY5WJVF6M2sCs9Ct27dTRipsysQFgzGEKMzgC4or6KrWQ m2o4aIUMRbgNPZT/uXUhbuEdG3iyutBzeGioH7vn+RNtZseXYvMbAXGe/vse1qE8cN+Q +YJA== X-Gm-Message-State: AOJu0Ywllh4Irj6Z8Ir3GyqnM3EhIPjVlj0YieIr/Zb/9weUXCpObbjd 4MxJfTGi7VQNrTAz5HeyXwD9bPP6Tk8NHoljpCXb69VlFcvI0Nk857tkRD6f X-Google-Smtp-Source: AGHT+IGl4PBTr+R+/t3VSn8X0QH3tN+fMMQ5ENcQCxoDy86wHsUytvRWmmORYcZ0bdQwXbSeMHshRA== X-Received: by 2002:a17:90b:180a:b0:2c8:4250:66a1 with SMTP id 98e67ed59e1d1-2cff090456amr27752964a91.3.1722972756211; Tue, 06 Aug 2024 12:32:36 -0700 (PDT) Received: from wisteria.bbrouter ([150.129.60.164]) by smtp.gmail.com with ESMTPSA id 98e67ed59e1d1-2cfdc4cf181sm12941403a91.37.2024.08.06.12.32.34 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 06 Aug 2024 12:32:35 -0700 (PDT) From: Ashvith Shetty Date: Wed, 7 Aug 2024 01:02:28 +0530 Message-ID: <2f8d86b639fb6e025063db02f25dbe81d9e1521f.1722972748.git.ashvithshetty10@gmail.com> X-Mailer: git-send-email 2.45.2 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 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-Country: US X-Migadu-Flow: FLOW_IN X-Migadu-Queue-Id: 0440C17E91 X-Migadu-Scanner: mx13.migadu.com X-Migadu-Spam-Score: -9.38 X-Spam-Score: -9.38 X-TUID: XeZ/WQWgBuIi * gnu/packages/c3.scm (c3c-bootstrap): New variable. Change-Id: Ib87f17f9178307af669bb6213403ddf1efd09386 --- gnu/packages/c3.scm | 58 +++++++++++++++++++ outgoing/0000-cover-letter.patch | 22 ++++++++ outgoing/0001-gnu-Add-C3-1.6.1.patch | 84 ++++++++++++++++++++++++++++ 3 files changed, 164 insertions(+) create mode 100644 gnu/packages/c3.scm create mode 100644 outgoing/0000-cover-letter.patch create mode 100644 outgoing/0001-gnu-Add-C3-1.6.1.patch diff --git a/gnu/packages/c3.scm b/gnu/packages/c3.scm new file mode 100644 index 0000000000..bd8bf89b17 --- /dev/null +++ b/gnu/packages/c3.scm @@ -0,0 +1,58 @@ +;;; GNU Guix --- Functional package management for GNU +;;; Copyright © 2024 Ashvith Shetty +;;; +;;; This file is part of GNU Guix. +;;; +;;; GNU Guix is free software; you can redistribute it and/or modify it +;;; under the terms of the GNU General Public License as published by +;;; the Free Software Foundation; either version 3 of the License, or (at +;;; your option) any later version. +;;; +;;; GNU Guix is distributed in the hope that it will be useful, but +;;; WITHOUT ANY WARRANTY; without even the implied warranty of +;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +;;; GNU General Public License for more details. +;;; +;;; You should have received a copy of the GNU General Public License +;;; along with GNU Guix. If not, see . + +(define-module (gnu packages c3) + #:use-module (gnu packages libffi) + #:use-module (gnu packages llvm) + #:use-module (guix build-system cmake) + #:use-module (guix gexp) + #:use-module (guix git-download) + #:use-module (guix licenses) + #:use-module (guix packages)) + +(define-public c3c-bootstrap + (package + (name "c3c") + (version "0.6.1") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://github.com/c3lang/c3c") + (commit (string-append "v" version)))) + (file-name (git-file-name name version)) + (sha256 + (base32 "0xjl3yghyqmqv9118nhcix3xywlpdirqc0dlmdaghdkja0wr19rw")) + (snippet #~(begin + (use-modules (guix build utils)) + (substitute* "CMakeLists.txt" + (("\\$\\{LLVM_LIBRARY_DIRS\\}") + (string-append #$lld-18 "/lib/ " + #$llvm-18 "/lib/"))))))) + (build-system cmake-build-system) + (arguments + '(#:configure-flags '("-DCMAKE_INSTALL_LIBDIR=lib") + ;; TODO: Fix test + #:tests? #f)) + (inputs (list libffi llvm-18 lld-18)) + (synopsis "Compiler for the C3 language") + (description + "C3 is a programming language that builds on the syntax and semantics of the C language, with the goal of evolving it while still retaining familiarity for C programmers.") + (home-page "https://c3-lang.org/") + (supported-systems '("x86_64-linux" "aarch64-linux" "riscv64-linux")) + (license (list lgpl3 expat)))) diff --git a/outgoing/0000-cover-letter.patch b/outgoing/0000-cover-letter.patch new file mode 100644 index 0000000000..6fe6a1dbc7 --- /dev/null +++ b/outgoing/0000-cover-letter.patch @@ -0,0 +1,22 @@ +From 35f4ae97ed57fff79575fa8acd83d8c1077acd4c Mon Sep 17 00:00:00 2001 +Message-ID: +From: Ashvith Shetty +Date: Tue, 6 Aug 2024 14:06:24 +0530 +Subject: [PATCH 0/1] Add C3 + +This patch series adds C3, which is a programming language that builds on the syntax and semantics of the C language, with the goal of evolving it while still retaining familiarity for C programmers. + +Tests have been disabled, as I was not able to figure out on how to make it work, but I would appreciate it, if anyone is willing to improve this patch series. + +Ashvith Shetty (1): + gnu: Add C3 1.6.1. + + gnu/packages/c3.scm | 59 +++++++++++++++++++++++++++++++++++++++++++++ + 1 file changed, 59 insertions(+) + create mode 100644 gnu/packages/c3.scm + + +base-commit: b20956651a53a8f23828fdeb6945e1a31e6997a8 +-- +2.45.2 + diff --git a/outgoing/0001-gnu-Add-C3-1.6.1.patch b/outgoing/0001-gnu-Add-C3-1.6.1.patch new file mode 100644 index 0000000000..93fcedbb28 --- /dev/null +++ b/outgoing/0001-gnu-Add-C3-1.6.1.patch @@ -0,0 +1,84 @@ +From 35f4ae97ed57fff79575fa8acd83d8c1077acd4c Mon Sep 17 00:00:00 2001 +Message-ID: <35f4ae97ed57fff79575fa8acd83d8c1077acd4c.1722933384.git.ashvithshetty10@gmail.com> +In-Reply-To: +References: +From: Ashvith Shetty +Date: Tue, 6 Aug 2024 12:19:24 +0530 +Subject: [PATCH 1/1] gnu: Add C3 1.6.1. + +* gnu/packages/c3.scm (c3c-bootstrap): New variable. + +Change-Id: Ib87f17f9178307af669bb6213403ddf1efd09386 +--- + gnu/packages/c3.scm | 59 +++++++++++++++++++++++++++++++++++++++++++++ + 1 file changed, 59 insertions(+) + create mode 100644 gnu/packages/c3.scm + +diff --git a/gnu/packages/c3.scm b/gnu/packages/c3.scm +new file mode 100644 +index 0000000000..431b1c0aa4 +--- /dev/null ++++ b/gnu/packages/c3.scm +@@ -0,0 +1,59 @@ ++;;; GNU Guix --- Functional package management for GNU ++;;; Copyright © 2024 Ashvith Shetty ++;;; ++;;; This file is part of GNU Guix. ++;;; ++;;; GNU Guix is free software; you can redistribute it and/or modify it ++;;; under the terms of the GNU General Public License as published by ++;;; the Free Software Foundation; either version 3 of the License, or (at ++;;; your option) any later version. ++;;; ++;;; GNU Guix is distributed in the hope that it will be useful, but ++;;; WITHOUT ANY WARRANTY; without even the implied warranty of ++;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the ++;;; GNU General Public License for more details. ++;;; ++;;; You should have received a copy of the GNU General Public License ++;;; along with GNU Guix. If not, see . ++ ++(define-module (gnu packages c3) ++ #:use-module (gnu packages curl) ++ #:use-module (gnu packages libffi) ++ #:use-module (gnu packages llvm) ++ #:use-module (guix build-system cmake) ++ #:use-module (guix gexp) ++ #:use-module (guix git-download) ++ #:use-module (guix licenses) ++ #:use-module (guix packages)) ++ ++(define-public c3c-bootstrap ++ (package ++ (name "c3c") ++ (version "0.6.1") ++ (source ++ (origin ++ (method git-fetch) ++ (uri (git-reference ++ (url "https://github.com/c3lang/c3c") ++ (commit (string-append "v" version)))) ++ (file-name (git-file-name name version)) ++ (sha256 ++ (base32 "0xjl3yghyqmqv9118nhcix3xywlpdirqc0dlmdaghdkja0wr19rw")) ++ (snippet #~(begin ++ (use-modules (guix build utils)) ++ (substitute* "CMakeLists.txt" ++ (("\\$\\{LLVM_LIBRARY_DIRS\\}") ++ (string-append #$lld-18 "/lib/ " ++ #$llvm-18 "/lib/"))))))) ++ (build-system cmake-build-system) ++ (arguments ++ '(#:configure-flags '("-DCMAKE_INSTALL_LIBDIR=lib") ++ ;; TODO: Fix test ++ #:tests? #f)) ++ (inputs (list curl libffi llvm-18 lld-18)) ++ (synopsis "Compiler for the C3 language") ++ (description ++ "C3 is a programming language that builds on the syntax and semantics of the C language, with the goal of evolving it while still retaining familiarity for C programmers.") ++ (home-page "https://c3-lang.org/") ++ (supported-systems '("x86_64-linux" "aarch64-linux" "riscv64-linux")) ++ (license (list lgpl3 expat)))) +-- +2.45.2 + -- 2.45.2