GNU logs - #76649, boring messages


Message sent to guix-patches@HIDDEN:


X-Loop: help-debbugs@HIDDEN
Subject: [bug#76649] [PATCH] gnu: ocaml-ctypes: update to 0.23.0
Resent-From: Erwan Jahier <erwan.jahier@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: guix-patches@HIDDEN
Resent-Date: Fri, 28 Feb 2025 17:37:04 +0000
Resent-Message-ID: <handler.76649.B.174076421025323 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: report 76649
X-GNU-PR-Package: guix-patches
X-GNU-PR-Keywords: patch
To: 76649 <at> debbugs.gnu.org
Cc: Erwan Jahier <erwan.jahier@HIDDEN>
X-Debbugs-Original-To: guix-patches@HIDDEN
Received: via spool by submit <at> debbugs.gnu.org id=B.174076421025323
          (code B ref -1); Fri, 28 Feb 2025 17:37:04 +0000
Received: (at submit) by debbugs.gnu.org; 28 Feb 2025 17:36:50 +0000
Received: from localhost ([127.0.0.1]:52191 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1to4I4-0006a6-Hy
	for submit <at> debbugs.gnu.org; Fri, 28 Feb 2025 12:36:50 -0500
Received: from lists.gnu.org ([2001:470:142::17]:53424)
 by debbugs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.84_2) (envelope-from <erwan.jahier@HIDDEN>)
 id 1to3cW-00022k-1a
 for submit <at> debbugs.gnu.org; Fri, 28 Feb 2025 11:53:54 -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 <erwan.jahier@HIDDEN>)
 id 1to3cI-00038x-Va
 for guix-patches@HIDDEN; Fri, 28 Feb 2025 11:53:39 -0500
Received: from zm-mta-out-3.u-ga.fr ([152.77.200.56])
 by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <erwan.jahier@HIDDEN>)
 id 1to3cF-0006Ur-HL
 for guix-patches@HIDDEN; Fri, 28 Feb 2025 11:53:38 -0500
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple;
 d=univ-grenoble-alpes.fr; s=2020; t=1740761604;
 bh=lGc6bz2HYslv3iNkqgJFOQ/ny+ouQaG44EKSvA0PRCU=;
 h=From:To:Subject:cc:Date:From;
 b=kvd0c499ztF2n9+Gc7yoSUIsYT4TCThQv2dho8OeVye1J85Tnm07b6HGH8/sCMLtO
 uRQYg8S4bzT3iMFR3JNbYJoQQ2dHc/Ci+G9KRSjo88650PEqXNtGZQlFxSHWsPym/y
 qC7xaAs1jP5wtrorlZDWXw/0A7fQDAdeZ6Ntw/my42spVvPuwjKfGEdin1yOiPoguk
 ooP9DmjJ2YCJ2YKH9h/WW6LFMLbBZ8ZkfPBN0mBVg4mUqtj77KFB7H2KuYFmqR6mXp
 vnVBRpceySe5NJtXJZO0EI1sW1hTkbyCx8Mxu93ZekEh1EjIxIxVxVxvsO63ze9NJY
 JxlfmWmaF3bpA==
Received: from mailhub-1.u-ga.fr (mailhub-1.u-ga.fr [129.88.178.98])
 by zm-mta-out-3.u-ga.fr (Postfix) with ESMTP id 34AE540265
 for <guix-patches@HIDDEN>; Fri, 28 Feb 2025 17:53:24 +0100 (CET)
Received: from smtps.univ-grenoble-alpes.fr (smtps3.u-ga.fr [195.83.24.62])
 by mailhub-1.u-ga.fr (Postfix) with ESMTP id 30A12FF856;
 Fri, 28 Feb 2025 17:53:24 +0100 (CET)
Received: from crevetete.univ-grenoble-alpes.fr (crevetete.imag.fr
 [129.88.43.91])
 (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)
 key-exchange ECDHE (prime256v1) server-signature RSA-PSS (2048 bits)
 server-digest SHA256) (No client certificate requested)
 (Authenticated sender: jahiere@HIDDEN)
 by smtps.univ-grenoble-alpes.fr (Postfix) with ESMTPSA id 2187A400A7;
 Fri, 28 Feb 2025 17:53:24 +0100 (CET)
From: Erwan Jahier <erwan.jahier@HIDDEN>
Date: Fri, 28 Feb 2025 17:53:23 +0100
Message-ID: <87h64em2nw.fsf@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain
X-Greylist: Whitelist-UGA SMTP Authentifie (jahiere@HIDDEN)
 via submission-587 ACL (41)
Received-SPF: pass client-ip=152.77.200.56;
 envelope-from=erwan.jahier@HIDDEN; helo=zm-mta-out-3.u-ga.fr
