From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: Re: [PATCHES] gnu: Update ocaml; Add camlp5, hevea, and coq. Date: Thu, 04 Jun 2015 22:54:47 +0200 Message-ID: <873827qjmw.fsf@gnu.org> References: <87k2vlqiem.fsf@netris.org> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:51898) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Z0cAC-000213-Db for guix-devel@gnu.org; Thu, 04 Jun 2015 16:54:57 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Z0cA7-0001rh-EE for guix-devel@gnu.org; Thu, 04 Jun 2015 16:54:56 -0400 Received: from fencepost.gnu.org ([2001:4830:134:3::e]:40472) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Z0cA7-0001rd-BR for guix-devel@gnu.org; Thu, 04 Jun 2015 16:54:51 -0400 In-Reply-To: <87k2vlqiem.fsf@netris.org> (Mark H. Weaver's message of "Wed, 03 Jun 2015 04:56:49 -0400") List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org To: Mark H Weaver Cc: guix-devel@gnu.org Mark H Weaver skribis: > These patches update and improve our ocaml package, and add packages for > camlp5, hevea, and coq. Woow, nice! > From f2b8ab36b2d3697b7a93b87bfcbcd0e91294c2e1 Mon Sep 17 00:00:00 2001 > From: Mark H Weaver > Date: Tue, 2 Jun 2015 22:49:10 -0400 > Subject: [PATCH 1/5] gnu: ocaml: Update to 4.02.1. > > * gnu/packages/ocaml.scm (ocaml)[version]: Update to 4.02.1. > [source]: Use 'version-major+minor'. Use .xz tarball. > [home-page]: Update URI. > [license]: gpl2 -> lgpl2.0. > [inputs]: Add libx11, gcc:lib, and zlib. Remove perl. > [native-inputs]: New field, with perl and pkg-config. > [arguments]: In #:modules, remove (srfi srfi-1), add (web server). Use > 'modify-phases'. Enable parallel build. Add 'patch-/bin/sh-references= ' and > 'prepare-socket-test' phases. Rename 'check-after-install' phase to > 'check'. Use 'with-directory-excursion' in 'check' phase. Remove unus= ed > keyword arguments from custom phases. [...] > + (format (current-error-port) > + "Spawning local test web server on port 8= 080~%") > + (when (zero? (primitive-fork)) > + (run-server (lambda (request request-body) > + (values '((content-type . (text/p= lain))) > + "Hello!")) > + 'http '(#:port 8080))) Excellent. :-) LGTM! > From b9d2f69ef9b51fc8b987fe703e507bf3603b875a Mon Sep 17 00:00:00 2001 > From: Mark H Weaver > Date: Sat, 30 May 2015 14:59:54 -0400 > Subject: [PATCH 2/5] gnu: Add camlp5. > > * gnu/packages/ocaml.scm (camlp5): New variable. OK. > + (inputs > + `(("ocaml" ,ocaml))) I suppose in theory it should be both a native input and an input, but it doesn=E2=80=99t really matter in practice. > From fb9fd9480762be66796df53e756b430551b88d3c Mon Sep 17 00:00:00 2001 > From: Mark H Weaver > Date: Wed, 3 Jun 2015 03:21:43 -0400 > Subject: [PATCH 3/5] gnu: Add hevea. > > * gnu/packages/ocaml.scm (hevea): New variable. OK. > From f2ab73018cbaec826472dc0c162e5440fe00bcd9 Mon Sep 17 00:00:00 2001 > From: Mark H Weaver > Date: Wed, 3 Jun 2015 01:18:26 -0400 > Subject: [PATCH 4/5] licenses: Add the Open Publication License 1.0. > > * guix/licenses.scm (opl1.0+): New variable. OK. > From deb7f49fdce90f546b4fd0ee50290aa61c854ef0 Mon Sep 17 00:00:00 2001 > From: Mark H Weaver > Date: Sat, 30 May 2015 16:07:19 -0400 > Subject: [PATCH 5/5] gnu: Add coq. > > * gnu/packages/ocaml.scm (coq): New variable. Wonderful! Now we need ProofGeneral. ;-) Thank you! Ludo=E2=80=99.