Re: [PATCHES] gnu: Update ocaml; Add camlp5, hevea, and coq.

[Mark H Weaver]

address@hidden (Ludovic Courtès) writes:

> Mark H Weaver <address@hidden> skribis:
>
>> From b9d2f69ef9b51fc8b987fe703e507bf3603b875a Mon Sep 17 00:00:00 2001
>> From: Mark H Weaver <address@hidden>
>> 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’t really matter in practice.

Yes, I thought about this, but realized that cross-compilation was
unlikely to work without much more work, so I punted for now.

Anyway, I pushed a slightly improved version of these patches.

     Thanks,
       Mark