diff options
author | Julien Lepiller <julien@lepiller.eu> | 2016-12-30 12:17:09 +0100 |
---|---|---|
committer | Julien Lepiller <julien@lepiller.eu> | 2017-01-17 23:13:19 +0100 |
commit | 9dc7dcb26129c182ba564d886ea43a651fd176a2 (patch) | |
tree | f0192c4137de9571fcb6f053345518fc2da7796b /gnu/packages/ocaml.scm | |
parent | 66da3a9f319293f42906117388814b98ddb71b79 (diff) | |
download | guix-9dc7dcb26129c182ba564d886ea43a651fd176a2.tar.gz |
gnu: Add ocaml-logs.
* gnu/packages/ocaml.scm (ocaml-logs): New variable.
Diffstat (limited to 'gnu/packages/ocaml.scm')
-rw-r--r-- | gnu/packages/ocaml.scm | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 9a70c47536..c17aaf8e3f 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -1443,3 +1443,34 @@ make it easy to run normally-blocking I/O operations concurrently in a single process. Also, in many cases, Lwt threads can interact without the need for locks or other synchronization primitives.") (license license:lgpl2.1))) + +(define-public ocaml-logs + (package + (name "ocaml-logs") + (version "0.6.2") + (source (origin + (method url-fetch) + (uri (string-append "http://erratique.ch/software/logs/releases/" + "logs-" version ".tbz")) + (sha256 + (base32 + "1khbn7jqpid83zn8rvyh1x1sirls7zc878zj4fz985m5xlsfy853")))) + (build-system ocaml-build-system) + (arguments `(#:tests? #f + #:build-flags (list "build" "--with-js_of_ocaml" "false") + #:phases + (modify-phases %standard-phases + (delete 'configure)))) + (native-inputs `(("opam" ,opam))) + (propagated-inputs `(("fmt" ,ocaml-fmt) + ("lwt" ,ocaml-lwt) + ("mtime" ,ocaml-mtime) + ("result" ,ocaml-result) + ("cmdliner" ,ocaml-cmdliner) + ("topkg" ,ocaml-topkg))) + (home-page "http://erratique.ch/software/logs") + (synopsis "Logging infrastructure for OCaml") + (description "Logs provides a logging infrastructure for OCaml. Logging is +performed on sources whose reporting level can be set independently. Log +message report is decoupled from logging and is handled by a reporter.") + (license license:isc))) |