From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:55074) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eaLOr-00069P-VB for guix-patches@gnu.org; Sat, 13 Jan 2018 07:59:07 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eaLOo-0004Rc-Vi for guix-patches@gnu.org; Sat, 13 Jan 2018 07:59:06 -0500 Received: from debbugs.gnu.org ([208.118.235.43]:46538) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1eaLOo-0004RC-RN for guix-patches@gnu.org; Sat, 13 Jan 2018 07:59:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1eaLOo-0004Eh-Gs for guix-patches@gnu.org; Sat, 13 Jan 2018 07:59:02 -0500 Subject: [bug#30096] [PATCH 2/6] gnu: Add ocaml-integers. Resent-Message-ID: Received: from eggs.gnu.org ([2001:4830:134:3::10]:54864) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eaLNk-0005z8-Uv for guix-patches@gnu.org; Sat, 13 Jan 2018 07:57:58 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eaLNh-0002ui-Sf for guix-patches@gnu.org; Sat, 13 Jan 2018 07:57:57 -0500 Received: from lepiller.eu ([89.234.186.109]:40998) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1eaLNh-0002qC-L3 for guix-patches@gnu.org; Sat, 13 Jan 2018 07:57:53 -0500 Received: from localhost (static-176-182-42-79.ncc.abo.bbox.fr [176.182.42.79]) by lepiller.eu (OpenSMTPD) with ESMTPSA id b2a7866a (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO) for ; Sat, 13 Jan 2018 12:57:58 +0000 (UTC) Date: Sat, 13 Jan 2018 13:57:37 +0100 From: Julien Lepiller Message-ID: <20180113135737.0f2ad2b2@lepiller.eu> In-Reply-To: <87inc6ui1c.fsf@gmail.com> References: <87lgh2uigo.fsf@gmail.com> <87inc6ui1c.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: 30096@debbugs.gnu.org Le Sat, 13 Jan 2018 05:14:55 -0600, Peter Kreye a =C3=A9crit : > User-agent: mu4e 0.9.18; emacs 25.3.1 >=20 > * gnu/packages/ocaml.scm (ocaml-integes): New variable. ^ ocaml-integers > --- > gnu/packages/ocaml.scm | 36 ++++++++++++++++++++++++++++++++++++ > 1 file changed, 36 insertions(+) >=20 > diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm > index e70316cd7..61398d3f2 100644 > --- a/gnu/packages/ocaml.scm > +++ b/gnu/packages/ocaml.scm > @@ -3739,6 +3739,42 @@ terminal or in Emacs. It supports line > editing, history, real-time and context sensitive completion, colors, > and more.") (license license:bsd-3))) > =20 > +(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 > + `(#:tests? #f > + #:phases > + (modify-phases %standard-phases > + (delete 'configure) > + (replace 'build > + (lambda* (#:key outputs #:allow-other-keys) > + (let ((libdir (string-append > + (assoc-ref %build-inputs "findlib") > + "/lib/ocaml/site-lib"))) > + (zero? (system* "ocaml" "-I" libdir "pkg/pkg.ml" > "build")))))))) > + (inputs > + `(("findlib" ,ocaml-findlib-1.7.3) It's probably better to use "#:findlib ,ocaml-findlib-1.7.3" in the arguments list. > + ("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")