Received: (at submit) by debbugs.gnu.org; 28 Feb 2025 17:36:50 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Fri Feb 28 12:36:50 2025
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>
To: guix-patches@HIDDEN
Subject: [PATCH] gnu: ocaml-ctypes: update to 0.23.0
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-Debbugs-Envelope-To: submit
X-Mailman-Approved-At: Fri, 28 Feb 2025 12:36:44 -0500
Cc: Erwan Jahier <erwan.jahier@HIDDEN>
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
Erwan Jahier <erwan.jahier@HIDDEN>:guix-patches@HIDDEN.
Full text available.guix-patches@HIDDEN:bug#76649; Package guix-patches.
Full text available.
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997 nCipher Corporation Ltd,
1994-97 Ian Jackson.