From 5342184adc50dd0dac877d55d7d7b63297b4e15d Mon Sep 17 00:00:00 2001 From: Dorian Lesbre Date: Fri, 12 Apr 2024 14:21:43 +0200 Subject: [PATCH] Fix ocaml >= 4.14 --- .github/workflows/ocaml.yml | 1 - PatriciaTree.opam | 3 ++- dune-project | 5 ++++- 3 files changed, 6 insertions(+), 3 deletions(-) diff --git a/.github/workflows/ocaml.yml b/.github/workflows/ocaml.yml index 7eaf93f..956da7e 100644 --- a/.github/workflows/ocaml.yml +++ b/.github/workflows/ocaml.yml @@ -16,7 +16,6 @@ jobs: # - macos-latest # - windows-latest ocaml-compiler: - - 4.10.x - 4.14.x - 5.1.x diff --git a/PatriciaTree.opam b/PatriciaTree.opam index c8cd46c..474388b 100644 --- a/PatriciaTree.opam +++ b/PatriciaTree.opam @@ -13,10 +13,11 @@ homepage: "https://github.com/codex-semantics-library/patricia-tree" bug-reports: "https://github.com/codex-semantics-library/patricia-tree/issues" depends: [ + "ocaml" {>= "4.14"} "qcheck-core" {>= "0.21.2"} "zarith" {>= "1.13"} "dune" {>= "2.0"} - "ppx_inline_test" + "ppx_inline_test" {>= "v0.16.0"} ] build: [ ["dune" "subst"] {pinned} diff --git a/dune-project b/dune-project index df75400..184685e 100644 --- a/dune-project +++ b/dune-project @@ -44,10 +44,13 @@ (synopsis "Patricia Tree data structure in OCaml for maps and sets. Supports generic key-value pairs") (depends + (ocaml + (>= 4.14)) (qcheck-core (>= "0.21.2")) (zarith (>= "1.13")) (dune (>= "2.0")) - ppx_inline_test)) + (ppx_inline_test + (>= "v0.16.0"))))