From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:55354) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eaLPq-0006Lb-Oo for guix-patches@gnu.org; Sat, 13 Jan 2018 08:00:08 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eaLPm-00065P-R8 for guix-patches@gnu.org; Sat, 13 Jan 2018 08:00:06 -0500 Received: from debbugs.gnu.org ([208.118.235.43]:46542) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1eaLPm-00065B-OX for guix-patches@gnu.org; Sat, 13 Jan 2018 08:00:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1eaLPm-0004HH-I5 for guix-patches@gnu.org; Sat, 13 Jan 2018 08:00:02 -0500 Subject: [bug#30096] [PATCH 3/6] gnu: Add ocaml-ctypes. Resent-Message-ID: Received: from eggs.gnu.org ([2001:4830:134:3::10]:55278) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eaLPX-0006GR-AO for guix-patches@gnu.org; Sat, 13 Jan 2018 07:59:48 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eaLPU-0005dA-86 for guix-patches@gnu.org; Sat, 13 Jan 2018 07:59:47 -0500 Received: from lepiller.eu ([89.234.186.109]:41000) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1eaLPT-0005bb-U9 for guix-patches@gnu.org; Sat, 13 Jan 2018 07:59:44 -0500 Received: from localhost (static-176-182-42-79.ncc.abo.bbox.fr [176.182.42.79]) by lepiller.eu (OpenSMTPD) with ESMTPSA id a21557f0 (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO) for ; Sat, 13 Jan 2018 12:59:53 +0000 (UTC) Date: Sat, 13 Jan 2018 13:59:39 +0100 From: Julien Lepiller Message-ID: <20180113135939.7e7223b4@lepiller.eu> In-Reply-To: <87fu7auhlp.fsf@gmail.com> References: <87lgh2uigo.fsf@gmail.com> <87fu7auhlp.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:24:18 -0600, Peter Kreye a =C3=A9crit : > * gnu/packages/ocaml.scm (ocaml-ctypes): New variable. > --- > gnu/packages/ocaml.scm | 39 +++++++++++++++++++++++++++++++++++++++ > 1 file changed, 39 insertions(+) >=20 > diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm > index 61398d3f2..40303c808 100644 > --- a/gnu/packages/ocaml.scm > +++ b/gnu/packages/ocaml.scm > @@ -42,6 +42,7 @@ > #:use-module (gnu packages gnome) > #:use-module (gnu packages gtk) > #:use-module (gnu packages libevent) > + #:use-module (gnu packages libffi) > #:use-module (gnu packages llvm) > #:use-module (gnu packages m4) > #:use-module (gnu packages multiprecision) > @@ -3775,6 +3776,44 @@ 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))) > =20 > +(define-public ocaml-ctypes > + (package > + (name "ocaml-ctypes") > + (version "0.13.1") > + (home-page "https://github.com/ocamllabs/ocaml-ctypes") > + (source (origin > + (method url-fetch) > + (uri (string-append home-page "/archive/" version > ".tar.gz")) > + (file-name (string-append name "-" version ".tar.gz")) > + (sha256 > + (base32 > + > "17w0pr5k0zjcjns4y9n36rjpfl35zhvp3h8ggqs9lz12qhshdk2m")))) > + (build-system ocaml-build-system) > + (arguments > + `(#:make-flags > + (list (string-append "INSTALL_HEADERS =3D $(wildcard > $($(PROJECT).dir)/*.h)")) > + #:phases > + (modify-phases %standard-phases > + (delete 'configure)))) > + (inputs > + `(("pkg-config" ,pkg-config) That should be a native-inputs I think > + ("libffi" ,libffi) > + ("ounit" ,ocaml-ounit) > + ("integers" ,ocaml-integers) > + ("findlib" ,ocaml-findlib-1.7.3) Can you put that in #:findlib instead? > + ("lwt" ,ocaml-lwt) > + ("topkg" ,ocaml-topkg) > + ("opam", opam))) > + (synopsis "Library for binding to C libraries using pure OCaml") > + (description "ctypes is a library for binding to C libraries > using pure +OCaml. The primary aim is to make writing C extensions as > straightforward as +possible. The core of ctypes is a set of > combinators for describing the +structure of C types -- numeric > types, arrays, pointers, structs, unions and +functions. You can use > these combinators to describe the types of the +functions that you > want to call, then bind directly to those functions -- all +without > writing or generating any C!") guix lint complains that sentences should be separated with two spaces, the description should start with an upper-case letter > + (license license:expat))) > + > (define-public coq-flocq > (package > (name "coq-flocq")