X-Spam_score_int: -43
X-Spam_score: -4.4
X-Spam_bar: ----
X-Spam_report: (-4.4 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1,
 DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1,
 RCVD_IN_DNSWL_MED=-2.3, RCVD_IN_VALIDITY_RPBL_BLOCKED=0.001,
 RCVD_IN_VALIDITY_SAFE_BLOCKED=0.001, SPF_HELO_NONE=0.001,
 SPF_PASS=-0.001 autolearn=ham autolearn_force=no
X-Spam_action: no action
X-Spam-Score: 1.0 (+)
X-Mailman-Approved-At: Fri, 28 Feb 2025 12:36:44 -0500
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -0.0 (/)


commit bb7c5f2a15296ee0541807d3abe6ce15edea09a3
Author: erwan <erwan.jahier@HIDDEN>

    gnu: ocaml-ctypes: update to 0.23.0
    
    * gnu/packages/ocaml.scm (ocaml-ctypes):  update to  0.23.0 and switch  to the
    dune building system.

diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index f265aee249..16ab7c1e44 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -5643,10 +5643,10 @@ (define-public ocaml-integers
 
 (define-public ocaml-ctypes
   (package
-   (name "ocaml-ctypes")
-   (version "0.20.1")
-   (home-page "https://github.com/ocamllabs/ocaml-ctypes")
-   (source (origin
+    (name "ocaml-ctypes")
+    (version "0.23.0")
+    (home-page "https://github.com/yallop/ocaml-ctypes")
+    (source (origin
              (method git-fetch)
              (uri (git-reference
                     (url home-page)
@@ -5654,35 +5654,25 @@ (define-public ocaml-ctypes
              (file-name (git-file-name name version))
              (sha256
               (base32
-               "0ilzq9qzvwv9rc08cc9wchsx636zp870i7qvqmbigaa2qb812m0z"))))
-   (build-system ocaml-build-system)
-   (arguments
-    `(#:phases
-      (modify-phases %standard-phases
-        (add-after 'unpack 'make-writable
-          (lambda _
-            (for-each make-file-writable
-                      (find-files "."))))
-        (delete 'configure))))
-   (native-inputs
-    `(("pkg-config" ,pkg-config)
-      ("ounit" ,ocaml-ounit)
-      ("lwt" ,ocaml-lwt)))
-   (propagated-inputs
-    `(("bigarray-compat" ,ocaml-bigarray-compat)
-      ("integers" ,ocaml-integers)))
-   (inputs
-    (list libffi))
-   (properties `((ocaml5.0-variant . ,(delay ocaml5.0-ctypes))))
-   (synopsis "Library for binding to C libraries using pure OCaml")
-   (description "Ctypes is a library for binding to C libraries using pure
-OCaml.  The primary aim is to make writing C extensions as straightforward as
-possible.  The core of ctypes is a set of combinators for describing the
-structure of C types -- numeric types, arrays, pointers, structs, unions and
-functions.  You can use these combinators to describe the types of the
-functions that you want to call, then bind directly to those functions -- all
-without writing or generating any C!")
-   (license license:expat)))
+               "16dxz2r070vlrkbqhza0c5y6izxpjn080vqmxj47i919wfqd75vx"))))
+    (build-system dune-build-system)
+    (propagated-inputs (list ocaml-integers dune-configurator
+                             ocaml-bigarray-compat ocaml-odoc))
+    (native-inputs (list ocaml-ounit2 libffi pkg-config))
+    (synopsis "Combinators for binding to C libraries without writing any C")
+    (description
+     "ctypes is a library for binding to C libraries using pure OCaml.  The primary
+aim is to make writing C extensions as straightforward as possible.  The core of
+ctypes is a set of combinators for describing the structure of C types --
+numeric types, arrays, pointers, structs, unions and functions.  You can use
+these combinators to describe the types of the functions that you want to call,
+then bind directly to those functions -- all without writing or generating any
+C! To install the optional `ctypes-foreign` interface (which uses `libffi` to
+provide dynamic access to foreign libraries), you will need to also install the
+`ctypes-foreign` package.  opam install ctypes-foreign This will make the
+`ctypes-foreign` ocamlfind subpackage available.")
+    (license license:expat)))
+
 
 (define-public ocaml5.0-ctypes
   ;; Contains fix to support OCaml 5.0




Message sent:


Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-Mailer: MIME-tools 5.505 (Entity 5.505)
Content-Type: text/plain; charset=utf-8
X-Loop: help-debbugs@HIDDEN
From: help-debbugs@HIDDEN (GNU bug Tracking System)
To: Erwan Jahier <erwan.jahier@HIDDEN>
Subject: bug#76649: Acknowledgement ([PATCH] gnu: ocaml-ctypes: update to
 0.23.0)
Message-ID: <handler.76649.B.174076421025323.ack <at> debbugs.gnu.org>
References: <87h64em2nw.fsf@HIDDEN>
X-Gnu-PR-Message: ack 76649
X-Gnu-PR-Package: guix-patches
X-Gnu-PR-Keywords: patch
Reply-To: 76649 <at> debbugs.gnu.org
Date: Fri, 28 Feb 2025 17:37:05 +0000

Thank you for filing a new bug report with debbugs.gnu.org.

This is an automatically generated reply to let you know your message
has been received.

Your message is being forwarded to the package maintainers and other
interested parties for their attention; they will reply in due course.

Your message has been sent to the package maintainer(s):
 guix-patches@HIDDEN

If you wish to submit further information on this problem, please
send it to 76649 <at> debbugs.gnu.org.

Please do not send mail to help-debbugs@HIDDEN unless you wish
to report a problem with the Bug-tracking system.

--=20
76649: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D76649
GNU Bug Tracking System
Contact help-debbugs@HIDDEN with problems



Last modified: Fri, 28 Feb 2025 17:45:02 UTC

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997 nCipher Corporation Ltd, 1994-97 Ian Jackson.