all messages for Guix-related lists mirrored at yhetil.org
 help / color / mirror / code / Atom feed
From: Julien Lepiller <julien@lepiller.eu>
To: guix-devel@gnu.org
Subject: [PATCH 10/10] gnu: Add ocaml-ppx-compare.
Date: Tue, 31 Jan 2017 21:58:15 +0100	[thread overview]
Message-ID: <20170131205815.14576-11-julien@lepiller.eu> (raw)
In-Reply-To: <20170131205815.14576-1-julien@lepiller.eu>

* gnu/packages/ocaml.scm (ocaml-ppx-compare): 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 0410dbe83..3238896b5 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -2253,3 +2253,30 @@ different preprocessors that generate code from type specifications.")
     (synopsis "Syntax extension for writing in-line benchmarks in ocaml code")
     (description "Syntax extension for writing in-line benchmarks in ocaml code.")
     (license license:asl2.0)))
+
+(define-public ocaml-ppx-compare
+  (package
+    (name "ocaml-ppx-compare")
+    (version "113.33.03")
+    (source (janestreet-origin "ppx_compare" version
+              "0bfhi33kq9l4q6zzc6svki2csracz5j4731c3npcy6cs73jynn0z"))
+    (build-system ocaml-build-system)
+    (native-inputs
+     `(("js-build-tools" ,ocaml-js-build-tools)
+       ("opam" ,opam)
+       ("ppx-core" ,ocaml-ppx-core)))
+    (propagated-inputs
+     `(("ppx-driver" ,ocaml-ppx-driver)
+       ("ppx-tools" ,ocaml-ppx-tools)
+       ("ppx-core" ,ocaml-ppx-core)
+       ("ppx-type-conv" ,ocaml-ppx-type-conv)))
+    (arguments janestreet-arguments)
+    (home-page "https://github.com/janestreet/ppx_compare/")
+    (synopsis "Generation of comparison functions from types")
+    (description "Generation of fast comparison functions from type expressions
+and definitions.  Ppx_compare is a ppx rewriter that derives comparison functions
+from type representations.  The scaffolded functions are usually much faster
+than ocaml's Pervasives.compare.  Scaffolding functions also gives you more
+flexibility by allowing you to override them for a specific type and more safety
+by making sure that you only compare comparable values.")
+    (license license:asl2.0)))
-- 
2.11.0

  parent reply	other threads:[~2017-01-31 20:59 UTC|newest]

Thread overview: 17+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2017-01-31 20:58 [PATCH 00/10] ocaml patches Julien Lepiller
2017-01-31 20:58 ` [PATCH 01/10] gnu: Add ocaml-fieldslib Julien Lepiller
2017-01-31 20:58 ` [PATCH 02/10] gnu: Add ocaml-ppx-core Julien Lepiller
2017-01-31 20:58 ` [PATCH 03/10] gnu: Add ocaml-ppx-optcomp Julien Lepiller
2017-01-31 20:58 ` [PATCH 04/10] gnu: Add ocaml-ppx-driver Julien Lepiller
2017-02-08 11:17   ` Ludovic Courtès
2017-02-13 21:22     ` Julien Lepiller
2017-02-14  9:12       ` Ludovic Courtès
2017-01-31 20:58 ` [PATCH 05/10] gnu: Add ocaml-cppo Julien Lepiller
2017-01-31 20:58 ` [PATCH 06/10] gnu: Add ocaml-ppx-deriving Julien Lepiller
2017-01-31 20:58 ` [PATCH 07/10] gnu: Add ocaml-ppx-type-conv Julien Lepiller
2017-01-31 20:58 ` [PATCH 08/10] gnu: Add ocaml-ppx-inline-test Julien Lepiller
2017-01-31 20:58 ` [PATCH 09/10] gnu: Add ocaml-ppx-bench Julien Lepiller
2017-01-31 20:58 ` Julien Lepiller [this message]
2017-02-07 20:16 ` [PATCH 00/10] ocaml patches Julien Lepiller
2017-02-07 22:24   ` Ben Woodcroft
2017-02-08 11:21     ` Ludovic Courtès

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20170131205815.14576-11-julien@lepiller.eu \
    --to=julien@lepiller.eu \
    --cc=guix-devel@gnu.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
Code repositories for project(s) associated with this external index

	https://git.savannah.gnu.org/cgit/guix.git

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.