[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH 12/96] gnu: Add ocaml-frontc
From: |
Julien Lepiller |
Subject: |
[PATCH 12/96] gnu: Add ocaml-frontc |
Date: |
Tue, 3 Jan 2017 20:10:53 +0100 |
* gnu/packages/ocaml.scm (ocaml-frontc): New variable.
---
gnu/packages/ocaml.scm | 41 +++++++++++++++++++++++++++++++++++++++++
1 file changed, 41 insertions(+)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index a1c8df1da..4289e5336 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -840,3 +840,44 @@ 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")
+ (home-page "https://www.irit.fr/FrontC")
+ (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/")))
+ (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)))
--
2.11.0
[PATCH 09/96] gnu: Add camlzip, Julien Lepiller, 2017/01/03
[PATCH 11/96] gnu: Add ocaml-zarith., Julien Lepiller, 2017/01/03
[PATCH 12/96] gnu: Add ocaml-frontc,
Julien Lepiller <=
[PATCH 13/96] gnu: Add ocaml-qtest, Julien Lepiller, 2017/01/03
[PATCH 14/96] gnu: Add ocaml-stringext, Julien Lepiller, 2017/01/03
[PATCH 15/96] gnu: Add ocaml-bisect, Julien Lepiller, 2017/01/03
[PATCH 17/96] gnu: Add ocaml-result, Julien Lepiller, 2017/01/03
[PATCH 16/96] gnu: Add ocaml-bitstring, Julien Lepiller, 2017/01/03
[PATCH 18/96] gnu: Add ocaml-topkg, Julien Lepiller, 2017/01/03
[PATCH 19/96] gnu: Add ocaml-rresult, Julien Lepiller, 2017/01/03
[PATCH 20/96] gnu: Add ocaml-mtime, Julien Lepiller, 2017/01/03
[PATCH 21/96] gnu: Add ocaml-cmdliner, Julien Lepiller, 2017/01/03
[PATCH 22/96] gnu: Add ocaml-fmt, Julien Lepiller, 2017/01/03