From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([209.51.188.92]:49474) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hMcxb-0000ME-Ub for guix-patches@gnu.org; Fri, 03 May 2019 14:31:05 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hMcxa-0000QQ-Ox for guix-patches@gnu.org; Fri, 03 May 2019 14:31:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:36104) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1hMcxa-0000Pr-9a for guix-patches@gnu.org; Fri, 03 May 2019 14:31:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1hMcxa-0001SW-1k for guix-patches@gnu.org; Fri, 03 May 2019 14:31:02 -0400 Subject: [bug#34627] [PATCH] gnu: ocaml-menhir: Update to 20181113. References: <87d0ni28fk.fsf@gmail.com> In-Reply-To: <87d0ni28fk.fsf@gmail.com> Resent-Message-ID: From: Gabriel Hondet Date: Fri, 03 May 2019 20:30:18 +0200 Message-ID: <87zho3xuf9.fsf@gmail.com> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="==-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" 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: 34627@debbugs.gnu.org --==-=-= Content-Type: multipart/mixed; boundary="=-=-=" --=-=-= Content-Type: text/plain Hi everyone, I submit back a patch which seems to have been forgotten. It has been revised. Cheers, Gabriel --=-=-= Content-Type: text/x-diff; charset=utf-8 Content-Disposition: inline; filename=0001-gnu-ocaml-menhir-Update-to-20181113.patch Content-Transfer-Encoding: quoted-printable Content-Description: menhir patch From=2000f2ab14431a9e95cea9ae9e6e8dca974fbd53b7 Mon Sep 17 00:00:00 2001 From: gabrielhdt Date: Fri, 3 May 2019 20:25:04 +0200 Subject: [PATCH] gnu: ocaml-menhir: Update to 20181113. * gnu/packages/ocaml.scm (ocaml-menhir): Update to 20181113. =2D-- gnu/packages/ocaml.scm | 34 ++++++++++++++++------------------ 1 file changed, 16 insertions(+), 18 deletions(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 33acbbec4e..6e69be3f19 100644 =2D-- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -756,35 +756,33 @@ Emacs.") (define-public ocaml-menhir (package (name "ocaml-menhir") =2D (version "20161115") =2D (source (origin =2D (method url-fetch) =2D (uri (string-append =2D "http://gallium.inria.fr/~fpottier/menhir/" =2D "menhir-" version ".tar.gz")) =2D (sha256 =2D (base32 =2D "1j8nmcj2gq6hyyi16z27amiahplgrnk4ppchpm0v4qy80kwkf47k"))= )) =2D (build-system gnu-build-system) + (version "20181113") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://gitlab.inria.fr/fpottier/menhir.git") + (commit version))) + (file-name (git-file-name name version)) + (sha256 + (base32 "1iqdf64ayq4s3d9jkwhs3s8wqc2s48b292hp0kcjsskfhcvwg0kr")))) + (build-system ocaml-build-system) (inputs `(("ocaml" ,ocaml))) (native-inputs `(("ocamlbuild" ,ocamlbuild))) (arguments =2D `(#:parallel-build? #f ; Parallel build causes failure + `(#:make-flags `("USE_OCAMLFIND=3Dtrue" + ,(string-append "PREFIX=3D" (assoc-ref %outputs "out= "))) #:tests? #f ; No check target #:phases (modify-phases %standard-phases =2D (replace 'configure =2D (lambda* (#:key outputs #:allow-other-keys) =2D (let ((out (assoc-ref outputs "out"))) =2D (setenv "PREFIX" out)) =2D #t))))) =2D (home-page "http://gallium.inria.fr/~fpottier/menhir") + (delete 'configure)))) + (home-page "http://gallium.inria.fr/~fpottier/menhir/") (synopsis "Parser generator") (description "Menhir is a parser generator. It turns high-level gramm= ar specifications, decorated with semantic actions expressed in the OCaml =2Dprogramming language into parsers, again expressed in OCaml. It is based= on +programming language into parsers, again expressed in OCaml. It is based = on Knuth=E2=80=99s LR(1) parser construction technique.") ;; The file src/standard.mly and all files listed in src/mnehirLib.mlp= ack ;; that have an *.ml or *.mli extension are GPL licensed. All other fi= les =2D-=20 2.21.0 --=-=-=-- --==-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE5ercJXBcjd3P1FcAMbyBBfZZ1CUFAlzMiLoACgkQMbyBBfZZ 1CWXGg/6A2Rx8W/1j5yd19jUOxgJZsLJa79+Ikhm7K+4yupJbCSXphpmTsYaM/9b cUmiGK8DR9OpkqpMGiOAVW2MgZWQYRDTT/9MK3qM2X9I/YVmsc8ZmCnBjGFB+M+H MHMobzSwKzHBGspSI87c9FSVv3vul8J7gX2KRTfY2e0t0tb8BB4PfNmUx/WH+mkA VCMxeJePuxMRLuJwL+gvNKbzfxM7irb5Rh1gcg5D7mglMOkA/4vuBCLPYuv2cXiI fuAaLGi4nRlOU5B4yPadNRP9jTWTU7+GT6vipIWbKkhnyYV+6XBjFVJ/6Tj8uqM/ ljMIKD/U+c9KzJF6UyvtJxawkD+F1dKoWLOVHAt8dSj1oe3MqH5WLU49B6qRTAXi 3+gtlTumMaQil2f6AByLdjEVSGbGUcbtglN1ZF0CT3ITbI39RmAE11XhqpDxIxg5 /snnHWQqs7OBsgefaelZ3Ra8LquONQQfoEhovnpGh4TIQrEPFXq/sjLkdmCBhmYG kHvjfNAXTu6iB3uBdohrAI0cthJUsqf64SohqZbnm4UOX4/tt86HVq8BElx/s/PA MmQOpaDi4dR7IW/PI4025KXi1qbSdHlYda31bCv0IRfgiX/CeGLdsoNrhY2YB+qg PVH7nGAsFzFeMNHJQcyNbUv7U+a97cyQrPX8F/wCWwFdd0iPafI= =OKM1 -----END PGP SIGNATURE----- --==-=-=--