gnu: Add ocaml-camomile.

* gnu/packages/ocaml.scm (ocaml-camomile): New variable.
This commit is contained in:
Julien Lepiller 2017-09-21 20:51:14 +02:00
parent cd1562ef8e
commit 408091d5a5
No known key found for this signature in database
GPG Key ID: 43111F4520086A0C
1 changed files with 28 additions and 0 deletions

View File

@ -3520,6 +3520,34 @@ of libraries, plugins, and frontends. The libraries provide code reusability,
the plugins facilitate extensibility, and the frontends serve as entry points.") the plugins facilitate extensibility, and the frontends serve as entry points.")
(license license:expat))) (license license:expat)))
(define-public ocaml-camomile
(package
(name "ocaml-camomile")
(version "0.8.5")
(home-page "https://github.com/yoriyuki/Camomile")
(source (origin
(method url-fetch)
(uri (string-append home-page "/releases/download/rel-" version
"/camomile-" version ".tar.bz2"))
(sha256
(base32
"003ikpvpaliy5hblhckfmln34zqz0mk3y2m1fqvbjngh3h2np045"))))
(build-system ocaml-build-system)
(native-inputs `(("camlp4" ,camlp4)))
(arguments
`(#:phases
(modify-phases %standard-phases
(add-before 'configure 'fix-bin/sh
(lambda _
(setenv "CONFIG_SHELL" (which "bash")))))))
(synopsis "Comprehensive Unicode library")
(description "Camomile is a Unicode library for OCaml. Camomile provides
Unicode character type, UTF-8, UTF-16, UTF-32 strings, conversion to/from about
200 encodings, collation and locale-sensitive case mappings, and more. The
library is currently designed for Unicode Standard 3.2.")
;; with an exception for linked libraries to use a different license
(license license:lgpl2.0+)))
(define-public coq-flocq (define-public coq-flocq
(package (package
(name "coq-flocq") (name "coq-flocq")