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
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
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997 nCipher Corporation Ltd,
1994-97 Ian Jackson.