summaryrefslogtreecommitdiff
path: root/gnu/packages/ocaml.scm
diff options
context:
space:
mode:
authorJulien Lepiller <julien@lepiller.eu>2021-07-05 16:51:51 +0200
committerJulien Lepiller <julien@lepiller.eu>2021-07-05 16:54:14 +0200
commit4fa62cf70214b4bd10e3682b8c91f62aa9ceb387 (patch)
treeed1a5e53b17deff72574b411bdd985c268beb221 /gnu/packages/ocaml.scm
parentef79d6c5d67e6c8582abe504951e85513d2a671c (diff)
gnu: ocaml-earley: Update to 3.0.0.
* gnu/packages/ocaml.scm (ocaml-earley): Update to 3.0.0. Use latest ocaml version.
Diffstat (limited to 'gnu/packages/ocaml.scm')
-rw-r--r--gnu/packages/ocaml.scm15
1 files changed, 7 insertions, 8 deletions
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 854cc797ed..cec6eb4f89 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -4381,10 +4381,10 @@ for programming languages, but also for manipulating terms of the λ-calculus
or quantified formulas.")
(license license:gpl3+)))
-(define-public ocaml4.07-earley
+(define-public ocaml-earley
(package
- (name "ocaml4.07-earley")
- (version "2.0.0")
+ (name "ocaml-earley")
+ (version "3.0.0")
(home-page "https://github.com/rlepigre/ocaml-earley")
(source
(origin
@@ -4395,13 +4395,12 @@ or quantified formulas.")
(file-name (git-file-name name version))
(sha256
(base32
- "18k7bi7krc4bvqnhijz1q0pfr0nfahghfjifci8rh1q4i5zd0xz5"))))
+ "1vi58zdxchpw6ai0bz9h2ggcmg8kv57yk6qbx82lh47s5wb3mz5y"))))
(build-system dune-build-system)
(arguments
- `(#:test-target "."
- #:ocaml ,ocaml-4.07
- #:findlib ,ocaml4.07-findlib
- #:dune ,ocaml4.07-dune))
+ `(#:test-target "."))
+ (propagated-inputs
+ `(("ocaml-stdlib-shims" ,ocaml-stdlib-shims)))
(synopsis "Parsing library based on Earley Algorithm")
(description "Earley is a parser combinator library base on Earley's
algorithm. It is intended to be used in conjunction with an OCaml syntax