From patchwork Sun Dec 24 16:43:36 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: "vasilii.smirnov--- via Guix-patches\" via" X-Patchwork-Id: 58034 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 49EB627BBE9; Sun, 24 Dec 2023 16:52:18 +0000 (GMT) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id E78C927BBE2 for ; Sun, 24 Dec 2023 16:52:15 +0000 (GMT) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rHRhp-0004xt-MY; Sun, 24 Dec 2023 11:52:01 -0500 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 1rHRhm-0004xb-0R for guix-patches@gnu.org; Sun, 24 Dec 2023 11:51:58 -0500 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 1rHRhk-0007kE-IB for guix-patches@gnu.org; Sun, 24 Dec 2023 11:51:56 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1rHRhq-0001YM-GH for guix-patches@gnu.org; Sun, 24 Dec 2023 11:52:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#64249] [PATCH 1/9] gnu: why3: Update to 1.6.0. Resent-From: ds-ac@nanein.fr Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 24 Dec 2023 16:52:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 64249 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 64249@debbugs.gnu.org Cc: pukkamustard@posteo.net, Arnaud DABY-SEESARAM , Josselin Poiret , Julien Lepiller Received: via spool by 64249-submit@debbugs.gnu.org id=B64249.17034366955934 (code B ref 64249); Sun, 24 Dec 2023 16:52:02 +0000 Received: (at 64249) by debbugs.gnu.org; 24 Dec 2023 16:51:35 +0000 Received: from localhost ([127.0.0.1]:53457 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rHRhP-0001Xd-29 for submit@debbugs.gnu.org; Sun, 24 Dec 2023 11:51:35 -0500 Received: from nanein.fr ([185.230.78.41]:40124) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rHRhL-0001XO-6j for 64249@debbugs.gnu.org; Sun, 24 Dec 2023 11:51:33 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=nanein.fr; s=mail; t=1703436379; bh=LQkarKPtNTty/5Ta7T3Rm6ABqv4fqp0B/S3AM9Hj+Qg=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=iicazK9zBLMAO9bh0y7E0m+6awoU2e7BhAoIPCGdZ3ILBEHPwWvYxS5BONYQSY+i2 J52yXKKQ7j9qTXpedukCX6hR0aj3U0mwl83itBUy3W8uN1pYzJ5aZwaoMISYHvCJJP H/OY+dO2mUhw6QxqLH0rBRwpwK7imTcoDloQr2E8iuoNfAuhMyj9UbPwynGlrBHTkW C8V+CZken3aQEAut/oacVVHvNDPznj1vQUdGQ9UuHtT4XN3kevJdFOhZEcE7dxN5WK NvpjE+lnEohVG8BlkyPVymsNWyGGPxGisRQGXZtpFRJuvm00t0rTjQbaY/iRfaqn6O n76+0s+PWr0eoUvT8xTLON//y2pp+scAp2cU73hEQg79c0RPSuxYOXEVuF+In6icFb 6QOPp4cXdykEZTYOcdTFOrVwrqylBc0xWRmv1II4Z3pE1fmSuZvsMbruDY1b9tK6V2 SZUW5Ba99snQH0LSlDgfTmn/5d5b+jt8kUllosZMnsutmSe7Ata9fG0exmp/HTlfmP P3HQdv7MhKpujeThxxItylp8m3J8oCfAv4tr5x1IVuz76ZNL/NB7sD5tGVsmqFu3X4 pLUFJ+IgsppCnTllmwnE9GHQ0wInw3PIyni1Hih80XNuf+WmUiOUDHmt/pJcE8jZJA AP4vpb12Xmki0cOV5BHr9vcQ= Received: from localhost.localdomain (unknown [IPv6:2a01:e0a:a9e:a4c0:9d01:2b7b:5834:e51]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature ECDSA (prime256v1) server-digest SHA256) (No client certificate requested) by nanein.fr (Postfix) with ESMTPSA id 7F6621401F2; Sun, 24 Dec 2023 17:46:19 +0100 (CET) Date: Sun, 24 Dec 2023 17:43:36 +0100 Message-ID: <3bb1fdf1696f86080333f71d8b41aaa4b242a154.1703436224.git.ds-ac@nanein.fr> X-Mailer: git-send-email 2.41.0 In-Reply-To: <20231224140732.4467c1fa@tachikoma.lepiller.eu> References: <20231224140732.4467c1fa@tachikoma.lepiller.eu> MIME-Version: 1.0 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: , Reply-to: ds-ac@nanein.fr X-ACL-Warn: , ds-ac--- via Guix-patches X-Patchwork-Original-From: ds-ac--- via Guix-patches via From: "vasilii.smirnov--- via Guix-patches\" via" Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches From: Arnaud DABY-SEESARAM * gnu/packages/maths.scm (why3): Update to 1.6.0. Change-Id: I4d6e0e2224f1ffe85b84493f1834114bc8687d1b --- gnu/packages/maths.scm | 81 +++++++++++++++++++++--------------------- 1 file changed, 41 insertions(+), 40 deletions(-) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index ed1708c77b1..7d17ee58ae6 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -9201,50 +9201,51 @@ (define-public numdiff (define-public why3 (package (name "why3") - (version "1.4.1") - (source (origin - (method git-fetch) - (uri (git-reference - (url "https://gitlab.inria.fr/why3/why3") - (commit version))) - (file-name (git-file-name name version)) - (sha256 - (base32 - "1yca6mx8bjm8x0i594ivh31aw45s6fbimmwfj8g2v9zwrgmr1i4s")))) + (version "1.6.0") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://gitlab.inria.fr/why3/why3") + (commit version))) + (file-name (git-file-name name version)) + (sha256 + (base32 "0k3y98xzhrl44vwzq2m6k4nrllrwp3ll69lc2gfl8d77w0wg7gkp")))) (build-system ocaml-build-system) - (native-inputs - (list autoconf automake coq ocaml which)) - (propagated-inputs - (list camlzip ocaml-graph ocaml-menhir ocaml-num ocaml-zarith)) - (inputs - (list coq-flocq emacs-minimal zlib)) + (native-inputs (list autoconf automake coq ocaml which)) + (propagated-inputs (list camlzip ocaml-graph ocaml-menhir ocaml-num + ocaml-zarith)) + (inputs (list coq-flocq emacs-minimal zlib)) (arguments - `(#:phases - (modify-phases %standard-phases - (add-before 'configure 'bootstrap - (lambda _ - (invoke "./autogen.sh") - (setenv "CONFIG_SHELL" (which "sh")) - (substitute* "configure" - (("#! /bin/sh") (string-append "#!" (which "sh"))) - ;; find ocaml-num in the correct directory - (("\\$DIR/nums.cma") "$DIR/num.cma") - (("\\$DIR/num.cmi") "$DIR/core/num.cmi")) - #t)) - (add-after 'configure 'fix-makefile - (lambda _ - (substitute* "Makefile" - ;; find ocaml-num in the correct directory - (("site-lib/num") "site-lib")) - #t)) - (add-after 'install 'install-lib - (lambda _ - (invoke "make" "byte") - (invoke "make" "install-lib") - #t))))) + `(#:phases (modify-phases %standard-phases + (add-before 'configure 'bootstrap + (lambda _ + (invoke "./autogen.sh") + (setenv "CONFIG_SHELL" + (which "sh")) + (substitute* "configure" + (("#! /bin/sh") + (string-append "#!" + (which "sh"))) + ;; find ocaml-num in the correct directory + (("\\$DIR/nums.cma") + "$DIR/num.cma") + (("\\$DIR/num.cmi") + "$DIR/core/num.cmi")) #t)) + (add-after 'configure 'fix-makefile + (lambda _ + (substitute* "Makefile" + ;; find ocaml-num in the correct directory + (("site-lib/num") + "site-lib")) #t)) + (add-after 'install 'install-lib + (lambda _ + (invoke "make" "byte") + (invoke "make" "install-lib") #t))))) (home-page "https://why3.lri.fr") (synopsis "Deductive program verification") - (description "Why3 provides a language for specification and programming, + (description + "Why3 provides a language for specification and programming, called WhyML, and relies on external theorem provers, both automated and interactive, to discharge verification conditions. Why3 comes with a standard library of logical theories (integer and real arithmetic, Boolean operations, From patchwork Sun Dec 24 16:43:37 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: "vasilii.smirnov--- via Guix-patches\" via" X-Patchwork-Id: 58026 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 959D427BBE9; Sun, 24 Dec 2023 16:47:15 +0000 (GMT) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 3522827BBE2 for ; Sun, 24 Dec 2023 16:47:14 +0000 (GMT) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rHRd0-0003OL-E2; Sun, 24 Dec 2023 11:47:02 -0500 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 1rHRcw-0003NA-KB for guix-patches@gnu.org; Sun, 24 Dec 2023 11:46:59 -0500 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 1rHRcu-0006Ne-Uq for guix-patches@gnu.org; Sun, 24 Dec 2023 11:46:58 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1rHRd0-0001Jy-Th for guix-patches@gnu.org; Sun, 24 Dec 2023 11:47:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#64249] [PATCH 2/9] gnu: Add ocaml-ppx-deriving-yojson. Resent-From: ds-ac@nanein.fr Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 24 Dec 2023 16:47:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 64249 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 64249@debbugs.gnu.org Cc: pukkamustard@posteo.net, Arnaud DABY-SEESARAM , Josselin Poiret , Julien Lepiller Received: via spool by 64249-submit@debbugs.gnu.org id=B64249.17034363995008 (code B ref 64249); Sun, 24 Dec 2023 16:47:02 +0000 Received: (at 64249) by debbugs.gnu.org; 24 Dec 2023 16:46:39 +0000 Received: from localhost ([127.0.0.1]:53419 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rHRcc-0001Id-O8 for submit@debbugs.gnu.org; Sun, 24 Dec 2023 11:46:39 -0500 Received: from nanein.fr ([185.230.78.41]:38332) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rHRcV-0001GQ-Qu for 64249@debbugs.gnu.org; Sun, 24 Dec 2023 11:46:34 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=nanein.fr; s=mail; t=1703436380; bh=DNHQAJZ1TWGYGxeQ26DphKVDXhXWOIvhDr3jGDc3Eu8=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=sY7z1h6B8ugTrtG9RYOC60jOTo2Kk4MvE0o6YtKRJ+HlvxpdIVbtKoK0JelLoCD8H CYz2yKzFKB0+OVA+YrldMNx2C/q4aY2EWpwckKaYA61yTjc4oE7RPMk1+8kyJBAGw3 oaK1/a8N8IgrjHDdruT5i/8Jk9umcwU/b9zmZ4OkBBXgLvajipEUiDdlTe4WWSie78 1Bfa+uEvS/O+YoA+aR22LfAjeE7P1nW+EGIOLcitVKpY0tMkZxR61Tg9lr6eecmoKZ G8pOTLi9xzc+csW2g5mP+6J9NsiqsXcVSV59tDIiMFpjWpPNRLLuu5Gpj9uLe/RIjW pWXdUnnfNNl3gXdRSdNBOu9KWqjOaqCYvcVvyGXnoh2fpPSU2jBYeCvJbzpm9g2J+D ZMl7jDgIPjB67gHEbf9r9LtwbusKM5MXNDACFvA7UAHoKbMqA45Wy+iSPHCGOY4onR 9VZe4otXiJiyJgZBj5+NYKbeslbSR20kkD0WPD4cFMbcj990awRRo99WE6cUD0gcza KF7YyHICQeiPqRuprr8z6Mw0ACcA9OVKguVTMXZipr9gjo9x148EJRoOTA/TtKzhDv pl9SmcK9B0s30WiCbKH4zyS3D7+5cJqFGSfiHHYMncawp/CNCSebtnWkdH+JcGw8ld +xH7tvlvlGvR5/n2fiql8saE= Received: from localhost.localdomain (unknown [IPv6:2a01:e0a:a9e:a4c0:9d01:2b7b:5834:e51]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature ECDSA (prime256v1) server-digest SHA256) (No client certificate requested) by nanein.fr (Postfix) with ESMTPSA id A7C3D140211; Sun, 24 Dec 2023 17:46:19 +0100 (CET) Date: Sun, 24 Dec 2023 17:43:37 +0100 Message-ID: <4e55d427dcd30dc164b996abc3c9b78e05469026.1703436224.git.ds-ac@nanein.fr> X-Mailer: git-send-email 2.41.0 In-Reply-To: <20231224140732.4467c1fa@tachikoma.lepiller.eu> References: <20231224140732.4467c1fa@tachikoma.lepiller.eu> MIME-Version: 1.0 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: , Reply-to: ds-ac@nanein.fr X-ACL-Warn: , ds-ac--- via Guix-patches X-Patchwork-Original-From: ds-ac--- via Guix-patches via From: "vasilii.smirnov--- via Guix-patches\" via" Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches From: Arnaud DABY-SEESARAM * gnu/packages/ocaml.scm (ocaml-ppx-deriving-yojson): New variable. Change-Id: I3f5dfdf39c7e7d9655fc26ee6cc88a2c30485d57 --- gnu/packages/ocaml.scm | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 12c8d5c27de..38bf7b2a7d4 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -6823,6 +6823,28 @@ (define-public ocaml-ppx-derivers as part of the same ocaml-migrate-parsetree driver.") (license license:bsd-3))) +(define-public ocaml-ppx-deriving-yojson + (package + (name "ocaml-ppx-deriving-yojson") + (version "3.6.1") + (home-page "https://github.com/ocaml-ppx/ppx_deriving_yojson") + (source + (origin + (method url-fetch) + (uri (string-append home-page "/archive/refs/tags/v" version ".tar.gz")) + (sha256 + (base32 "1ds3hfcrwyhkal3y5ychzy79r0kpfvn68n492jww70rbii48nz03")))) + (build-system dune-build-system) + (propagated-inputs (list ocaml-yojson ocaml-result ocaml-ppx-deriving + ocaml-ppxlib)) + (native-inputs (list ocaml-ounit)) + (properties `((upstream-name . "ppx_deriving_yojson"))) + (synopsis "JSON codec generator for OCaml") + (description + "ppx_deriving_yojson is a ppx_deriving plugin that provides a JSON codec + generator.") + (license license:expat))) + (define-public ocaml-cinaps ;; The commit removes the unused dependency of ocaml-ppx-jane. We need to ;; use this as we would otherwise have a dependency loop between From patchwork Sun Dec 24 16:43:38 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: "vasilii.smirnov--- via Guix-patches\" via" X-Patchwork-Id: 58033 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 2C98B27BBE9; Sun, 24 Dec 2023 16:48:34 +0000 (GMT) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 68A8827BBE2 for ; Sun, 24 Dec 2023 16:48:32 +0000 (GMT) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rHRe1-0003sc-LJ; Sun, 24 Dec 2023 11:48:05 -0500 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 1rHRdv-0003r2-L8 for guix-patches@gnu.org; Sun, 24 Dec 2023 11:47:59 -0500 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 1rHRds-0006h7-G1 for guix-patches@gnu.org; Sun, 24 Dec 2023 11:47:57 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1rHRdy-0001OK-Ei for guix-patches@gnu.org; Sun, 24 Dec 2023 11:48:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#64249] [PATCH 3/9] gnu: Add ocaml-junit Resent-From: ds-ac@nanein.fr Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 24 Dec 2023 16:48:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 64249 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 64249@debbugs.gnu.org Cc: pukkamustard@posteo.net, Arnaud DABY-SEESARAM , Josselin Poiret , Julien Lepiller Received: via spool by 64249-submit@debbugs.gnu.org id=B64249.17034364245125 (code B ref 64249); Sun, 24 Dec 2023 16:48:02 +0000 Received: (at 64249) by debbugs.gnu.org; 24 Dec 2023 16:47:04 +0000 Received: from localhost ([127.0.0.1]:53436 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rHRd2-0001Kb-7D for submit@debbugs.gnu.org; Sun, 24 Dec 2023 11:47:04 -0500 Received: from nanein.fr ([185.230.78.41]:59788) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rHRd0-0001JX-L4 for 64249@debbugs.gnu.org; Sun, 24 Dec 2023 11:47:03 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=nanein.fr; s=mail; t=1703436381; bh=aLp42JGK4G9dakXaD0G9obW6v6XTfZrOCp2E0unR5iY=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=NQmkff72mF6QviYFhPewtWKbnF95C3EWWXyHh8+3tjmySCRlcNWWVivQPcQOyeP3q NapfR27fdG/lFhElL9qQ7/yAPk5/o1lpk/ZQk/EoxnDW8x/5kmUDmN+XdHfeEonrOW W3onEaLn/GLFSAmtpQ04DWvIxplfbCmLK+mIZP8V7JXN6F9R7A3GpcjNmJQztPICqC StHjjfZ9FHRnCym21NJNWgb7wNSac/SSqJJcmgimaHIqiDLrKVGbjdCDOk1igV053U oJ+bly3570Etj3imCveUSPebNPr8vGIESO5pjI/KXoLDuliSO2uFbSKxDzxEk/+zs/ 9NLvhRXOFG/R64grkwEdwhguCBrF2f+bRXTuwhLb7BJlMEY3rz9aFU8td6x6fSD+c5 jf17FqH/fzbMDGoOKADin/8HhD3qjTgUw4nsgmV17QbCr66R92uhMeGSShqk53Wiqw YVAeQWrjfnmLWrTdk55OXhZ1xiQS9p07xFt9aTiZP6jn1QAhugT9UKkDyDgQlRPmHR D5lllLFZyGvwfy8UiLlwh02wND5tAa/Kijrp34X9oxGNi/ck800fymSIDlIwrWcI0M pPek7WmYbd26oo3Gj9jGT8pXReojS/jNY7icPxHp8s2zCEYkEBEaOjexb/dEruXwF2 3AeWpAKTCRIr0/pWki4DtSto= Received: from localhost.localdomain (unknown [IPv6:2a01:e0a:a9e:a4c0:9d01:2b7b:5834:e51]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature ECDSA (prime256v1) server-digest SHA256) (No client certificate requested) by nanein.fr (Postfix) with ESMTPSA id 86229140241; Sun, 24 Dec 2023 17:46:20 +0100 (CET) Date: Sun, 24 Dec 2023 17:43:38 +0100 Message-ID: <42a243a1221f340d3a6151e28ae72c873c2a4e7d.1703436224.git.ds-ac@nanein.fr> X-Mailer: git-send-email 2.41.0 In-Reply-To: <20231224140732.4467c1fa@tachikoma.lepiller.eu> References: <20231224140732.4467c1fa@tachikoma.lepiller.eu> MIME-Version: 1.0 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: , Reply-to: ds-ac@nanein.fr X-ACL-Warn: , ds-ac--- via Guix-patches X-Patchwork-Original-From: ds-ac--- via Guix-patches via From: "vasilii.smirnov--- via Guix-patches\" via" Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches From: Arnaud DABY-SEESARAM * gnu/packages/ocaml.scm (ocaml-junit): New variable. Change-Id: I69fd4302b0a178765a79a72801eed694b3bd3ebd --- gnu/packages/ocaml.scm | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 38bf7b2a7d4..f664f6db81b 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -1642,6 +1642,30 @@ (define-public ocaml-ounit other XUnit testing frameworks.") (license license:expat))) +(define-public ocaml-junit + (package + (name "ocaml-junit") + (version "2.0.2") + (home-page "https://github.com/Khady/ocaml-junit") + (source + (origin + (method url-fetch) + (uri (string-append home-page "/archive/refs/tags/v" version ".tar.gz")) + (sha256 + (base32 "00bbx5j8vsy9fqbc04xa3lsalaxicirmbczr65bllfk1afv43agx")))) + (build-system dune-build-system) + (arguments + `(#:package "junit" + #:phases (modify-phases %standard-phases + (add-before 'build 'dune-subst + (lambda _ + (invoke "dune" "subst") #t))))) + (properties `((upstream-name . "junit"))) + (propagated-inputs (list ocaml-ounit ocaml-ptime ocaml-tyxml ocaml-odoc)) + (synopsis "JUnit XML reports generation library") + (description "JUnit XML reports generation library") + (license #f))) + (define-public camlzip (package (name "camlzip") From patchwork Sun Dec 24 16:43:39 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: "vasilii.smirnov--- via Guix-patches\" via" X-Patchwork-Id: 58027 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 1412127BBE2; Sun, 24 Dec 2023 16:47:18 +0000 (GMT) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 3DD9227BBE9 for ; Sun, 24 Dec 2023 16:47:17 +0000 (GMT) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rHRd4-0003OO-6U; Sun, 24 Dec 2023 11:47:06 -0500 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 1rHRcu-0003N3-MX for guix-patches@gnu.org; Sun, 24 Dec 2023 11:46:59 -0500 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 1rHRcu-0006NY-Dr for guix-patches@gnu.org; Sun, 24 Dec 2023 11:46:56 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1rHRd0-0001Jq-C6 for guix-patches@gnu.org; Sun, 24 Dec 2023 11:47:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#64249] [PATCH 4/9] gnu: Add ocaml-junit-alcotest Resent-From: ds-ac@nanein.fr Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 24 Dec 2023 16:47:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 64249 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 64249@debbugs.gnu.org Cc: pukkamustard@posteo.net, Arnaud DABY-SEESARAM , Josselin Poiret , Julien Lepiller Received: via spool by 64249-submit@debbugs.gnu.org id=B64249.17034363985002 (code B ref 64249); Sun, 24 Dec 2023 16:47:02 +0000 Received: (at 64249) by debbugs.gnu.org; 24 Dec 2023 16:46:38 +0000 Received: from localhost ([127.0.0.1]:53417 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rHRcc-0001Ib-Bj for submit@debbugs.gnu.org; Sun, 24 Dec 2023 11:46:38 -0500 Received: from nanein.fr ([185.230.78.41]:38338) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rHRcY-0001I0-9N for 64249@debbugs.gnu.org; Sun, 24 Dec 2023 11:46:34 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=nanein.fr; s=mail; t=1703436382; bh=fHR5Kuq8/1tPdpNp02+s0fOECJToxnHrqzKG6PrgfzM=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=A1NG8JklyQllwG73o3RjdOUBGqkH725IY3uYcTHIyEHMMtQPwc+Qqs+SijevazEy4 LXUl1bNhaouezYHp/px8UDM6KOTw6lBY6rc54/kHo/Apu1p+4BAdlgx3z1SiQH81eC K1/TzZ0wJH/bElGa3zV3NGTIXLTI16TNVgx8QERCaF+G8GMsKiLDjlJFr/7lI+oQ61 inkp8mH/abtwxFLsN9qLejU37WqkMoxKia4MRgTKvnhSMUMIesk5CTA/9x/mJJlcBH NfmCN5srzBdnYE4MdWlOECn5rCj7gERczqFAC2+FAQ3JSSGtrw6wG0Jd9gN4TlR8MX TH5fOb7E1iV4x1szM0NK14ZcFJ0FrdpW3QwgKGJIBHIg6agFJvzayN38q8Ik1/uVLI SxBjNYqnefxkhv6t1T4mtpdY6T0o6g/+WXISYqH4eH3DfdORUWuYasPrxBpbh7yCwz 7IVAZqB8QHj1gx7uCQsNVjLTI+iTC8nk+BDvi3Cx9HD0uiAH/qme5kfAfTTZv5g3pJ 9uJQONfNTRDyBeR2EYeBc7vEEVCK/XUaSprFTlLYab+8j/6NseE40bPtbDHM9QfeXP JSpEn+aGR+LJjuP9G8sax+U6wpC9JlmSyycHSU31Lx/1iZDXlj2ejSGWymigIs7+lD YOV4ZGXU7PXlTxsR5k468qJU= Received: from localhost.localdomain (unknown [IPv6:2a01:e0a:a9e:a4c0:9d01:2b7b:5834:e51]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature ECDSA (prime256v1) server-digest SHA256) (No client certificate requested) by nanein.fr (Postfix) with ESMTPSA id 1429C140243; Sun, 24 Dec 2023 17:46:21 +0100 (CET) Date: Sun, 24 Dec 2023 17:43:39 +0100 Message-ID: <0fc595423dec08344ea74a378141c2a68af48487.1703436224.git.ds-ac@nanein.fr> X-Mailer: git-send-email 2.41.0 In-Reply-To: <20231224140732.4467c1fa@tachikoma.lepiller.eu> References: <20231224140732.4467c1fa@tachikoma.lepiller.eu> MIME-Version: 1.0 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: , Reply-to: ds-ac@nanein.fr X-ACL-Warn: , ds-ac--- via Guix-patches X-Patchwork-Original-From: ds-ac--- via Guix-patches via From: "vasilii.smirnov--- via Guix-patches\" via" Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches From: Arnaud DABY-SEESARAM * gnu/packages/ocaml.scm (ocaml-junit-alcotest): New variable. Change-Id: I377bbba90e8625a47680643db2ef84fabbe60908 --- gnu/packages/ocaml.scm | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index f664f6db81b..b14f69cae1d 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -1666,6 +1666,24 @@ (define-public ocaml-junit (description "JUnit XML reports generation library") (license #f))) +(define-public ocaml-junit-alcotest + (package + (inherit ocaml-junit) + (name "ocaml-junit-alcotest") + (propagated-inputs (list ocaml-odoc ocaml-alcotest ocaml-junit)) + (build-system dune-build-system) + (arguments + `(#:package "junit_alcotest" + #:tests? #f ;Check fails + #:phases (modify-phases %standard-phases + (add-before 'build 'dune-subst + (lambda _ + (invoke "dune" "subst") #t))))) + (properties `((upstream-name . "junit_alcotest"))) + (synopsis "JUnit XML reports generation for alcotest tests") + (description "JUnit XML reports generation for alcotest tests") + (license #f))) + (define-public camlzip (package (name "camlzip") From patchwork Sun Dec 24 16:43:40 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: "vasilii.smirnov--- via Guix-patches\" via" X-Patchwork-Id: 58030 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id A253F27BBE9; Sun, 24 Dec 2023 16:48:07 +0000 (GMT) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 78A6C27BBE2 for ; Sun, 24 Dec 2023 16:48:06 +0000 (GMT) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rHRdx-0003rZ-F5; Sun, 24 Dec 2023 11:48:01 -0500 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 1rHRdv-0003r1-L5 for guix-patches@gnu.org; Sun, 24 Dec 2023 11:47:59 -0500 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 1rHRdt-0006hB-DK for guix-patches@gnu.org; Sun, 24 Dec 2023 11:47:59 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1rHRdz-0001Oe-B5 for guix-patches@gnu.org; Sun, 24 Dec 2023 11:48:03 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#64249] [PATCH 5/9] gnu: Add ocaml-yaml Resent-From: ds-ac@nanein.fr Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 24 Dec 2023 16:48:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 64249 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 64249@debbugs.gnu.org Cc: pukkamustard@posteo.net, Arnaud DABY-SEESARAM , Josselin Poiret , Julien Lepiller Received: via spool by 64249-submit@debbugs.gnu.org id=B64249.17034364315162 (code B ref 64249); Sun, 24 Dec 2023 16:48:03 +0000 Received: (at 64249) by debbugs.gnu.org; 24 Dec 2023 16:47:11 +0000 Received: from localhost ([127.0.0.1]:53446 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rHRd8-0001L7-T6 for submit@debbugs.gnu.org; Sun, 24 Dec 2023 11:47:11 -0500 Received: from nanein.fr ([185.230.78.41]:59796) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rHRd7-0001KO-5Z for 64249@debbugs.gnu.org; Sun, 24 Dec 2023 11:47:10 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=nanein.fr; s=mail; t=1703436383; bh=LhGt9G+Ah82latxCrzqRwsfspGUtW9jwr3oD0hvKGHE=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=Lkrbk0tlX4i4q59afnJErgqhjxVL+5DksQ6DXnjunT9TgsklCBincstue7NpK+LEH A1uCL6IA8vaaVhh4rV62Q2OnXId6tade+DV8EFCSYBc4H/ddY3Nf/6PEvO8oNxxfef yN8Y0XbguLth6YgZhBbe9C6PVQYQtgNweTQCXr1zsWzLxNv+xFgMh+jaPq+Ep7S+wC 8k4ivNelztU2PX7tWTs4BkPH7A0xII3NEVz4qWQZtZc5tOogMXdKR+ZyLzgNh6NlCR q8+C4TeH8iBFkIIPswTLfTgoaGtoblg3Kjm3zR3Fgd1Er7uOTSYIiln6v2nScv5bwr t80jl6pT/CpX/vA0B/AP8qmdpjdsbKRnjHZEzlLTRnxRsoQfIWOvlI2R/Vvfyl+IFP oSjl/pdITPG+x8ONiF/LpoX6a4i77RBnTvnFYosaqJHbwDhkChDqgZPXwx+XdLXFjg wv0C1eLrZcqNXdsvfPnrPLiC6xTTtIwcadR5Aci2GIl9cmfaYosW45+as0my0xSfhf Z/bhtCvgBa9Ma5OwpJLfDG8Iv7vKQ1m/cTDxqU6Frxm/mq8HHCDwyjwyMvlGh0vXVd w5X0zTI+1w0f/x8q2fNUwkz+Ho2nyq/MHv/a7Ee7lX8N5L05OAX0AyMiCluEQO6MYM bX0X5kwoImNkDUY4H2aB4gYQ= Received: from localhost.localdomain (unknown [IPv6:2a01:e0a:a9e:a4c0:9d01:2b7b:5834:e51]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature ECDSA (prime256v1) server-digest SHA256) (No client certificate requested) by nanein.fr (Postfix) with ESMTPSA id 01531140244; Sun, 24 Dec 2023 17:46:22 +0100 (CET) Date: Sun, 24 Dec 2023 17:43:40 +0100 Message-ID: <0b7f4fd08392068e3f88c9c4dde91e81db53b96b.1703436224.git.ds-ac@nanein.fr> X-Mailer: git-send-email 2.41.0 In-Reply-To: <20231224140732.4467c1fa@tachikoma.lepiller.eu> References: <20231224140732.4467c1fa@tachikoma.lepiller.eu> MIME-Version: 1.0 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: , Reply-to: ds-ac@nanein.fr X-ACL-Warn: , ds-ac--- via Guix-patches X-Patchwork-Original-From: ds-ac--- via Guix-patches via From: "vasilii.smirnov--- via Guix-patches\" via" Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches From: Arnaud DABY-SEESARAM * gnu/packages/ocaml.scm (ocaml-yaml): New variable. Change-Id: Ia890e505dd3ff0fe9a8c243adef460e0475d9e81 --- gnu/packages/ocaml.scm | 32 ++++++++++++++++++++++++++++++++ 1 file changed, 32 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index b14f69cae1d..4c01af75d84 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -2829,6 +2829,38 @@ (define-public ocaml-ppx-tools syntactic tools.") (license license:expat))) +(define-public ocaml-yaml + (package + (name "ocaml-yaml") + (version "3.2.0") + (home-page "https://github.com/avsm/ocaml-yaml") + (source + (origin + (method url-fetch) + (uri (string-append home-page "/archive/refs/tags/v" version ".tar.gz")) + (sha256 + (base32 "054ca6071bfkdbm5vlmnk6ic43561xl9igv87zgkbq4qry16a7s7")))) + (build-system dune-build-system) + (propagated-inputs (list ocaml-ppx-sexp-conv ocaml-ctypes ocaml-bos)) + (native-inputs (list ocaml-fmt + ocaml-sexplib + ocaml-logs + ocaml-mdx + ocaml-alcotest + ocaml-crowbar + ocaml-junit-alcotest + ocaml-ezjsonm)) + (synopsis "Parse and generate YAML 1.1/1.2 files") + (description + "This is an OCaml library to parse and generate the YAML file format. It is + intended to interoperable with the [Ezjsonm](https://github.com/mirage/ezjsonm) + JSON handling library, if the simple common subset of Yaml is used. Anchors and + other advanced Yaml features are not implemented in the JSON compatibility + layer. The [Yaml module + docs](http://anil-code.recoil.org/ocaml-yaml/yaml/Yaml/index.html) are + browseable online.") + (license license:isc))) + (define-public ocaml-parmap (package (name "ocaml-parmap") From patchwork Sun Dec 24 16:43:41 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: "vasilii.smirnov--- via Guix-patches\" via" X-Patchwork-Id: 58032 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id C305C27BBEB; Sun, 24 Dec 2023 16:48:33 +0000 (GMT) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=ham autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 7AEBA27BBE9 for ; Sun, 24 Dec 2023 16:48:33 +0000 (GMT) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rHRe1-0003sZ-KS; Sun, 24 Dec 2023 11:48:05 -0500 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 1rHRdv-0003r3-Lc for guix-patches@gnu.org; Sun, 24 Dec 2023 11:47:59 -0500 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 1rHRds-0006h8-Uy for guix-patches@gnu.org; Sun, 24 Dec 2023 11:47:57 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1rHRdy-0001OT-SY for guix-patches@gnu.org; Sun, 24 Dec 2023 11:48:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#64249] [PATCH 6/9] gnu: Add ocaml-ppx-deriving-yaml. Resent-From: ds-ac@nanein.fr Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 24 Dec 2023 16:48:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 64249 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 64249@debbugs.gnu.org Cc: pukkamustard@posteo.net, Arnaud DABY-SEESARAM , Josselin Poiret , Julien Lepiller Received: via spool by 64249-submit@debbugs.gnu.org id=B64249.17034364315156 (code B ref 64249); Sun, 24 Dec 2023 16:48:02 +0000 Received: (at 64249) by debbugs.gnu.org; 24 Dec 2023 16:47:11 +0000 Received: from localhost ([127.0.0.1]:53444 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rHRd8-0001L5-K6 for submit@debbugs.gnu.org; Sun, 24 Dec 2023 11:47:10 -0500 Received: from nanein.fr ([185.230.78.41]:59800) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rHRd7-0001KP-5e for 64249@debbugs.gnu.org; Sun, 24 Dec 2023 11:47:09 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=nanein.fr; s=mail; t=1703436383; bh=BTEU9ncnDInFy7mqFmEMPBTUFcMiKsfRuKOxklTusHU=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=lHMErhUIjdgxMGzTpeORng4+OVfTBzgjnqGfIJ78evAIzPbY99C/mPdBTg7xjkY5x Wmge9kXmlg+T0wtJzvD/AiHPtPJ5jtilcGMhxBWec5WXvseoViQ0HA/2MI1SOEkryz aWZkMk6pK5S27XZLbRD95WnYZ8NN3ujg2GVk8ucceNsTtwJ8o0SPHyCMnHJ9xcU01K cpm38tisOjxEFzaZHD+UDvaqlmSP0EZ7IrUKZapdihjpIvH89nVWyj1KpadHKb2QqF BFE4FDR6BzUL8wtsgBuXDCEw4m018Bg+rRoiC2svSU4aOaZM1tfN482st1oi8jaKg5 FvGI4UH+f8g21hLeg9s4bi/6rHLnTrPuk3xEy+cfstJ1h33Q3D8PF+m7p7GbHvgXV9 53KPz9YARiHi47WbfHCatBU7X/jB5a9enqd9SQcSS+W2oNc7CuEODpwhLtoq9+rHiK FznK4m/XYtCSpIgilfLrNNmnV6FZcL/AkMhA9PVDpnnTNiQFhDsQf+KLqIWdtkiBPJ 2669sVDzvs+cuAQW7/5cB7+pHb9kuyEmZRYRSVfLMz4BlPGCskCNEuo0UdfZXgjH8w CcAQKrkAYQJT58/h31I9BLJoh8Vwz+NIjibfkzTltwkdOmGo6urQQm9sQhIFI2rbd/ Hbt90eJ0AcSRJKlHWW5MQzJc= Received: from localhost.localdomain (unknown [IPv6:2a01:e0a:a9e:a4c0:9d01:2b7b:5834:e51]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature ECDSA (prime256v1) server-digest SHA256) (No client certificate requested) by nanein.fr (Postfix) with ESMTPSA id A41BF140245; Sun, 24 Dec 2023 17:46:23 +0100 (CET) Date: Sun, 24 Dec 2023 17:43:41 +0100 Message-ID: <41e9bcba6db5a3eb93045b927df561f10137cb76.1703436224.git.ds-ac@nanein.fr> X-Mailer: git-send-email 2.41.0 In-Reply-To: <20231224140732.4467c1fa@tachikoma.lepiller.eu> References: <20231224140732.4467c1fa@tachikoma.lepiller.eu> MIME-Version: 1.0 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: , Reply-to: ds-ac@nanein.fr X-ACL-Warn: , ds-ac--- via Guix-patches X-Patchwork-Original-From: ds-ac--- via Guix-patches via From: "vasilii.smirnov--- via Guix-patches\" via" Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches From: Arnaud DABY-SEESARAM * gnu/packages/ocaml.scm (ocaml-ppx-deriving-yaml): New variable. Change-Id: I2677ce5b630b77abdec7743cd25c4193ca7b351e --- gnu/packages/ocaml.scm | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 4c01af75d84..7f80052c079 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -6919,6 +6919,27 @@ (define-public ocaml-ppx-deriving-yojson generator.") (license license:expat))) +(define-public ocaml-ppx-deriving-yaml + (package + (name "ocaml-ppx-deriving-yaml") + (version "0.2.1") + (home-page "https://github.com/patricoferris/ppx_deriving_yaml") + (source + (origin + (method url-fetch) + (uri (string-append home-page "/archive/refs/tags/v" version ".tar.gz")) + (sha256 + (base32 "1h5jbd5l4i6l656avjwxl1cp6p4nl91wbpfqzkqr8r03q89qqm0c")))) + (build-system dune-build-system) + (propagated-inputs (list ocaml-ppxlib ocaml-ppx-deriving ocaml-yaml + ocaml-odoc)) + (native-inputs (list ocaml-alcotest ocaml-bos ocaml-mdx ocaml-ezjsonm)) + (properties `((upstream-name . "ppx_deriving_yaml"))) + (synopsis "Yaml PPX Deriver") + (description + "Deriving conversion functions to and from yaml for your OCaml types.") + (license license:isc))) + (define-public ocaml-cinaps ;; The commit removes the unused dependency of ocaml-ppx-jane. We need to ;; use this as we would otherwise have a dependency loop between From patchwork Sun Dec 24 16:43:42 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: "vasilii.smirnov--- via Guix-patches\" via" X-Patchwork-Id: 58028 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 0640B27BBE9; Sun, 24 Dec 2023 16:47:32 +0000 (GMT) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 08F7827BBE2 for ; Sun, 24 Dec 2023 16:47:30 +0000 (GMT) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rHRd6-0003P9-UI; Sun, 24 Dec 2023 11:47:09 -0500 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 1rHRcw-0003NC-KY for guix-patches@gnu.org; Sun, 24 Dec 2023 11:46:59 -0500 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 1rHRcv-0006Ng-Bu for guix-patches@gnu.org; Sun, 24 Dec 2023 11:46:58 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1rHRd1-0001KA-An for guix-patches@gnu.org; Sun, 24 Dec 2023 11:47:03 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#64249] [PATCH 7/9] gnu: Add ocaml-ppx-import. Resent-From: ds-ac@nanein.fr Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 24 Dec 2023 16:47:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 64249 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 64249@debbugs.gnu.org Cc: pukkamustard@posteo.net, Arnaud DABY-SEESARAM , Josselin Poiret , Julien Lepiller Received: via spool by 64249-submit@debbugs.gnu.org id=B64249.17034364075036 (code B ref 64249); Sun, 24 Dec 2023 16:47:03 +0000 Received: (at 64249) by debbugs.gnu.org; 24 Dec 2023 16:46:47 +0000 Received: from localhost ([127.0.0.1]:53425 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rHRcl-0001J8-3g for submit@debbugs.gnu.org; Sun, 24 Dec 2023 11:46:47 -0500 Received: from nanein.fr ([185.230.78.41]:55504) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rHRce-0001IK-2o for 64249@debbugs.gnu.org; Sun, 24 Dec 2023 11:46:40 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=nanein.fr; s=mail; t=1703436384; bh=OGJ4JAQkYVPItkih+TtC0msbpDeEnbpVjuCdHQUb0NQ=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=nqe3LShVFNoDo+0ZxocJIMElF1W+ad/T36u3bNflFDCXuv+3Oetd1GF8190FbQPQm SWR2Enk7v565rdNaiiTU4PbaCxnZrmPV/iuPYGwH/wMiCtsYTxUb/xnxhT/DD2fE4U oEssc9qtYxUM2MmtLkVhv/HKDIxlZzBKywyxfIjqMSFttg8bz/eZ5+8iXWyABZsQ1a ETUj7vx9JVHRcOZA0QUu5ZMW1MOi2DsQxLzoT883RiKjKDlH1+SZ2miTawSxPGQs1P /rITF7fdGCL30ky5NcfhhE2Fm3ax/U4kUhcFjNlFvDPC6yBQ2mK6wxDQKJZPg8Q7+R UVGPbOWso2ZsoAIu0YKUnPQbfviAATMdExKIbq0VJ3mfGf4CQnZb2tUSOp1ORCp7mz NdE+K4FNrb4+diZvaYZklE8N/kUdrR6GFt+saWvEiKJ8q21HEWsrkWUtynfQUC8mew Dn9VODkS2Tws1G5nQ41J1PVw2H7vwjSIihlkYZg62/xoyD17S8+Gxg+v1FttUdoe96 +lr/2SdgaqU6uuVS4WUtL+Wcrg5SSfvpLYGutmVRdFwAEGbLyZgxTiwZKBQDEzo0la CixbhuMNkN2V+i1UggG5v9zqCC0JdDtbvCOAc4KNSsbYY1KgM0pbhsMBz+9eets4rU cmP92BpG8IOoFopDgpnvHsS8= Received: from localhost.localdomain (unknown [IPv6:2a01:e0a:a9e:a4c0:9d01:2b7b:5834:e51]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature ECDSA (prime256v1) server-digest SHA256) (No client certificate requested) by nanein.fr (Postfix) with ESMTPSA id 1B2EC140246; Sun, 24 Dec 2023 17:46:24 +0100 (CET) Date: Sun, 24 Dec 2023 17:43:42 +0100 Message-ID: X-Mailer: git-send-email 2.41.0 In-Reply-To: <20231224140732.4467c1fa@tachikoma.lepiller.eu> References: <20231224140732.4467c1fa@tachikoma.lepiller.eu> MIME-Version: 1.0 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: , Reply-to: ds-ac@nanein.fr X-ACL-Warn: , ds-ac--- via Guix-patches X-Patchwork-Original-From: ds-ac--- via Guix-patches via From: "vasilii.smirnov--- via Guix-patches\" via" Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches From: Arnaud DABY-SEESARAM * gnu/packages/ocaml.scm (ocaml-ppx-import): New variable. Change-Id: Ie9619653f2b3ecc4458394709e37c4a433f875dd --- gnu/packages/ocaml.scm | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 7f80052c079..f21285171c3 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -6940,6 +6940,28 @@ (define-public ocaml-ppx-deriving-yaml "Deriving conversion functions to and from yaml for your OCaml types.") (license license:isc))) +(define-public ocaml-ppx-import + (package + (name "ocaml-ppx-import") + (version "1.9.1") + (home-page "https://github.com/ocaml-ppx/ppx_import") + (source + (origin + (method url-fetch) + (uri (string-append home-page "/archive/refs/tags/" version ".tar.gz")) + (sha256 + (base32 "1yj2gjhnasarcsk8s0i8njww4rs6ny3nr246psxdilsm5g8yraps")))) + (build-system dune-build-system) + (propagated-inputs (list ocaml-ppx-deriving ocaml-ppxlib + ocaml-ppx-sexp-conv)) + (native-inputs (list ocaml-ounit ocaml-sexplib0)) + (properties `((upstream-name . "ppx_import"))) + (synopsis "Extension for importing declarations from interface files.") + (description + "ppx_import is a syntax extension for importing declarations from + interface files.") + (license license:expat))) + (define-public ocaml-cinaps ;; The commit removes the unused dependency of ocaml-ppx-jane. We need to ;; use this as we would otherwise have a dependency loop between From patchwork Sun Dec 24 16:43:43 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: "vasilii.smirnov--- via Guix-patches\" via" X-Patchwork-Id: 58031 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 48A5D27BBE9; Sun, 24 Dec 2023 16:48:20 +0000 (GMT) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=unavailable autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id CFE1827BBE2 for ; Sun, 24 Dec 2023 16:48:18 +0000 (GMT) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rHRdz-0003ru-BW; Sun, 24 Dec 2023 11:48:03 -0500 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 1rHRdv-0003r4-MC for guix-patches@gnu.org; Sun, 24 Dec 2023 11:47:59 -0500 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 1rHRdt-0006hC-Os for guix-patches@gnu.org; Sun, 24 Dec 2023 11:47:59 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1rHRdz-0001On-N3 for guix-patches@gnu.org; Sun, 24 Dec 2023 11:48:03 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#64249] [PATCH 8/9] gnu: Add ocaml-dune-site. Resent-From: ds-ac@nanein.fr Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 24 Dec 2023 16:48:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 64249 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 64249@debbugs.gnu.org Cc: pukkamustard@posteo.net, Arnaud DABY-SEESARAM , Josselin Poiret , Julien Lepiller Received: via spool by 64249-submit@debbugs.gnu.org id=B64249.17034364375176 (code B ref 64249); Sun, 24 Dec 2023 16:48:03 +0000 Received: (at 64249) by debbugs.gnu.org; 24 Dec 2023 16:47:17 +0000 Received: from localhost ([127.0.0.1]:53448 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rHRdF-0001LQ-8u for submit@debbugs.gnu.org; Sun, 24 Dec 2023 11:47:17 -0500 Received: from nanein.fr ([185.230.78.41]:39826) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rHRd8-0001Ki-3Y for 64249@debbugs.gnu.org; Sun, 24 Dec 2023 11:47:10 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=nanein.fr; s=mail; t=1703436384; bh=uGSw5yoqh58NDzIlOlDAgffb8drdZBZEX3MYKfLS+9w=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=SnBx0oyGIsB8uANs0288oUripLYRGh81Dnrlj/ntZ7IihJnGah3nNhuRdwuc2NG25 xN+SnWzqmdFbbWwpZrfk6WrjDAaq/H2M0RM+0sffKn7FIU8F8OOP8V/qQxThJLp8Y7 9yB7I6ma/jL9/jQqB9EnIGJ55xaclGJ8lxfoPxRfFVxaSvvHOtmHeJZ3sSRy4hj4/l Wr8Rv/LzhcqxQ5CO4A+7cbN8uuYiJh+4PGdM0W0+dFJ5d9Wv2qsVGcIcNbdy74qFjp 8ldBy1PfgVIKATkN8xnV8C8GHr3YYwnSFj9fTODKr+UM8uVq+dY0WYTeJUoorM0d/a 39LTAu1Z8Q0UoSdnojFW1frTSnuxA0HfTckOLJDHfuItjMWyiAKoK3LQXzcgGC2dO8 MLo9tN2DH/VNhwRZ5TTg7+x2kLUQfpKYSgYo8tmzYpk5MDWc21YMkwVyNNjFFGZBE5 SmVu/AHcGpXTscnRk7xotW40ndkXaq/W6OCFwtz4ntWwGH8ErpkPcUFADGxlafriDT JMLQYqZ6yk8FLEdUoaV0bVizZGEjRbLEzfUBQP9CSbZPPz7vdKjDGU8TP4DherZla0 GOtz/f2F/6mXycGoe9+y6K3Fild3lbwB9t0DLqoZXfcyx1A3v+kjTlEYRLtckZzjrd 7PIHgDv5Tu+7GIbc3MwwV+sE= Received: from localhost.localdomain (unknown [IPv6:2a01:e0a:a9e:a4c0:9d01:2b7b:5834:e51]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature ECDSA (prime256v1) server-digest SHA256) (No client certificate requested) by nanein.fr (Postfix) with ESMTPSA id B1574140248; Sun, 24 Dec 2023 17:46:24 +0100 (CET) Date: Sun, 24 Dec 2023 17:43:43 +0100 Message-ID: <6820ccff3650d19308b587859099f5f2152dbe7c.1703436224.git.ds-ac@nanein.fr> X-Mailer: git-send-email 2.41.0 In-Reply-To: <20231224140732.4467c1fa@tachikoma.lepiller.eu> References: <20231224140732.4467c1fa@tachikoma.lepiller.eu> MIME-Version: 1.0 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: , Reply-to: ds-ac@nanein.fr X-ACL-Warn: , ds-ac--- via Guix-patches X-Patchwork-Original-From: ds-ac--- via Guix-patches via From: "vasilii.smirnov--- via Guix-patches\" via" Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches From: Arnaud DABY-SEESARAM * gnu/packages/ocaml.scm (ocaml-dune-site): New variable. Change-Id: I6fa740c1595c9bbdcd55717bddf24d825263ac41 --- gnu/packages/ocaml.scm | 15 +++++++++++++++ 1 file changed, 15 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index f21285171c3..e222b6f27f0 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -2020,6 +2020,21 @@ (define-public dune-configurator @item generate config.h file @end itemize"))) +(define-public ocaml-dune-site + (package + (inherit dune-bootstrap) + (name "ocaml-dune-site") + (build-system dune-build-system) + (arguments + `(#:phases (modify-phases %standard-phases + ;; Tests fail. + (delete 'check)))) + (propagated-inputs (list dune-common ocaml-odoc ocaml-lwt)) + (home-page "https://github.com/ocaml/dune") + (synopsis "Embed locations information inside executable and libraries") + (description #f) + (license license:expat))) + (define-public ocaml4.09-dune-configurator (package (inherit dune-configurator) From patchwork Sun Dec 24 16:43:44 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: "vasilii.smirnov--- via Guix-patches\" via" X-Patchwork-Id: 58029 Return-Path: X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id 2AC3227BBEA; Sun, 24 Dec 2023 16:47:36 +0000 (GMT) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.7 required=5.0 tests=BAYES_00,DKIM_INVALID, DKIM_SIGNED,MAILING_LIST_MULTI,SPF_HELO_PASS,URIBL_BLOCKED autolearn=ham autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 3EB3527BBE2 for ; Sun, 24 Dec 2023 16:47:35 +0000 (GMT) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rHRd6-0003PD-UR; Sun, 24 Dec 2023 11:47:09 -0500 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 1rHRcw-0003NB-KP for guix-patches@gnu.org; Sun, 24 Dec 2023 11:46:59 -0500 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 1rHRcv-0006Ni-Rf for guix-patches@gnu.org; Sun, 24 Dec 2023 11:46:58 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1rHRd1-0001KH-Pt for guix-patches@gnu.org; Sun, 24 Dec 2023 11:47:03 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#64249] [PATCH 9/9] gnu: update frama-c to 27.1-Cobalt. Resent-From: ds-ac@nanein.fr Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 24 Dec 2023 16:47:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 64249 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 64249@debbugs.gnu.org Cc: pukkamustard@posteo.net, Arnaud DABY-SEESARAM , Josselin Poiret , Julien Lepiller Received: via spool by 64249-submit@debbugs.gnu.org id=B64249.17034364085042 (code B ref 64249); Sun, 24 Dec 2023 16:47:03 +0000 Received: (at 64249) by debbugs.gnu.org; 24 Dec 2023 16:46:48 +0000 Received: from localhost ([127.0.0.1]:53427 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rHRcl-0001JB-Ks for submit@debbugs.gnu.org; Sun, 24 Dec 2023 11:46:48 -0500 Received: from nanein.fr ([185.230.78.41]:55510) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1rHRce-0001IR-6f for 64249@debbugs.gnu.org; Sun, 24 Dec 2023 11:46:40 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=nanein.fr; s=mail; t=1703436385; bh=bHX4xxT5WVN7orLA1cgwIAsPaSZK4MLykQQSNPz4Wfk=; h=From:To:Cc:Subject:Date:In-Reply-To:References:From; b=tdWOFxn5s7bXa1rkIvv6nKQEsUSVvX9gXDpHO68VSCQYxDZNIKxtIlabsLmGvPeID C1XYI4azNIPhCnxScnvmolH9EcaUw+rKa6MQf6W6b1wmFmAtr2/5ivBFN/PHVVx9QH dBgPQeK17Oc4pH+jQCxg5tUV2PWj5iLoeDSElpmldvJWy1UHWXpT8vJqlf00iaA9By YPXKeJfS7Pqm3sE0qvLluIdKvEavaxvmOG8l99N36dir9U9ppylIGd1ta4qhVZTrUQ JJrYWSxbTtc4wtAyvvzzM7mvgfXJY0iGi9Q8fnjPwSbq7/CLJU1h7IGWbs7l7IplP/ SAP1XOVZdnYyn0Gew+8dLtMDER3owMoay3hDVrlbP/mf2ekqsMvD9ysuPooXg29M/B Ut6OevAQomjAbCXfTMRT9WjYf1wcaghwhQbytEtsPtkituS5YSh9VHACTeOJho9y6H kdo2dVx3Xmj5xYG8cqLx+FuzGm3qsxQWH/7ODJg3taeMiKS2y/z5WPtJNAj9+jaL+k j7IW2LNYCcrFxp0SlPAqQ6XuOTCPXgTHww04h97RczhOB3bY/ocfqJNgojGTaZmOZj i49XPeNKcA5R8VfJrwwRatZ3Q7jevAPcS8C24jXQjUJaLt6fw3m7hAAVMVm9TF4QFf zfbrlV5iphRniyUYmhMU3OFc= Received: from localhost.localdomain (unknown [IPv6:2a01:e0a:a9e:a4c0:9d01:2b7b:5834:e51]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature ECDSA (prime256v1) server-digest SHA256) (No client certificate requested) by nanein.fr (Postfix) with ESMTPSA id 28212140249; Sun, 24 Dec 2023 17:46:25 +0100 (CET) Date: Sun, 24 Dec 2023 17:43:44 +0100 Message-ID: <93766019c37d07b5742943971944ebf0fc502736.1703436224.git.ds-ac@nanein.fr> X-Mailer: git-send-email 2.41.0 In-Reply-To: <20231224140732.4467c1fa@tachikoma.lepiller.eu> References: <20231224140732.4467c1fa@tachikoma.lepiller.eu> MIME-Version: 1.0 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: , Reply-to: ds-ac@nanein.fr X-ACL-Warn: , ds-ac--- via Guix-patches X-Patchwork-Original-From: ds-ac--- via Guix-patches via From: "vasilii.smirnov--- via Guix-patches\" via" Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches From: Arnaud DABY-SEESARAM * gnu/packages/maths.scm (frama-c): Update to 27.1-Cobalt. [build-system] switch from ocaml-build-system to dune-build-system. add new dependencies Change-Id: Iaf48692db5af281636e2907be4d681b8d94353fa --- gnu/packages/maths.scm | 64 ++++++++++++++++++++++-------------------- 1 file changed, 34 insertions(+), 30 deletions(-) diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 7d17ee58ae6..99326c2f5c8 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -96,6 +96,7 @@ (define-module (gnu packages maths) #:use-module (guix build-system gnu) #:use-module (guix build-system meson) #:use-module (guix build-system ocaml) + #:use-module (guix build-system dune) #:use-module (guix build-system perl) #:use-module (guix build-system pyproject) #:use-module (guix build-system python) @@ -9259,36 +9260,38 @@ (define-public why3 (define-public frama-c (package (name "frama-c") - (version "24.0") - (source (origin - (method url-fetch) - (uri (string-append "http://frama-c.com/download/frama-c-" - version "-Chromium.tar.gz")) - (sha256 - (base32 - "0x1xgip50jdz1phsb9rzwf2ra8lshn1hmd9g967xia402wrg3sjf")))) - (build-system ocaml-build-system) + (version "27.1-Cobalt") + (source + (origin + (method url-fetch) + (uri (string-append "http://frama-c.com/download/frama-c-" version + ".tar.gz")) + (sha256 + (base32 "1lirkvhf5m53d33l0aw5jzc1fyzkwx5fkgh9g71732d52r55f4sv")))) + (build-system dune-build-system) (arguments - `(#:tests? #f; no test target in Makefile - #:configure-flags - (list "--enable-verbosemake") ; to aid debugging - #:phases - (modify-phases %standard-phases - (add-before 'configure 'export-shell - (lambda* (#:key inputs #:allow-other-keys) - (setenv "CONFIG_SHELL" - (search-input-file inputs "/bin/sh"))))))) - (inputs - (list gmp zlib)) - (propagated-inputs - (list ocaml-biniou - ocaml-easy-format - ocaml-graph - ocaml-yojson - ocaml-zarith - ocaml-lablgtk3-sourceview3 - lablgtk3 - why3)) + '(#:phases (modify-phases %standard-phases + (add-before 'build 'set-environment-variables + (lambda* (#:key outputs #:allow-other-keys) + (setenv "CC" "gcc")))))) + (inputs (list python + perl + gcc + dune + gmp + zlib)) + (propagated-inputs (list ocaml-biniou + ocaml-easy-format + ocaml-graph + ocaml-yojson + ocaml-dune-site + ocaml-ppx-deriving-yaml + ocaml-zarith + ocaml-ppx-deriving-yojson + ocaml-ppx-import + ocaml-lablgtk3-sourceview3 + lablgtk3 + why3)) (native-search-paths (list (search-path-specification (variable "FRAMAC_SHARE") @@ -9300,7 +9303,8 @@ (define-public frama-c (separator #f)))) (home-page "https://frama-c.com") (synopsis "C source code analysis platform") - (description "Frama-C is an extensible and collaborative platform dedicated + (description + "Frama-C is an extensible and collaborative platform dedicated to source-code analysis of C software. The Frama-C analyzers assist you in various source-code-related activities, from the navigation through unfamiliar projects up to the certification of critical software.")