summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBenjamin Chabanne <benjamin@uvy.fr>2025-08-30 22:04:15 +0200
committerJulien Lepiller <julien@lepiller.eu>2025-09-14 08:48:40 +0200
commit8d9f0383fe4ef100d52f665f1a44719800ece129 (patch)
tree52c1f0f49554f2d598706e422dc7832b2cb7502b
parent0bfafd5e11feed0120e8438f7cba18e3e5c6a577 (diff)
gnu: ocaml5.0-ctypes: remove package.
Dependents still rely on `package-with-ocaml5.0' which generates an ocaml5.0-ctypes definition that builds properly. * gnu/packages/ocaml.scm (ocaml5.0-ctypes): remove. Change-Id: Ic6d42d751bc9ecc3817ab963fde20bb5765399ff Signed-off-by: Julien Lepiller <julien@lepiller.eu>
-rw-r--r--gnu/packages/ocaml.scm28
1 files changed, 0 insertions, 28 deletions
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 78d26fab040..bbb7c1a4fd8 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -5728,7 +5728,6 @@ long and size_t whose sizes depend on the host platform.")
("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
@@ -5739,33 +5738,6 @@ functions that you want to call, then bind directly to those functions -- all
without writing or generating any C!")
(license license:expat)))
-(define-public ocaml5.0-ctypes
- ;; Contains fix to support OCaml 5.0
- ;; (https://github.com/ocamllabs/ocaml-ctypes/pull/709)
- (let ((commit "52ff621f47dbc1ee5a90c30af0ae0474549946b4")
- (revision "0"))
- (package-with-ocaml5.0
- (package
- (inherit ocaml-ctypes)
- (name "ocaml-ctypes")
- (version (git-version "0.20.1" revision commit))
- (home-page "https://github.com/ocamllabs/ocaml-ctypes")
- (arguments
- (append
- ;; Some tests fail. Failure seems to be due to OCaml 5.0.
- `(#:tests? #f)
- (package-arguments ocaml-ctypes)))
- (source (origin
- (method git-fetch)
- (uri (git-reference
- (url home-page)
- (commit commit)))
- (file-name (git-file-name name version))
- (sha256
- (base32
- "0vyiryqchz0mdfhal7bdivqsk5yhvzzckrqv495rlpbdxzklcp7g"))))
- (properties '())))))
-
(define-public ocaml-ocb-stubblr
(package
(name "ocaml-ocb-stubblr")