[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
01/10: gnu: Add ocaml-frontc.
From: |
David Craven |
Subject: |
01/10: gnu: Add ocaml-frontc. |
Date: |
Wed, 4 Jan 2017 16:41:24 +0000 (UTC) |
dvc pushed a commit to branch master
in repository guix.
commit ff891f10edd3359007e8f24999c3e6eda1d0f18b
Author: Julien Lepiller <address@hidden>
Date: Fri Dec 30 10:56:00 2016 +0100
gnu: Add ocaml-frontc.
* gnu/packages/ocaml.scm (ocaml-frontc): New variable.
Signed-off-by: David Craven <address@hidden>
---
gnu/packages/ocaml.scm | 42 ++++++++++++++++++++++++++++++++++++++++++
1 file changed, 42 insertions(+)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 69a3801..7a5ea6b 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -864,3 +864,45 @@ arbitrary-precision integers. It uses GMP to efficiently
implement arithmetic
over big integers. Small integers are represented as Caml unboxed integers,
for speed and space economy.")
(license license:lgpl2.1+))) ; with an exception
+
+(define-public ocaml-frontc
+ (package
+ (name "ocaml-frontc")
+ (version "3.4")
+ (source (origin
+ (method url-fetch)
+ (uri (string-append "https://www.irit.fr/recherches/ARCHI/MARCH/"
+ "frontc/Frontc-" version ".tgz"))
+ (sha256
+ (base32
+ "16dz153s92dgbw1rrfwbhscy73did87kfmjwyh3qpvs748h1sc4g"))))
+ (build-system ocaml-build-system)
+ (arguments
+ `(#:phases
+ (modify-phases %standard-phases
+ (delete 'configure)
+ (add-after 'install 'install-meta
+ (lambda* (#:key outputs #:allow-other-keys)
+ (let ((out (assoc-ref outputs "out")))
+ (with-output-to-file
+ (string-append out "/lib/ocaml/frontc/META")
+ (lambda _
+ (display
+ (string-append
+ "description = \"Parser for the C language\"
+version = \"" ,version "\"
+requires = \"unix\"
+archive(byte) = \"frontc.cma\"
+archive(native) = \"frontc.cmxa\""))))
+ (symlink (string-append out "/lib/ocaml/frontc")
+ (string-append out "/lib/ocaml/FrontC"))))))
+ #:make-flags (list (string-append "PREFIX="
+ (assoc-ref %outputs "out"))
+ "OCAML_SITE=$(LIB_DIR)/ocaml/")))
+ (home-page "https://www.irit.fr/FrontC")
+ (synopsis "C parser and lexer library")
+ (description "FrontC is an OCAML library providing a C parser and lexer.
+The result is a syntactic tree easy to process with usual OCAML tree
management.
+It provides support for ANSI C syntax, old-C K&R style syntax and the standard
+GNU CC attributes. It provides also a C pretty printer as an example of use.")
+ (license license:lgpl2.1)))
- branch master updated (b96a064 -> 6548e53), David Craven, 2017/01/04
- 02/10: gnu: Add ocaml-qtest., David Craven, 2017/01/04
- 06/10: gnu: Add ocaml-result., David Craven, 2017/01/04
- 03/10: gnu: Add ocaml-stringext., David Craven, 2017/01/04
- 08/10: gnu: Add ocaml-rresult., David Craven, 2017/01/04
- 10/10: gnu: Add ocaml-cmdliner., David Craven, 2017/01/04
- 07/10: gnu: Add ocaml-topkg., David Craven, 2017/01/04
- 09/10: gnu: Add ocaml-mtime., David Craven, 2017/01/04
- 05/10: gnu: Add ocaml-bitstring., David Craven, 2017/01/04
- 01/10: gnu: Add ocaml-frontc.,
David Craven <=
- 04/10: gnu: Add ocaml-bisect., David Craven, 2017/01/04