[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#34361] [PATCH 1/4] gnu: Add ocaml-earley.
From: |
Gabriel Hondet |
Subject: |
[bug#34361] [PATCH 1/4] gnu: Add ocaml-earley. |
Date: |
Fri, 1 Feb 2019 20:20:54 +0100 |
User-agent: |
mu4e 1.0; emacs 26.1 |
* gnu/packages/ocaml.scm (ocaml-earley): New variable.
---
gnu/packages/ocaml.scm | 30 ++++++++++++++++++++++++++++++
1 file changed, 30 insertions(+)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 2d33db1c0..59630028e 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -4727,6 +4727,36 @@ syntax checking on dedukti files.")
"Part of the Jane Street's PPX rewriters collection.")
(license license:expat)))
+(define-public ocaml-earley
+ (package
+ (name "ocaml-earley")
+ (version "2.0.0")
+ (home-page "https://github.com/rlepigre/ocaml-earley")
+ (source
+ (origin
+ (method git-fetch)
+ (uri (git-reference
+ (url (string-append home-page ".git"))
+ (commit version)))
+ (file-name (git-file-name name version))
+ (sha256
+ (base32
+ "18k7bi7krc4bvqnhijz1q0pfr0nfahghfjifci8rh1q4i5zd0xz5"))))
+ (build-system dune-build-system)
+ (arguments
+ `(#:phases
+ (modify-phases %standard-phases
+ (replace 'check
+ (lambda _
+ (invoke "make" "tests")
+ #t)))))
+ (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
+extension which allows the definition of parsers inside the language. There
+is also support for writing OCaml syntax extensions in a camlp4 style.")
+ (license license:cecill-b)))
+
(define-public ocaml-biniou
(package
(name "ocaml-biniou")
--
2.20.1
signature.asc
Description: PGP signature
- [bug#34361] [PATCH 1/4] gnu: Add ocaml-earley.,
Gabriel Hondet <=