[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
09/09: gnu: Add ocaml-menhir.
From: |
David Craven |
Subject: |
09/09: gnu: Add ocaml-menhir. |
Date: |
Sat, 10 Dec 2016 20:47:25 +0000 (UTC) |
dvc pushed a commit to branch master
in repository guix.
commit e31b75f22f777f8709b9a51c85d97e89146fe43e
Author: David Craven <address@hidden>
Date: Sun Nov 20 15:49:10 2016 +0100
gnu: Add ocaml-menhir.
* gnu/packages/ocaml.scm (ocaml-menhir): New variable.
---
gnu/packages/ocaml.scm | 36 ++++++++++++++++++++++++++++++++++++
1 file changed, 36 insertions(+)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 84bce3d..61d5107 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -454,6 +454,42 @@ assistant to write formal mathematical proofs using a
variety of theorem
provers.")
(license gpl2+)))
+(define-public ocaml-menhir
+ (package
+ (name "ocaml-menhir")
+ (version "20161115")
+ (source (origin
+ (method url-fetch)
+ (uri (string-append
+ "http://gallium.inria.fr/~fpottier/menhir/"
+ "menhir-" version ".tar.gz"))
+ (sha256
+ (base32
+ "1j8nmcj2gq6hyyi16z27amiahplgrnk4ppchpm0v4qy80kwkf47k"))))
+ (build-system gnu-build-system)
+ (inputs
+ `(("ocaml" ,ocaml)))
+ (arguments
+ `(#:parallel-build? #f ; Parallel build causes failure
+ #:tests? #f ; No check target
+ #:phases
+ (modify-phases %standard-phases
+ (replace 'configure
+ (lambda* (#:key outputs #:allow-other-keys)
+ (let ((out (assoc-ref outputs "out")))
+ (setenv "PREFIX" out))
+ #t)))))
+ (home-page "http://gallium.inria.fr/~fpottier/menhir")
+ (synopsis "Parser generator")
+ (description "Menhir is a parser generator. It turns high-level grammar
+specifications, decorated with semantic actions expressed in the OCaml
+programming language into parsers, again expressed in OCaml. It is based on
+Knuthâs LR(1) parser construction technique.")
+ ;; The file src/standard.mly and all files listed in src/mnehirLib.mlpack
+ ;; that have an *.ml or *.mli extension are GPL licensed. All other files
+ ;; are QPL licensed.
+ (license (list gpl2+ qpl))))
+
(define-public lablgtk
(package
(name "lablgtk")
- branch master updated (56c394e -> e31b75f), David Craven, 2016/12/10
- 01/09: gnu: Add ghc-hinotify., David Craven, 2016/12/10
- 04/09: gnu: Add ghc-ieee754., David Craven, 2016/12/10
- 02/09: gnu: Add ghc-fsnotify., David Craven, 2016/12/10
- 05/09: gnu: Add ghc-terminal-size., David Craven, 2016/12/10
- 03/09: gnu: Add ghc-tasty-rerun., David Craven, 2016/12/10
- 08/09: gnu: coq: Update to 8.5pl2., David Craven, 2016/12/10
- 06/09: gnu: ghc-trifecta: Update to 1.6., David Craven, 2016/12/10
- 09/09: gnu: Add ocaml-menhir.,
David Craven <=
- 07/09: gnu: idris: Update to 0.12.3., David Craven, 2016/12/10