From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([209.51.188.92]:47480) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hCggG-0004xP-20 for guix-patches@gnu.org; Sat, 06 Apr 2019 04:28:05 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hCggE-0003rS-Ts for guix-patches@gnu.org; Sat, 06 Apr 2019 04:28:04 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:32989) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1hCggE-0003r5-Gt for guix-patches@gnu.org; Sat, 06 Apr 2019 04:28:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1hCggE-0005La-A7 for guix-patches@gnu.org; Sat, 06 Apr 2019 04:28:02 -0400 Subject: [bug#34627] [PATCH] gnu: ocaml-menhir: Update to 20181113. Resent-Message-ID: References: <87d0ni28fk.fsf@gmail.com> <20190226035851.GA8289@jasmine.lan> From: Gabriel Hondet In-reply-to: <20190226035851.GA8289@jasmine.lan> Date: Sat, 06 Apr 2019 10:27:17 +0200 Message-ID: <87zhp31qu1.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: Leo Famulari Cc: 34627@debbugs.gnu.org --==-=-= Content-Type: multipart/mixed; boundary="=-=-=" --=-=-= Content-Type: text/plain Hi Leo, > Can you add comments explaining why these phases are replaced? --=-=-= 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=20dde2129019d0490909e764181b1f332c3faefa5f Mon Sep 17 00:00:00 2001 From: gabrielhdt Date: Sat, 23 Feb 2019 09:50:38 +0100 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, 21 insertions(+), 13 deletions(-) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 9a807a4cb6..0ad33f6b25 100644 =2D-- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -639,37 +639,45 @@ Emacs.") (define-public ocaml-menhir (package (name "ocaml-menhir") =2D (version "20161115") + (version "20181113") (source (origin =2D (method url-fetch) =2D (uri (string-append =2D "http://gallium.inria.fr/~fpottier/menhir/" =2D "menhir-" version ".tar.gz")) + (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 =2D "1j8nmcj2gq6hyyi16z27amiahplgrnk4ppchpm0v4qy80kwkf47k"))= )) =2D (build-system gnu-build-system) =2D (inputs =2D `(("ocaml" ,ocaml))) + "1iqdf64ayq4s3d9jkwhs3s8wqc2s48b292hp0kcjsskfhcvwg0kr")))) + (build-system ocaml-build-system) (native-inputs `(("ocamlbuild" ,ocamlbuild))) (arguments =2D `(#:parallel-build? #f ; Parallel build causes failure =2D #:tests? #f ; No check target + `(#:tests? #f ; No check target #:phases (modify-phases %standard-phases (replace 'configure (lambda* (#:key outputs #:allow-other-keys) (let ((out (assoc-ref outputs "out"))) (setenv "PREFIX" out)) + #t)) + (replace 'build + (lambda _ + ;; invoke the right makefile + (invoke "make" "-f" "Makefile" "USE_OCAMLFIND=3Dtrue" "all") + #t)) + (replace 'install + (lambda _ + ;; invoke the right makefile + (invoke "make" "-f" "Makefile" "install") #t))))) (properties `((ocaml4.02-variant . ,(delay ocaml4.02-menhir)))) =2D (home-page "http://gallium.inria.fr/~fpottier/menhir") + (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: text/plain Sorry for taking so long! Gabriel --=-=-=-- --==-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEE5ercJXBcjd3P1FcAMbyBBfZZ1CUFAlyoYuYACgkQMbyBBfZZ 1CUOUQ//VryMow8jVQsMZBOPguO+ta4mjwgo24w+jrBv74p6FJ7Xz7OnOKBY1Llo XuJ+v8iLY63oJiz2ip6ICoqa4JKe+uQVGha/L2me+D3bXXFJ7hGCi0ZD8D/b8d9g 4pB0/FUCTEwJt9GzldOIDGkUJbGpTBasleZww23Tg/+qJ4Xwg1YZgQmF96+u/zR9 OnK0dcPBwcCHGOGZ2zvqJNdSYDoxOugicykYWHfqhwACrTXtRU5ibEtavk2kHOJI /C7bqKhSTWFhYEk9/5cs9lwWL1uzBeYptBGaNU24z7GUqqPhE65sDOXDnWdiej3q pVOAlvH/Kjhw4xSCKCLIhH3bTIEIx1/GE8xN57/m6Hg6KafAA2+tdhwS/imThNcv EyabmgDQ8YIPM56F2dc6euxW35cVF7kkZi6jEOBYiwKQ1RJeRn4dX5PytCvr9oIs hK52tjFbr0BqR5Q5GSeJeN7d31nMW1aGwMvK9de0CTUaFHDx5OMu/wam/RZe3XJw Ct4c4Rps6urspkA/4J0SMwSLdKWXcTULEd8JqVv0xEHlP64tTw/08fMuOh/1syk6 O/RMApup+Fw0LfTEg0EvKCGr8l+c4GuKEfStkCoEKpL7IVLXQZB1fz8rR0okjToT 9XIt1WpG5Pdmfz9ZXlaW5zhPYunsNKV+jjo8viTpeoBwP5Z2NzY= =3Pua -----END PGP SIGNATURE----- --==-=-=--