[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
04/10: gnu: Add ocaml-optcomp.
From: |
julien lepiller |
Subject: |
04/10: gnu: Add ocaml-optcomp. |
Date: |
Wed, 27 Sep 2017 15:28:11 -0400 (EDT) |
roptat pushed a commit to branch master
in repository guix.
commit b5c0217c719b87ba21abc3910e1069e62590a070
Author: Julien Lepiller <address@hidden>
Date: Thu Sep 21 20:35:17 2017 +0200
gnu: Add ocaml-optcomp.
* gnu/packages/ocaml.scm (ocaml-optcomp): New variable.
---
gnu/packages/ocaml.scm | 27 +++++++++++++++++++++++++++
1 file changed, 27 insertions(+)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 35a5a10..4cb66bd 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -3276,6 +3276,33 @@ JSON.")
Format module of the OCaml standard library.")
(license license:bsd-3)))
+(define-public optcomp
+ (package
+ (name "optcomp")
+ (version "1.6")
+ (source (origin
+ (method url-fetch)
+ (uri (string-append "https://github.com/diml/optcomp/archive/"
+ version ".tar.gz"))
+ (sha256
+ (base32
+ "0hhhb2gisah1h22zlg5iszbgqxdd7x85cwd57bd4mfkx9l7dh8jh"))
+ (file-name (string-append name "-" version ".tar.gz"))))
+ (build-system ocaml-build-system)
+ (arguments
+ `(#:use-make? #t
+ #:make-flags
+ (list (string-append "BUILDFLAGS=\"-cflags -I,"
+ (assoc-ref %build-inputs "camlp4")
+ "/lib/ocaml/site-lib/camlp4/Camlp4Parsers\""))))
+ (native-inputs `(("camlp4" ,camlp4)))
+ (propagated-inputs `(("camlp4" ,camlp4)))
+ (home-page "https://github.com/diml/optcomp")
+ (synopsis "Optional compilation for OCaml")
+ (description "Optcomp provides an optional compilation facility with
+cpp-like directives.")
+ (license license:bsd-3)))
+
(define-public coq-flocq
(package
(name "coq-flocq")
- branch master updated (cb1e0cf -> 408091d), julien lepiller, 2017/09/27
- 01/10: gnu: Add ocaml-ezjsonm., julien lepiller, 2017/09/27
- 02/10: gnu: Add ocaml-uri., julien lepiller, 2017/09/27
- 05/10: gnu: Add ocaml-piqilib., julien lepiller, 2017/09/27
- 06/10: gnu: Add ocaml-uuidm., julien lepiller, 2017/09/27
- 03/10: gnu: Add ocaml-easy-format., julien lepiller, 2017/09/27
- 08/10: gnu: Add ocaml-piqi., julien lepiller, 2017/09/27
- 09/10: gnu: Add bap., julien lepiller, 2017/09/27
- 10/10: gnu: Add ocaml-camomile., julien lepiller, 2017/09/27
- 07/10: gnu: Add ocaml-graph., julien lepiller, 2017/09/27
- 04/10: gnu: Add ocaml-optcomp.,
julien lepiller <=