[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCHES] gnu: Update ocaml; Add camlp5, hevea, and coq.
From: |
Mark H Weaver |
Subject: |
Re: [PATCHES] gnu: Update ocaml; Add camlp5, hevea, and coq. |
Date: |
Fri, 05 Jun 2015 01:05:39 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.5 (gnu/linux) |
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
- [PATCHES] gnu: Update ocaml; Add camlp5, hevea, and coq., Mark H Weaver, 2015/06/03
- Re: [PATCHES] gnu: Update ocaml; Add camlp5, hevea, and coq., Andreas Enge, 2015/06/04
- Re: [PATCHES] gnu: Update ocaml; Add camlp5, hevea, and coq., Ludovic Courtès, 2015/06/04
- Re: [PATCHES] gnu: Update ocaml; Add camlp5, hevea, and coq.,
Mark H Weaver <=