From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0.migadu.com ([2001:41d0:403:58f0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms13.migadu.com with LMTPS id 0GeyM2TE82bNTAAAqHPOHw:P1 (envelope-from ) for ; Wed, 25 Sep 2024 08:05:57 +0000 Received: from aspmx1.migadu.com ([2001:41d0:403:58f0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0.migadu.com with LMTPS id 0GeyM2TE82bNTAAAqHPOHw (envelope-from ) for ; Wed, 25 Sep 2024 10:05:56 +0200 X-Envelope-To: larch@yhetil.org Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=debbugs.gnu.org header.s=debbugs-gnu-org header.b=Or6o+odo; dkim=fail ("headers rsa verify failed") header.d=rimm.ee header.s=herman header.b=ssw9jrIq; 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=pass (policy=none) header.from=gnu.org ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1727251556; h=from:from:sender:sender:reply-to:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: 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=NeLeUKCci2WM2OQcEzLMg64eV3b3Bm8XflZEBTz/gwQ=; b=DvqBhb3ygFttWM+R3Wj/DwNrTVXmRgVKOVesZ1j4RrL8VihAFJjZcsdUipV/93p9mpZ8Gm o8r0jw45BuNcA/yKgGdXDvT+Mq/tMMFB4FG9N+G+NaaBulxfur+xO0nAtWHlBJ0RU2vXDZ U5uYgy7X0z31d/B7Fx8SMVO3LRwEaUqWqUPdT5Nq9nWyH/5AE7n9dzxE6PabS3FBPvp0/f +1jZMT2RHc5l5F2sPKy3qpuw7H6HGToVbKUSA3ttmh8c14E+G0yUbK5keg9/IXoZC3YrB9 hSQAKp92uEo4LodO6eX4q+znkAj1bJ2SIg2p+Scb/2QeJK4mrn8BAd05hM1T9g== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=debbugs.gnu.org header.s=debbugs-gnu-org header.b=Or6o+odo; dkim=fail ("headers rsa verify failed") header.d=rimm.ee header.s=herman header.b=ssw9jrIq; 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=pass (policy=none) header.from=gnu.org ARC-Seal: i=1; s=key1; d=yhetil.org; t=1727251556; a=rsa-sha256; cv=none; b=DG+iBKCd+RpheWaTzhk7xlBvJHuGmLdMv14otBtnOPNa9BQZ/Vj2DPNdaEtNUNmmggqEzy KNAbfcQPB7KgbME11pfcaSNpBJR8+ipLA23Yxa91EyEdiPG/QPg1tOw4F499pcIaqiy93t xOg73hUivlHolbnn1xrINUznTWNd3N5gr5X3IQ0zIQAe+MlJbwFgr9t+pLqunCXFp4v7pl NoI3Itx5E7Ru9Pdlyp7y+ckihJqDWXUZ6pW2zI5zbxrVoPsS5CEvWAFwN9QG9BR6cy178y iyB8nLFtAO1GCDBSNvGcInIQAGVdpitePXqQ769SncdSAuVSBTlaIF6tmgkSag== 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 A842D7A14C for ; Wed, 25 Sep 2024 10:05:56 +0200 (CEST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1stN0v-0005el-0V; Wed, 25 Sep 2024 04:04:45 -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 1stN0q-0005bM-Iu for guix-patches@gnu.org; Wed, 25 Sep 2024 04:04:40 -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 1stN0q-0004SX-9b for guix-patches@gnu.org; Wed, 25 Sep 2024 04:04:40 -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:References:In-Reply-To:Date:From:To:Subject; bh=NeLeUKCci2WM2OQcEzLMg64eV3b3Bm8XflZEBTz/gwQ=; b=Or6o+odo16VSiICNbikSLzIzlxPjIDW5qNOQ69BDzVFguU5Vj+AZ9BHFESdphDeg0GHUg3p7Ye+gWM6lX9gucCU425/ZW7BtsohCK06lG5+pg/xokJux1oxPY1KGwRyjj28J7xHu4jLdG2fU01r+F288vucSP9430h9tkPOpx1sZ2XOhvMbnuN8NtgEANM1NTIC+RN1DG9MIDToeJUQ4DzQmzCezIz0r7p2dLYh5eYgrYB3ujedKUbWet6p1VyC1Amg2a8V0EwvIA/XAnezSl2fWL13YmFV3cJWekTZyskdZ/OLiNIsGFqaGriB0H8/67AAE0ElkxWmmO8n/9zbR/w==; Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1stN1F-0003op-NY; Wed, 25 Sep 2024 04:05:05 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#73466] [PATCH 11/16] gnu: Add ocaml-cpu. Resent-From: Herman Rimm Original-Sender: "Debbugs-submit" Resent-CC: julien@lepiller.eu, pukkamustard@posteo.net, guix-patches@gnu.org Resent-Date: Wed, 25 Sep 2024 08:05:05 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 73466 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 73466@debbugs.gnu.org Cc: Julien Lepiller , pukkamustard X-Debbugs-Original-Xcc: Julien Lepiller , pukkamustard Received: via spool by 73466-submit@debbugs.gnu.org id=B73466.172725148614531 (code B ref 73466); Wed, 25 Sep 2024 08:05:05 +0000 Received: (at 73466) by debbugs.gnu.org; 25 Sep 2024 08:04:46 +0000 Received: from localhost ([127.0.0.1]:44718 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1stN0v-0003mA-Pc for submit@debbugs.gnu.org; Wed, 25 Sep 2024 04:04:46 -0400 Received: from 81-205-150-117.fixed.kpn.net ([81.205.150.117]:45443 helo=email.rimm.ee) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1stN0h-0003jK-Km for 73466@debbugs.gnu.org; Wed, 25 Sep 2024 04:04:32 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=rimm.ee; s=herman; t=1727251434; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=NeLeUKCci2WM2OQcEzLMg64eV3b3Bm8XflZEBTz/gwQ=; b=ssw9jrIqanh6jkHcJYLpgNMHY2+YPx4sSrk6KC+wQ9RWCf6ewbbya2eJqgYWJ8eIQaFLi1 Ac1cd7wTj0phAVTWlqtvABLMMozby/7YVMa7tcbsn04ZX8x5X1lUdEV0T+76pYz649iV67 8Xd/kCkCYBHfjhqB1DKm2Gx+DC4TbJbE7zrizxMgUqJdw01G1TRyzVCngjcXLxIYkX9WH7 K4XH3ksLlEibSuoX9KDqHIg+qylTypxFCTl8EEDATWyZtMl9XGnC3mCwWrdRLze++9Z0el W1C93VqYByqjqwo4uEq5ubTjPDIJop5HI4UOh1YidYT2dy9GXRMh9cK2rlYkJw== Received: by 81-205-150-117.fixed.kpn.net (OpenSMTPD) with ESMTPSA id 404274ce (TLSv1.3:TLS_CHACHA20_POLY1305_SHA256:256:NO) for <73466@debbugs.gnu.org>; Wed, 25 Sep 2024 08:03:54 +0000 (UTC) Date: Wed, 25 Sep 2024 10:03:07 +0200 Message-ID: <19b7560b09846121f9b0797de0074bb68fa178da.1727250772.git.herman@rimm.ee> X-Mailer: git-send-email 2.45.2 In-Reply-To: <2a9cc50a22ef14c84d7a5479e10ff42e9efa5ba1.1727250772.git.herman@rimm.ee> References: <2a9cc50a22ef14c84d7a5479e10ff42e9efa5ba1.1727250772.git.herman@rimm.ee> MIME-Version: 1.0 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: , Reply-to: Herman Rimm X-ACL-Warn: , Herman Rimm via Guix-patches From: Herman Rimm via Guix-patches via 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-Queue-Id: A842D7A14C X-Migadu-Scanner: mx11.migadu.com X-Spam-Score: -6.52 X-Migadu-Spam-Score: -6.52 X-TUID: SPFeCn42RYV0 * gnu/packages/ocaml.scm (ocaml-cpu): Add variable. Change-Id: Id7e0251a97b03fcd186637f1d6c6be17b11d96f8 --- gnu/packages/ocaml.scm | 45 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 45 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 329b28ef84..1989a48798 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -5266,6 +5266,51 @@ (define-public ocaml-cppo @end enumerate") (license license:bsd-3))) +(define-public ocaml-cpu + (package + (name "ocaml-cpu") + (version "2.0.0") + (source + (origin + (method url-fetch) + (uri (string-append "https://github.com/UnixJunkie/cpu/archive/" + "v" version ".tar.gz")) + (sha256 + (base32 + "1aga2cal07nfqgsfgn41gbdb7dyhj5l4967dq6vzpznrbyp2y09q")))) + (build-system ocaml-build-system) + (arguments + (list #:tests? #f ; no test target + #:phases + #~(modify-phases %standard-phases + (add-before 'configure 'create-header + (lambda _ + (invoke "autoheader") + )) + (add-before 'configure 'fix-/bin/sh + (lambda _ + (substitute* "configure" + (("-/bin/sh") (string-append "-" (which "sh")))))) + (replace 'install + (lambda* (#:key outputs #:allow-other-keys) + (let* ((out (assoc-ref outputs "out")) + (libdir + (string-append out "/lib/ocaml/site-lib"))) + (invoke "dune" "install" "--prefix" out "--libdir" + libdir))))))) + (native-inputs (list autoconf dune ocaml)) + (home-page "https://github.com/UnixJunkie/cpu") + (synopsis "Equivalent of the C preprocessor for OCaml programs") + (description "Cppo is an equivalent of the C preprocessor for OCaml +programs. It allows the definition of simple macros and file inclusion. Cppo is: +@enumerate +@item more OCaml-friendly than @command{cpp} +@item easy to learn without consulting a manual +@item reasonably fast +@item simple to install and to maintain. +@end enumerate") + (license license:bsd-3))) + (define-public ocaml-seq (package (name "ocaml-seq") -- 2.45.2