all messages for Guix-related lists mirrored at yhetil.org
 help / color / mirror / code / Atom feed
From: Peter Kreye <kreyepr@gmail.com>
To: Julien Lepiller <julien@lepiller.eu>
Cc: 30096@debbugs.gnu.org
Subject: [bug#30096] [PATCH 2/6] gnu: Add ocaml-integers.
Date: Thu, 18 Jan 2018 23:32:48 -0600	[thread overview]
Message-ID: <87a7xaifb3.fsf@gmail.com> (raw)
In-Reply-To: <20180113140845.12d7b50e@lepiller.eu>

[-- Attachment #1: Type: text/plain, Size: 741 bytes --]

Julien,

Thank you for all of the feedback, it is much appreciated.

Julien Lepiller writes:

> Actually, I forgot to ask, why disable tests?
>
> That's the same question for the rest of your patches too.

This package doesn't have any tests, which seems to be causing the 'check
phase to fail. Would it be better to use "#:tests? #f" or to delete the
'check phase?

> You don't need to replace the 'build phase. ocaml-build-system can find
> pkg/pkg.ml. You just need to use #:build-flags (list "build") to add
> arguments.
>
> That applies also to the rest of your patches.

Thank you for this info. I'll make sure to do this from now on.

> It's probably better to use "#:findlib ,ocaml-findlib-1.7.3" in the
> arguments list.

Same.

--

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: 0001-gnu-Add-ocaml-integers.patch --]
[-- Type: text/x-patch, Size: 1988 bytes --]

From 3e3d3cf9775fb95d22ecf1422a81e7ae582176ce Mon Sep 17 00:00:00 2001
From: Peter Kreye <kreyepr@gmail.com>
Date: Thu, 18 Jan 2018 22:38:07 -0600
Subject: [PATCH] gnu: Add ocaml-integers.
To: 30096@debbugs.gnu.org

* gnu/packages/ocaml.scm (ocaml-integers): New variable.
---
 gnu/packages/ocaml.scm | 31 +++++++++++++++++++++++++++++++
 1 file changed, 31 insertions(+)

diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index e70316cd7..ca731001f 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -3739,6 +3739,37 @@ terminal or in Emacs.  It supports line editing, history, real-time and context
 sensitive completion, colors, and more.")
     (license license:bsd-3)))
 
+(define-public ocaml-integers
+  (package
+    (name "ocaml-integers")
+    (version "0.2.2")
+    (home-page "https://github.com/ocamllabs/ocaml-integers")
+    (source (origin
+              (method url-fetch)
+              (uri (string-append home-page
+                                  "/releases/download/v0.2.2/integers-"
+                                  version ".tbz"))
+              (file-name (string-append name "-" version ".tbz"))
+              (sha256
+               (base32
+                "08b1ljw88ny3l0mdq6xmffjk8anfc77igryva5jz1p6f4f746ywk"))))
+    (build-system ocaml-build-system)
+    (arguments
+     `(#:findlib ,ocaml-findlib-1.7.3
+       #:build-flags (list "build")
+       #:phases
+       (modify-phases %standard-phases
+         (delete 'configure)
+         (delete 'check))))
+    (inputs
+     `(("topkg" ,ocaml-topkg)
+       ("opam", opam)))
+    (synopsis "Various signed and unsigned integer types for OCaml")
+    (description "The ocaml-integers library provides a number of 8-, 16-, 32-
+and 64-bit signed and unsigned integer types, together with aliases such as
+long and size_t whose sizes depend on the host platform.")
+    (license license:expat)))
+
 (define-public coq-flocq
   (package
     (name "coq-flocq")
-- 
2.14.2


  reply	other threads:[~2018-01-19  5:34 UTC|newest]

Thread overview: 20+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2018-01-13 11:05 [bug#30096] Update ocaml-findlib; Add ocaml-tsdl and dependencies Peter Kreye
2018-01-13 11:14 ` [bug#30096] [PATCH 1/6] gnu: ocaml-findlib-1.7.3: Fix install Peter Kreye
2018-01-13 11:14 ` [bug#30096] [PATCH 2/6] gnu: Add ocaml-integers Peter Kreye
2018-01-13 12:57   ` Julien Lepiller
2018-01-13 13:08   ` Julien Lepiller
2018-01-19  5:32     ` Peter Kreye [this message]
2018-01-19  8:09       ` julien lepiller
2018-01-13 11:24 ` [bug#30096] [PATCH 3/6] gnu: Add ocaml-ctypes Peter Kreye
2018-01-13 12:59   ` Julien Lepiller
2018-01-19  5:52     ` Peter Kreye
2018-01-28 22:35       ` Ludovic Courtès
2018-01-13 11:25 ` [bug#30096] [PATCH 4/6] gnu: Add ocaml-ocb-stubblr Peter Kreye
2018-01-13 13:10   ` Julien Lepiller
2018-01-13 11:26 ` [bug#30096] [PATCH 5/6] gnu: Add ocaml-tsdl Peter Kreye
2018-01-13 13:16   ` Julien Lepiller
2018-01-13 11:27 ` [bug#30096] [PATCH 6/6] gnu: ocaml-findlib: Update to 1.7.3 Peter Kreye
2018-01-13 13:18   ` Julien Lepiller
2018-01-13 18:10     ` Leo Famulari
2018-01-16 14:30       ` Ludovic Courtès
2018-02-01 22:12 ` bug#30096: Update ocaml-findlib; Add ocaml-tsdl and dependencies Julien Lepiller

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=87a7xaifb3.fsf@gmail.com \
    --to=kreyepr@gmail.com \
    --cc=30096@debbugs.gnu.org \
    --cc=julien@lepiller.eu \
    /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.